Trace number 4391120

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-23OPT32 7.23464 3.94713

DiagnosticValue
WRONG_DECISIONS5341

General information on the benchmark

NamePrizeCollecting/PrizeCollecting-jok-s1/
PrizeCollecting-18-3-6-8.xml
MD5SUM5d7a010bf2d95efed7f70b0fa6bbffad
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark32
Best CPU time to get the best result obtained on this benchmark1.40566
Satisfiable
(Un)Satisfiability was proved
Number of variables54
Number of constraints73
Number of domains19
Minimum domain size4
Maximum domain size19
Distribution of domain sizes[{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":2},{"size":19,"count":36}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":18},{"degree":19,"count":17},{"degree":20,"count":1},{"degree":21,"count":18}]
Minimum constraint arity1
Maximum constraint arity19
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":36},{"arity":18,"count":18},{"arity":19,"count":18}]
Number of extensional constraints36
Number of intensional constraints19
Distribution of constraint types[{"type":"extension","count":36},{"type":"intension","count":19},{"type":"count","count":18}]
Optimization problemYES
Type of objectivemax 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.41/1.89	
2.41/1.89	AbsCon 2 
2.65/1.90	
2.91/2.11	  Instance
2.91/2.11	    name=instance-4391120-1568390067, framework=COP, bounds=-infty..+infty
2.91/2.11	
2.91/2.11	  Loading variables...
3.28/2.14	  Loading constraints...
3.64/2.29	
3.64/2.29	  Domains
3.64/2.29	    nTypes=19, nValues=770, sizes=[4#6,5#10,6#2,19#36]
3.64/2.29	  Variables
3.64/2.29	    count=54, degrees=[2#18,19#17,20#1,21#18]
3.64/2.29	  Objectives
3.64/2.29	    way=max, type=SumSimpleGE
3.64/2.29	  Constraints
3.64/2.29	    count=74, nSpecific=37, arities=[1#1,2#36,18#19,19#18]
3.64/2.29	    distribution=[AtMost1#18,CtrExtensionCT-Table#18,CtrExtensionV-Bits#18,CtrIntension#19,SumSimpleGE#1]
3.64/2.29	    tables=[290#17,308#1], nTotalTuples=5238
3.64/2.29	    nExtStructures=(36,shared:0), nIntStructures=(2,shared:17), nCftStructures=(19,shared:17,unbuilt:38)
3.64/2.29	    wck=0.428, cpu=2.253, mem=42M390
3.64/2.29	  Solver SolverBacktrack being built...
3.64/2.29	
3.96/2.31	
3.96/2.31	  Solver
3.96/2.31	    guaranteedGAC=true
3.96/2.31	    wck=0.456, cpu=2.279, mem=55M675
3.96/2.32	
3.96/2.32	  Preprocessing
3.96/2.32	    filters=20, revisions=(37,useless=34), ccks=416, nACremovedValues=37, nTotalRemovedValues=37, inconcistency=false
3.96/2.32	    wck=0.004, cpu=2.284, mem=55M675
3.96/2.32	
3.96/2.33	o -1000
3.96/2.34	    num=0, depth=55..53, filters=217, revisions=(377,useless=314), ccks=797, wck=0.024, mem=55M675
3.96/2.34	    decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
3.96/2.34	    nFilterCalls=360, avgTableProportion=0.9965629198387816, avgTableSize=290.0
3.96/2.34	    
3.96/2.35	    num=1, depth=11..15, filters=773, revisions=(897,useless=597), ccks=2426, wck=0.041, mem=55M675
3.96/2.35	    decisions=70, wrong=21, backtracks=12, failedAssignments=11, nogoods=4, foundSolutions=1, bestBound=-1000
3.96/2.35	    nFilterCalls=2488, avgTableProportion=0.9965631448328317, avgTableSize=290.0200964630225
3.96/2.35	    
3.96/2.36	    num=2, depth=9..14, filters=1166, revisions=(1226,useless=754), ccks=3199, wck=0.049, mem=55M675
3.96/2.36	    decisions=112, wrong=37, backtracks=17, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=-1000
3.96/2.36	    nFilterCalls=3698, avgTableProportion=0.9965634950641554, avgTableSize=290.0513791238507
3.96/2.36	    
3.96/2.39	    num=3, depth=4..14, filters=1725, revisions=(1701,useless=958), ccks=4661, wck=0.073, mem=55M675
3.96/2.39	    decisions=176, wrong=64, backtracks=33, failedAssignments=34, nogoods=12, foundSolutions=1, bestBound=-1000
3.96/2.39	    nFilterCalls=5408, avgTableProportion=0.9965636112893282, avgTableSize=290.0617603550296
3.96/2.39	    
4.27/2.47	    num=4, depth=7..12, filters=2438, revisions=(2344,useless=1359), ccks=6578, wck=0.085, mem=55M675
4.27/2.47	    decisions=228, wrong=85, backtracks=46, failedAssignments=47, nogoods=16, foundSolutions=1, bestBound=-1000
4.27/2.47	    nFilterCalls=7692, avgTableProportion=0.9965638280704623, avgTableSize=290.0811232449298
4.27/2.47	    
4.27/2.47	o -999
4.27/2.47	    num=5, depth=10..53, filters=2696, revisions=(2610,useless=1507), ccks=7289, wck=0.092, mem=55M675
4.27/2.47	    decisions=252, wrong=91, backtracks=48, failedAssignments=51, nogoods=19, foundSolutions=2, bestBound=-999
4.27/2.47	    nFilterCalls=8489, avgTableProportion=0.9965638549021273, avgTableSize=290.08351984921666
4.27/2.47	    
4.27/2.47	    num=6, depth=7..12, filters=3532, revisions=(3399,useless=1924), ccks=9345, wck=0.108, mem=55M675
4.27/2.47	    decisions=315, wrong=119, backtracks=64, failedAssignments=67, nogoods=23, foundSolutions=2, bestBound=-999
4.27/2.47	    nFilterCalls=10956, avgTableProportion=0.9965640479927376, avgTableSize=290.10076670317636
4.27/2.47	    
4.27/2.47	o -994
4.27/2.47	    num=7, depth=5..53, filters=3715, revisions=(3602,useless=2039), ccks=9843, wck=0.112, mem=55M675
4.27/2.47	    decisions=332, wrong=121, backtracks=64, failedAssignments=69, nogoods=25, foundSolutions=3, bestBound=-994
4.27/2.47	    nFilterCalls=11579, avgTableProportion=0.9965640462739259, avgTableSize=290.10061317903103
4.27/2.47	    
4.27/2.47	    num=8, depth=7..12, filters=4350, revisions=(4211,useless=2372), ccks=11188, wck=0.121, mem=55M675
4.27/2.47	    decisions=380, wrong=141, backtracks=75, failedAssignments=81, nogoods=31, foundSolutions=3, bestBound=-994
4.27/2.47	    nFilterCalls=13184, avgTableProportion=0.9965640288790173, avgTableSize=290.0990594660194
4.27/2.47	    
4.27/2.47	    num=9, depth=8..13, filters=4941, revisions=(4710,useless=2650), ccks=12399, wck=0.128, mem=55M675
4.27/2.47	    decisions=427, wrong=160, backtracks=85, failedAssignments=92, nogoods=34, foundSolutions=3, bestBound=-994
4.27/2.47	    nFilterCalls=14908, avgTableProportion=0.9965640388081632, avgTableSize=290.0999463375369
4.27/2.47	    
4.27/2.47	o -991
4.27/2.47	    num=10, depth=10..53, filters=5198, revisions=(4963,useless=2786), ccks=13095, wck=0.133, mem=55M675
4.27/2.47	    decisions=448, wrong=165, backtracks=88, failedAssignments=95, nogoods=36, foundSolutions=4, bestBound=-991
4.27/2.47	    nFilterCalls=15603, avgTableProportion=0.9965640585671397, avgTableSize=290.1017112093828
4.27/2.47	    
4.27/2.47	    num=11, depth=8..13, filters=5739, revisions=(5491,useless=3102), ccks=14347, wck=0.14, mem=55M675
4.27/2.47	    decisions=495, wrong=184, backtracks=100, failedAssignments=108, nogoods=40, foundSolutions=4, bestBound=-991
4.27/2.47	    nFilterCalls=17221, avgTableProportion=0.9965640816016018, avgTableSize=290.1037686545497
4.27/2.47	    
4.27/2.47	o -990
4.27/2.47	    num=12, depth=8..53, filters=5933, revisions=(5711,useless=3224), ccks=14771, wck=0.144, mem=55M675
4.27/2.47	    decisions=509, wrong=186, backtracks=100, failedAssignments=110, nogoods=42, foundSolutions=5, bestBound=-990
4.27/2.47	    nFilterCalls=17708, avgTableProportion=0.996564060399186, avgTableSize=290.10187485882085
4.27/2.47	    
4.27/2.47	    num=13, depth=7..11, filters=6471, revisions=(6237,useless=3505), ccks=15810, wck=0.15, mem=55M675
4.27/2.47	    decisions=550, wrong=203, backtracks=111, failedAssignments=122, nogoods=46, foundSolutions=5, bestBound=-990
4.27/2.48	    nFilterCalls=19184, avgTableProportion=0.9965640356736916, avgTableSize=290.0996663886572
4.27/2.48	    
4.27/2.48	    num=14, depth=7..14, filters=6978, revisions=(6694,useless=3734), ccks=17006, wck=0.156, mem=55M675
4.27/2.48	    decisions=594, wrong=220, backtracks=121, failedAssignments=133, nogoods=50, foundSolutions=5, bestBound=-990
4.27/2.48	    nFilterCalls=20670, avgTableProportion=0.996564028034156, avgTableSize=290.0989840348331
4.27/2.48	    
4.27/2.48	o -981
4.27/2.48	    num=15, depth=9..53, filters=7277, revisions=(6970,useless=3899), ccks=17636, wck=0.161, mem=55M675
4.27/2.48	    decisions=613, wrong=224, backtracks=122, failedAssignments=136, nogoods=53, foundSolutions=6, bestBound=-981
4.27/2.48	    nFilterCalls=21698, avgTableProportion=0.9965640302241164, avgTableSize=290.09917964789383
4.27/2.48	    
4.27/2.48	    num=16, depth=7..13, filters=7895, revisions=(7576,useless=4256), ccks=18674, wck=0.169, mem=58M317
4.27/2.48	    decisions=662, wrong=245, backtracks=134, failedAssignments=149, nogoods=59, foundSolutions=6, bestBound=-981
4.27/2.48	    nFilterCalls=23717, avgTableProportion=0.9965639682699085, avgTableSize=290.0936459079985
4.27/2.48	    
4.27/2.49	    num=17, depth=6..10, filters=8398, revisions=(8031,useless=4507), ccks=19653, wck=0.175, mem=58M317
4.27/2.49	    decisions=698, wrong=260, backtracks=144, failedAssignments=160, nogoods=60, foundSolutions=6, bestBound=-981
4.27/2.49	    nFilterCalls=25074, avgTableProportion=0.9965639646631899, avgTableSize=290.0933237616655
4.27/2.49	    
4.27/2.49	    num=18, depth=6..9, filters=8891, revisions=(8474,useless=4752), ccks=20687, wck=0.181, mem=58M317
4.27/2.49	    decisions=738, wrong=277, backtracks=151, failedAssignments=172, nogoods=63, foundSolutions=6, bestBound=-981
4.27/2.49	    nFilterCalls=26580, avgTableProportion=0.9965639913906146, avgTableSize=290.0957110609481
4.27/2.49	    
4.60/2.50	    num=19, depth=3..10, filters=9491, revisions=(9076,useless=5064), ccks=21952, wck=0.189, mem=58M317
4.60/2.50	    decisions=781, wrong=294, backtracks=160, failedAssignments=185, nogoods=67, foundSolutions=6, bestBound=-981
4.60/2.50	    nFilterCalls=28115, avgTableProportion=0.9965639595669394, avgTableSize=290.0928685754935
4.60/2.50	    
4.60/2.51	    num=20, depth=2..6, filters=10585, revisions=(10106,useless=5591), ccks=24159, wck=0.201, mem=58M317
4.60/2.51	    decisions=838, wrong=321, backtracks=177, failedAssignments=199, nogoods=71, foundSolutions=6, bestBound=-981
4.60/2.51	    nFilterCalls=30569, avgTableProportion=0.9965639398265168, avgTableSize=290.09110536818343
4.60/2.51	    
4.60/2.52	    num=21, depth=5..11, filters=11520, revisions=(10927,useless=6052), ccks=26385, wck=0.21, mem=58M317
4.60/2.52	    decisions=901, wrong=349, backtracks=196, failedAssignments=215, nogoods=74, foundSolutions=6, bestBound=-981
4.60/2.52	    nFilterCalls=33012, avgTableProportion=0.9965639026667015, avgTableSize=290.087786259542
4.60/2.52	    
4.60/2.53	    num=22, depth=3..12, filters=12513, revisions=(11753,useless=6520), ccks=28097, wck=0.22, mem=58M317
4.60/2.53	    decisions=958, wrong=375, backtracks=209, failedAssignments=232, nogoods=80, foundSolutions=6, bestBound=-981
4.60/2.53	    nFilterCalls=35482, avgTableProportion=0.9965639636172942, avgTableSize=290.0932303703286
4.60/2.53	    
4.60/2.54	    num=23, depth=4..9, filters=13366, revisions=(12521,useless=6937), ccks=30015, wck=0.228, mem=58M317
4.60/2.54	    decisions=1018, wrong=402, backtracks=221, failedAssignments=251, nogoods=83, foundSolutions=6, bestBound=-981
4.60/2.54	    nFilterCalls=37501, avgTableProportion=0.9965639656377733, avgTableSize=290.0934108423775
4.60/2.54	    
4.60/2.54	o -978
4.60/2.54	    num=24, depth=3..53, filters=13534, revisions=(12701,useless=7047), ccks=30364, wck=0.231, mem=58M317
4.60/2.54	    decisions=1027, wrong=403, backtracks=221, failedAssignments=252, nogoods=84, foundSolutions=7, bestBound=-978
4.60/2.54	    nFilterCalls=37991, avgTableProportion=0.9965639827973822, avgTableSize=290.0949435392593
4.60/2.54	    
4.60/2.55	    num=25, depth=4..10, filters=14477, revisions=(13664,useless=7585), ccks=32252, wck=0.241, mem=58M317
4.60/2.55	    decisions=1093, wrong=433, backtracks=240, failedAssignments=275, nogoods=87, foundSolutions=7, bestBound=-978
4.60/2.55	    nFilterCalls=40087, avgTableProportion=0.9965639802833243, avgTableSize=290.094718986205
4.60/2.55	    
4.60/2.56	    num=26, depth=3..9, filters=15270, revisions=(14374,useless=7979), ccks=33678, wck=0.249, mem=58M317
4.60/2.56	    decisions=1136, wrong=452, backtracks=250, failedAssignments=286, nogoods=90, foundSolutions=7, bestBound=-978
4.60/2.56	    nFilterCalls=41974, avgTableProportion=0.9965639478130662, avgTableSize=290.09181874493737
4.60/2.56	    
4.60/2.57	    num=27, depth=3..8, filters=15826, revisions=(14935,useless=8274), ccks=34638, wck=0.255, mem=58M317
4.60/2.57	    decisions=1180, wrong=471, backtracks=260, failedAssignments=298, nogoods=95, foundSolutions=7, bestBound=-978
4.60/2.57	    nFilterCalls=43525, avgTableProportion=0.996563942820094, avgTableSize=290.09137277426765
4.60/2.57	    
4.60/2.57	    num=28, depth=7..11, filters=16415, revisions=(15510,useless=8595), ccks=36063, wck=0.261, mem=58M317
4.60/2.57	    decisions=1229, wrong=492, backtracks=274, failedAssignments=311, nogoods=97, foundSolutions=7, bestBound=-978
4.60/2.57	    nFilterCalls=44980, avgTableProportion=0.9965639239164714, avgTableSize=290.0896843041352
4.60/2.57	    
4.60/2.58	    num=29, depth=4..8, filters=17151, revisions=(16229,useless=8968), ccks=37711, wck=0.268, mem=58M317
4.60/2.58	    decisions=1273, wrong=512, backtracks=285, failedAssignments=325, nogoods=102, foundSolutions=7, bestBound=-978
4.60/2.58	    nFilterCalls=46636, avgTableProportion=0.9965639141896654, avgTableSize=290.0888155073334
4.60/2.58	    
4.60/2.59	    num=30, depth=5..12, filters=18312, revisions=(17217,useless=9539), ccks=40039, wck=0.279, mem=58M317
4.60/2.59	    decisions=1351, wrong=548, backtracks=313, failedAssignments=341, nogoods=106, foundSolutions=7, bestBound=-978
4.60/2.59	    nFilterCalls=49921, avgTableProportion=0.9965639516965146, avgTableSize=290.0921656216823
4.60/2.59	    
4.91/2.60	    num=31, depth=4..10, filters=19258, revisions=(18110,useless=10014), ccks=42146, wck=0.289, mem=58M317
4.91/2.60	    decisions=1410, wrong=575, backtracks=328, failedAssignments=358, nogoods=115, foundSolutions=7, bestBound=-978
4.91/2.60	    nFilterCalls=52210, avgTableProportion=0.9965639444127269, avgTableSize=290.0915150354338
4.91/2.60	    
4.91/2.61	    num=32, depth=3..10, filters=20396, revisions=(19127,useless=10562), ccks=44211, wck=0.301, mem=58M317
4.91/2.61	    decisions=1481, wrong=609, backtracks=349, failedAssignments=377, nogoods=116, foundSolutions=7, bestBound=-978
4.91/2.61	    nFilterCalls=55123, avgTableProportion=0.996563916468989, avgTableSize=290.0890191027339
4.91/2.61	    
4.91/2.62	    num=33, depth=6..13, filters=21447, revisions=(20010,useless=11064), ccks=46553, wck=0.31, mem=58M317
4.91/2.62	    decisions=1551, wrong=641, backtracks=375, failedAssignments=398, nogoods=117, foundSolutions=7, bestBound=-978
4.91/2.62	    nFilterCalls=57964, avgTableProportion=0.9965639585941823, avgTableSize=290.0927817265889
4.91/2.62	    
4.91/2.64	    num=34, depth=4..14, filters=22717, revisions=(21131,useless=11660), ccks=49494, wck=0.322, mem=58M317
4.91/2.64	    decisions=1648, wrong=686, backtracks=404, failedAssignments=421, nogoods=123, foundSolutions=7, bestBound=-978
4.91/2.64	    nFilterCalls=61228, avgTableProportion=0.996563944909553, avgTableSize=290.0915594172601
4.91/2.64	    
4.91/2.65	    num=35, depth=7..14, filters=23830, revisions=(22117,useless=12195), ccks=52415, wck=0.331, mem=58M317
4.91/2.65	    decisions=1744, wrong=730, backtracks=430, failedAssignments=446, nogoods=126, foundSolutions=7, bestBound=-978
4.91/2.65	    nFilterCalls=64179, avgTableProportion=0.9965639544705427, avgTableSize=290.09241340625437
4.91/2.65	    
4.91/2.66	    num=36, depth=2..9, filters=25474, revisions=(23598,useless=13015), ccks=55620, wck=0.347, mem=60M960
4.91/2.66	    decisions=1846, wrong=779, backtracks=458, failedAssignments=474, nogoods=130, foundSolutions=7, bestBound=-978
4.91/2.66	    nFilterCalls=68265, avgTableProportion=0.9965639220632319, avgTableSize=290.0895187870798
4.91/2.66	    
4.91/2.68	    num=37, depth=5..12, filters=27288, revisions=(25182,useless=13883), ccks=59213, wck=0.363, mem=60M960
4.91/2.68	    decisions=1970, wrong=838, backtracks=495, failedAssignments=505, nogoods=133, foundSolutions=7, bestBound=-978
4.91/2.68	    nFilterCalls=72587, avgTableProportion=0.9965639453686018, avgTableSize=290.0916004243184
4.91/2.68	    
4.91/2.69	    num=38, depth=6..12, filters=28702, revisions=(26395,useless=14556), ccks=62460, wck=0.374, mem=60M960
4.91/2.69	    decisions=2086, wrong=893, backtracks=527, failedAssignments=539, nogoods=135, foundSolutions=7, bestBound=-978
4.91/2.69	    nFilterCalls=76647, avgTableProportion=0.9965639290238703, avgTableSize=290.09014051430586
4.91/2.69	    
5.22/2.71	    num=39, depth=3..11, filters=30880, revisions=(28316,useless=15613), ccks=66975, wck=0.394, mem=60M960
5.22/2.71	    decisions=2222, wrong=959, backtracks=569, failedAssignments=576, nogoods=142, foundSolutions=7, bestBound=-978
5.22/2.71	    nFilterCalls=81805, avgTableProportion=0.996563937927207, avgTableSize=290.09093576187274
5.22/2.71	    
5.22/2.73	    num=40, depth=3..11, filters=33349, revisions=(30623,useless=16844), ccks=71938, wck=0.417, mem=60M960
5.22/2.73	    decisions=2375, wrong=1033, backtracks=617, failedAssignments=617, nogoods=149, foundSolutions=7, bestBound=-978
5.22/2.73	    nFilterCalls=87869, avgTableProportion=0.9965639137906724, avgTableSize=290.0887798882427
5.22/2.73	    
5.22/2.75	    num=41, depth=3..11, filters=35663, revisions=(32671,useless=17939), ccks=76253, wck=0.436, mem=60M960
5.22/2.75	    decisions=2523, wrong=1105, backtracks=663, failedAssignments=662, nogoods=157, foundSolutions=7, bestBound=-978
5.22/2.75	    nFilterCalls=93081, avgTableProportion=0.9965638980676784, avgTableSize=290.08737551165115
5.22/2.75	    
5.22/2.78	    num=42, depth=3..10, filters=38349, revisions=(34926,useless=19171), ccks=82003, wck=0.465, mem=60M960
5.22/2.78	    decisions=2698, wrong=1190, backtracks=718, failedAssignments=712, nogoods=164, foundSolutions=7, bestBound=-978
5.22/2.78	    nFilterCalls=100597, avgTableProportion=0.9965639701057613, avgTableSize=290.0938099545712
5.22/2.78	    
5.53/2.81	    num=43, depth=5..11, filters=41636, revisions=(37582,useless=20746), ccks=88514, wck=0.496, mem=60M960
5.53/2.81	    decisions=2900, wrong=1287, backtracks=776, failedAssignments=767, nogoods=172, foundSolutions=7, bestBound=-978
5.53/2.81	    nFilterCalls=110807, avgTableProportion=0.9965640493396611, avgTableSize=290.10088712806953
5.53/2.81	    
5.53/2.83	o 6
5.53/2.83	    num=44, depth=1..53, filters=43988, revisions=(39944,useless=22051), ccks=93610, wck=0.52, mem=60M960
5.53/2.83	    decisions=3060, wrong=1360, backtracks=822, failedAssignments=808, nogoods=174, foundSolutions=8, bestBound=6
5.53/2.83	    nFilterCalls=115910, avgTableProportion=0.9965640422087305, avgTableSize=290.10025019411614
5.53/2.83	    
5.53/2.87	    num=45, depth=4..11, filters=47290, revisions=(42559,useless=23453), ccks=101361, wck=0.557, mem=63M602
5.53/2.87	    decisions=3305, wrong=1480, backtracks=899, failedAssignments=875, nogoods=183, foundSolutions=8, bestBound=6
5.53/2.87	    nFilterCalls=126177, avgTableProportion=0.9965640908089792, avgTableSize=290.1045911695475
5.53/2.87	    
5.53/2.87	    num=46, depth=10..13, filters=47772, revisions=(42923,useless=23630), ccks=102624, wck=0.561, mem=63M602
5.53/2.87	    decisions=3351, wrong=1498, backtracks=907, failedAssignments=886, nogoods=188, foundSolutions=8, bestBound=6
5.53/2.87	    nFilterCalls=128023, avgTableProportion=0.9965640935133636, avgTableSize=290.10483272536965
5.53/2.87	    
5.53/2.88	    num=47, depth=10..13, filters=48279, revisions=(43302,useless=23811), ccks=103963, wck=0.565, mem=63M602
5.53/2.88	    decisions=3398, wrong=1516, backtracks=916, failedAssignments=898, nogoods=193, foundSolutions=8, bestBound=6
5.53/2.88	    nFilterCalls=129852, avgTableProportion=0.9965640915528242, avgTableSize=290.10465761020237
5.53/2.88	    
5.53/2.88	    num=48, depth=8..13, filters=48840, revisions=(43781,useless=24036), ccks=105534, wck=0.57, mem=63M602
5.53/2.88	    decisions=3455, wrong=1540, backtracks=930, failedAssignments=911, nogoods=196, foundSolutions=8, bestBound=6
5.53/2.88	    nFilterCalls=131727, avgTableProportion=0.9965640914480466, avgTableSize=290.10464824978936
5.53/2.88	    
5.53/2.89	    num=49, depth=8..12, filters=49612, revisions=(44369,useless=24320), ccks=107466, wck=0.576, mem=63M602
5.53/2.89	    decisions=3517, wrong=1566, backtracks=950, failedAssignments=925, nogoods=202, foundSolutions=8, bestBound=6
5.53/2.89	    nFilterCalls=134286, avgTableProportion=0.9965640988855187, avgTableSize=290.1053125418882
5.53/2.89	    
5.53/2.90	    num=50, depth=6..11, filters=50447, revisions=(45052,useless=24662), ccks=109535, wck=0.584, mem=63M602
5.53/2.90	    decisions=3586, wrong=1597, backtracks=966, failedAssignments=941, nogoods=207, foundSolutions=8, bestBound=6
5.53/2.90	    nFilterCalls=137252, avgTableProportion=0.996564098693543, avgTableSize=290.10529536910207
5.53/2.90	    
5.83/2.90	    num=51, depth=8..13, filters=51371, revisions=(45827,useless=25066), ccks=111610, wck=0.591, mem=63M602
5.83/2.90	    decisions=3662, wrong=1631, backtracks=986, failedAssignments=958, nogoods=212, foundSolutions=8, bestBound=6
5.83/2.90	    nFilterCalls=140190, avgTableProportion=0.9965641067311918, avgTableSize=290.10601326770814
5.83/2.90	    
5.83/2.91	    num=52, depth=7..12, filters=52104, revisions=(46424,useless=25349), ccks=113601, wck=0.598, mem=63M602
5.83/2.91	    decisions=3733, wrong=1663, backtracks=1005, failedAssignments=977, nogoods=214, foundSolutions=8, bestBound=6
5.83/2.91	    nFilterCalls=142844, avgTableProportion=0.9965641023925318, avgTableSize=290.105625717566
5.83/2.91	    
5.83/2.92	    num=53, depth=7..11, filters=53050, revisions=(47255,useless=25794), ccks=116216, wck=0.605, mem=63M602
5.83/2.92	    decisions=3816, wrong=1700, backtracks=1027, failedAssignments=998, nogoods=220, foundSolutions=8, bestBound=6
5.83/2.92	    nFilterCalls=145650, avgTableProportion=0.9965640977510897, avgTableSize=290.10521112255407
5.83/2.92	    
5.83/2.93	    num=54, depth=7..11, filters=54399, revisions=(48177,useless=26276), ccks=119286, wck=0.616, mem=63M602
5.83/2.93	    decisions=3906, wrong=1741, backtracks=1051, failedAssignments=1021, nogoods=225, foundSolutions=8, bestBound=6
5.83/2.93	    nFilterCalls=150815, avgTableProportion=0.9965641069257644, avgTableSize=290.10603056725125
5.83/2.93	    
5.83/2.94	    num=55, depth=8..14, filters=55527, revisions=(49036,useless=26741), ccks=122069, wck=0.625, mem=63M602
5.83/2.94	    decisions=4002, wrong=1785, backtracks=1081, failedAssignments=1046, nogoods=227, foundSolutions=8, bestBound=6
5.83/2.94	    nFilterCalls=154900, avgTableProportion=0.9965641329360309, avgTableSize=290.1083537766301
5.83/2.94	    
5.83/2.95	    num=56, depth=6..12, filters=56769, revisions=(50127,useless=27293), ccks=125357, wck=0.635, mem=63M602
5.83/2.95	    decisions=4105, wrong=1833, backtracks=1106, failedAssignments=1074, nogoods=230, foundSolutions=8, bestBound=6
5.83/2.95	    nFilterCalls=158433, avgTableProportion=0.9965641398746277, avgTableSize=290.1089735093068
5.83/2.95	    
5.83/2.96	    num=57, depth=6..12, filters=58493, revisions=(51456,useless=27960), ccks=129524, wck=0.652, mem=63M602
5.83/2.96	    decisions=4225, wrong=1890, backtracks=1143, failedAssignments=1105, nogoods=233, foundSolutions=8, bestBound=6
5.83/2.96	    nFilterCalls=164802, avgTableProportion=0.9965641345047034, avgTableSize=290.1084938289584
5.83/2.96	    
5.83/2.98	    num=58, depth=8..13, filters=60463, revisions=(52872,useless=28742), ccks=133885, wck=0.666, mem=63M602
5.83/2.98	    decisions=4350, wrong=1948, backtracks=1175, failedAssignments=1139, nogoods=237, foundSolutions=8, bestBound=6
5.83/2.98	    nFilterCalls=171458, avgTableProportion=0.9965641593091874, avgTableSize=290.11070932823196
5.83/2.98	    
5.83/2.98	o 11
5.83/2.98	    num=59, depth=9..53, filters=60629, revisions=(53034,useless=28821), ccks=134266, wck=0.669, mem=63M602
5.83/2.98	    decisions=4369, wrong=1952, backtracks=1178, failedAssignments=1141, nogoods=239, foundSolutions=9, bestBound=11
5.83/2.98	    nFilterCalls=172077, avgTableProportion=0.9965641590796155, avgTableSize=290.1106888195401
5.83/2.98	    
5.83/3.00	    num=60, depth=3..9, filters=62765, revisions=(54888,useless=29851), ccks=138561, wck=0.691, mem=63M602
5.83/3.00	    decisions=4511, wrong=2020, backtracks=1226, failedAssignments=1182, nogoods=245, foundSolutions=9, bestBound=11
5.83/3.00	    nFilterCalls=178428, avgTableProportion=0.9965641772773759, avgTableSize=290.1123142107741
5.83/3.00	    
6.09/3.01	    num=61, depth=5..10, filters=63298, revisions=(55432,useless=30120), ccks=139885, wck=0.697, mem=63M602
6.09/3.01	    decisions=4550, wrong=2037, backtracks=1237, failedAssignments=1193, nogoods=246, foundSolutions=9, bestBound=11
6.09/3.01	    nFilterCalls=179840, avgTableProportion=0.9965641680273263, avgTableSize=290.11148798932385
6.09/3.01	    
6.09/3.01	    num=62, depth=7..12, filters=63789, revisions=(55871,useless=30345), ccks=141104, wck=0.701, mem=63M602
6.09/3.01	    decisions=4596, wrong=2056, backtracks=1252, failedAssignments=1205, nogoods=253, foundSolutions=9, bestBound=11
6.09/3.01	    nFilterCalls=181333, avgTableProportion=0.9965641778163634, avgTableSize=290.11236233890133
6.09/3.01	    
6.09/3.02	    num=63, depth=4..11, filters=64314, revisions=(56391,useless=30599), ccks=142279, wck=0.706, mem=66M245
6.09/3.02	    decisions=4648, wrong=2078, backtracks=1267, failedAssignments=1218, nogoods=255, foundSolutions=9, bestBound=11
6.09/3.02	    nFilterCalls=182789, avgTableProportion=0.9965641734310173, avgTableSize=290.1119706328061
6.09/3.02	    
6.09/3.03	    num=64, depth=4..9, filters=65115, revisions=(57015,useless=30898), ccks=144145, wck=0.713, mem=66M245
6.09/3.03	    decisions=4708, wrong=2106, backtracks=1283, failedAssignments=1232, nogoods=256, foundSolutions=9, bestBound=11
6.09/3.03	    nFilterCalls=185175, avgTableProportion=0.9965641729981314, avgTableSize=290.1119319562576
6.09/3.03	    
6.09/3.04	    num=65, depth=6..12, filters=66197, revisions=(57883,useless=31320), ccks=146490, wck=0.722, mem=66M245
6.09/3.04	    decisions=4788, wrong=2141, backtracks=1309, failedAssignments=1248, nogoods=259, foundSolutions=9, bestBound=11
6.09/3.04	    nFilterCalls=188382, avgTableProportion=0.996564189997548, avgTableSize=290.1134503296493
6.09/3.04	    
6.09/3.04	    num=66, depth=6..11, filters=67308, revisions=(58648,useless=31716), ccks=148946, wck=0.731, mem=66M245
6.09/3.04	    decisions=4865, wrong=2176, backtracks=1334, failedAssignments=1265, nogoods=261, foundSolutions=9, bestBound=11
6.09/3.04	    nFilterCalls=192243, avgTableProportion=0.9965642079911948, avgTableSize=290.1150575053448
6.09/3.04	    
6.09/3.05	    num=67, depth=8..12, filters=68036, revisions=(59266,useless=32020), ccks=150794, wck=0.738, mem=66M245
6.09/3.05	    decisions=4933, wrong=2206, backtracks=1354, failedAssignments=1284, nogoods=264, foundSolutions=9, bestBound=11
6.09/3.05	    nFilterCalls=194746, avgTableProportion=0.996564201725678, avgTableSize=290.11449785874936
6.09/3.05	    
6.09/3.06	    num=68, depth=6..12, filters=69237, revisions=(60123,useless=32461), ccks=153250, wck=0.748, mem=66M245
6.09/3.06	    decisions=5011, wrong=2241, backtracks=1376, failedAssignments=1305, nogoods=273, foundSolutions=9, bestBound=11
6.09/3.06	    nFilterCalls=198519, avgTableProportion=0.9965641939995598, avgTableSize=290.11380774636183
6.09/3.06	    
6.09/3.07	    num=69, depth=7..12, filters=70124, revisions=(60884,useless=32851), ccks=155737, wck=0.757, mem=66M245
6.09/3.07	    decisions=5089, wrong=2276, backtracks=1400, failedAssignments=1328, nogoods=277, foundSolutions=9, bestBound=11
6.09/3.07	    nFilterCalls=201606, avgTableProportion=0.9965641899833302, avgTableSize=290.11344900449393
6.09/3.07	    
6.09/3.08	    num=70, depth=2..10, filters=71345, revisions=(61813,useless=33344), ccks=158374, wck=0.771, mem=66M245
6.09/3.08	    decisions=5171, wrong=2314, backtracks=1418, failedAssignments=1353, nogoods=285, foundSolutions=9, bestBound=11
6.09/3.08	    nFilterCalls=206161, avgTableProportion=0.99656419998878, avgTableSize=290.11434267392957
6.09/3.08	    
6.09/3.10	    num=71, depth=7..12, filters=72726, revisions=(62845,useless=33882), ccks=161833, wck=0.782, mem=66M245
6.09/3.10	    decisions=5272, wrong=2361, backtracks=1449, failedAssignments=1381, nogoods=290, foundSolutions=9, bestBound=11
6.09/3.10	    nFilterCalls=211395, avgTableProportion=0.9965642037773204, avgTableSize=290.1146810473285
6.09/3.10	    
6.09/3.10	o 13
6.09/3.10	    num=72, depth=4..53, filters=73648, revisions=(63705,useless=34310), ccks=164159, wck=0.792, mem=66M245
6.09/3.10	    decisions=5346, wrong=2394, backtracks=1472, failedAssignments=1399, nogoods=294, foundSolutions=10, bestBound=13
6.09/3.10	    nFilterCalls=214266, avgTableProportion=0.9965642039734129, avgTableSize=290.1146985522668
6.09/3.10	    
6.29/3.12	    num=73, depth=5..11, filters=75364, revisions=(65123,useless=35100), ccks=167844, wck=0.808, mem=66M245
6.29/3.12	    decisions=5459, wrong=2448, backtracks=1508, failedAssignments=1433, nogoods=297, foundSolutions=10, bestBound=13
6.29/3.12	    nFilterCalls=219037, avgTableProportion=0.9965642072332515, avgTableSize=290.1149897049357
6.29/3.12	    
6.29/3.13	    num=74, depth=5..10, filters=75894, revisions=(65611,useless=35359), ccks=169179, wck=0.813, mem=66M245
6.29/3.13	    decisions=5502, wrong=2467, backtracks=1523, failedAssignments=1444, nogoods=298, foundSolutions=10, bestBound=13
6.29/3.13	    nFilterCalls=220713, avgTableProportion=0.9965642055734467, avgTableSize=290.11484144567834
6.29/3.13	    
6.29/3.13	    num=75, depth=4..10, filters=76649, revisions=(66216,useless=35654), ccks=170970, wck=0.819, mem=66M245
6.29/3.13	    decisions=5554, wrong=2490, backtracks=1536, failedAssignments=1456, nogoods=301, foundSolutions=10, bestBound=13
6.29/3.13	    nFilterCalls=223090, avgTableProportion=0.9965642008572707, avgTableSize=290.1144201891613
6.29/3.13	    
6.29/3.14	    num=76, depth=6..10, filters=77248, revisions=(66739,useless=35942), ccks=172157, wck=0.824, mem=66M245
6.29/3.14	    decisions=5600, wrong=2510, backtracks=1548, failedAssignments=1469, nogoods=306, foundSolutions=10, bestBound=13
6.29/3.14	    nFilterCalls=224887, avgTableProportion=0.9965642042121026, avgTableSize=290.1147198370737
6.29/3.14	    
6.29/3.15	    num=77, depth=5..8, filters=78187, revisions=(67507,useless=36311), ccks=174518, wck=0.832, mem=66M245
6.29/3.15	    decisions=5668, wrong=2541, backtracks=1569, failedAssignments=1483, nogoods=312, foundSolutions=10, bestBound=13
6.29/3.15	    nFilterCalls=227655, avgTableProportion=0.9965642029559614, avgTableSize=290.1146076299664
6.29/3.15	    
6.29/3.16	    num=78, depth=2..8, filters=79212, revisions=(68263,useless=36709), ccks=176393, wck=0.843, mem=66M245
6.29/3.16	    decisions=5739, wrong=2575, backtracks=1596, failedAssignments=1499, nogoods=314, foundSolutions=10, bestBound=13
6.29/3.16	    nFilterCalls=230685, avgTableProportion=0.9965642059038684, avgTableSize=290.11487092788866
6.29/3.16	    
6.29/3.16	    num=79, depth=5..9, filters=79998, revisions=(68997,useless=37088), ccks=178292, wck=0.849, mem=66M245
6.29/3.16	    decisions=5796, wrong=2601, backtracks=1610, failedAssignments=1516, nogoods=319, foundSolutions=10, bestBound=13
6.29/3.16	    nFilterCalls=232683, avgTableProportion=0.9965642035216256, avgTableSize=290.1146581400446
6.29/3.16	    
6.29/3.17	    num=80, depth=5..11, filters=80994, revisions=(69717,useless=37494), ccks=180521, wck=0.857, mem=66M245
6.29/3.17	    decisions=5864, wrong=2632, backtracks=1629, failedAssignments=1535, nogoods=322, foundSolutions=10, bestBound=13
6.29/3.17	    nFilterCalls=235967, avgTableProportion=0.9965642057736476, avgTableSize=290.11485928117065
6.29/3.17	    
6.29/3.18	    num=81, depth=3..9, filters=82022, revisions=(70707,useless=38013), ccks=182880, wck=0.865, mem=66M245
6.29/3.18	    decisions=5947, wrong=2672, backtracks=1656, failedAssignments=1556, nogoods=325, foundSolutions=10, bestBound=13
6.29/3.18	    nFilterCalls=238515, avgTableProportion=0.9965642067753422, avgTableSize=290.1149487453619
6.29/3.18	    
6.29/3.19	    num=82, depth=4..10, filters=83310, revisions=(71745,useless=38572), ccks=185318, wck=0.877, mem=66M245
6.29/3.19	    decisions=6033, wrong=2713, backtracks=1685, failedAssignments=1579, nogoods=328, foundSolutions=10, bestBound=13
6.29/3.19	    nFilterCalls=242721, avgTableProportion=0.9965642038476626, avgTableSize=290.1146872334903
6.29/3.19	    
6.41/3.20	    num=83, depth=4..10, filters=84509, revisions=(72739,useless=39033), ccks=188609, wck=0.888, mem=68M887
6.41/3.20	    decisions=6129, wrong=2757, backtracks=1714, failedAssignments=1604, nogoods=331, foundSolutions=10, bestBound=13
6.41/3.20	    nFilterCalls=246237, avgTableProportion=0.9965642097930404, avgTableSize=290.11521826532976
6.41/3.20	    
6.41/3.21	    num=84, depth=4..10, filters=85903, revisions=(74035,useless=39731), ccks=191665, wck=0.899, mem=68M887
6.41/3.21	    decisions=6230, wrong=2805, backtracks=1747, failedAssignments=1632, nogoods=334, foundSolutions=10, bestBound=13
6.41/3.21	    nFilterCalls=249562, avgTableProportion=0.9965642081736071, avgTableSize=290.1150736089629
6.41/3.21	    
6.41/3.23	    num=85, depth=3..9, filters=87417, revisions=(75276,useless=40369), ccks=195458, wck=0.913, mem=68M887
6.41/3.23	    decisions=6334, wrong=2855, backtracks=1780, failedAssignments=1663, nogoods=344, foundSolutions=10, bestBound=13
6.41/3.23	    nFilterCalls=254278, avgTableProportion=0.9965642136031267, avgTableSize=290.115558561889
6.41/3.23	    
6.41/3.24	    num=86, depth=3..10, filters=89378, revisions=(76915,useless=41258), ccks=199614, wck=0.928, mem=68M887
6.41/3.24	    decisions=6463, wrong=2916, backtracks=1826, failedAssignments=1697, nogoods=349, foundSolutions=10, bestBound=13
6.41/3.24	    nFilterCalls=259573, avgTableProportion=0.9965642243480073, avgTableSize=290.11651828194766
6.41/3.24	    
6.41/3.26	    num=87, depth=3..11, filters=91511, revisions=(78572,useless=42134), ccks=203746, wck=0.947, mem=68M887
6.41/3.26	    decisions=6606, wrong=2986, backtracks=1874, failedAssignments=1734, nogoods=352, foundSolutions=10, bestBound=13
6.41/3.26	    nFilterCalls=265905, avgTableProportion=0.9965642374091357, avgTableSize=290.1176848874598
6.41/3.26	    
6.41/3.28	    num=88, depth=4..11, filters=93536, revisions=(80097,useless=42895), ccks=208620, wck=0.965, mem=68M887
6.41/3.28	    decisions=6753, wrong=3056, backtracks=1923, failedAssignments=1775, nogoods=356, foundSolutions=10, bestBound=13
6.41/3.28	    nFilterCalls=272968, avgTableProportion=0.9965642384671448, avgTableSize=290.1177793734064
6.41/3.28	    
6.51/3.30	    num=89, depth=3..11, filters=96057, revisions=(82048,useless=43802), ccks=213779, wck=0.985, mem=68M887
6.51/3.30	    decisions=6920, wrong=3136, backtracks=1967, failedAssignments=1820, nogoods=359, foundSolutions=10, bestBound=13
6.51/3.30	    nFilterCalls=279668, avgTableProportion=0.9965642593191543, avgTableSize=290.1196418610638
6.51/3.30	    
6.51/3.32	    num=90, depth=5..12, filters=98248, revisions=(83729,useless=44653), ccks=219235, wck=1.003, mem=68M887
6.51/3.32	    decisions=7088, wrong=3217, backtracks=2019, failedAssignments=1870, nogoods=363, foundSolutions=10, bestBound=13
6.51/3.32	    nFilterCalls=286584, avgTableProportion=0.9965642753581369, avgTableSize=290.1210744493761
6.51/3.32	    
6.51/3.35	    num=91, depth=2..8, filters=101103, revisions=(86034,useless=45910), ccks=225554, wck=1.033, mem=68M887
6.51/3.35	    decisions=7284, wrong=3313, backtracks=2081, failedAssignments=1925, nogoods=373, foundSolutions=10, bestBound=13
6.51/3.35	    nFilterCalls=295774, avgTableProportion=0.9965642648855991, avgTableSize=290.1201390250664
6.51/3.35	    
6.51/3.37	o 19
6.51/3.37	    num=92, depth=2..53, filters=104091, revisions=(88489,useless=47259), ccks=231806, wck=1.059, mem=68M887
6.51/3.37	    decisions=7501, wrong=3418, backtracks=2157, failedAssignments=1979, nogoods=382, foundSolutions=11, bestBound=19
6.51/3.37	    nFilterCalls=304275, avgTableProportion=0.9965642761338314, avgTableSize=290.12114370224305
6.51/3.37	    
6.63/3.41	    num=93, depth=1..10, filters=107494, revisions=(91456,useless=48931), ccks=238413, wck=1.093, mem=71M530
6.63/3.41	    decisions=7729, wrong=3531, backtracks=2232, failedAssignments=2046, nogoods=384, foundSolutions=11, bestBound=19
6.63/3.41	    nFilterCalls=313923, avgTableProportion=0.9965642729672599, avgTableSize=290.12086084804235
6.63/3.41	    
6.63/3.41	    num=94, depth=5..10, filters=108151, revisions=(91952,useless=49181), ccks=239681, wck=1.098, mem=71M530
6.63/3.41	    decisions=7770, wrong=3549, backtracks=2243, failedAssignments=2057, nogoods=388, foundSolutions=11, bestBound=19
6.63/3.41	    nFilterCalls=315705, avgTableProportion=0.9965642825643752, avgTableSize=290.1217180595809
6.63/3.41	    
6.63/3.41	o 22
6.63/3.41	    num=95, depth=4..53, filters=108415, revisions=(92206,useless=49306), ccks=240373, wck=1.101, mem=71M530
6.63/3.41	    decisions=7789, wrong=3555, backtracks=2245, failedAssignments=2061, nogoods=392, foundSolutions=12, bestBound=22
6.63/3.41	    nFilterCalls=316463, avgTableProportion=0.9965642830503959, avgTableSize=290.12176146974525
6.63/3.41	    
6.63/3.42	    num=96, depth=3..8, filters=109297, revisions=(92997,useless=49750), ccks=241945, wck=1.11, mem=71M530
6.63/3.42	    decisions=7842, wrong=3580, backtracks=2262, failedAssignments=2074, nogoods=395, foundSolutions=12, bestBound=22
6.63/3.42	    nFilterCalls=318705, avgTableProportion=0.9965642863880432, avgTableSize=290.12205958488255
6.63/3.42	    
6.63/3.43	    num=97, depth=4..9, filters=109836, revisions=(93485,useless=50010), ccks=243071, wck=1.115, mem=71M530
6.63/3.43	    decisions=7887, wrong=3600, backtracks=2274, failedAssignments=2085, nogoods=398, foundSolutions=12, bestBound=22
6.63/3.43	    nFilterCalls=320362, avgTableProportion=0.9965642912368768, avgTableSize=290.1224926801556
6.63/3.43	    
6.63/3.43	    num=98, depth=3..8, filters=110646, revisions=(94263,useless=50423), ccks=244968, wck=1.121, mem=71M530
6.63/3.43	    decisions=7945, wrong=3627, backtracks=2290, failedAssignments=2097, nogoods=403, foundSolutions=12, bestBound=22
6.63/3.43	    nFilterCalls=322313, avgTableProportion=0.9965642926963839, avgTableSize=290.1226230403366
6.63/3.43	    
6.63/3.44	    num=99, depth=7..11, filters=111336, revisions=(94859,useless=50747), ccks=246422, wck=1.127, mem=71M530
6.63/3.44	    decisions=8000, wrong=3651, backtracks=2308, failedAssignments=2110, nogoods=406, foundSolutions=12, bestBound=22
6.63/3.44	    nFilterCalls=324556, avgTableProportion=0.9965642971103378, avgTableSize=290.1230172913149
6.63/3.44	    
6.63/3.45	    num=100, depth=4..10, filters=112083, revisions=(95522,useless=51061), ccks=248179, wck=1.133, mem=71M530
6.63/3.45	    decisions=8055, wrong=3676, backtracks=2325, failedAssignments=2124, nogoods=409, foundSolutions=12, bestBound=22
6.63/3.45	    nFilterCalls=326422, avgTableProportion=0.9965642968514082, avgTableSize=290.12299416093276
6.63/3.45	    
6.63/3.45	    num=101, depth=4..9, filters=112706, revisions=(96074,useless=51336), ccks=249803, wck=1.138, mem=71M530
6.63/3.45	    decisions=8109, wrong=3701, backtracks=2341, failedAssignments=2140, nogoods=411, foundSolutions=12, bestBound=22
6.63/3.45	    nFilterCalls=328093, avgTableProportion=0.9965642991539829, avgTableSize=290.12319982444
6.63/3.45	    
6.63/3.46	    num=102, depth=3..9, filters=113775, revisions=(96968,useless=51815), ccks=251987, wck=1.149, mem=71M530
6.63/3.46	    decisions=8176, wrong=3733, backtracks=2364, failedAssignments=2157, nogoods=414, foundSolutions=12, bestBound=22
6.63/3.46	    nFilterCalls=331671, avgTableProportion=0.9965642971689186, avgTableSize=290.12302251327367
6.63/3.46	    
6.63/3.47	    num=103, depth=2..9, filters=114712, revisions=(97817,useless=52265), ccks=254282, wck=1.158, mem=71M530
6.63/3.47	    decisions=8246, wrong=3766, backtracks=2385, failedAssignments=2176, nogoods=420, foundSolutions=12, bestBound=22
6.63/3.47	    nFilterCalls=334270, avgTableProportion=0.9965642970773397, avgTableSize=290.12301432973345
6.63/3.47	    
6.63/3.48	    num=104, depth=3..10, filters=115624, revisions=(98634,useless=52688), ccks=256262, wck=1.166, mem=71M530
6.63/3.48	    decisions=8316, wrong=3798, backtracks=2405, failedAssignments=2197, nogoods=424, foundSolutions=12, bestBound=22
6.63/3.48	    nFilterCalls=336859, avgTableProportion=0.9965642925744895, avgTableSize=290.12261213148525
6.63/3.48	    
6.63/3.49	    num=105, depth=3..10, filters=116869, revisions=(99672,useless=53257), ccks=258706, wck=1.178, mem=71M530
6.63/3.49	    decisions=8402, wrong=3838, backtracks=2431, failedAssignments=2220, nogoods=432, foundSolutions=12, bestBound=22
6.63/3.49	    nFilterCalls=340771, avgTableProportion=0.9965642979081172, avgTableSize=290.1230885257255
6.63/3.49	    
6.74/3.50	    num=106, depth=2..7, filters=118292, revisions=(100998,useless=53938), ccks=261968, wck=1.191, mem=71M530
6.74/3.50	    decisions=8503, wrong=3887, backtracks=2461, failedAssignments=2245, nogoods=436, foundSolutions=12, bestBound=22
6.74/3.50	    nFilterCalls=344314, avgTableProportion=0.996564291434157, avgTableSize=290.1225102667914
6.74/3.50	    
6.74/3.52	    num=107, depth=2..9, filters=119743, revisions=(102297,useless=54606), ccks=265362, wck=1.205, mem=71M530
6.74/3.52	    decisions=8602, wrong=3934, backtracks=2493, failedAssignments=2273, nogoods=439, foundSolutions=12, bestBound=22
6.74/3.52	    nFilterCalls=348434, avgTableProportion=0.9965642833774967, avgTableSize=290.1217906404082
6.74/3.52	    
6.74/3.53	    num=108, depth=1..8, filters=121146, revisions=(103611,useless=55302), ccks=268275, wck=1.219, mem=71M530
6.74/3.53	    decisions=8700, wrong=3981, backtracks=2526, failedAssignments=2304, nogoods=445, foundSolutions=12, bestBound=22
6.74/3.53	    nFilterCalls=352407, avgTableProportion=0.9965642841757811, avgTableSize=290.12186193804325
6.74/3.53	    
6.74/3.55	    num=109, depth=1..9, filters=123203, revisions=(105402,useless=56275), ccks=272591, wck=1.238, mem=71M530
6.74/3.55	    decisions=8829, wrong=4044, backtracks=2567, failedAssignments=2338, nogoods=450, foundSolutions=12, bestBound=22
6.74/3.55	    nFilterCalls=358067, avgTableProportion=0.9965642803694543, avgTableSize=290.1215219498027
6.74/3.55	    
6.74/3.58	    num=110, depth=2..10, filters=125940, revisions=(107681,useless=57591), ccks=277792, wck=1.265, mem=74M172
6.74/3.58	    decisions=9013, wrong=4133, backtracks=2629, failedAssignments=2375, nogoods=456, foundSolutions=12, bestBound=22
6.74/3.58	    nFilterCalls=366435, avgTableProportion=0.9965643021570668, avgTableSize=290.1234680093332
6.74/3.58	    
6.84/3.60	    num=111, depth=4..10, filters=128347, revisions=(109569,useless=58688), ccks=282663, wck=1.287, mem=74M172
6.84/3.60	    decisions=9167, wrong=4208, backtracks=2679, failedAssignments=2416, nogoods=463, foundSolutions=12, bestBound=22
6.84/3.60	    nFilterCalls=374116, avgTableProportion=0.9965643094782671, avgTableSize=290.1241219300965
6.84/3.60	    
6.84/3.62	    num=112, depth=2..10, filters=130699, revisions=(111436,useless=59791), ccks=286498, wck=1.309, mem=74M172
6.84/3.62	    decisions=9316, wrong=4281, backtracks=2727, failedAssignments=2461, nogoods=465, foundSolutions=12, bestBound=22
6.84/3.62	    nFilterCalls=382145, avgTableProportion=0.9965643350963928, avgTableSize=290.12641013227966
6.84/3.62	    
6.84/3.65	    num=113, depth=2..9, filters=133655, revisions=(113975,useless=61150), ccks=292397, wck=1.336, mem=74M172
6.84/3.65	    decisions=9502, wrong=4373, backtracks=2789, failedAssignments=2511, nogoods=468, foundSolutions=12, bestBound=22
6.84/3.65	    nFilterCalls=390448, avgTableProportion=0.9965643327284984, avgTableSize=290.1261986231201
6.84/3.65	    
6.84/3.68	    num=114, depth=2..9, filters=136853, revisions=(116535,useless=62611), ccks=299929, wck=1.364, mem=74M172
6.84/3.68	    decisions=9704, wrong=4473, backtracks=2851, failedAssignments=2566, nogoods=474, foundSolutions=12, bestBound=22
6.84/3.68	    nFilterCalls=399882, avgTableProportion=0.9965643235298051, avgTableSize=290.12537698621094
6.84/3.68	    
6.94/3.70	    num=115, depth=2..9, filters=140126, revisions=(119379,useless=64178), ccks=307490, wck=1.389, mem=74M172
6.94/3.70	    decisions=9926, wrong=4582, backtracks=2920, failedAssignments=2627, nogoods=486, foundSolutions=12, bestBound=22
6.94/3.70	    nFilterCalls=407467, avgTableProportion=0.9965643258932801, avgTableSize=290.12558808443384
6.94/3.70	    
6.94/3.73	    num=116, depth=0..9, filters=143338, revisions=(122281,useless=65716), ccks=314769, wck=1.421, mem=74M172
6.94/3.73	    decisions=10170, wrong=4702, backtracks=2996, failedAssignments=2694, nogoods=489, foundSolutions=12, bestBound=22
6.94/3.73	    nFilterCalls=416392, avgTableProportion=0.996564324391076, avgTableSize=290.12545389921036
6.94/3.73	    
6.94/3.77	    num=117, depth=0..10, filters=147283, revisions=(125903,useless=67685), ccks=323327, wck=1.458, mem=74M172
6.94/3.77	    decisions=10435, wrong=4834, backtracks=3090, failedAssignments=2768, nogoods=496, foundSolutions=12, bestBound=22
6.94/3.77	    nFilterCalls=426500, avgTableProportion=0.9965643196638349, avgTableSize=290.12503165298943
6.94/3.77	    
6.94/3.79	o 29
6.94/3.79	    num=118, depth=1..53, filters=150000, revisions=(128060,useless=68947), ccks=328685, wck=1.482, mem=76M814
6.94/3.79	    decisions=10598, wrong=4912, backtracks=3134, failedAssignments=2816, nogoods=504, foundSolutions=13, bestBound=29
6.94/3.79	    nFilterCalls=434250, avgTableProportion=0.9965643269086859, avgTableSize=290.1256787564767
6.94/3.79	    
7.06/3.84	    num=119, depth=0..9, filters=155649, revisions=(132998,useless=71758), ccks=339450, wck=1.531, mem=76M814
7.06/3.84	    decisions=10906, wrong=5065, backtracks=3236, failedAssignments=2905, nogoods=511, foundSolutions=13, bestBound=29
7.06/3.84	    nFilterCalls=447048, avgTableProportion=0.996564318182686, avgTableSize=290.1248993396682
7.06/3.84	    
7.06/3.85	    num=120, depth=2..8, filters=156440, revisions=(133683,useless=72165), ccks=340826, wck=1.538, mem=76M814
7.06/3.85	    decisions=10958, wrong=5090, backtracks=3256, failedAssignments=2916, nogoods=512, foundSolutions=13, bestBound=29
7.06/3.85	    nFilterCalls=449113, avgTableProportion=0.9965643213008287, avgTableSize=290.1251778505632
7.06/3.85	    
7.06/3.86	    num=121, depth=0..6, filters=157065, revisions=(134226,useless=72454), ccks=341963, wck=1.543, mem=76M814
7.06/3.86	    decisions=10996, wrong=5107, backtracks=3267, failedAssignments=2928, nogoods=515, foundSolutions=13, bestBound=29
7.06/3.86	    nFilterCalls=450696, avgTableProportion=0.9965643235574771, avgTableSize=290.1253794131743
7.06/3.86	    
7.06/3.86	    num=122, depth=0..4, filters=158008, revisions=(135083,useless=72911), ccks=344049, wck=1.551, mem=76M814
7.06/3.86	    decisions=11046, wrong=5132, backtracks=3281, failedAssignments=2941, nogoods=515, foundSolutions=13, bestBound=29
7.06/3.86	    nFilterCalls=452627, avgTableProportion=0.9965643196714462, avgTableSize=290.1250323113734
7.06/3.86	    
7.06/3.87	    num=123, depth=0..6, filters=158886, revisions=(135871,useless=73363), ccks=345825, wck=1.561, mem=76M814
7.06/3.87	    decisions=11105, wrong=5161, backtracks=3303, failedAssignments=2955, nogoods=518, foundSolutions=13, bestBound=29
7.06/3.87	    nFilterCalls=455057, avgTableProportion=0.9965643219391486, avgTableSize=290.1252348606878
7.06/3.87	    
7.06/3.88	    num=124, depth=2..6, filters=159605, revisions=(136522,useless=73720), ccks=347329, wck=1.567, mem=76M814
7.06/3.88	    decisions=11158, wrong=5186, backtracks=3313, failedAssignments=2971, nogoods=521, foundSolutions=13, bestBound=29
7.06/3.88	    nFilterCalls=456680, avgTableProportion=0.9965643204129263, avgTableSize=290.12509853726897
7.06/3.88	    
7.06/3.89	o 32
7.06/3.89	    num=125, depth=0..53, filters=160416, revisions=(137341,useless=74203), ccks=349543, wck=1.574, mem=76M814
7.06/3.89	    decisions=11219, wrong=5214, backtracks=3330, failedAssignments=2987, nogoods=522, foundSolutions=14, bestBound=32
7.06/3.89	    nFilterCalls=458466, avgTableProportion=0.9965643174965692, avgTableSize=290.12483804687804
7.06/3.89	    
7.06/3.90	    num=126, depth=1..8, filters=161422, revisions=(138301,useless=74811), ccks=351498, wck=1.583, mem=76M814
7.06/3.90	    decisions=11283, wrong=5245, backtracks=3350, failedAssignments=3006, nogoods=526, foundSolutions=14, bestBound=32
7.06/3.90	    nFilterCalls=460770, avgTableProportion=0.9965643205671786, avgTableSize=290.1251123119995
7.06/3.90	    
7.17/3.90	    num=127, depth=1..6, filters=161950, revisions=(138799,useless=75088), ccks=352619, wck=1.587, mem=76M814
7.17/3.90	    decisions=11320, wrong=5263, backtracks=3362, failedAssignments=3017, nogoods=530, foundSolutions=14, bestBound=32
7.17/3.90	    nFilterCalls=461716, avgTableProportion=0.9965643178912656, avgTableSize=290.1248732987377
7.17/3.90	    
7.17/3.91	    num=128, depth=1..6, filters=162583, revisions=(139409,useless=75442), ccks=353931, wck=1.594, mem=76M814
7.17/3.91	    decisions=11359, wrong=5282, backtracks=3377, failedAssignments=3029, nogoods=535, foundSolutions=14, bestBound=32
7.17/3.91	    nFilterCalls=463248, avgTableProportion=0.9965643171346827, avgTableSize=290.1248057196145
7.17/3.91	    
7.17/3.91	    num=129, depth=0..5, filters=163252, revisions=(140108,useless=75854), ccks=355490, wck=1.6, mem=76M814
7.17/3.91	    decisions=11402, wrong=5302, backtracks=3387, failedAssignments=3042, nogoods=537, foundSolutions=14, bestBound=32
7.17/3.91	    nFilterCalls=464617, avgTableProportion=0.9965643151621679, avgTableSize=290.12462953357283
7.17/3.91	    
7.17/3.92	    num=130, depth=0..5, filters=163956, revisions=(140781,useless=76256), ccks=356749, wck=1.605, mem=76M814
7.17/3.92	    decisions=11448, wrong=5325, backtracks=3402, failedAssignments=3056, nogoods=537, foundSolutions=14, bestBound=32
7.17/3.92	    nFilterCalls=465923, avgTableProportion=0.9965643131733838, avgTableSize=290.1244518944117
7.17/3.92	    
7.17/3.92	
7.17/3.92	  New Bounds: 33..32
7.17/3.92	    num=131, depth=0..6, filters=164374, revisions=(141211,useless=76503), ccks=357513, wck=1.61, mem=76M814
7.17/3.92	    decisions=11478, wrong=5341, backtracks=3412, failedAssignments=3065, foundSolutions=14, bestBound=32
7.17/3.92	    nFilterCalls=466840, avgTableProportion=0.9965643117555254, avgTableSize=290.1243252506212
7.17/3.92	    
7.17/3.92	  Global
7.17/3.92	    filters=164374, revisions=(141211,useless=76503), ccks=357513
7.17/3.92	    Stop=FULL_EXPLORATION, wrong=5341, bestBound=32, bestBoundWck=2.03, bestBoundCpu=3.85, foundSolutions=14, firstSolCpu=2.296
7.17/3.92	    wck=2.067, cpu=3.887, mem=76M814
7.17/3.92	
7.17/3.92	v <instantiation id='sol14' type='solution' cost='32'>  <list> s[] p[] g[] </list>  <values> 6 0 1 9 3 4 12 -1 2 8 11 5 13 14 15 16 10 -1 0 15 14 11 10 9 1 -1 13 12 7 8 2 3 4 5 6 -1 3 -1 1 5 1 4 3 0 1 1 9 2 -2 2 1 3 -1 0 </values>  </instantiation>
7.17/3.92	s OPTIMUM FOUND
7.17/3.92	
7.17/3.92	d WRONG_DECISIONS 5341
7.17/3.92	d NUMBER_SOLUTIONS 14

Verifier Data 

OK	32

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391120-1568390067/watcher-4391120-1568390067 -o /tmp/evaluation-result-4391120-1568390067/solver-4391120-1568390067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15696 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391120-1568390067.xml -cm 

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

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

solver pid=15990, runsolver pid=15987

[startup+0.10339 s]*
/proc/loadavg: 1.93 1.38 1.23 4/233 16005
/proc/meminfo: memFree=29887224/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10659884 memory=30440 CPUtime=0.14 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 5585 0 0 0 13 1 0 0 20 0 15 0 415257236 10915721216 7610 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2664971 7610 2910 1 0 2627468 0
[pid=15990/tid=15992] ppid=15987 vsize=10659884 memory=-8773748148830376319 CPUtime=0.09 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) R 15987 15990 15665 0 -1 4202560 3338 0 0 0 8 1 0 0 20 0 15 0 415257236 10915721216 7610 33554432000 4194304 4196468 140723591697376 139675067717904 139675063510173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 7610 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674621625632 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415257239 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674620573296 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) R 15987 15990 15665 0 -1 1077944384 485 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) R 15987 15990 15665 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674093860544 139675040742352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0.02 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) R 15987 15990 15665 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 415257241 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674092816752 139675063500182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257242 10915721216 7610 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30440 KiB

[startup+0.211443 s]*
/proc/loadavg: 1.93 1.38 1.23 5/233 16005
/proc/meminfo: memFree=29875948/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10659884 memory=39732 CPUtime=0.33 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 9156 0 0 0 30 3 0 0 20 0 15 0 415257236 10915721216 9933 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2664971 9933 2989 1 0 2627468 0
[pid=15990/tid=15992] ppid=15987 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) R 15987 15990 15665 0 -1 4202560 6136 0 0 0 18 2 0 0 20 0 15 0 415257236 10915721216 9933 33554432000 4194304 4196468 140723591697376 139675067714608 139675063510173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 9933 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10659884 memory=3473316480930150048 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674621625632 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415257239 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674620573296 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 415257241 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) R 15987 15990 15665 0 -1 4202560 408 0 0 0 3 0 0 0 20 0 15 0 415257241 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674093855064 139675048590062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0.05 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 705 0 0 0 5 0 0 0 20 0 15 0 415257241 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257242 10915721216 9933 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39732 KiB

