Trace number 4391044

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)48151 2520.05 2507.82

General information on the benchmark

NameNurseRostering/
NurseRostering-18_c18.xml
MD5SUM2080050c46f9199df44cd86a0d29de9d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark48151
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables3286
Number of constraints8967
Number of domains16
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}]
Number of extensional constraints2162
Number of intensional constraints986
Distribution of constraint types[{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}]
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.42/1.88	
2.42/1.88	AbsCon 2 
2.42/1.89	
4.31/2.45	  Instance
4.31/2.45	    name=instance-4391044-1568386606, framework=COP, bounds=-infty..+infty
4.31/2.45	
4.31/2.45	  Loading variables...
4.67/2.56	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a51239c
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f54546
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35bb3c6d
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ebb7765
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714195e6
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d5df2ab
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71599bb9
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e321076
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391044f5
6.13/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389788dd
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b66ac82
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d57ea92
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ae3f03
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@926c5b1
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee1a19
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b62811a
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c5fced
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3f7b3a
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d327de
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa95aa8
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ea7bdf
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f27b9f
6.13/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30222702
6.13/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f99513e
6.13/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307d2a1f
6.13/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed0ede0
6.13/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fedf078
6.13/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1edc46da
6.13/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f52324b
6.13/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6831cbb7
6.13/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166dcbf2
6.13/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d2eba4
6.13/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18643e68
6.49/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e832943
6.49/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134435f
6.49/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10eb6d1
6.49/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aba52ab
6.49/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d829cbd
6.49/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6987cf31
6.49/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542f2d47
6.49/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bcd91d4
6.49/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14db138a
6.49/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420e674c
6.49/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5211faa9
9.02/3.80	
9.02/3.80	
9.02/3.80	  Domains
9.02/3.80	    nTypes=16, nValues=28084, sizes=[1#96,2#678,4#1848,23#588,41#2,44#16,85#58]
9.02/3.80	  Variables
9.02/3.80	    count=3286, degrees=[1#22,2#1152,3#264,13#19...21#189,22#776,23#573,24#149]
9.02/3.80	  Objectives
9.02/3.80	    way=min, type=SumSimpleLE
9.02/3.80	  Constraints
9.02/3.80	    count=9143, nSpecific=5819, arities=[1#176,2#3148,3#3630,5#320...12#22,23#336,85#88,750#1]
9.02/3.80	    distribution=[AtLeast1#1742,CtrExtensionMDD-MDD#3630,CtrExtensionV-Bits#2162,CtrIntension#1162,ExactlyKVariable#424,SumSimpleLE#23]
9.02/3.80	    nExtStructures=(3660,shared:2132), nIntStructures=(21,shared:1141), nCftStructures=(50,shared:3098,unbuilt:5995)
9.02/3.80	    wck=1.954, cpu=3.723, mem=95M841
9.72/4.12	  Solver SolverBacktrack being built...
9.72/4.12	
9.72/4.17	
9.72/4.17	  Solver
9.72/4.17	    guaranteedGAC=true
9.72/4.17	    wck=2.33, cpu=4.042, mem=221M760
10.14/4.36	
10.14/4.36	  Preprocessing
10.14/4.36	    filters=1663, revisions=(1729,useless=1302), ccks=1925, nACremovedValues=5888, nTotalRemovedValues=5888, inconcistency=false
10.14/4.36	    wck=0.177, cpu=4.223, mem=230M568
10.14/4.36	
12.08/5.01	    num=0, depth=940..950, filters=13822, revisions=(8244,useless=3817), ccks=3226, wck=0.833, mem=230M568
12.08/5.01	    decisions=980, wrong=20, backtracks=10, failedAssignments=10, nogoods=1
12.08/5.01	    
13.26/5.42	    num=1, depth=28..845, filters=24484, revisions=(13952,useless=6014), ccks=3859, wck=1.246, mem=230M568
13.26/5.42	    decisions=1854, wrong=40, backtracks=19, failedAssignments=21, nogoods=4
13.26/5.42	    
13.26/5.44	    num=2, depth=6..34, filters=25184, revisions=(14483,useless=6376), ccks=3942, wck=1.265, mem=230M568
13.26/5.44	    decisions=1927, wrong=65, backtracks=39, failedAssignments=33, nogoods=11
13.26/5.44	    
13.26/5.45	    num=3, depth=8..29, filters=25659, revisions=(14840,useless=6629), ccks=3972, wck=1.278, mem=230M568
13.26/5.45	    decisions=1985, wrong=84, backtracks=52, failedAssignments=46, nogoods=15
13.26/5.45	    
13.26/5.47	    num=4, depth=8..34, filters=26366, revisions=(15420,useless=7041), ccks=4067, wck=1.294, mem=230M568
13.26/5.47	    decisions=2054, wrong=108, backtracks=70, failedAssignments=60, nogoods=21
13.26/5.47	    
13.26/5.49	    num=5, depth=17..30, filters=26990, revisions=(15889,useless=7366), ccks=4122, wck=1.312, mem=230M568
13.26/5.49	    decisions=2132, wrong=136, backtracks=91, failedAssignments=76, nogoods=28
13.26/5.49	    
13.57/5.51	    num=6, depth=22..31, filters=27863, revisions=(16577,useless=7833), ccks=4226, wck=1.334, mem=230M568
13.57/5.51	    decisions=2213, wrong=164, backtracks=116, failedAssignments=93, nogoods=31
13.57/5.51	    
13.57/5.53	    num=7, depth=22..29, filters=28598, revisions=(17081,useless=8172), ccks=4274, wck=1.353, mem=230M568
13.57/5.53	    decisions=2294, wrong=193, backtracks=139, failedAssignments=112, nogoods=34
13.57/5.53	    
13.57/5.55	    num=8, depth=28..38, filters=29492, revisions=(17752,useless=8649), ccks=4340, wck=1.376, mem=230M568
13.57/5.55	    decisions=2404, wrong=233, backtracks=172, failedAssignments=133, nogoods=40
13.57/5.55	    
13.57/5.58	    num=9, depth=22..33, filters=30610, revisions=(18625,useless=9220), ccks=4482, wck=1.398, mem=230M568
13.57/5.58	    decisions=2502, wrong=268, backtracks=197, failedAssignments=156, nogoods=46
13.57/5.58	    
13.88/5.60	    num=10, depth=14..36, filters=31634, revisions=(19383,useless=9712), ccks=4611, wck=1.42, mem=230M568
13.88/5.60	    decisions=2603, wrong=304, backtracks=224, failedAssignments=181, nogoods=52
13.88/5.60	    
13.88/5.62	    num=11, depth=8..34, filters=32887, revisions=(20320,useless=10372), ccks=4728, wck=1.445, mem=230M568
13.88/5.62	    decisions=2735, wrong=356, backtracks=266, failedAssignments=209, nogoods=57
13.88/5.62	    
13.88/5.65	    num=12, depth=5..35, filters=34656, revisions=(21601,useless=11304), ccks=4879, wck=1.474, mem=230M568
13.88/5.65	    decisions=2904, wrong=428, backtracks=325, failedAssignments=240, nogoods=63
13.88/5.65	    
13.88/5.68	    num=13, depth=17..33, filters=36154, revisions=(22781,useless=12198), ccks=5001, wck=1.5, mem=230M568
13.88/5.68	    decisions=3062, wrong=495, backtracks=386, failedAssignments=274, nogoods=69
13.88/5.68	    
14.17/5.70	    num=14, depth=11..36, filters=37316, revisions=(23721,useless=12835), ccks=5154, wck=1.523, mem=230M568
14.17/5.70	    decisions=3187, wrong=546, backtracks=433, failedAssignments=311, nogoods=72
14.17/5.70	    
14.17/5.73	    num=15, depth=18..33, filters=38893, revisions=(24931,useless=13707), ccks=5293, wck=1.552, mem=230M568
14.17/5.73	    decisions=3379, wrong=629, backtracks=505, failedAssignments=352, nogoods=79
14.17/5.73	    
14.17/5.76	    num=16, depth=14..36, filters=40801, revisions=(26386,useless=14725), ccks=5530, wck=1.585, mem=230M568
14.17/5.76	    decisions=3591, wrong=723, backtracks=583, failedAssignments=397, nogoods=90
14.17/5.76	    
14.39/5.80	    num=17, depth=11..36, filters=42901, revisions=(28069,useless=15894), ccks=5792, wck=1.619, mem=230M568
14.39/5.80	    decisions=3792, wrong=812, backtracks=661, failedAssignments=447, nogoods=98
14.39/5.80	    
14.39/5.84	    num=18, depth=16..33, filters=45657, revisions=(30032,useless=17306), ccks=6037, wck=1.658, mem=230M568
14.39/5.84	    decisions=4039, wrong=926, backtracks=759, failedAssignments=502, nogoods=104
14.39/5.84	    
14.39/5.87	    num=19, depth=18..34, filters=47907, revisions=(31834,useless=18557), ccks=6326, wck=1.695, mem=230M568
14.39/5.87	    decisions=4272, wrong=1030, backtracks=848, failedAssignments=563, nogoods=111
14.39/5.87	    
14.60/5.92	    num=20, depth=21..35, filters=50626, revisions=(33789,useless=19909), ccks=6637, wck=1.738, mem=230M568
14.60/5.92	    decisions=4572, wrong=1169, backtracks=970, failedAssignments=630, nogoods=118
14.60/5.92	    
14.60/5.95	    num=21, depth=24..40, filters=52898, revisions=(35454,useless=21137), ccks=6796, wck=1.777, mem=230M568
14.60/5.95	    decisions=4845, wrong=1291, backtracks=1072, failedAssignments=704, nogoods=127
14.60/5.95	    
14.60/6.00	    num=22, depth=15..37, filters=55788, revisions=(37788,useless=22777), ccks=7149, wck=1.822, mem=230M568
14.60/6.00	    decisions=5155, wrong=1434, backtracks=1191, failedAssignments=785, nogoods=138
14.60/6.00	    
14.82/6.06	    num=23, depth=20..34, filters=60025, revisions=(40509,useless=24750), ccks=7444, wck=1.882, mem=230M568
14.82/6.06	    decisions=5559, wrong=1625, backtracks=1355, failedAssignments=874, nogoods=142
14.82/6.06	    
15.03/6.12	    num=24, depth=16..43, filters=63440, revisions=(43386,useless=26824), ccks=7858, wck=1.938, mem=230M568
15.03/6.12	    decisions=5963, wrong=1815, backtracks=1512, failedAssignments=972, nogoods=151
15.03/6.12	    
15.03/6.18	    num=25, depth=11..38, filters=67878, revisions=(46937,useless=29386), ccks=8397, wck=2.0, mem=230M568
15.03/6.18	    decisions=6395, wrong=2018, backtracks=1689, failedAssignments=1080, nogoods=159
15.03/6.18	    
15.21/6.25	    num=26, depth=21..37, filters=71504, revisions=(49622,useless=31251), ccks=8751, wck=2.069, mem=230M568
15.21/6.25	    decisions=6890, wrong=2254, backtracks=1899, failedAssignments=1199, nogoods=166
15.21/6.25	    
15.86/6.54	o 50989
16.48/6.75	    num=27, depth=11..3285, filters=86686, revisions=(57929,useless=34654), ccks=18888, wck=2.569, mem=234M988
16.48/6.75	    decisions=8161, wrong=2294, backtracks=1930, failedAssignments=1224, nogoods=172, foundSolutions=1, bestBound=50989
16.48/6.75	    
17.77/7.24	    num=28, depth=26..580, filters=97720, revisions=(65973,useless=39943), ccks=19678, wck=3.06, mem=234M988
17.77/7.24	    decisions=9312, wrong=2608, backtracks=2146, failedAssignments=1368, nogoods=176, foundSolutions=1, bestBound=50989
17.77/7.24	    
18.48/7.63	o 50585
18.76/7.82	    num=29, depth=44..3285, filters=112179, revisions=(73802,useless=42983), ccks=29694, wck=3.639, mem=234M988
18.76/7.82	    decisions=10501, wrong=2612, backtracks=2146, failedAssignments=1372, nogoods=180, foundSolutions=2, bestBound=50585
18.76/7.82	    
19.17/8.29	o 50584
19.43/8.48	    num=30, depth=1146..3285, filters=126650, revisions=(83329,useless=47723), ccks=39872, wck=4.301, mem=239M392
19.43/8.48	    decisions=11685, wrong=2614, backtracks=2146, failedAssignments=1374, nogoods=182, foundSolutions=3, bestBound=50584
19.43/8.48	    
20.08/9.01	    num=31, depth=1081..1123, filters=140884, revisions=(92703,useless=52425), ccks=40948, wck=4.829, mem=239M392
20.08/9.01	    decisions=12826, wrong=2625, backtracks=2146, failedAssignments=1385, nogoods=193, foundSolutions=3, bestBound=50584
20.08/9.01	    
20.20/9.14	    num=32, depth=155..256, filters=145148, revisions=(95700,useless=53891), ccks=41451, wck=4.966, mem=239M392
20.20/9.14	    decisions=13105, wrong=2640, backtracks=2150, failedAssignments=1396, nogoods=202, foundSolutions=3, bestBound=50584
20.20/9.14	    
20.29/9.24	    num=33, depth=102..177, filters=148025, revisions=(97806,useless=54874), ccks=41749, wck=5.063, mem=239M392
20.29/9.24	    decisions=13309, wrong=2655, backtracks=2153, failedAssignments=1408, nogoods=214, foundSolutions=3, bestBound=50584
20.29/9.24	    
20.39/9.34	    num=34, depth=80..183, filters=151033, revisions=(99952,useless=55872), ccks=42034, wck=5.162, mem=239M392
20.39/9.34	    decisions=13526, wrong=2673, backtracks=2158, failedAssignments=1421, nogoods=226, foundSolutions=3, bestBound=50584
20.39/9.34	    
20.70/9.70	    num=35, depth=125..848, filters=162243, revisions=(106598,useless=58609), ccks=42833, wck=5.519, mem=239M392
20.70/9.70	    decisions=14395, wrong=2687, backtracks=2158, failedAssignments=1435, nogoods=240, foundSolutions=3, bestBound=50584
20.70/9.70	    
21.11/10.06	    num=36, depth=209..845, filters=173720, revisions=(113363,useless=61394), ccks=43639, wck=5.879, mem=239M392
21.11/10.06	    decisions=15279, wrong=2714, backtracks=2169, failedAssignments=1451, nogoods=247, foundSolutions=3, bestBound=50584
21.11/10.06	    
21.50/10.43	o 49362
21.73/10.61	    num=37, depth=181..3285, filters=188128, revisions=(121582,useless=64713), ccks=53772, wck=6.436, mem=239M392
21.73/10.61	    decisions=16396, wrong=2723, backtracks=2171, failedAssignments=1458, nogoods=254, foundSolutions=4, bestBound=49362
21.73/10.61	    
22.25/11.13	    num=38, depth=122..1043, filters=202224, revisions=(131341,useless=69659), ccks=54943, wck=6.956, mem=239M392
22.25/11.13	    decisions=17482, wrong=2753, backtracks=2182, failedAssignments=1477, nogoods=263, foundSolutions=4, bestBound=49362
22.25/11.13	    
22.67/11.53	    num=39, depth=684..988, filters=215688, revisions=(138999,useless=72730), ccks=55859, wck=7.357, mem=239M392
22.67/11.53	    decisions=18500, wrong=2773, backtracks=2191, failedAssignments=1488, nogoods=266, foundSolutions=4, bestBound=49362
22.67/11.53	    
22.77/11.62	    num=40, depth=159..173, filters=218741, revisions=(141114,useless=73926), ccks=56075, wck=7.445, mem=239M392
22.77/11.62	    decisions=18719, wrong=2799, backtracks=2206, failedAssignments=1500, nogoods=268, foundSolutions=4, bestBound=49362
22.77/11.62	    
22.87/11.71	    num=41, depth=149..179, filters=221738, revisions=(142992,useless=74858), ccks=56259, wck=7.536, mem=239M392
22.87/11.71	    decisions=18957, wrong=2831, backtracks=2234, failedAssignments=1513, nogoods=271, foundSolutions=4, bestBound=49362
22.87/11.71	    
22.87/11.78	    num=42, depth=132..143, filters=223835, revisions=(144210,useless=75339), ccks=56419, wck=7.605, mem=239M392
22.87/11.78	    decisions=19140, wrong=2856, backtracks=2245, failedAssignments=1527, nogoods=274, foundSolutions=4, bestBound=49362
22.87/11.78	    
22.97/11.86	    num=43, depth=143..159, filters=226092, revisions=(145541,useless=75882), ccks=56546, wck=7.68, mem=239M392
22.97/11.86	    decisions=19337, wrong=2878, backtracks=2251, failedAssignments=1543, nogoods=281, foundSolutions=4, bestBound=49362
22.97/11.86	    
23.08/11.93	    num=44, depth=56..156, filters=228266, revisions=(146815,useless=76391), ccks=56672, wck=7.754, mem=239M392
23.08/11.93	    decisions=19529, wrong=2900, backtracks=2256, failedAssignments=1560, nogoods=289, foundSolutions=4, bestBound=49362
23.08/11.93	    
23.19/12.01	    num=45, depth=82..154, filters=230634, revisions=(148161,useless=76946), ccks=56798, wck=7.832, mem=239M392
23.19/12.01	    decisions=19743, wrong=2936, backtracks=2276, failedAssignments=1579, nogoods=293, foundSolutions=4, bestBound=49362
23.19/12.01	    
23.19/12.08	    num=46, depth=74..141, filters=232858, revisions=(149451,useless=77499), ccks=56949, wck=7.902, mem=239M392
23.19/12.08	    decisions=19944, wrong=2971, backtracks=2290, failedAssignments=1600, nogoods=304, foundSolutions=4, bestBound=49362
23.19/12.08	    
23.59/12.44	o 48152
23.80/12.63	    num=47, depth=78..3285, filters=247226, revisions=(157634,useless=80779), ccks=67046, wck=8.454, mem=243M796
23.80/12.63	    decisions=21045, wrong=2972, backtracks=2290, failedAssignments=1601, nogoods=305, foundSolutions=5, bestBound=48152
23.80/12.63	    
23.90/12.79	    num=48, depth=77..122, filters=249277, revisions=(160466,useless=82987), ccks=67349, wck=8.617, mem=243M796
23.90/12.79	    decisions=21240, wrong=3020, backtracks=2313, failedAssignments=1626, nogoods=310, foundSolutions=5, bestBound=48152
23.90/12.79	    
24.00/12.84	    num=49, depth=92..96, filters=250806, revisions=(161360,useless=83350), ccks=67465, wck=8.665, mem=243M796
24.00/12.84	    decisions=21378, wrong=3043, backtracks=2325, failedAssignments=1637, nogoods=312, foundSolutions=5, bestBound=48152
24.00/12.84	    
24.00/12.89	    num=50, depth=75..99, filters=252329, revisions=(162221,useless=83705), ccks=67560, wck=8.712, mem=243M796
24.00/12.89	    decisions=21519, wrong=3066, backtracks=2336, failedAssignments=1649, nogoods=319, foundSolutions=5, bestBound=48152
24.00/12.89	    
24.10/12.93	    num=51, depth=69..89, filters=253887, revisions=(163275,useless=84232), ccks=67733, wck=8.757, mem=243M796
24.10/12.93	    decisions=21648, wrong=3088, backtracks=2345, failedAssignments=1662, nogoods=328, foundSolutions=5, bestBound=48152
24.10/12.93	    
24.10/12.98	    num=52, depth=69..91, filters=255331, revisions=(164177,useless=84654), ccks=67831, wck=8.802, mem=243M796
24.10/12.98	    decisions=21788, wrong=3115, backtracks=2359, failedAssignments=1676, nogoods=333, foundSolutions=5, bestBound=48152
24.10/12.98	    
24.21/13.02	    num=53, depth=61..92, filters=256749, revisions=(165058,useless=85066), ccks=67932, wck=8.845, mem=243M796
24.21/13.02	    decisions=21929, wrong=3144, backtracks=2373, failedAssignments=1692, nogoods=339, foundSolutions=5, bestBound=48152
24.21/13.02	    
24.21/13.07	    num=54, depth=49..91, filters=258200, revisions=(165967,useless=85500), ccks=68028, wck=8.89, mem=243M796
24.21/13.07	    decisions=22073, wrong=3174, backtracks=2388, failedAssignments=1709, nogoods=347, foundSolutions=5, bestBound=48152
24.21/13.07	    
24.60/13.43	o 48151
24.83/13.62	    num=55, depth=1076..3285, filters=272664, revisions=(174186,useless=88801), ccks=78125, wck=9.445, mem=243M796
24.83/13.62	    decisions=23178, wrong=3179, backtracks=2390, failedAssignments=1712, nogoods=348, foundSolutions=6, bestBound=48151
24.83/13.62	    
24.93/13.77	    num=56, depth=93..97, filters=274332, revisions=(176755,useless=90867), ccks=78381, wck=9.596, mem=243M796
24.93/13.77	    decisions=23354, wrong=3221, backtracks=2412, failedAssignments=1733, nogoods=350, foundSolutions=6, bestBound=48151
24.93/13.77	    
25.03/13.82	    num=57, depth=89..94, filters=275846, revisions=(177625,useless=91242), ccks=78466, wck=9.642, mem=243M796
25.03/13.82	    decisions=23488, wrong=3243, backtracks=2424, failedAssignments=1744, nogoods=354, foundSolutions=6, bestBound=48151
25.03/13.82	    
25.03/13.86	    num=58, depth=62..94, filters=277240, revisions=(178462,useless=91598), ccks=78557, wck=9.686, mem=243M796
25.03/13.86	    decisions=23612, wrong=3260, backtracks=2430, failedAssignments=1756, nogoods=362, foundSolutions=6, bestBound=48151
25.03/13.86	    
25.34/14.12	    num=59, depth=78..583, filters=284923, revisions=(183664,useless=93812), ccks=79696, wck=9.947, mem=243M796
25.34/14.12	    decisions=24219, wrong=3273, backtracks=2430, failedAssignments=1769, nogoods=375, foundSolutions=6, bestBound=48151
25.34/14.12	    
25.34/14.17	    num=60, depth=91..95, filters=286510, revisions=(184546,useless=94182), ccks=79761, wck=9.995, mem=243M796
25.34/14.17	    decisions=24368, wrong=3300, backtracks=2443, failedAssignments=1783, nogoods=377, foundSolutions=6, bestBound=48151
25.34/14.17	    
25.43/14.22	    num=61, depth=83..89, filters=287930, revisions=(185422,useless=94594), ccks=79841, wck=10.04, mem=243M796
25.43/14.22	    decisions=24511, wrong=3327, backtracks=2456, failedAssignments=1799, nogoods=383, foundSolutions=6, bestBound=48151
25.43/14.22	    
25.43/14.26	    num=62, depth=83..90, filters=289389, revisions=(186275,useless=94989), ccks=79918, wck=10.085, mem=243M796
25.43/14.26	    decisions=24660, wrong=3358, backtracks=2470, failedAssignments=1816, nogoods=395, foundSolutions=6, bestBound=48151
25.43/14.26	    
25.54/14.31	    num=63, depth=85..92, filters=290852, revisions=(187181,useless=95415), ccks=80015, wck=10.131, mem=243M796
25.54/14.31	    decisions=24812, wrong=3390, backtracks=2488, failedAssignments=1835, nogoods=404, foundSolutions=6, bestBound=48151
25.54/14.31	    
25.54/14.36	    num=64, depth=88..92, filters=292527, revisions=(188093,useless=95832), ccks=80102, wck=10.181, mem=243M796
25.54/14.36	    decisions=24992, wrong=3435, backtracks=2513, failedAssignments=1856, nogoods=409, foundSolutions=6, bestBound=48151
25.54/14.36	    
25.64/14.40	    num=65, depth=83..89, filters=294137, revisions=(188980,useless=96231), ccks=80201, wck=10.228, mem=243M796
25.64/14.40	    decisions=25170, wrong=3482, backtracks=2539, failedAssignments=1879, nogoods=412, foundSolutions=6, bestBound=48151
25.64/14.40	    
25.64/14.45	    num=66, depth=79..86, filters=295909, revisions=(190028,useless=96760), ccks=80312, wck=10.277, mem=243M796
25.64/14.45	    decisions=25361, wrong=3537, backtracks=2573, failedAssignments=1904, nogoods=416, foundSolutions=6, bestBound=48151
25.64/14.45	    
25.75/14.51	    num=67, depth=88..93, filters=297771, revisions=(191006,useless=97193), ccks=80450, wck=10.33, mem=243M796
25.75/14.51	    decisions=25578, wrong=3601, backtracks=2611, failedAssignments=1932, nogoods=421, foundSolutions=6, bestBound=48151
25.75/14.51	    
25.75/14.55	    num=68, depth=84..89, filters=299481, revisions=(191903,useless=97600), ccks=80555, wck=10.376, mem=243M796
25.75/14.55	    decisions=25770, wrong=3655, backtracks=2634, failedAssignments=1963, nogoods=431, foundSolutions=6, bestBound=48151
25.75/14.55	    
26.06/14.84	    num=69, depth=275..586, filters=310220, revisions=(199445,useless=101231), ccks=82815, wck=10.66, mem=243M796
26.06/14.84	    decisions=26470, wrong=3716, backtracks=2661, failedAssignments=1997, nogoods=439, foundSolutions=6, bestBound=48151
26.06/14.84	    
26.06/14.89	    num=70, depth=88..94, filters=312351, revisions=(200560,useless=101734), ccks=82969, wck=10.718, mem=243M796
26.06/14.89	    decisions=26719, wrong=3796, backtracks=2704, failedAssignments=2034, nogoods=448, foundSolutions=6, bestBound=48151
26.06/14.89	    
26.37/15.19	    num=71, depth=74..619, filters=321747, revisions=(207104,useless=104709), ccks=84351, wck=11.009, mem=243M796
26.37/15.19	    decisions=27437, wrong=3863, backtracks=2732, failedAssignments=2075, nogoods=460, foundSolutions=6, bestBound=48151
26.37/15.19	    
26.48/15.22	    num=72, depth=25..37, filters=323540, revisions=(208475,useless=105652), ccks=84598, wck=11.046, mem=248M201
26.48/15.22	    decisions=27617, wrong=3939, backtracks=2799, failedAssignments=2120, nogoods=465, foundSolutions=6, bestBound=48151
26.48/15.22	    
26.48/15.27	    num=73, depth=14..33, filters=325649, revisions=(209845,useless=106644), ccks=84720, wck=11.092, mem=248M201
26.48/15.27	    decisions=27861, wrong=4050, backtracks=2890, failedAssignments=2170, nogoods=470, foundSolutions=6, bestBound=48151
26.48/15.27	    
26.58/15.31	    num=74, depth=21..32, filters=327797, revisions=(211539,useless=107867), ccks=84930, wck=11.135, mem=248M201
26.58/15.31	    decisions=28069, wrong=4141, backtracks=2971, failedAssignments=2225, nogoods=475, foundSolutions=6, bestBound=48151
26.58/15.31	    
26.58/15.36	    num=75, depth=21..35, filters=329955, revisions=(213285,useless=109078), ccks=85205, wck=11.181, mem=248M201
26.58/15.36	    decisions=28293, wrong=4241, backtracks=3053, failedAssignments=2286, nogoods=483, foundSolutions=6, bestBound=48151
26.58/15.36	    
26.70/15.42	    num=76, depth=19..32, filters=332430, revisions=(214857,useless=110127), ccks=85432, wck=11.238, mem=248M201
26.70/15.42	    decisions=28576, wrong=4371, backtracks=3170, failedAssignments=2353, nogoods=489, foundSolutions=6, bestBound=48151
26.70/15.42	    
26.70/15.48	    num=77, depth=13..35, filters=335494, revisions=(217269,useless=111882), ccks=85776, wck=11.298, mem=248M201
26.70/15.48	    decisions=28873, wrong=4509, backtracks=3294, failedAssignments=2427, nogoods=499, foundSolutions=6, bestBound=48151
26.70/15.48	    
26.81/15.54	    num=78, depth=19..36, filters=338789, revisions=(219948,useless=113812), ccks=86209, wck=11.358, mem=248M201
26.81/15.54	    decisions=29186, wrong=4655, backtracks=3431, failedAssignments=2508, nogoods=504, foundSolutions=6, bestBound=48151
26.81/15.54	    
26.91/15.60	    num=79, depth=17..31, filters=342271, revisions=(222680,useless=115815), ccks=86505, wck=11.428, mem=248M201
26.91/15.60	    decisions=29553, wrong=4828, backtracks=3576, failedAssignments=2597, nogoods=510, foundSolutions=6, bestBound=48151
26.91/15.60	    
26.91/15.68	    num=80, depth=10..37, filters=346362, revisions=(225925,useless=118249), ccks=86860, wck=11.503, mem=248M201
26.91/15.68	    decisions=29964, wrong=5022, backtracks=3750, failedAssignments=2695, nogoods=521, foundSolutions=6, bestBound=48151
26.91/15.68	    
27.02/15.77	    num=81, depth=15..30, filters=350825, revisions=(228608,useless=120180), ccks=87119, wck=11.589, mem=248M201
27.02/15.77	    decisions=30436, wrong=5249, backtracks=3944, failedAssignments=2803, nogoods=526, foundSolutions=6, bestBound=48151
27.02/15.77	    
27.12/15.87	    num=82, depth=14..36, filters=355530, revisions=(231940,useless=122629), ccks=87438, wck=11.69, mem=248M201
27.12/15.87	    decisions=30949, wrong=5493, backtracks=4156, failedAssignments=2922, nogoods=536, foundSolutions=6, bestBound=48151
27.12/15.87	    
27.22/15.97	    num=83, depth=12..37, filters=360497, revisions=(235700,useless=125417), ccks=87787, wck=11.795, mem=248M201
27.22/15.97	    decisions=31533, wrong=5772, backtracks=4399, failedAssignments=3053, nogoods=546, foundSolutions=6, bestBound=48151
27.22/15.97	    
27.33/16.08	    num=84, depth=13..34, filters=366418, revisions=(240466,useless=128697), ccks=88700, wck=11.902, mem=248M201
27.33/16.08	    decisions=32080, wrong=6036, backtracks=4642, failedAssignments=3197, nogoods=553, foundSolutions=6, bestBound=48151
27.33/16.08	    
27.52/16.20	    num=85, depth=16..36, filters=372783, revisions=(245017,useless=132001), ccks=89272, wck=12.025, mem=248M201
27.52/16.20	    decisions=32698, wrong=6332, backtracks=4900, failedAssignments=3355, nogoods=561, foundSolutions=6, bestBound=48151
27.52/16.20	    
27.62/16.33	    num=86, depth=14..43, filters=378669, revisions=(248942,useless=134813), ccks=89698, wck=12.154, mem=248M201
27.62/16.33	    decisions=33441, wrong=6690, backtracks=5219, failedAssignments=3529, nogoods=570, foundSolutions=6, bestBound=48151
27.62/16.33	    
27.72/16.48	    num=87, depth=19..36, filters=385728, revisions=(254504,useless=138713), ccks=90648, wck=12.305, mem=248M201
27.72/16.48	    decisions=34162, wrong=7039, backtracks=5535, failedAssignments=3720, nogoods=578, foundSolutions=6, bestBound=48151
27.72/16.48	    
27.92/16.62	    num=88, depth=17..40, filters=393475, revisions=(260820,useless=143683), ccks=91253, wck=12.441, mem=248M201
27.92/16.62	    decisions=34983, wrong=7435, backtracks=5893, failedAssignments=3931, nogoods=585, foundSolutions=6, bestBound=48151
27.92/16.62	    
28.12/16.80	    num=89, depth=16..39, filters=403183, revisions=(268773,useless=149566), ccks=92362, wck=12.62, mem=248M201
28.12/16.80	    decisions=35901, wrong=7882, backtracks=6299, failedAssignments=4163, nogoods=591, foundSolutions=6, bestBound=48151
28.12/16.80	    
28.22/16.96	    num=90, depth=23..102, filters=411027, revisions=(272961,useless=151996), ccks=93075, wck=12.787, mem=248M201
28.22/16.96	    decisions=37022, wrong=8400, backtracks=6631, failedAssignments=4418, nogoods=612, foundSolutions=6, bestBound=48151
28.22/16.96	    
28.52/17.21	    num=91, depth=21..35, filters=422302, revisions=(280880,useless=157512), ccks=94177, wck=13.037, mem=248M201
28.52/17.21	    decisions=38334, wrong=9044, backtracks=7226, failedAssignments=4699, nogoods=618, foundSolutions=6, bestBound=48151
28.52/17.21	    
28.72/17.40	    num=92, depth=15..43, filters=430515, revisions=(286487,useless=161479), ccks=94733, wck=13.225, mem=248M201
28.72/17.40	    decisions=39421, wrong=9576, backtracks=7703, failedAssignments=5008, nogoods=630, foundSolutions=6, bestBound=48151
28.72/17.40	    
28.92/17.66	    num=93, depth=18..37, filters=443160, revisions=(296427,useless=169129), ccks=95689, wck=13.482, mem=248M201
28.92/17.66	    decisions=40927, wrong=10317, backtracks=8376, failedAssignments=5348, nogoods=638, foundSolutions=6, bestBound=48151
28.92/17.66	    
29.14/17.90	    num=94, depth=17..38, filters=455517, revisions=(306597,useless=176287), ccks=97433, wck=13.718, mem=248M201
29.14/17.90	    decisions=42190, wrong=10937, backtracks=8942, failedAssignments=5722, nogoods=644, foundSolutions=6, bestBound=48151
29.14/17.90	    
29.45/18.15	    num=95, depth=10..37, filters=469397, revisions=(317646,useless=184638), ccks=98703, wck=13.973, mem=248M201
29.45/18.15	    decisions=43618, wrong=11639, backtracks=9595, failedAssignments=6133, nogoods=654, foundSolutions=6, bestBound=48151
29.45/18.15	    
29.84/18.52	    num=96, depth=17..35, filters=488479, revisions=(333006,useless=196106), ccks=100622, wck=14.343, mem=248M201
29.84/18.52	    decisions=45635, wrong=12638, backtracks=10491, failedAssignments=6585, nogoods=661, foundSolutions=6, bestBound=48151
29.84/18.52	    
30.14/18.86	    num=97, depth=8..41, filters=506376, revisions=(347864,useless=206451), ccks=103448, wck=14.684, mem=248M201
30.14/18.86	    decisions=47351, wrong=13486, backtracks=11262, failedAssignments=7082, nogoods=667, foundSolutions=6, bestBound=48151
30.14/18.86	    
30.54/19.21	    num=98, depth=7..43, filters=523137, revisions=(361383,useless=216517), ccks=105142, wck=15.03, mem=248M201
30.54/19.21	    decisions=49222, wrong=14410, backtracks=12121, failedAssignments=7629, nogoods=675, foundSolutions=6, bestBound=48151
30.54/19.21	    
30.94/19.64	    num=99, depth=14..34, filters=549005, revisions=(383737,useless=233083), ccks=108923, wck=15.465, mem=248M201
30.94/19.64	    decisions=51439, wrong=15510, backtracks=13134, failedAssignments=8231, nogoods=683, foundSolutions=6, bestBound=48151
30.94/19.64	    
31.45/20.12	    num=100, depth=14..33, filters=580174, revisions=(410832,useless=254310), ccks=112443, wck=15.946, mem=248M201
31.45/20.12	    decisions=53976, wrong=16771, backtracks=14305, failedAssignments=8893, nogoods=688, foundSolutions=6, bestBound=48151
31.45/20.12	    
32.05/20.76	    num=101, depth=9..37, filters=614188, revisions=(436574,useless=273705), ccks=115704, wck=16.582, mem=248M201
32.05/20.76	    decisions=57345, wrong=18449, backtracks=15839, failedAssignments=9621, nogoods=692, foundSolutions=6, bestBound=48151
32.05/20.76	    
32.67/21.36	    num=102, depth=16..37, filters=646563, revisions=(459272,useless=290194), ccks=118660, wck=17.181, mem=248M201
32.67/21.36	    decisions=60395, wrong=19962, backtracks=17187, failedAssignments=10422, nogoods=698, foundSolutions=6, bestBound=48151
32.67/21.36	    
33.27/21.98	    num=103, depth=18..42, filters=681621, revisions=(486329,useless=310058), ccks=122478, wck=17.802, mem=248M201
33.27/21.98	    decisions=63830, wrong=21668, backtracks=18705, failedAssignments=11303, nogoods=710, foundSolutions=6, bestBound=48151
33.27/21.98	    
33.97/22.67	    num=104, depth=11..41, filters=719594, revisions=(512946,useless=329403), ccks=125888, wck=18.49, mem=248M201
33.97/22.67	    decisions=67590, wrong=23538, backtracks=20394, failedAssignments=12273, nogoods=715, foundSolutions=6, bestBound=48151
33.97/22.67	    
34.68/23.36	    num=105, depth=15..37, filters=759475, revisions=(546036,useless=353615), ccks=131281, wck=19.179, mem=248M201
34.68/23.36	    decisions=71113, wrong=25290, backtracks=22016, failedAssignments=13340, nogoods=723, foundSolutions=6, bestBound=48151
34.68/23.36	    
35.58/24.27	    num=106, depth=15..37, filters=807867, revisions=(580865,useless=378579), ccks=135992, wck=20.09, mem=248M201
35.58/24.27	    decisions=76107, wrong=27775, backtracks=24196, failedAssignments=14513, nogoods=732, foundSolutions=6, bestBound=48151
35.58/24.27	    
36.58/25.20	    num=107, depth=10..40, filters=857654, revisions=(618643,useless=405049), ccks=142736, wck=21.025, mem=248M201
36.58/25.20	    decisions=80892, wrong=30158, backtracks=26392, failedAssignments=15804, nogoods=742, foundSolutions=6, bestBound=48151
36.58/25.20	    
37.60/26.26	    num=108, depth=15..38, filters=915961, revisions=(664002,useless=438017), ccks=149446, wck=22.084, mem=248M201
37.60/26.26	    decisions=85990, wrong=32694, backtracks=28712, failedAssignments=17224, nogoods=753, foundSolutions=6, bestBound=48151
37.60/26.26	    
38.60/27.24	    num=109, depth=18..95, filters=964819, revisions=(696861,useless=461688), ccks=152960, wck=23.062, mem=248M201
38.60/27.24	    decisions=91959, wrong=35640, backtracks=31079, failedAssignments=18786, nogoods=767, foundSolutions=6, bestBound=48151
38.60/27.24	    
39.80/28.46	    num=110, depth=12..35, filters=1035635, revisions=(757241,useless=505247), ccks=163730, wck=24.282, mem=248M201
39.80/28.46	    decisions=97851, wrong=38577, backtracks=33737, failedAssignments=20504, nogoods=778, foundSolutions=6, bestBound=48151
39.80/28.46	    
41.10/29.79	    num=111, depth=12..35, filters=1118706, revisions=(825914,useless=558873), ccks=171154, wck=25.609, mem=248M201
41.10/29.79	    decisions=105506, wrong=42395, backtracks=37240, failedAssignments=22394, nogoods=784, foundSolutions=6, bestBound=48151
41.10/29.79	    
42.72/31.30	    num=112, depth=17..39, filters=1199853, revisions=(890883,useless=606365), ccks=181075, wck=27.126, mem=248M201
42.72/31.30	    decisions=113518, wrong=46391, backtracks=40859, failedAssignments=24473, nogoods=797, foundSolutions=6, bestBound=48151
42.72/31.30	    
44.23/32.87	    num=113, depth=17..41, filters=1292500, revisions=(964205,useless=659693), ccks=193040, wck=28.688, mem=248M201
44.23/32.87	    decisions=122219, wrong=50732, backtracks=44866, failedAssignments=26760, nogoods=809, foundSolutions=6, bestBound=48151
44.23/32.87	    
46.03/34.63	    num=114, depth=13..40, filters=1401997, revisions=(1049989,useless=725450), ccks=202647, wck=30.455, mem=248M201
46.03/34.63	    decisions=132164, wrong=55696, backtracks=49304, failedAssignments=29276, nogoods=822, foundSolutions=6, bestBound=48151
46.03/34.63	    
48.03/36.65	    num=115, depth=14..41, filters=1512372, revisions=(1139971,useless=790496), ccks=216457, wck=32.469, mem=248M201
48.03/36.65	    decisions=142581, wrong=60894, backtracks=53977, failedAssignments=32044, nogoods=833, foundSolutions=6, bestBound=48151
48.03/36.65	    
50.33/38.90	    num=116, depth=14..40, filters=1630621, revisions=(1231215,useless=856155), ccks=229667, wck=34.721, mem=248M201
50.33/38.90	    decisions=154129, wrong=66659, backtracks=59221, failedAssignments=35088, nogoods=850, foundSolutions=6, bestBound=48151
50.33/38.90	    
52.63/41.22	    num=117, depth=12..38, filters=1760738, revisions=(1339109,useless=936693), ccks=244667, wck=37.041, mem=252M605
52.63/41.22	    decisions=165887, wrong=72528, backtracks=64662, failedAssignments=38437, nogoods=861, foundSolutions=6, bestBound=48151
52.63/41.22	    
55.33/43.92	    num=118, depth=12..41, filters=1915852, revisions=(1468323,useless=1033001), ccks=263482, wck=39.747, mem=252M605
55.33/43.92	    decisions=179817, wrong=79483, backtracks=70917, failedAssignments=42121, nogoods=872, foundSolutions=6, bestBound=48151
55.33/43.92	    
57.93/46.57	    num=119, depth=16..41, filters=2056585, revisions=(1579568,useless=1114953), ccks=278881, wck=42.395, mem=252M605
57.93/46.57	    decisions=194906, wrong=87017, backtracks=77749, failedAssignments=46173, nogoods=886, foundSolutions=6, bestBound=48151
57.93/46.57	    
61.13/49.75	    num=120, depth=13..43, filters=2228361, revisions=(1723392,useless=1221281), ccks=300406, wck=45.574, mem=252M605
61.13/49.75	    decisions=212376, wrong=95741, backtracks=85692, failedAssignments=50630, nogoods=896, foundSolutions=6, bestBound=48151
61.13/49.75	    
64.83/53.47	    num=121, depth=17..39, filters=2431511, revisions=(1878853,useless=1337351), ccks=320033, wck=49.291, mem=252M605
64.83/53.47	    decisions=232961, wrong=106023, backtracks=94945, failedAssignments=55533, nogoods=908, foundSolutions=6, bestBound=48151
64.83/53.47	    
68.74/57.32	    num=122, depth=13..48, filters=2625842, revisions=(2030134,useless=1448737), ccks=341070, wck=53.147, mem=252M605
68.74/57.32	    decisions=253782, wrong=116422, backtracks=104377, failedAssignments=60927, nogoods=921, foundSolutions=6, bestBound=48151
68.74/57.32	    
72.84/61.47	    num=123, depth=12..43, filters=2867831, revisions=(2229664,useless=1598548), ccks=369489, wck=57.291, mem=252M605
72.84/61.47	    decisions=275374, wrong=127210, backtracks=114084, failedAssignments=66860, nogoods=936, foundSolutions=6, bestBound=48151
72.84/61.47	    
77.94/66.51	    num=124, depth=15..41, filters=3130732, revisions=(2434041,useless=1744568), ccks=402495, wck=62.335, mem=252M605
77.94/66.51	    decisions=301109, wrong=140068, backtracks=125787, failedAssignments=73386, nogoods=947, foundSolutions=6, bestBound=48151
77.94/66.51	    
83.45/72.07	    num=125, depth=16..39, filters=3447463, revisions=(2693214,useless=1936588), ccks=441437, wck=67.896, mem=252M605
83.45/72.07	    decisions=329297, wrong=154152, backtracks=138554, failedAssignments=80565, nogoods=960, foundSolutions=6, bestBound=48151
83.45/72.07	    
89.34/77.91	    num=126, depth=12..87, filters=3766626, revisions=(2938051,useless=2113020), ccks=480739, wck=73.737, mem=257M10
89.34/77.91	    decisions=362080, wrong=170507, backtracks=152734, failedAssignments=88462, nogoods=988, foundSolutions=6, bestBound=48151
89.34/77.91	    
95.06/83.66	    num=127, depth=15..42, filters=4094886, revisions=(3192906,useless=2301248), ccks=514896, wck=79.478, mem=257M10
95.06/83.66	    decisions=392795, wrong=185854, backtracks=166629, failedAssignments=97149, nogoods=1002, foundSolutions=6, bestBound=48151
95.06/83.66	    
102.17/90.73	    num=128, depth=13..41, filters=4485029, revisions=(3485333,useless=2524194), ccks=545336, wck=86.557, mem=257M10
102.17/90.73	    decisions=433505, wrong=206200, backtracks=184656, failedAssignments=106704, nogoods=1015, foundSolutions=6, bestBound=48151
102.17/90.73	    
108.54/97.06	    num=129, depth=6..84, filters=4809035, revisions=(3695091,useless=2667212), ccks=577478, wck=92.88, mem=257M10
108.54/97.06	    decisions=476282, wrong=227558, backtracks=200580, failedAssignments=117215, nogoods=1045, foundSolutions=6, bestBound=48151
108.54/97.06	    
114.14/102.66	    num=130, depth=18..85, filters=5091064, revisions=(3804239,useless=2728620), ccks=592979, wck=98.48, mem=257M10
114.14/102.66	    decisions=526060, wrong=252415, backtracks=216376, failedAssignments=128777, nogoods=1081, foundSolutions=6, bestBound=48151
114.14/102.66	    
122.34/110.89	    num=131, depth=14..40, filters=5543944, revisions=(4165269,useless=2993439), ccks=643871, wck=106.715, mem=261M414
122.34/110.89	    decisions=573046, wrong=275899, backtracks=237915, failedAssignments=141495, nogoods=1091, foundSolutions=6, bestBound=48151
122.34/110.89	    
132.44/120.90	    num=132, depth=9..37, filters=6132625, revisions=(4666928,useless=3368280), ccks=720301, wck=116.72, mem=261M414
132.44/120.90	    decisions=626393, wrong=302564, backtracks=262168, failedAssignments=155485, nogoods=1101, foundSolutions=6, bestBound=48151
132.44/120.90	    
142.85/131.32	    num=133, depth=13..37, filters=6726568, revisions=(5161568,useless=3737286), ccks=788516, wck=127.148, mem=261M414
142.85/131.32	    decisions=685490, wrong=332104, backtracks=288886, failedAssignments=170874, nogoods=1113, foundSolutions=6, bestBound=48151
142.85/131.32	    
155.45/143.98	    num=134, depth=11..33, filters=7412699, revisions=(5709851,useless=4125159), ccks=885191, wck=139.801, mem=265M819
155.45/143.98	    decisions=751132, wrong=364918, backtracks=318691, failedAssignments=187802, nogoods=1118, foundSolutions=6, bestBound=48151
155.45/143.98	    
165.45/154.00	    num=135, depth=9..79, filters=7949447, revisions=(6009346,useless=4324087), ccks=926951, wck=149.819, mem=265M819
165.45/154.00	    decisions=823507, wrong=401075, backtracks=343748, failedAssignments=206423, nogoods=1129, foundSolutions=6, bestBound=48151
165.45/154.00	    
176.35/164.83	    num=136, depth=11..77, filters=8542082, revisions=(6333221,useless=4549388), ccks=964074, wck=160.651, mem=265M819
176.35/164.83	    decisions=911202, wrong=444888, backtracks=372760, failedAssignments=226907, nogoods=1152, foundSolutions=6, bestBound=48151
176.35/164.83	    
192.25/180.75	    num=137, depth=11..37, filters=9420260, revisions=(7062820,useless=5068626), ccks=1090134, wck=176.575, mem=270M223
192.25/180.75	    decisions=990788, wrong=484673, backtracks=408714, failedAssignments=249439, nogoods=1167, foundSolutions=6, bestBound=48151
192.25/180.75	    
210.05/198.58	    num=138, depth=7..40, filters=10433191, revisions=(7876759,useless=5681140), ccks=1195030, wck=194.398, mem=270M223
210.05/198.58	    decisions=1086234, wrong=532386, backtracks=451800, failedAssignments=274224, nogoods=1179, foundSolutions=6, bestBound=48151
210.05/198.58	    
229.76/218.28	    num=139, depth=11..36, filters=11594904, revisions=(8828918,useless=6391661), ccks=1329984, wck=214.101, mem=274M627
229.76/218.28	    decisions=1197740, wrong=588130, backtracks=501348, failedAssignments=301488, nogoods=1193, foundSolutions=6, bestBound=48151
229.76/218.28	    
251.06/239.56	    num=140, depth=12..44, filters=12770791, revisions=(9745236,useless=7056088), ccks=1472667, wck=235.384, mem=274M627
251.06/239.56	    decisions=1311547, wrong=645024, backtracks=553087, failedAssignments=331478, nogoods=1205, foundSolutions=6, bestBound=48151
251.06/239.56	    
276.16/264.63	    num=141, depth=12..43, filters=14112440, revisions=(10805607,useless=7817844), ccks=1644202, wck=260.448, mem=279M32
276.16/264.63	    decisions=1440481, wrong=709483, backtracks=611131, failedAssignments=364467, nogoods=1218, foundSolutions=6, bestBound=48151
276.16/264.63	    
304.38/292.84	    num=142, depth=11..40, filters=15628733, revisions=(11963625,useless=8664715), ccks=1813482, wck=288.661, mem=283M436
304.38/292.84	    decisions=1588181, wrong=783324, backtracks=677569, failedAssignments=400755, nogoods=1229, foundSolutions=6, bestBound=48151
304.38/292.84	    
323.28/311.79	    num=143, depth=17..90, filters=16620949, revisions=(12388559,useless=8942616), ccks=1840681, wck=307.612, mem=283M436
323.28/311.79	    decisions=1757273, wrong=867831, backtracks=731348, failedAssignments=440672, nogoods=1247, foundSolutions=6, bestBound=48151
323.28/311.79	    
354.69/343.13	    num=144, depth=15..678, filters=18577033, revisions=(14009765,useless=10227594), ccks=2024185, wck=338.955, mem=287M841
354.69/343.13	    decisions=1943885, wrong=960845, backtracks=815089, failedAssignments=484581, nogoods=1273, foundSolutions=6, bestBound=48151
354.69/343.13	    
394.28/382.78	    num=145, depth=12..44, filters=20707989, revisions=(15604472,useless=11397516), ccks=2251122, wck=378.598, mem=296M650
394.28/382.78	    decisions=2162251, wrong=1070018, backtracks=912244, failedAssignments=532881, nogoods=1285, foundSolutions=6, bestBound=48151
394.28/382.78	    
430.70/419.14	    num=146, depth=12..86, filters=22739461, revisions=(17126524,useless=12521726), ccks=2443721, wck=414.959, mem=301M54
430.70/419.14	    decisions=2378093, wrong=1177906, backtracks=1006684, failedAssignments=586011, nogoods=1301, foundSolutions=6, bestBound=48151
430.70/419.14	    
474.40/462.83	    num=147, depth=13..44, filters=25078315, revisions=(18845963,useless=13758977), ccks=2697306, wck=458.652, mem=305M458
474.40/462.83	    decisions=2608002, wrong=1292850, backtracks=1108818, failedAssignments=644454, nogoods=1314, foundSolutions=6, bestBound=48151
474.40/462.83	    
528.19/516.48	    num=148, depth=7..44, filters=27971546, revisions=(20983528,useless=15322124), ccks=3004793, wck=512.307, mem=172M135
528.19/516.48	    decisions=2900825, wrong=1439252, backtracks=1238910, failedAssignments=708741, nogoods=1328, foundSolutions=6, bestBound=48151
528.19/516.48	    
567.91/556.12	    num=149, depth=13..79, filters=29901577, revisions=(21963187,useless=15948684), ccks=3127417, wck=551.94, mem=176M542
567.91/556.12	    decisions=3198354, wrong=1587986, backtracks=1342139, failedAssignments=779457, nogoods=1360, foundSolutions=6, bestBound=48151
567.91/556.12	    
620.40/608.63	    num=150, depth=6..89, filters=32550968, revisions=(23611649,useless=17096930), ccks=3371343, wck=604.454, mem=185M357
620.40/608.63	    decisions=3511607, wrong=1744580, backtracks=1462260, failedAssignments=857244, nogoods=1380, foundSolutions=6, bestBound=48151
620.40/608.63	    
696.11/684.35	    num=151, depth=12..43, filters=36236534, revisions=(26191947,useless=19005699), ccks=3678747, wck=680.176, mem=194M171
696.11/684.35	    decisions=3905129, wrong=1941331, backtracks=1636599, failedAssignments=942810, nogoods=1393, foundSolutions=6, bestBound=48151
696.11/684.35	    
770.53/758.75	    num=152, depth=11..43, filters=40202752, revisions=(29456497,useless=21454013), ccks=4143373, wck=754.576, mem=198M578
770.53/758.75	    decisions=4288888, wrong=2133202, backtracks=1809492, failedAssignments=1036933, nogoods=1406, foundSolutions=6, bestBound=48151
770.53/758.75	    
854.05/842.28	    num=153, depth=9..47, filters=44582985, revisions=(32882094,useless=24060085), ccks=4548863, wck=838.107, mem=211M800
854.05/842.28	    decisions=4731914, wrong=2354706, backtracks=2009685, failedAssignments=1140468, nogoods=1417, foundSolutions=6, bestBound=48151
854.05/842.28	    
929.16/917.33	    num=154, depth=19..137, filters=47827705, revisions=(34251857,useless=24818660), ccks=4737982, wck=913.157, mem=216M207
929.16/917.33	    decisions=5235331, wrong=2606357, backtracks=2188125, failedAssignments=1254357, nogoods=1439, foundSolutions=6, bestBound=48151
929.16/917.33	    
997.27/985.45	    num=155, depth=14..123, filters=51054987, revisions=(35651228,useless=25719769), ccks=4799063, wck=981.277, mem=225M21
997.27/985.45	    decisions=5784305, wrong=2880790, backtracks=2366109, failedAssignments=1379635, nogoods=1467, foundSolutions=6, bestBound=48151
997.27/985.45	    
1084.49/1072.67	    num=156, depth=8..123, filters=54796274, revisions=(37472633,useless=26844445), ccks=4984737, wck=1068.493, mem=233M836
1084.49/1072.67	    decisions=6381068, wrong=3179136, backtracks=2554632, failedAssignments=1517441, nogoods=1485, foundSolutions=6, bestBound=48151
1084.49/1072.67	    
1157.91/1146.02	    num=157, depth=8..97, filters=58180650, revisions=(38759100,useless=27558515), ccks=5211897, wck=1141.847, mem=242M650
1157.91/1146.02	    decisions=7016167, wrong=3496651, backtracks=2744599, failedAssignments=1669027, nogoods=1516, foundSolutions=6, bestBound=48151
1157.91/1146.02	    
1259.22/1247.37	    num=158, depth=8..91, filters=62747958, revisions=(40768721,useless=28827796), ccks=5396320, wck=1243.192, mem=255M872
1259.22/1247.37	    decisions=7772842, wrong=3874952, backtracks=2997377, failedAssignments=1835772, nogoods=1537, foundSolutions=6, bestBound=48151
1259.22/1247.37	    
1365.34/1353.43	    num=159, depth=8..89, filters=67627517, revisions=(42561418,useless=29746840), ccks=5737999, wck=1349.248, mem=264M686
1365.34/1353.43	    decisions=8584784, wrong=4280885, backtracks=3248595, failedAssignments=2019191, nogoods=1564, foundSolutions=6, bestBound=48151
1365.34/1353.43	    
1467.36/1455.43	    num=160, depth=8..88, filters=73139507, revisions=(44581660,useless=30916197), ccks=5786730, wck=1451.248, mem=277M908
1467.36/1455.43	    decisions=9410417, wrong=4693668, backtracks=3490965, failedAssignments=2220952, nogoods=1586, foundSolutions=6, bestBound=48151
1467.36/1455.43	    
1569.39/1557.45	    num=161, depth=12..87, filters=78098648, revisions=(46487979,useless=32064640), ccks=5921473, wck=1553.271, mem=291M129
1569.39/1557.45	    decisions=10304543, wrong=5140697, backtracks=3750414, failedAssignments=2442890, nogoods=1615, foundSolutions=6, bestBound=48151
1569.39/1557.45	    
1756.53/1744.56	    num=162, depth=54..84, filters=86182064, revisions=(51144756,useless=34896435), ccks=6650166, wck=1740.387, mem=308M758
1756.53/1744.56	    decisions=11413528, wrong=5695159, backtracks=4149257, failedAssignments=2687021, nogoods=1632, foundSolutions=6, bestBound=48151
1756.53/1744.56	    
1885.85/1873.82	    num=163, depth=12..82, filters=92123913, revisions=(53467574,useless=36215299), ccks=6961437, wck=1869.648, mem=321M980
1885.85/1873.82	    decisions=12547312, wrong=6262019, backtracks=4486082, failedAssignments=2955566, nogoods=1655, foundSolutions=6, bestBound=48151
1885.85/1873.82	    
2064.49/2052.49	    num=164, depth=27..136, filters=100129876, revisions=(57075521,useless=38406093), ccks=7387056, wck=2048.317, mem=344M15
2064.49/2052.49	    decisions=13846153, wrong=6911382, backtracks=4923337, failedAssignments=3250965, nogoods=1678, foundSolutions=6, bestBound=48151
2064.49/2052.49	    
2247.82/2235.72	    num=165, depth=42..88, filters=109725228, revisions=(61997719,useless=41787900), ccks=7975732, wck=2231.546, mem=361M644
2247.82/2235.72	    decisions=15240336, wrong=7608444, backtracks=5370508, failedAssignments=3575904, nogoods=1695, foundSolutions=6, bestBound=48151
2247.82/2235.72	    
2520.02/2507.80	
2520.02/2507.80	v <instantiation id='sol6' type='solution' cost='48151'>  <list> x[][] ps[][] ds[][] wk[][] cn[] cf[] cc[][] </list>  <values> 1 0 3 0 1 1 0 0 0 0 3 0 1 0 0 0 3 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 3 0 0 1 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 3 3 3 0 0 1 1 0 0 0 1 1 0 0 0 3 3 0 1 3 0 0 3 3 3 0 0 1 1 0 0 0 1 1 0 0 0 3 3 0 1 3 0 0 3 0 1 0 0 1 1 0 0 0 1 1 0 0 0 3 0 0 1 0 0 0 0 0 1 0 3 1 1 0 0 0 1 1 0 3 0 3 0 0 1 0 0 0 0 0 1 3 3 3 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 3 3 3 3 3 3 3 3 3 3 0 3 0 0 3 3 0 3 3 0 0 3 0 3 1 3 3 3 3 3 3 3 0 3 0 0 3 3 0 3 3 0 3 3 0 3 1 1 0 0 3 1 1 3 0 0 3 3 0 1 3 0 0 3 3 3 0 0 1 1 0 0 3 1 1 3 0 0 3 3 0 1 3 0 0 3 0 1 0 0 1 1 0 0 3 1 1 3 0 0 0 0 0 1 0 0 0 0 0 1 3 0 3 1 0 0 3 1 3 3 3 0 0 0 0 1 0 0 0 0 1 1 3 0 3 1 0 0 3 1 3 3 3 0 0 0 0 1 0 0 0 0 2 1 0 3 1 3 3 3 3 3 1 0 0 3 0 3 3 3 0 3 3 3 3 3 0 3 1 3 3 3 3 3 1 0 0 3 0 3 3 3 0 3 3 3 3 3 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 3 3 0 0 0 0 1 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 0 0 1 3 0 3 1 3 0 0 3 1 0 0 0 0 0 0 1 0 0 0 0 0 1 3 0 3 1 3 0 0 3 3 3 3 0 0 0 0 1 0 0 0 0 0 3 0 3 1 1 0 0 0 3 3 3 3 0 0 0 0 1 0 3 0 0 0 3 0 3 1 3 0 3 0 3 1 0 0 3 0 3 0 1 0 3 3 3 3 1 0 0 1 3 0 3 0 1 1 0 0 3 0 3 0 3 0 0 3 3 3 1 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 3 3 0 0 3 3 1 3 0 3 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 3 3 1 3 0 3 1 3 0 0 1 1 0 3 3 0 0 0 1 0 0 0 3 3 3 0 3 1 3 3 0 0 1 3 3 3 3 0 0 0 1 0 0 0 0 3 3 0 3 1 3 3 3 0 3 3 3 0 3 0 0 0 2 0 3 3 0 3 3 3 0 1 3 3 3 0 3 1 0 0 3 0 3 0 3 0 3 3 3 3 3 3 0 1 3 0 0 0 1 1 0 0 3 0 3 0 3 0 0 0 3 3 3 0 0 3 3 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 0 3 3 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 3 1 3 0 0 0 1 3 0 3 3 0 3 0 1 0 0 0 0 0 3 0 3 1 3 3 0 0 1 3 3 3 0 0 3 0 3 0 0 0 0 3 3 3 0 1 1 3 3 0 3 3 3 0 0 0 3 0 3 0 3 3 0 3 1 3 0 1 1 3 3 0 3 3 0 0 0 0 3 0 3 0 3 3 3 0 1 3 0 3 1 3 0 0 1 1 0 0 0 0 3 0 1 0 0 0 3 0 1 3 0 3 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 0 0 1 0 3 1 1 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 3 1 3 0 0 0 1 1 0 3 3 0 0 3 1 0 0 0 0 0 3 0 0 1 3 0 0 0 1 1 3 3 0 0 0 3 1 0 0 0 0 3 1 0 0 1 1 0 3 0 3 3 3 3 0 0 0 3 3 0 3 3 0 3 1 3 0 3 1 3 3 0 3 3 0 3 0 0 3 0 3 0 3 3 3 3 1 3 0 3 1 3 3 0 1 1 0 3 0 0 3 0 1 0 3 0 3 3 1 0 3 3 1 0 0 3 1 1 0 3 0 3 3 0 1 3 3 0 0 0 3 0 3 3 1 0 0 3 1 1 0 3 3 3 3 0 1 3 3 0 0 0 3 0 3 3 3 0 0 0 1 1 0 3 3 0 3 0 1 3 3 0 0 0 1 0 0 3 3 0 0 0 1 1 3 0 0 0 0 3 3 3 3 0 0 0 1 3 0 3 1 0 0 0 3 3 3 0 0 0 0 3 3 3 3 3 3 2 1 3 0 1 1 3 3 0 3 3 0 3 0 3 0 0 3 3 3 3 3 3 1 3 3 1 1 3 3 0 1 1 0 3 0 3 0 0 3 3 0 0 3 3 3 3 3 1 1 3 3 3 1 1 0 0 0 0 0 0 3 0 0 0 3 0 3 0 0 1 1 0 3 3 1 1 0 0 3 0 3 0 1 0 0 3 3 0 1 0 0 3 3 0 3 0 1 1 0 0 3 0 3 0 1 0 0 3 0 0 1 0 0 3 3 0 3 0 1 1 3 0 0 0 0 3 1 0 0 3 0 0 1 0 0 1 1 0 3 0 3 3 3 0 0 0 0 3 2 0 3 0 0 3 1 3 3 1 1 3 3 0 3 3 3 3 0 3 0 0 3 3 3 0 0 3 3 3 3 3 1 3 0 0 3 3 3 3 0 3 0 0 3 3 0 0 0 0 3 3 3 3 1 0 0 3 3 1 0 0 0 0 0 0 3 0 0 0 3 0 1 0 0 1 1 0 0 3 1 1 0 0 3 0 3 0 3 0 0 0 3 0 1 0 0 1 3 0 1 0 1 1 0 0 3 0 3 0 1 0 0 3 3 0 1 0 0 1 3 0 3 0 1 1 0 0 0 0 0 3 1 0 0 3 3 0 1 0 0 1 1 0 3 0 3 1 0 0 0 0 0 3 1 0 3 0 0 3 3 3 3 3 1 3 0 3 3 3 3 3 0 3 0 3 1 3 3 0 0 3 3 3 3 3 1 3 0 3 1 3 3 3 0 3 0 3 1 3 0 0 0 0 3 3 3 3 1 0 0 0 1 1 0 0 0 0 0 0 3 3 0 3 0 0 1 0 0 1 1 0 0 0 1 1 0 0 3 0 3 0 3 3 0 3 0 0 1 0 0 1 3 0 0 0 1 1 0 0 3 0 3 0 1 0 0 3 3 3 1 0 0 1 3 0 3 0 1 1 0 0 0 0 0 0 1 0 0 3 3 3 1 0 0 1 1 0 3 0 3 1 0 0 0 0 0 0 1 0 3 3 0 0 3 3 3 3 1 3 3 3 3 3 3 3 0 3 3 3 1 3 3 3 0 0 3 3 3 3 1 3 3 3 3 3 3 3 0 3 3 3 1 3 3 3 0 0 1 3 3 3 1 0 0 0 3 1 0 0 0 0 3 0 3 0 0 0 0 0 1 0 0 1 1 0 0 0 3 1 0 0 3 0 3 0 3 0 0 0 3 0 1 0 0 1 3 3 0 0 1 3 0 0 3 0 0 0 3 0 0 0 3 3 3 0 0 1 3 3 0 0 1 3 0 0 0 0 0 0 3 0 0 0 0 3 3 1 2 2 3 3 0 3 2 3 3 2 2 3 0 3 3 2 3 0 0 0 1 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 3 3 3 0 0 1 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 3 3 3 0 0 1 3 3 3 0 53 0 31 52 0 0 32 51 1 0 32 52 0 0 32 0 52 1 31 0 54 0 30 54 0 0 30 52 0 1 31 53 0 1 30 54 0 0 30 52 0 0 32 54 0 0 30 0 50 2 32 52 0 1 31 53 0 0 31 54 0 0 30 52 0 0 32 49 1 2 32 0 49 0 35 49 1 0 34 49 0 1 34 0 49 1 34 13 6 0 3 15 6 0 1 15 6 0 1 15 6 0 1 12 4 0 6 3 0 0 19 4 1 0 17 11 5 0 6 12 6 0 4 14 6 0 2 12 5 0 5 13 5 0 4 7 1 0 14 6 1 0 15 9 5 0 8 10 6 0 6 13 5 0 4 11 5 0 6 11 5 1 5 5 2 0 15 6 2 0 14 12 5 0 5 11 5 0 6 14 4 0 4 12 3 0 7 12 3 0 7 9 4 0 9 10 4 0 8 9 4 0 9 9 5 0 8 10 5 0 7 10 3 0 9 8 1 1 12 7 2 0 13 12 2 0 8 11 3 0 8 10 4 0 8 12 3 0 7 10 2 0 10 8 3 0 11 9 2 0 11 12 5 0 5 11 6 0 5 10 5 0 7 13 4 0 5 12 5 0 5 8 2 0 12 7 2 0 13 8 5 0 9 9 4 0 9 8 4 0 10 11 4 0 7 11 3 0 8 8 3 1 10 5 3 0 14 7 4 0 11 12 4 0 6 10 5 0 7 12 4 0 6 12 5 0 5 9 3 1 9 6 1 0 15 9 1 0 12 14 4 0 4 12 5 0 5 11 6 0 5 12 5 0 5 10 3 0 9 5 2 0 15 7 3 0 12 14 5 0 3 12 5 0 5 11 5 0 6 12 5 0 5 11 3 0 8 3 2 0 17 3 3 0 16 15 4 0 3 13 4 0 5 12 2 0 8 12 2 2 6 5 1 4 12 3 2 0 17 3 2 0 17 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 2 2 2 2 2 2 2 2 2 1 1 0 0 0 3 3 3 2 2 2 2 2 0 0 0 2 0 0 1 1 2 3 2 1 1 1 2 0 0 0 2 2 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 1 1 2 2 2 1 2 2 2 0 0 0 2 0 2 3 3 3 3 0 3 3 3 3 0 1 1 0 0 0 0 0 1 1 2 2 2 2 2 0 3 3 1 1 1 3 3 3 3 3 1 0 0 0 0 3 3 1 1 1 2 2 0 0 0 0 2 3 3 3 3 0 0 3 3 0 2 2 2 2 1 1 1 1 2 2 0 0 1 1 3 3 1 1 2 3 3 3 3 3 1 1 0 0 0 0 3 1 3 3 3 3 3 1 1 1 2 0 0 0 2 1 1 1 1 1 0 0 0 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 0 0 1 0 0 0 3 3 3 2 0 2 0 0 0 0 2 2 2 2 2 1 1 1 1 1 3 3 0 0 0 0 2 2 1 1 0 0 1 0 0 2 2 2 2 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 3 1 3 3 3 1 2 2 2 3 0 0 0 0 0 2 3 3 3 2 2 0 0 0 0 1 1 0 0 1 3 2 2 0 0 1 0 0 0 0 0 0 0 3 3 0 1 1 0 0 0 1 1 1 0 0 0 0 0 3 3 0 0 0 0 0 0 0 1 1 1 1 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 2 0 0 0 1 1 0 0 0 0 1 1 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 8 2 600 0 10 3 700 0 10 3 500 0 9 3 700 0 5 1 500 0 200 300 300 0 100 200 700 0 6 1 500 0 7 3 400 0 8 3 600 0 5 1 500 0 6 1 600 0 3 100 500 0 3 200 600 0 4 2 500 0 5 4 500 0 8 2 600 0 7 3 400 0 8 3 600 0 0 200 500 0 3 100 600 0 7 3 500 0 8 2 700 0 10 1 600 0 5 200 500 0 7 0 600 0 5 100 500 0 7 1 400 0 3 0 700 0 4 2 500 0 5 2 500 0 4 100 500 0 3 200 300 0 2 100 500 0 5 100 500 0 5 100 500 0 4 1 500 0 5 100 500 0 5 200 500 0 4 100 600 0 5 200 600 0 7 2 300 0 4 1 600 0 5 0 500 0 7 1 500 0 7 2 500 0 2 100 500 0 2 0 400 0 4 2 500 0 4 1 500 0 2 0 500 0 6 1 400 0 6 0 700 0 2 1 400 0 0 0 500 0 2 1 600 0 5 2 500 0 3 2 400 0 6 2 600 0 5 4 700 0 4 1 400 0 1 0 700 0 4 0 400 0 9 3 500 0 7 3 500 0 5 4 500 0 6 1 300 0 6 2 400 0 100 100 400 0 2 100 400 0 7 3 400 0 9 4 400 0 6 2 700 0 7 2 500 0 6 0 400 0 200 100 500 0 200 0 500 0 10 1 600 0 9 3 500 0 8 100 500 0 7 0 300 0 0 100 100 0 300 100 500 0 100 100 700 0 </values>  </instantiation>
2520.02/2507.80	s SATISFIABLE

Verifier Data 

OK	48151

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391044-1568386606/watcher-4391044-1568386606 -o /tmp/evaluation-result-4391044-1568386606/solver-4391044-1568386606 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391044-1568386606.xml -cm 

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

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

solver pid=22004, runsolver pid=22001

[startup+0.100059 s]*
/proc/loadavg: 2.48 2.09 1.91 4/229 22019
/proc/meminfo: memFree=31064900/32770624 swapFree=66996904/67108860
[pid=22004] ppid=22001 vsize=10659884 memory=28396 CPUtime=0.14 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 5616 0 0 0 13 1 0 0 20 0 15 0 414913721 10915721216 7099 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2664971 7099 2871 1 0 2627468 0
[pid=22004/tid=22006] ppid=22001 vsize=10659884 memory=720575944405811505 CPUtime=0.1 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) R 22001 22004 20165 0 -1 4202560 3281 0 0 0 9 1 0 0 20 0 15 0 414913721 10915721216 7099 33554432000 4194304 4196468 140721667801664 139780988122712 139780976130878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 7099 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10659884 memory=3978007621662463648 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913723 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780474791456 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780473738608 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913726 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 414913726 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 414913726 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0.02 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) R 22001 22004 20165 0 -1 4202560 511 0 0 0 2 0 0 0 20 0 15 0 414913726 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780469525528 139780962819462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 7165 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28396 KiB

[startup+0.210712 s]*
/proc/loadavg: 2.48 2.09 1.91 3/228 22019
/proc/meminfo: memFree=31057272/32770624 swapFree=66996904/67108860
[pid=22004] ppid=22001 vsize=10659884 memory=35136 CPUtime=0.32 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 6900 0 0 0 31 1 0 0 20 0 15 0 414913721 10915721216 8784 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2664971 8784 2987 1 0 2627468 0
[pid=22004/tid=22006] ppid=22001 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) R 22001 22004 20165 0 -1 4202560 3880 0 0 0 19 1 0 0 20 0 15 0 414913721 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780988125840 139780983915677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10659884 memory=140332992476439 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913723 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780474791456 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780473738608 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913726 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 414913726 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 414913726 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0.05 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 709 0 0 0 5 0 0 0 20 0 15 0 414913726 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 8784 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35136 KiB

[startup+0.309962 s]*
/proc/loadavg: 2.48 2.09 1.91 3/228 22019
/proc/meminfo: memFree=31049440/32770624 swapFree=66996904/67108860
[pid=22004] ppid=22001 vsize=10659884 memory=40512 CPUtime=0.47 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 9450 0 0 0 44 3 0 0 20 0 15 0 414913721 10915721216 10128 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2664971 10128 3000 1 0 2627468 0
[pid=22004/tid=22006] ppid=22001 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) R 22001 22004 20165 0 -1 4202560 6344 0 0 0 28 2 0 0 20 0 15 0 414913721 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780988114640 139780983915677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10659884 memory=140332992476252 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913722 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913723 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780474791456 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414913724 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780473738608 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913726 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) R 22001 22004 20165 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 414913726 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) R 22001 22004 20165 0 -1 4202560 427 0 0 0 4 0 0 0 20 0 15 0 414913726 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780470581488 139780968775440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0.08 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) R 22001 22004 20165 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 15 0 414913726 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780469528688 139780983905686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10659884 memory=140332989208192 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913727 10915721216 10128 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40512 KiB