[startup+0.310524 s]*
/proc/loadavg: 1.93 1.38 1.23 3/233 16005
/proc/meminfo: memFree=29874148/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10659884 memory=42024 CPUtime=0.47 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 9364 0 0 0 43 4 0 0 20 0 15 0 415257236 10915721216 10506 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2664971 10506 3001 1 0 2627468 0
[pid=15990/tid=15992] ppid=15987 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) R 15987 15990 15665 0 -1 4202560 6260 0 0 0 27 3 0 0 20 0 15 0 415257236 10915721216 10506 33554432000 4194304 4196468 140723591697376 139675067720304 139675047568734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10659884 memory=4294980864 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 10506 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10659884 memory=3689207788067223200 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257237 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415257238 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674621625632 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415257239 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674620573296 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 415257241 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) S 15987 15990 15665 0 -1 1077944384 448 0 0 0 4 0 0 0 20 0 15 0 415257241 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674093869040 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0.08 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 415257241 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10659884 memory=140439748736640 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257242 10915721216 10506 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 42024 KiB

[startup+0.701528 s]
/proc/loadavg: 1.93 1.38 1.23 3/233 16005
/proc/meminfo: memFree=29865284/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10661932 memory=64532 CPUtime=1.1 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 12615 0 0 0 104 6 0 0 20 0 15 0 415257236 10917818368 16133 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2665483 16133 3073 1 0 2627980 0
[pid=15990/tid=15992] ppid=15987 vsize=10661932 memory=209146183963100 CPUtime=0.68 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) R 15987 15990 15665 0 -1 4202560 8817 0 0 0 63 5 0 0 20 0 15 0 415257236 10917818368 16133 33554432000 4194304 4196468 140723591697376 139675067714128 139675049653099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10661932 memory=3091125 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10917818368 16133 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257237 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257238 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415257238 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674621625632 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415257239 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674620573296 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10661932 memory=6944652177228980320 CPUtime=0.1 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 817 0 0 0 10 0 0 0 20 0 15 0 415257241 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10661932 memory=6944656592387989600 CPUtime=0.1 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) R 15987 15990 15665 0 -1 4202560 565 0 0 0 10 0 0 0 20 0 15 0 415257241 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674093869040 139675049502548 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 1057 0 0 0 18 0 0 0 20 0 15 0 415257241 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415257241 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10661932 memory=20156 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257242 10917818368 16133 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64532 KiB

[startup+1.50069 s]
/proc/loadavg: 1.93 1.38 1.23 3/233 16005
/proc/meminfo: memFree=29846548/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10663980 memory=77068 CPUtime=2 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 16231 0 0 0 193 7 0 0 20 0 15 0 415257236 10919915520 19267 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2665995 19267 3093 1 0 2628492 0
[pid=15990/tid=15992] ppid=15987 vsize=10663980 memory=13796 CPUtime=1.47 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) R 15987 15990 15665 0 -1 4202560 11421 0 0 0 142 5 0 0 20 0 15 0 415257236 10919915520 19267 33554432000 4194304 4196468 140723591697376 139675067714128 139675063510173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10919915520 19267 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10919915520 19267 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415257237 10919915520 19267 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415257237 10919915520 19267 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 415257238 10919915520 19267 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0

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

[startup+3.20086 s]
/proc/loadavg: 2.02 1.41 1.24 4/234 16006
/proc/meminfo: memFree=29718460/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10748324 memory=184424 CPUtime=6.41 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 34304 0 0 0 626 15 0 0 20 0 16 0 415257236 11006283776 46106 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2687081 46106 3362 1 0 2647217 0
[pid=15990/tid=15992] ppid=15987 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) S 15987 15990 15665 0 -1 1077944384 13121 0 0 0 180 6 0 0 20 0 16 0 415257236 11006283776 46106 33554432000 4194304 4196468 140723591697376 139675067731120 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415257237 11006283776 46106 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10748324 memory=280879184857456 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 139 0 0 0 1 0 0 0 20 0 16 0 415257238 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415257238 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674621625696 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 415257239 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674620573312 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10748324 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 6984 0 0 0 128 1 0 0 20 0 16 0 415257241 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10748324 memory=735222785817012323 CPUtime=1.23 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) S 15987 15990 15665 0 -1 1077944384 4365 0 0 0 122 1 0 0 20 0 16 0 415257241 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674093869040 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10748324 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 3605 0 0 0 62 1 0 0 20 0 16 0 415257241 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10748324 memory=65436 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 415257242 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16006] ppid=15987 vsize=10748324 memory=2116 CPUtime=1.27 cores=0,2,4,6
/proc/15990/task/16006/stat : 16006 (java) R 15987 15990 15665 0 -1 4202560 4539 0 0 0 125 2 0 0 20 0 16 0 415257425 11006283776 46106 33554432000 4194304 4196468 140723591697376 139674083251056 139674705854477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 184424 KiB