[startup+0.700774 s]
/proc/loadavg: 2.48 2.09 1.91 3/228 22019
/proc/meminfo: memFree=31039908/32770624 swapFree=66996904/67108860
[pid=22004] ppid=22001 vsize=10661932 memory=64112 CPUtime=1.11 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 13122 0 0 0 107 4 0 0 20 0 15 0 414913721 10917818368 16028 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2665483 16028 3070 1 0 2627980 0
[pid=22004/tid=22006] ppid=22001 vsize=10661932 memory=39428 CPUtime=0.68 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) R 22001 22004 20165 0 -1 4202560 8896 0 0 0 64 4 0 0 20 0 15 0 414913721 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780988124992 139780964168676 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913722 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913723 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10661932 memory=14 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414913724 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780474791456 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414913724 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780473738608 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913726 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 414913726 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10661932 memory=1458 CPUtime=0.1 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) R 22001 22004 20165 0 -1 4202560 767 0 0 0 10 0 0 0 20 0 15 0 414913726 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780470581488 139780965079667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10661932 memory=99204 CPUtime=0.19 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 1227 0 0 0 19 0 0 0 20 0 15 0 414913726 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414913727 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913727 10917818368 16028 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64112 KiB

[startup+1.50072 s]
/proc/loadavg: 2.48 2.09 1.91 3/228 22019
/proc/meminfo: memFree=31024212/32770624 swapFree=66996904/67108860
[pid=22004] ppid=22001 vsize=10663980 memory=76252 CPUtime=2.01 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 18703 0 0 0 195 6 0 0 20 0 15 0 414913721 10919915520 19063 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2665995 19063 3096 1 0 2628492 0
[pid=22004/tid=22006] ppid=22001 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) R 22001 22004 20165 0 -1 4202560 13107 0 0 0 143 5 0 0 20 0 15 0 414913721 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780988119632 139780967080560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10663980 memory=39428 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414913722 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414913722 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414913723 10919915520 19063 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0

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

/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 281 0 0 0 9 6 0 0 20 0 16 0 414913722 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.04 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2080 0 0 0 3 1 0 0 20 0 16 0 414913723 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10748324 memory=537596 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780474791520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10748324 memory=537596 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780473738624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10748324 memory=21748 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10748324 memory=537596 CPUtime=4.72 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 17047 0 0 0 469 3 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10748324 memory=537596 CPUtime=5.33 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 18805 0 0 0 531 2 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10748324 memory=1004 CPUtime=1.32 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 12980 0 0 0 129 3 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10748324 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913727 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.49 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1935 0 0 0 18 31 0 0 20 0 16 0 414913727 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22020] ppid=22001 vsize=10748324 memory=1004 CPUtime=2380.03 cores=1,3,5,7
/proc/22004/task/22020/stat : 22020 (java) R 22001 22004 20165 0 -1 4202560 23046 0 0 0 237997 6 0 0 20 0 16 0 414913909 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780450348944 139780605444890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 2394.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 537596 KiB

[startup+2442.3 s]
/proc/loadavg: 1.01 1.05 1.34 2/207 22317
/proc/meminfo: memFree=31229532/32770624 swapFree=66996928/67108860
[pid=22004] ppid=22001 vsize=10748324 memory=537596 CPUtime=2454.47 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 94892 0 0 0 245375 72 0 0 20 0 16 0 414913721 11006283776 134399 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2687081 134399 3380 1 0 2647217 0
[pid=22004/tid=22006] ppid=22001 vsize=10748324 memory=537596 CPUtime=1.85 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) S 22001 22004 20165 0 -1 1077944384 15364 0 0 0 180 5 0 0 20 0 16 0 414913721 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780988136624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 584 0 0 0 9 6 0 0 20 0 16 0 414913722 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10748324 memory=14 CPUtime=0.14 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 845 0 0 0 8 6 0 0 20 0 16 0 414913722 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.13 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 284 0 0 0 7 6 0 0 20 0 16 0 414913722 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 281 0 0 0 9 6 0 0 20 0 16 0 414913722 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10748324 memory=537596 CPUtime=0.04 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2087 0 0 0 3 1 0 0 20 0 16 0 414913723 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10748324 memory=180 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780474791520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10748324 memory=537596 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780473738624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10748324 memory=537596 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10748324 memory=537596 CPUtime=4.72 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 17051 0 0 0 469 3 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10748324 memory=533 CPUtime=5.33 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 18811 0 0 0 531 2 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10748324 memory=1112 CPUtime=1.32 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 12982 0 0 0 129 3 0 0 20 0 16 0 414913726 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10748324 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913727 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10748324 memory=1404 CPUtime=0.5 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1966 0 0 0 18 32 0 0 20 0 16 0 414913727 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22020] ppid=22001 vsize=10748324 memory=3284 CPUtime=2440.03 cores=1,3,5,7
/proc/22004/task/22020/stat : 22020 (java) R 22001 22004 20165 0 -1 4202560 23233 0 0 0 243997 6 0 0 20 0 16 0 414913909 11006283776 134399 33554432000 4194304 4196468 140721667801664 139780450348944 139780607110992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 2454.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 537596 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.04 1.31 2/207 22321
/proc/meminfo: memFree=31206868/32770624 swapFree=66996928/67108860
[pid=22004] ppid=22001 vsize=10748324 memory=560080 CPUtime=2514.52 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 95898 0 0 0 251377 75 0 0 20 0 16 0 414913721 11006283776 140020 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2687081 140020 3380 1 0 2647217 0
[pid=22004/tid=22006] ppid=22001 vsize=10748324 memory=560080 CPUtime=1.85 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) S 22001 22004 20165 0 -1 1077944384 15364 0 0 0 180 5 0 0 20 0 16 0 414913721 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780988136624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10748324 memory=560080 CPUtime=0.17 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 667 0 0 0 10 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10748324 memory=560080 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 890 0 0 0 9 6 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10748324 memory=560080 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 467 0 0 0 8 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10748324 memory=2012 CPUtime=0.17 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 560 0 0 0 10 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10748324 memory=1388 CPUtime=0.05 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2269 0 0 0 3 2 0 0 20 0 16 0 414913723 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10748324 memory=560080 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780474791520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10748324 memory=560080 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780473738624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10748324 memory=560080 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10748324 memory=560080 CPUtime=4.72 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 17053 0 0 0 469 3 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10748324 memory=560080 CPUtime=5.33 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 18819 0 0 0 531 2 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10748324 memory=812 CPUtime=1.32 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 12984 0 0 0 129 3 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10748324 memory=560080 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913727 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10748324 memory=288230583166042426 CPUtime=0.52 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1997 0 0 0 19 33 0 0 20 0 16 0 414913727 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22020] ppid=22001 vsize=10748324 memory=14689699524512400 CPUtime=2500.01 cores=1,3,5,7
/proc/22004/task/22020/stat : 22020 (java) R 22001 22004 20165 0 -1 4202560 23424 0 0 0 249995 6 0 0 20 0 16 0 414913909 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780450357584 139780607110987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 2514.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 560080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.8 s]
/proc/loadavg: 1.00 1.04 1.31 2/207 22321
/proc/meminfo: memFree=31206868/32770624 swapFree=66996928/67108860
[pid=22004] ppid=22001 vsize=10748324 memory=560080 CPUtime=2520.02 cores=1,3,5,7
/proc/22004/stat : 22004 (java) S 22001 22004 20165 0 -1 1077944320 95898 0 0 0 251927 75 0 0 20 0 16 0 414913721 11006283776 140020 33554432000 4194304 4196468 140721667801664 140721667784208 139780983893751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
/proc/22004/statm: 2687081 140020 3380 1 0 2647217 0
[pid=22004/tid=22006] ppid=22001 vsize=10748324 memory=500 CPUtime=1.85 cores=1,3,5,7
/proc/22004/task/22006/stat : 22006 (java) S 22001 22004 20165 0 -1 1077944384 15364 0 0 0 180 5 0 0 20 0 16 0 414913721 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780988136624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22007] ppid=22001 vsize=10748324 memory=1560 CPUtime=0.17 cores=1,3,5,7
/proc/22004/task/22007/stat : 22007 (java) S 22001 22004 20165 0 -1 1077944384 667 0 0 0 10 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780920584848 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22008] ppid=22001 vsize=10748324 memory=932 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22008/stat : 22008 (java) S 22001 22004 20165 0 -1 1077944384 890 0 0 0 9 6 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780589218320 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22009] ppid=22001 vsize=10748324 memory=3624 CPUtime=0.15 cores=1,3,5,7
/proc/22004/task/22009/stat : 22009 (java) S 22001 22004 20165 0 -1 1077944384 467 0 0 0 8 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780588165520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22010] ppid=22001 vsize=10748324 memory=1980 CPUtime=0.17 cores=1,3,5,7
/proc/22004/task/22010/stat : 22010 (java) S 22001 22004 20165 0 -1 1077944384 560 0 0 0 10 7 0 0 20 0 16 0 414913722 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780587112720 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22011] ppid=22001 vsize=10748324 memory=2512 CPUtime=0.05 cores=1,3,5,7
/proc/22004/task/22011/stat : 22011 (java) S 22001 22004 20165 0 -1 1077944384 2269 0 0 0 3 2 0 0 20 0 16 0 414913723 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780475845488 139780983904898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22012] ppid=22001 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22012/stat : 22012 (java) S 22001 22004 20165 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780474791520 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22013] ppid=22001 vsize=10748324 memory=812 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22013/stat : 22013 (java) S 22001 22004 20165 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414913724 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780473738624 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22014] ppid=22001 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22014/stat : 22014 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780472686928 139780983912347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22015] ppid=22001 vsize=10748324 memory=-8634980985311628903 CPUtime=4.72 cores=1,3,5,7
/proc/22004/task/22015/stat : 22015 (java) S 22001 22004 20165 0 -1 1077944384 17053 0 0 0 469 3 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780471634288 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22016] ppid=22001 vsize=10748324 memory=3047711553320166262 CPUtime=5.33 cores=1,3,5,7
/proc/22004/task/22016/stat : 22016 (java) S 22001 22004 20165 0 -1 1077944384 18819 0 0 0 531 2 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780470581488 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22017] ppid=22001 vsize=10748324 memory=7824336315716348491 CPUtime=1.32 cores=1,3,5,7
/proc/22004/task/22017/stat : 22017 (java) S 22001 22004 20165 0 -1 1077944384 12984 0 0 0 129 3 0 0 20 0 16 0 414913726 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780469528688 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22018] ppid=22001 vsize=10748324 memory=7235708255147222118 CPUtime=0 cores=1,3,5,7
/proc/22004/task/22018/stat : 22018 (java) S 22001 22004 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414913727 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780468476128 139780983903957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22019] ppid=22001 vsize=10748324 memory=7523089920226387538 CPUtime=0.52 cores=1,3,5,7
/proc/22004/task/22019/stat : 22019 (java) S 22001 22004 20165 0 -1 1077944384 1997 0 0 0 19 33 0 0 20 0 16 0 414913727 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780467424432 139780983904898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
[pid=22004/tid=22020] ppid=22001 vsize=10748324 memory=7668620166277917288 CPUtime=2505.5 cores=1,3,5,7
/proc/22004/task/22020/stat : 22020 (java) R 22001 22004 20165 0 -1 4202560 23424 0 0 0 250544 6 0 0 20 0 16 0 414913909 11006283776 140020 33554432000 4194304 4196468 140721667801664 139780450357584 139780605282785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25157632 140721667806219 140721667806322 140721667806322 140721667809231 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 560080 KiB

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