[startup+3.60064 s]
/proc/loadavg: 2.02 1.41 1.24 4/234 16006
/proc/meminfo: memFree=29718460/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10748324 memory=190864 CPUtime=6.84 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 34448 0 0 0 669 15 0 0 20 0 16 0 415257236 11006283776 47716 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2687081 47716 3362 1 0 2647217 0
[pid=15990/tid=15992] ppid=15987 vsize=10748324 memory=2044 CPUtime=1.86 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) S 15987 15990 15665 0 -1 1077944384 13121 0 0 0 180 6 0 0 20 0 16 0 415257236 11006283776 47716 33554432000 4194304 4196468 140723591697376 139675067731120 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415257237 11006283776 47716 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10748324 memory=6440544757661132645 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10748324 memory=477944271 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10748324 memory=140439592378897 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10748324 memory=280879184730832 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 16 0 415257238 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415257238 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674621625696 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 415257239 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674620573312 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10748324 memory=7306903918099849305 CPUtime=1.29 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 6999 0 0 0 128 1 0 0 20 0 16 0 415257241 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10748324 memory=7305218370954420823 CPUtime=1.24 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) S 15987 15990 15665 0 -1 1077944384 4368 0 0 0 123 1 0 0 20 0 16 0 415257241 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674093869040 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10748324 memory=7881696724453321575 CPUtime=0.65 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 3694 0 0 0 64 1 0 0 20 0 16 0 415257241 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10748324 memory=8025788814078207340 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10748324 memory=-8814538831020006773 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 415257242 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16006] ppid=15987 vsize=10748324 memory=1404238533875048054 CPUtime=1.67 cores=0,2,4,6
/proc/15990/task/16006/stat : 16006 (java) R 15987 15990 15665 0 -1 4202560 4552 0 0 0 165 2 0 0 20 0 16 0 415257425 11006283776 47716 33554432000 4194304 4196468 140723591697376 139674083251216 139674705854166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 6.84 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 190864 KiB

[startup+3.80235 s]
/proc/loadavg: 2.02 1.41 1.24 4/234 16006
/proc/meminfo: memFree=29718460/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10748324 memory=193060 CPUtime=7.06 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 34563 0 0 0 691 15 0 0 20 0 16 0 415257236 11006283776 48265 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2687081 48265 3362 1 0 2647217 0
[pid=15990/tid=15992] ppid=15987 vsize=10748324 memory=-3252517613198930781 CPUtime=1.86 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) S 15987 15990 15665 0 -1 1077944384 13121 0 0 0 180 6 0 0 20 0 16 0 415257236 11006283776 48265 33554432000 4194304 4196468 140723591697376 139675067731120 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10748324 memory=-4866530365664734515 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415257237 11006283776 48265 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10748324 memory=9124152854131106007 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10748324 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10748324 memory=4498404016631593318 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 16 0 415257238 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10748324 memory=4137290303932963203 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415257238 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674621625696 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10748324 memory=6940168411828138560 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 415257239 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674620573312 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10748324 memory=2244 CPUtime=1.29 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 6999 0 0 0 128 1 0 0 20 0 16 0 415257241 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10748324 memory=73620 CPUtime=1.27 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) S 15987 15990 15665 0 -1 1077944384 4420 0 0 0 126 1 0 0 20 0 16 0 415257241 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674093869040 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10748324 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) S 15987 15990 15665 0 -1 1077944384 3754 0 0 0 64 1 0 0 20 0 16 0 415257241 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674092816752 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10748324 memory=280879184238336 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10748324 memory=3472328296227680300 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 415257242 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16006] ppid=15987 vsize=10748324 memory=6655300316396806240 CPUtime=1.87 cores=0,2,4,6
/proc/15990/task/16006/stat : 16006 (java) R 15987 15990 15665 0 -1 4202560 4555 0 0 0 185 2 0 0 20 0 16 0 415257425 11006283776 48265 33554432000 4194304 4196468 140723591697376 139674083245648 139674706288602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193060 KiB