[startup+2507.82 s]
# the end of solver process 22004 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.29 s, system=0.760044 s

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

Child status: 143
Real time (s): 2507.82
CPU time (s): 2520.05
CPU user time (s): 2519.29
CPU system time (s): 0.760044
CPU usage (%): 100.488
Max. virtual memory (cumulated for all children) (KiB): 10750816
Max. memory (cumulated for all children) (KiB): 560080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.29
system time used= 0.760044
maximum resident set size= 560656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58328
involuntary context switches= 893


# summary of solver processes directly reported to runsolver:
#   pid: 22004
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.29
#   total CPU system time (s): 0.760044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9294 second user time and 21.6621 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-13 16:55:48
IDJOB=4391044
IDBENCH=141053
IDSOLVER=2832
FILE ID=node103/4391044-1568386606
RUNJOBID= node103-1568380458-20197
PBS_JOBID= 21701851
Free space on /tmp= 57256 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391044-1568386606/watcher-4391044-1568386606 -o /tmp/evaluation-result-4391044-1568386606/solver-4391044-1568386606 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391044-1568386606.xml -cm

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=432390084

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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:        31080496 kB
MemAvailable:   31288508 kB
Buffers:           50664 kB
Cached:           435220 kB
SwapCached:         9136 kB
Active:          1003680 kB
Inactive:          91232 kB
Active(anon):     602372 kB
Inactive(anon):    47624 kB
Active(file):     401308 kB
Inactive(file):    43608 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66996904 kB
Dirty:              9120 kB
Writeback:             0 kB
AnonPages:        727816 kB
Mapped:            56504 kB
Shmem:             32604 kB
Slab:             186944 kB
SReclaimable:     157860 kB
SUnreclaim:        29084 kB
KernelStack:        4016 kB
PageTables:         7048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1503972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    643072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61708 MiB
End job on node103 at 2019-09-13 17:37:35