[startup+3.90065 s]
/proc/loadavg: 2.02 1.41 1.24 4/234 16006
/proc/meminfo: memFree=29718460/32770624 swapFree=66916512/67108860
[pid=15990] ppid=15987 vsize=10748324 memory=195132 CPUtime=7.17 cores=0,2,4,6
/proc/15990/stat : 15990 (java) S 15987 15990 15665 0 -1 1077944320 34602 0 0 0 702 15 0 0 20 0 16 0 415257236 11006283776 48783 33554432000 4194304 4196468 140723591697376 140723591679920 139675063488247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
/proc/15990/statm: 2687081 48783 3362 1 0 2647217 0
[pid=15990/tid=15992] ppid=15987 vsize=10748324 memory=170672 CPUtime=1.86 cores=0,2,4,6
/proc/15990/task/15992/stat : 15992 (java) S 15987 15990 15665 0 -1 1077944384 13121 0 0 0 180 6 0 0 20 0 16 0 415257236 11006283776 48783 33554432000 4194304 4196468 140723591697376 139675067731120 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15993] ppid=15987 vsize=10748324 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15993/stat : 15993 (java) S 15987 15990 15665 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415257237 11006283776 48783 33554432000 4194304 4196468 140723591697376 139675022248336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15994] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15994/stat : 15994 (java) S 15987 15990 15665 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674669361424 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15995] ppid=15987 vsize=10748324 memory=288230617492239587 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15995/stat : 15995 (java) S 15987 15990 15665 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674668309136 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15996] ppid=15987 vsize=10748324 memory=3628 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15996/stat : 15996 (java) S 15987 15990 15665 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415257237 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674667256336 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15997] ppid=15987 vsize=10748324 memory=38624 CPUtime=0.01 cores=0,2,4,6
/proc/15990/task/15997/stat : 15997 (java) S 15987 15990 15665 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 16 0 415257238 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674622679664 139675063499394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15998] ppid=15987 vsize=10748324 memory=280879184454360 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15998/stat : 15998 (java) S 15987 15990 15665 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415257238 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674621625696 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=15999] ppid=15987 vsize=10748324 memory=7883313791515570232 CPUtime=0 cores=0,2,4,6
/proc/15990/task/15999/stat : 15999 (java) S 15987 15990 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 415257239 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674620573312 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16000] ppid=15987 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16000/stat : 16000 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674619521616 139675063506843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16001] ppid=15987 vsize=10748324 memory=43540 CPUtime=1.3 cores=0,2,4,6
/proc/15990/task/16001/stat : 16001 (java) S 15987 15990 15665 0 -1 1077944384 7001 0 0 0 129 1 0 0 20 0 16 0 415257241 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674094921840 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16002] ppid=15987 vsize=10748324 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/15990/task/16002/stat : 16002 (java) S 15987 15990 15665 0 -1 1077944384 4420 0 0 0 126 1 0 0 20 0 16 0 415257241 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674093869040 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16003] ppid=15987 vsize=10748324 memory=6791534058613427641 CPUtime=0.65 cores=0,2,4,6
/proc/15990/task/16003/stat : 16003 (java) R 15987 15990 15665 0 -1 4202560 3782 0 0 0 64 1 0 0 20 0 16 0 415257241 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674092816752 139675049168945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16004] ppid=15987 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16004/stat : 16004 (java) S 15987 15990 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415257241 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674091764192 139675063498453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16005] ppid=15987 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15990/task/16005/stat : 16005 (java) S 15987 15990 15665 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 415257242 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674090711984 139675063499394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
[pid=15990/tid=16006] ppid=15987 vsize=10748324 memory=6944656592455359580 CPUtime=1.97 cores=0,2,4,6
/proc/15990/task/16006/stat : 16006 (java) R 15987 15990 15665 0 -1 4202560 4564 0 0 0 195 2 0 0 20 0 16 0 415257425 11006283776 48783 33554432000 4194304 4196468 140723591697376 139674083245648 139674705854444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34947072 140723591701515 140723591701618 140723591701618 140723591704527 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195132 KiB

Child status: 0
Real time (s): 3.94713
CPU time (s): 7.23464
CPU user time (s): 7.06973
CPU system time (s): 0.164906
CPU usage (%): 183.289
Max. virtual memory (cumulated for all children) (KiB): 10750812
Max. memory (cumulated for all children) (KiB): 195132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.06973
system time used= 0.164906
maximum resident set size= 197836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2421
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 15990
#   total CPU time (s): 7.23464
#   total CPU user time (s): 7.06973
#   total CPU system time (s): 0.164906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047961 second user time and 0.088728 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-13 17:53:46
IDJOB=4391120
IDBENCH=128005
IDSOLVER=2833
FILE ID=node134/4391120-1568390067
RUNJOBID= node134-1568389880-15696
PBS_JOBID= 21701859
Free space on /tmp= 59568 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-18-3-6-8.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391120-1568390067/watcher-4391120-1568390067 -o /tmp/evaluation-result-4391120-1568390067/solver-4391120-1568390067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15696 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391120-1568390067.xml -cm

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

MD5SUM BENCH= 5d7a010bf2d95efed7f70b0fa6bbffad
RANDOM SEED=578676300

node134.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.76
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.76
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.76
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.76
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:        29905788 kB
MemAvailable:   31360584 kB
Buffers:          172884 kB
Cached:          1548908 kB
SwapCached:        90704 kB
Active:           864044 kB
Inactive:        1386864 kB
Active(anon):     462060 kB
Inactive(anon):   106556 kB
Active(file):     401984 kB
Inactive(file):  1280308 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916512 kB
Dirty:              8860 kB
Writeback:             0 kB
AnonPages:        542308 kB
Mapped:            56120 kB
Shmem:             30964 kB
Slab:             206780 kB
SReclaimable:     176680 kB
SUnreclaim:        30100 kB
KernelStack:        4128 kB
PageTables:         6352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1516764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59560 MiB
End job on node134 at 2019-09-13 17:53:50