Trace number 4390757

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 NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.11 2512.93

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T5c.xml
MD5SUM3657d2b4866232829f5e159967af0f72
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables365
Number of constraints220
Number of domains75
Minimum domain size1
Maximum domain size200
Distribution of domain sizes[{"size":1,"count":6},{"size":2,"count":213},{"size":200,"count":146}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":73},{"degree":2,"count":146},{"degree":3,"count":146}]
Minimum constraint arity2
Maximum constraint arity292
Distribution of constraint arities[{"arity":2,"count":146},{"arity":3,"count":73},{"arity":292,"count":1}]
Number of extensional constraints73
Number of intensional constraints146
Distribution of constraint types[{"type":"extension","count":73},{"type":"intension","count":146},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.55/2.25	
2.55/2.25	AbsCon 2 
2.55/2.27	
3.01/2.47	  Instance
3.01/2.47	    name=instance-4390757-1568380516, framework=CSP
3.01/2.47	
3.01/2.47	  Loading variables...
3.37/2.53	  Loading constraints...
6.98/3.65	
6.98/3.65	  Domains
6.98/3.65	    nTypes=75, nValues=29632, sizes=[1#6,2#213,200#146]
6.98/3.65	  Variables
6.98/3.65	    count=365, degrees=[1#73,73#146,74#146]
6.98/3.65	  Constraints
6.98/3.65	    count=2847, nSpecific=73, arities=[2#146,3#73,8#2628]
6.98/3.65	    distribution=[CtrExtensionCT-Table#73,CtrIntension#2774]
6.98/3.65	    tables=[2#73], nTotalTuples=146
6.98/3.65	    nExtStructures=(73,shared:0), nIntStructures=(2701,shared:73), nCftStructures=(73,shared:73,unbuilt:2701)
6.98/3.65	    wck=1.424, cpu=3.169, mem=220M62
6.98/3.66	  Solver SolverBacktrack being built...
6.98/3.66	
7.31/3.75	
7.31/3.75	  Solver
7.31/3.75	    guaranteedGAC=false
7.31/3.75	    wck=1.531, cpu=3.217, mem=159M154
7.31/3.77	
7.31/3.77	  Preprocessing
7.31/3.77	    filters=146, revisions=(146,useless=0), ccks=32128, nACremovedValues=1784, nTotalRemovedValues=1784, inconcistency=false
7.31/3.77	    wck=0.015, cpu=3.234, mem=159M154
7.31/3.77	
7.66/3.80	    num=0, depth=144..147, filters=172, revisions=(302,useless=146), ccks=32424, wck=0.036, mem=159M154
7.66/3.80	    decisions=164, wrong=10, backtracks=8, failedAssignments=10, nogoods=2
7.66/3.80	    nFilterCalls=97, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.80	    
7.66/3.81	    num=1, depth=76..76, filters=187, revisions=(400,useless=231), ccks=32683, wck=0.055, mem=164M156
7.66/3.81	    decisions=262, wrong=21, backtracks=8, failedAssignments=21, nogoods=13
7.66/3.81	    nFilterCalls=99, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.81	    
7.66/3.82	    num=2, depth=76..76, filters=203, revisions=(513,useless=330), ccks=32917, wck=0.059, mem=164M156
7.66/3.82	    decisions=362, wrong=33, backtracks=8, failedAssignments=33, nogoods=25
7.66/3.82	    nFilterCalls=101, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.82	    
7.66/3.82	    num=3, depth=76..76, filters=220, revisions=(604,useless=406), ccks=33080, wck=0.064, mem=164M156
7.66/3.82	    decisions=464, wrong=46, backtracks=8, failedAssignments=46, nogoods=38
7.66/3.82	    nFilterCalls=103, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.82	    
7.66/3.83	    num=4, depth=76..76, filters=237, revisions=(721,useless=508), ccks=33199, wck=0.068, mem=164M156
7.66/3.83	    decisions=568, wrong=60, backtracks=8, failedAssignments=60, nogoods=52
7.66/3.83	    nFilterCalls=105, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.83	    
7.66/3.84	    num=5, depth=76..148, filters=265, revisions=(888,useless=657), ccks=33336, wck=0.076, mem=164M156
7.66/3.84	    decisions=745, wrong=76, backtracks=11, failedAssignments=76, nogoods=63
7.66/3.84	    nFilterCalls=118, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.84	    
7.66/3.84	    num=6, depth=77..77, filters=288, revisions=(983,useless=732), ccks=33544, wck=0.08, mem=164M156
7.66/3.84	    decisions=856, wrong=93, backtracks=11, failedAssignments=93, nogoods=80
7.66/3.84	    nFilterCalls=121, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.84	    
7.66/3.84	    num=7, depth=77..77, filters=312, revisions=(1081,useless=809), ccks=33725, wck=0.084, mem=164M156
7.66/3.84	    decisions=971, wrong=112, backtracks=11, failedAssignments=112, nogoods=99
7.66/3.84	    nFilterCalls=124, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.84	    
7.66/3.84	    num=8, depth=78..78, filters=339, revisions=(1183,useless=887), ccks=33901, wck=0.087, mem=164M156
7.66/3.84	    decisions=1091, wrong=133, backtracks=11, failedAssignments=133, nogoods=120
7.66/3.84	    nFilterCalls=127, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.84	    
7.66/3.85	    num=9, depth=77..77, filters=367, revisions=(1329,useless=1008), ccks=34067, wck=0.092, mem=164M156
7.66/3.85	    decisions=1214, wrong=156, backtracks=11, failedAssignments=156, nogoods=143
7.66/3.85	    nFilterCalls=130, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.85	    
7.66/3.85	    num=10, depth=78..149, filters=404, revisions=(1546,useless=1197), ccks=34268, wck=0.098, mem=164M156
7.66/3.85	    decisions=1410, wrong=181, backtracks=14, failedAssignments=181, nogoods=163
7.66/3.85	    nFilterCalls=142, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.85	    
7.66/3.86	    num=11, depth=78..78, filters=440, revisions=(1680,useless=1299), ccks=34537, wck=0.101, mem=164M156
7.66/3.86	    decisions=1544, wrong=209, backtracks=14, failedAssignments=209, nogoods=191
7.66/3.86	    nFilterCalls=146, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.86	    
7.66/3.86	    num=12, depth=78..79, filters=479, revisions=(1808,useless=1392), ccks=34796, wck=0.106, mem=164M156
7.66/3.86	    decisions=1685, wrong=240, backtracks=14, failedAssignments=240, nogoods=222
7.66/3.86	    nFilterCalls=150, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.86	    
7.66/3.87	    num=13, depth=78..79, filters=521, revisions=(1933,useless=1479), ccks=35024, wck=0.11, mem=164M156
7.66/3.87	    decisions=1832, wrong=274, backtracks=14, failedAssignments=274, nogoods=256
7.66/3.87	    nFilterCalls=154, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.87	    
7.66/3.87	    num=14, depth=78..79, filters=565, revisions=(2123,useless=1629), ccks=35255, wck=0.114, mem=164M156
7.66/3.87	    decisions=1985, wrong=311, backtracks=14, failedAssignments=311, nogoods=293
7.66/3.87	    nFilterCalls=158, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.87	    
7.66/3.87	    num=15, depth=78..79, filters=613, revisions=(2329,useless=1791), ccks=35488, wck=0.119, mem=164M156
7.66/3.87	    decisions=2146, wrong=352, backtracks=14, failedAssignments=352, nogoods=334
7.66/3.87	    nFilterCalls=162, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.87	    
7.66/3.88	    num=16, depth=78..79, filters=666, revisions=(2458,useless=1871), ccks=35718, wck=0.124, mem=164M156
7.66/3.88	    decisions=2315, wrong=397, backtracks=14, failedAssignments=397, nogoods=379
7.66/3.88	    nFilterCalls=166, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.88	    
7.66/3.88	    num=17, depth=78..79, filters=724, revisions=(2658,useless=2017), ccks=35987, wck=0.128, mem=164M156
7.66/3.88	    decisions=2494, wrong=447, backtracks=14, failedAssignments=447, nogoods=429
7.66/3.88	    nFilterCalls=170, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.88	    
7.66/3.89	    num=18, depth=78..79, filters=786, revisions=(2842,useless=2143), ccks=36221, wck=0.133, mem=164M156
7.66/3.89	    decisions=2683, wrong=502, backtracks=14, failedAssignments=502, nogoods=484
7.66/3.89	    nFilterCalls=174, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.89	    
7.66/3.90	    num=19, depth=79..79, filters=854, revisions=(3069,useless=2306), ccks=36473, wck=0.14, mem=164M156
7.66/3.90	    decisions=2884, wrong=563, backtracks=14, failedAssignments=563, nogoods=545
7.66/3.90	    nFilterCalls=178, avgTableProportion=0.5, avgTableSize=1.0
7.66/3.90	    
7.99/3.90	    num=20, depth=78..79, filters=928, revisions=(3331,useless=2498), ccks=36753, wck=0.145, mem=164M156
7.99/3.90	    decisions=3097, wrong=630, backtracks=14, failedAssignments=630, nogoods=612
7.99/3.90	    nFilterCalls=182, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.90	    
7.99/3.91	    num=21, depth=78..79, filters=1009, revisions=(3514,useless=2604), ccks=36989, wck=0.151, mem=164M156
7.99/3.91	    decisions=3324, wrong=704, backtracks=14, failedAssignments=704, nogoods=686
7.99/3.91	    nFilterCalls=186, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.91	    
7.99/3.91	    num=22, depth=78..79, filters=1098, revisions=(3692,useless=2697), ccks=37262, wck=0.156, mem=164M156
7.99/3.91	    decisions=3565, wrong=785, backtracks=14, failedAssignments=785, nogoods=767
7.99/3.91	    nFilterCalls=190, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.91	    
7.99/3.92	    num=23, depth=79..79, filters=1194, revisions=(3864,useless=2777), ccks=37501, wck=0.161, mem=164M156
7.99/3.92	    decisions=3822, wrong=874, backtracks=14, failedAssignments=874, nogoods=856
7.99/3.92	    nFilterCalls=194, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.92	    
7.99/3.92	    num=24, depth=78..79, filters=1299, revisions=(4096,useless=2908), ccks=37806, wck=0.166, mem=164M156
7.99/3.92	    decisions=4097, wrong=972, backtracks=14, failedAssignments=972, nogoods=954
7.99/3.92	    nFilterCalls=198, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.92	    
7.99/3.93	    num=25, depth=78..80, filters=1415, revisions=(4375,useless=3075), ccks=38144, wck=0.172, mem=164M156
7.99/3.93	    decisions=4393, wrong=1080, backtracks=14, failedAssignments=1080, nogoods=1062
7.99/3.93	    nFilterCalls=202, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.93	    
7.99/3.93	    num=26, depth=78..79, filters=1541, revisions=(4732,useless=3310), ccks=38539, wck=0.177, mem=164M156
7.99/3.93	    decisions=4710, wrong=1199, backtracks=14, failedAssignments=1199, nogoods=1181
7.99/3.93	    nFilterCalls=206, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.93	    
7.99/3.94	    num=27, depth=78..80, filters=1680, revisions=(5200,useless=3643), ccks=39039, wck=0.183, mem=164M156
7.99/3.94	    decisions=5052, wrong=1330, backtracks=14, failedAssignments=1330, nogoods=1312
7.99/3.94	    nFilterCalls=210, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.94	    
7.99/3.95	    num=28, depth=78..80, filters=1832, revisions=(5450,useless=3745), ccks=39381, wck=0.191, mem=164M156
7.99/3.95	    decisions=5420, wrong=1474, backtracks=14, failedAssignments=1474, nogoods=1456
7.99/3.95	    nFilterCalls=214, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.95	    
7.99/3.95	    num=29, depth=79..150, filters=2024, revisions=(6023,useless=4156), ccks=39852, wck=0.199, mem=164M156
7.99/3.95	    decisions=5873, wrong=1632, backtracks=27, failedAssignments=1632, nogoods=1589
7.99/3.95	    nFilterCalls=257, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.95	    
7.99/3.96	    num=30, depth=80..82, filters=2208, revisions=(6803,useless=4757), ccks=40624, wck=0.205, mem=164M156
7.99/3.96	    decisions=6303, wrong=1806, backtracks=27, failedAssignments=1806, nogoods=1763
7.99/3.96	    nFilterCalls=262, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.96	    
7.99/3.97	    num=31, depth=79..81, filters=2409, revisions=(7231,useless=4989), ccks=41165, wck=0.211, mem=164M156
7.99/3.97	    decisions=6766, wrong=1997, backtracks=27, failedAssignments=1997, nogoods=1954
7.99/3.97	    nFilterCalls=267, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.97	    
7.99/3.97	    num=32, depth=79..82, filters=2630, revisions=(7817,useless=5359), ccks=41806, wck=0.218, mem=164M156
7.99/3.97	    decisions=7270, wrong=2208, backtracks=27, failedAssignments=2208, nogoods=2165
7.99/3.97	    nFilterCalls=272, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.97	    
7.99/3.98	    num=33, depth=79..82, filters=2871, revisions=(8554,useless=5860), ccks=42506, wck=0.227, mem=164M156
7.99/3.98	    decisions=7816, wrong=2440, backtracks=27, failedAssignments=2440, nogoods=2397
7.99/3.98	    nFilterCalls=277, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.98	    
7.99/3.99	    num=34, depth=81..82, filters=3136, revisions=(8976,useless=6022), ccks=43021, wck=0.236, mem=164M156
7.99/3.99	    decisions=8408, wrong=2695, backtracks=27, failedAssignments=2695, nogoods=2652
7.99/3.99	    nFilterCalls=282, avgTableProportion=0.5, avgTableSize=1.0
7.99/3.99	    
7.99/4.00	    num=35, depth=79..82, filters=3426, revisions=(9798,useless=6559), ccks=43714, wck=0.245, mem=164M156
7.99/4.00	    decisions=9052, wrong=2976, backtracks=27, failedAssignments=2976, nogoods=2933
7.99/4.00	    nFilterCalls=287, avgTableProportion=0.5, avgTableSize=1.0
7.99/4.00	    
8.33/4.01	    num=36, depth=80..81, filters=3744, revisions=(10629,useless=7077), ccks=44527, wck=0.255, mem=164M156
8.33/4.01	    decisions=9750, wrong=3285, backtracks=28, failedAssignments=3285, nogoods=3103
8.33/4.01	    nFilterCalls=292, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.01	    
8.33/4.02	    num=37, depth=79..151, filters=4136, revisions=(11927,useless=8030), ccks=45579, wck=0.267, mem=169M137
8.33/4.02	    decisions=10560, wrong=3625, backtracks=49, failedAssignments=3625, nogoods=3402
8.33/4.02	    nFilterCalls=360, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.02	    
8.33/4.04	    num=38, depth=82..152, filters=4658, revisions=(13166,useless=8888), ccks=46656, wck=0.282, mem=169M137
8.33/4.04	    decisions=11394, wrong=3999, backtracks=116, failedAssignments=3999, nogoods=3643
8.33/4.04	    nFilterCalls=568, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.04	    
8.33/4.05	    num=39, depth=81..83, filters=5083, revisions=(14154,useless=9458), ccks=47654, wck=0.292, mem=169M137
8.33/4.05	    decisions=12299, wrong=4410, backtracks=116, failedAssignments=4410, nogoods=4054
8.33/4.05	    nFilterCalls=575, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.05	    
8.33/4.06	    num=40, depth=81..85, filters=5548, revisions=(15591,useless=10437), ccks=48821, wck=0.304, mem=169M137
8.33/4.06	    decisions=13288, wrong=4862, backtracks=116, failedAssignments=4862, nogoods=4506
8.33/4.06	    nFilterCalls=582, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.06	    
8.33/4.07	    num=41, depth=81..83, filters=6058, revisions=(16530,useless=10873), ccks=49719, wck=0.319, mem=169M137
8.33/4.07	    decisions=14364, wrong=5359, backtracks=117, failedAssignments=5359, nogoods=4828
8.33/4.07	    nFilterCalls=589, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.07	    
8.33/4.09	    num=42, depth=82..86, filters=6618, revisions=(18700,useless=12490), ccks=51314, wck=0.332, mem=169M137
8.33/4.09	    decisions=15544, wrong=5906, backtracks=117, failedAssignments=5906, nogoods=5375
8.33/4.09	    nFilterCalls=596, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.09	    
8.33/4.10	    num=43, depth=81..85, filters=7233, revisions=(21081,useless=14263), ccks=53147, wck=0.347, mem=169M137
8.33/4.10	    decisions=16832, wrong=6508, backtracks=118, failedAssignments=6508, nogoods=5785
8.33/4.10	    nFilterCalls=603, avgTableProportion=0.5, avgTableSize=1.0
8.33/4.10	    
8.63/4.12	    num=44, depth=81..84, filters=7908, revisions=(22525,useless=15039), ccks=54385, wck=0.365, mem=169M137
8.63/4.12	    decisions=18239, wrong=7170, backtracks=119, failedAssignments=7170, nogoods=6256
8.63/4.12	    nFilterCalls=610, avgTableProportion=0.5, avgTableSize=1.0
8.63/4.12	    
8.63/4.14	    num=45, depth=81..85, filters=8649, revisions=(26281,useless=18061), ccks=57019, wck=0.38, mem=169M137
8.63/4.14	    decisions=19780, wrong=7898, backtracks=126, failedAssignments=7898, nogoods=6720
8.63/4.14	    nFilterCalls=617, avgTableProportion=0.5, avgTableSize=1.0
8.63/4.14	    
8.63/4.16	    num=46, depth=81..153, filters=9598, revisions=(29267,useless=20238), ccks=59241, wck=0.401, mem=169M137
8.63/4.16	    decisions=21470, wrong=8699, backtracks=192, failedAssignments=8699, nogoods=7390
8.63/4.16	    nFilterCalls=823, avgTableProportion=0.5, avgTableSize=1.0
8.63/4.16	    
8.63/4.18	    num=47, depth=83..85, filters=10495, revisions=(31791,useless=21873), ccks=61090, wck=0.422, mem=169M137
8.63/4.18	    decisions=23316, wrong=9580, backtracks=250, failedAssignments=9580, nogoods=7686
8.63/4.18	    nFilterCalls=831, avgTableProportion=0.5, avgTableSize=1.0
8.63/4.18	    
8.91/4.20	    num=48, depth=82..88, filters=11480, revisions=(36854,useless=25959), ccks=64480, wck=0.442, mem=169M137
8.91/4.20	    decisions=25344, wrong=10550, backtracks=253, failedAssignments=10550, nogoods=8446
8.91/4.20	    nFilterCalls=839, avgTableProportion=0.5, avgTableSize=1.0
8.91/4.20	    
8.91/4.22	    num=49, depth=82..83, filters=12562, revisions=(40053,useless=28084), ccks=66940, wck=0.461, mem=169M137
8.91/4.22	    decisions=27561, wrong=11617, backtracks=279, failedAssignments=11617, nogoods=8610
8.91/4.22	    nFilterCalls=847, avgTableProportion=0.5, avgTableSize=1.0
8.91/4.22	    
8.91/4.24	    num=50, depth=84..87, filters=13751, revisions=(48398,useless=35248), ccks=72029, wck=0.481, mem=169M137
8.91/4.24	    decisions=29993, wrong=12790, backtracks=297, failedAssignments=12790, nogoods=8940
8.91/4.24	    nFilterCalls=855, avgTableProportion=0.5, avgTableSize=1.0
8.91/4.24	    
8.91/4.26	    num=51, depth=82..155, filters=15320, revisions=(55904,useless=41454), ccks=76517, wck=0.509, mem=174M117
8.91/4.26	    decisions=32666, wrong=14081, backtracks=427, failedAssignments=14081, nogoods=9811
8.91/4.26	    nFilterCalls=1254, avgTableProportion=0.5, avgTableSize=1.0
8.91/4.26	    
8.91/4.29	    num=52, depth=86..90, filters=16760, revisions=(68270,useless=52390), ccks=83944, wck=0.532, mem=174M117
8.91/4.29	    decisions=35596, wrong=15501, backtracks=447, failedAssignments=15501, nogoods=10390
8.91/4.29	    nFilterCalls=1264, avgTableProportion=0.5, avgTableSize=1.0
8.91/4.29	    
9.21/4.31	    num=53, depth=84..86, filters=18342, revisions=(72600,useless=55148), ccks=87248, wck=0.554, mem=174M117
9.21/4.31	    decisions=38806, wrong=17063, backtracks=466, failedAssignments=17063, nogoods=10564
9.21/4.31	    nFilterCalls=1274, avgTableProportion=0.5, avgTableSize=1.0
9.21/4.31	    
9.21/4.34	    num=54, depth=84..90, filters=20080, revisions=(88748,useless=69568), ccks=96544, wck=0.582, mem=174M117
9.21/4.34	    decisions=42332, wrong=18781, backtracks=483, failedAssignments=18781, nogoods=11259
9.21/4.34	    nFilterCalls=1284, avgTableProportion=0.5, avgTableSize=1.0
9.21/4.34	    
9.21/4.37	    num=55, depth=84..90, filters=21990, revisions=(100548,useless=79468), ccks=103983, wck=0.611, mem=174M117
9.21/4.37	    decisions=46202, wrong=20671, backtracks=502, failedAssignments=20671, nogoods=12038
9.21/4.37	    nFilterCalls=1294, avgTableProportion=0.5, avgTableSize=1.0
9.21/4.37	    
9.21/4.39	    num=56, depth=84..87, filters=24089, revisions=(106929,useless=83760), ccks=108672, wck=0.639, mem=174M117
9.21/4.39	    decisions=50447, wrong=22750, backtracks=552, failedAssignments=22750, nogoods=12547
9.21/4.39	    nFilterCalls=1304, avgTableProportion=0.5, avgTableSize=1.0
9.21/4.39	    
9.42/4.43	    num=57, depth=85..89, filters=26395, revisions=(118564,useless=93099), ccks=116397, wck=0.671, mem=174M117
9.42/4.43	    decisions=55109, wrong=25037, backtracks=595, failedAssignments=25037, nogoods=13062
9.42/4.43	    nFilterCalls=1314, avgTableProportion=0.5, avgTableSize=1.0
9.42/4.43	    
9.42/4.46	    num=58, depth=84..86, filters=28930, revisions=(125263,useless=97273), ccks=121908, wck=0.701, mem=174M117
9.42/4.46	    decisions=60227, wrong=27553, backtracks=619, failedAssignments=27553, nogoods=13328
9.42/4.46	    nFilterCalls=1324, avgTableProportion=0.5, avgTableSize=1.0
9.42/4.46	    
9.63/4.50	    num=59, depth=86..157, filters=31989, revisions=(149217,useless=118443), ccks=136168, wck=0.746, mem=174M117
9.63/4.50	    decisions=65856, wrong=30321, backtracks=768, failedAssignments=30321, nogoods=14111
9.63/4.50	    nFilterCalls=1729, avgTableProportion=0.5, avgTableSize=1.0
9.63/4.50	    
9.63/4.54	    num=60, depth=86..89, filters=35057, revisions=(160626,useless=126796), ccks=143874, wck=0.783, mem=179M98
9.63/4.54	    decisions=72032, wrong=33365, backtracks=808, failedAssignments=33365, nogoods=14583
9.63/4.54	    nFilterCalls=1741, avgTableProportion=0.5, avgTableSize=1.0
9.63/4.54	    
9.63/4.59	    num=61, depth=86..94, filters=38430, revisions=(194951,useless=157760), ccks=163415, wck=0.83, mem=179M98
9.63/4.59	    decisions=78823, wrong=36714, backtracks=869, failedAssignments=36714, nogoods=15275
9.63/4.59	    nFilterCalls=1753, avgTableProportion=0.5, avgTableSize=1.0
9.63/4.59	    
9.76/4.64	    num=62, depth=86..92, filters=42138, revisions=(220549,useless=179662), ccks=178923, wck=0.883, mem=179M98
9.76/4.64	    decisions=86282, wrong=40398, backtracks=919, failedAssignments=40398, nogoods=15857
9.76/4.64	    nFilterCalls=1765, avgTableProportion=0.5, avgTableSize=1.0
9.76/4.64	    
9.87/4.70	    num=63, depth=86..94, filters=46214, revisions=(276728,useless=231777), ccks=209716, wck=0.943, mem=179M98
9.87/4.70	    decisions=94479, wrong=44450, backtracks=1034, failedAssignments=44450, nogoods=16594
9.87/4.70	    nFilterCalls=1777, avgTableProportion=0.5, avgTableSize=1.0
9.87/4.70	    
9.87/4.75	    num=64, depth=86..90, filters=50695, revisions=(291214,useless=241794), ccks=219390, wck=0.994, mem=179M98
9.87/4.75	    decisions=103481, wrong=48907, backtracks=1187, failedAssignments=48907, nogoods=17097
9.87/4.75	    nFilterCalls=1789, avgTableProportion=0.5, avgTableSize=1.0
9.87/4.75	    
9.97/4.81	    num=65, depth=86..91, filters=55621, revisions=(324055,useless=269721), ccks=238626, wck=1.059, mem=179M98
9.97/4.81	    decisions=113377, wrong=53810, backtracks=1265, failedAssignments=53810, nogoods=17726
9.97/4.81	    nFilterCalls=1801, avgTableProportion=0.5, avgTableSize=1.0
9.97/4.81	    
9.97/4.89	    num=66, depth=86..91, filters=61039, revisions=(372275,useless=312535), ccks=266745, wck=1.132, mem=184M79
9.97/4.89	    decisions=124256, wrong=59204, backtracks=1523, failedAssignments=59204, nogoods=18224
9.97/4.89	    nFilterCalls=1813, avgTableProportion=0.5, avgTableSize=1.0
9.97/4.89	    
10.12/4.96	    num=67, depth=86..91, filters=66996, revisions=(396630,useless=330945), ccks=282533, wck=1.201, mem=184M79
10.12/4.96	    decisions=136212, wrong=65137, backtracks=1618, failedAssignments=65137, nogoods=18881
10.12/4.96	    nFilterCalls=1825, avgTableProportion=0.5, avgTableSize=1.0
10.12/4.96	    
10.22/5.03	    num=68, depth=86..89, filters=73545, revisions=(434642,useless=362420), ccks=305647, wck=1.277, mem=184M79
10.22/5.03	    decisions=149353, wrong=71663, backtracks=1789, failedAssignments=71663, nogoods=19231
10.22/5.03	    nFilterCalls=1837, avgTableProportion=0.5, avgTableSize=1.0
10.22/5.03	    
10.32/5.12	    num=69, depth=87..92, filters=80748, revisions=(513758,useless=434345), ccks=349265, wck=1.37, mem=184M79
10.32/5.12	    decisions=163802, wrong=78842, backtracks=1959, failedAssignments=78842, nogoods=19700
10.32/5.12	    nFilterCalls=1849, avgTableProportion=0.5, avgTableSize=1.0
10.32/5.12	    
10.41/5.23	    num=70, depth=86..94, filters=88668, revisions=(591888,useless=504567), ccks=392983, wck=1.478, mem=184M79
10.41/5.23	    decisions=179688, wrong=86739, backtracks=2139, failedAssignments=86739, nogoods=20688
10.41/5.23	    nFilterCalls=1861, avgTableProportion=0.5, avgTableSize=1.0
10.41/5.23	    
10.52/5.33	    num=71, depth=86..90, filters=97379, revisions=(621756,useless=525736), ccks=412808, wck=1.572, mem=189M59
10.52/5.33	    decisions=197150, wrong=95426, backtracks=2358, failedAssignments=95426, nogoods=21152
10.52/5.33	    nFilterCalls=1873, avgTableProportion=0.5, avgTableSize=1.0
10.52/5.33	    
10.64/5.44	    num=72, depth=87..91, filters=106957, revisions=(669619,useless=564033), ccks=445016, wck=1.68, mem=189M59
10.64/5.44	    decisions=216349, wrong=104981, backtracks=2445, failedAssignments=104981, nogoods=21586
10.64/5.44	    nFilterCalls=1885, avgTableProportion=0.5, avgTableSize=1.0
10.64/5.44	    
10.75/5.57	    num=73, depth=86..94, filters=117491, revisions=(781710,useless=665602), ccks=506448, wck=1.817, mem=189M59
10.75/5.57	    decisions=237464, wrong=115492, backtracks=2922, failedAssignments=115492, nogoods=22480
10.75/5.57	    nFilterCalls=1897, avgTableProportion=0.5, avgTableSize=1.0
10.75/5.57	    
10.85/5.68	    num=74, depth=85..88, filters=129076, revisions=(804582,useless=676901), ccks=524045, wck=1.927, mem=189M59
10.85/5.68	    decisions=260676, wrong=127054, backtracks=3225, failedAssignments=127054, nogoods=22781
10.85/5.68	    nFilterCalls=1909, avgTableProportion=0.5, avgTableSize=1.0
10.85/5.68	    
11.05/5.82	    num=75, depth=86..92, filters=141817, revisions=(876092,useless=735682), ccks=567425, wck=2.068, mem=194M40
11.05/5.82	    decisions=286202, wrong=139772, backtracks=3724, failedAssignments=139772, nogoods=23390
11.05/5.82	    nFilterCalls=1921, avgTableProportion=0.5, avgTableSize=1.0
11.05/5.82	    
11.15/5.99	    num=76, depth=86..91, filters=155831, revisions=(1001688,useless=847276), ccks=639099, wck=2.233, mem=194M40
11.15/5.99	    decisions=314272, wrong=153762, backtracks=4425, failedAssignments=153762, nogoods=23893
11.15/5.99	    nFilterCalls=1933, avgTableProportion=0.5, avgTableSize=1.0
11.15/5.99	    
11.36/6.17	    num=77, depth=86..92, filters=171244, revisions=(1171842,useless=1002029), ccks=736030, wck=2.42, mem=194M40
11.36/6.17	    decisions=345141, wrong=169151, backtracks=4792, failedAssignments=169151, nogoods=24553
11.36/6.17	    nFilterCalls=1945, avgTableProportion=0.5, avgTableSize=1.0
11.36/6.17	    
11.55/6.39	    num=78, depth=86..94, filters=188196, revisions=(1362342,useless=1175589), ccks=840380, wck=2.631, mem=199M21
11.55/6.39	    decisions=379089, wrong=186079, backtracks=5261, failedAssignments=186079, nogoods=25292
11.55/6.39	    nFilterCalls=1957, avgTableProportion=0.5, avgTableSize=1.0
11.55/6.39	    
11.75/6.59	    num=79, depth=86..93, filters=206841, revisions=(1468617,useless=1263231), ccks=903664, wck=2.835, mem=199M21
11.75/6.59	    decisions=416420, wrong=204700, backtracks=5446, failedAssignments=204700, nogoods=25713
11.75/6.59	    nFilterCalls=1969, avgTableProportion=0.5, avgTableSize=1.0
11.75/6.59	    
12.06/6.85	    num=80, depth=89..93, filters=227349, revisions=(1724195,useless=1498313), ccks=1042223, wck=3.095, mem=204M1
12.06/6.85	    decisions=457480, wrong=225184, backtracks=6229, failedAssignments=225184, nogoods=26302
12.06/6.85	    nFilterCalls=1981, avgTableProportion=0.5, avgTableSize=1.0
12.06/6.85	    
12.26/7.05	    num=81, depth=86..89, filters=249905, revisions=(1796943,useless=1548517), ccks=1090918, wck=3.296, mem=204M1
12.26/7.05	    decisions=502633, wrong=247716, backtracks=7678, failedAssignments=247716, nogoods=26634
12.26/7.05	    nFilterCalls=1993, avgTableProportion=0.5, avgTableSize=1.0
12.26/7.05	    
12.56/7.32	    num=82, depth=86..92, filters=274714, revisions=(1950261,useless=1677038), ccks=1180798, wck=3.565, mem=208M982
12.56/7.32	    decisions=552294, wrong=272501, backtracks=8857, failedAssignments=272501, nogoods=27200
12.56/7.32	    nFilterCalls=2005, avgTableProportion=0.5, avgTableSize=1.0
12.56/7.32	    
12.76/7.59	    num=83, depth=86..90, filters=302001, revisions=(2101163,useless=1800665), ccks=1274279, wck=3.832, mem=208M982
12.76/7.59	    decisions=606911, wrong=299765, backtracks=9793, failedAssignments=299765, nogoods=27605
12.76/7.59	    nFilterCalls=2017, avgTableProportion=0.5, avgTableSize=1.0
12.76/7.59	    
13.16/7.96	    num=84, depth=87..92, filters=332015, revisions=(2458500,useless=2128000), ccks=1472786, wck=4.204, mem=213M962
13.16/7.96	    decisions=666982, wrong=329755, backtracks=10408, failedAssignments=329755, nogoods=28115
13.16/7.96	    nFilterCalls=2029, avgTableProportion=0.5, avgTableSize=1.0
13.16/7.96	    
13.56/8.37	    num=85, depth=86..96, filters=365028, revisions=(2836878,useless=2473377), ccks=1678674, wck=4.616, mem=213M962
13.56/8.37	    decisions=733053, wrong=362744, backtracks=11344, failedAssignments=362744, nogoods=28831
13.56/8.37	    nFilterCalls=2041, avgTableProportion=0.5, avgTableSize=1.0
13.56/8.37	    
14.06/8.83	    num=86, depth=86..96, filters=401340, revisions=(3295912,useless=2896111), ccks=1930831, wck=5.074, mem=218M943
14.06/8.83	    decisions=805724, wrong=399032, backtracks=11958, failedAssignments=399032, nogoods=29938
14.06/8.83	    nFilterCalls=2053, avgTableProportion=0.5, avgTableSize=1.0
14.06/8.83	    
14.46/9.26	    num=87, depth=86..92, filters=441281, revisions=(3478778,useless=3039048), ccks=2042478, wck=5.501, mem=223M923
14.46/9.26	    decisions=885649, wrong=438949, backtracks=13529, failedAssignments=438949, nogoods=31000
14.46/9.26	    nFilterCalls=2065, avgTableProportion=0.5, avgTableSize=1.0
14.46/9.26	    
14.96/9.70	    num=88, depth=86..90, filters=485213, revisions=(3801600,useless=3317950), ccks=2232211, wck=5.943, mem=228M904
14.96/9.70	    decisions=973556, wrong=482858, backtracks=14500, failedAssignments=482858, nogoods=31267
14.96/9.70	    nFilterCalls=2077, avgTableProportion=0.5, avgTableSize=1.0
14.96/9.70	    
15.46/10.29	    num=89, depth=86..92, filters=533537, revisions=(4376865,useless=3844903), ccks=2550395, wck=6.539, mem=233M884
15.46/10.29	    decisions=1070246, wrong=531158, backtracks=15605, failedAssignments=531158, nogoods=31832
15.46/10.29	    nFilterCalls=2089, avgTableProportion=0.5, avgTableSize=1.0
15.46/10.29	    
16.16/10.98	    num=90, depth=86..96, filters=586691, revisions=(5134133,useless=4549029), ccks=2960924, wck=7.229, mem=238M865
16.16/10.98	    decisions=1176601, wrong=584288, backtracks=17149, failedAssignments=584288, nogoods=32819
16.16/10.98	    nFilterCalls=2101, avgTableProportion=0.5, avgTableSize=1.0
16.16/10.98	    
16.86/11.69	    num=91, depth=86..93, filters=645158, revisions=(5787656,useless=5144097), ccks=3317190, wck=7.94, mem=243M846
16.86/11.69	    decisions=1293579, wrong=642731, backtracks=19125, failedAssignments=642731, nogoods=33579
16.86/11.69	    nFilterCalls=2113, avgTableProportion=0.5, avgTableSize=1.0
16.86/11.69	    
17.56/12.30	    num=92, depth=86..91, filters=709469, revisions=(6080619,useless=5372761), ccks=3495421, wck=8.542, mem=248M826
17.56/12.30	    decisions=1422243, wrong=707018, backtracks=23675, failedAssignments=707018, nogoods=34242
17.56/12.30	    nFilterCalls=2125, avgTableProportion=0.5, avgTableSize=1.0
17.56/12.30	    
18.16/12.95	    num=93, depth=86..90, filters=780208, revisions=(6429425,useless=5650840), ccks=3711916, wck=9.191, mem=258M787
18.16/12.95	    decisions=1563763, wrong=777734, backtracks=25907, failedAssignments=777734, nogoods=34569
18.16/12.95	    nFilterCalls=2137, avgTableProportion=0.5, avgTableSize=1.0
18.16/12.95	    
19.16/13.98	    num=94, depth=86..94, filters=858019, revisions=(7652102,useless=6795718), ccks=4372430, wck=10.224, mem=263M768
19.16/13.98	    decisions=1719430, wrong=855521, backtracks=28766, failedAssignments=855521, nogoods=35355
19.16/13.98	    nFilterCalls=2149, avgTableProportion=0.5, avgTableSize=1.0
19.16/13.98	    
19.96/14.75	    num=95, depth=86..91, filters=943609, revisions=(7980843,useless=7038881), ccks=4583263, wck=10.992, mem=273M729
19.96/14.75	    decisions=1890650, wrong=941087, backtracks=30921, failedAssignments=941087, nogoods=35651
19.96/14.75	    nFilterCalls=2161, avgTableProportion=0.5, avgTableSize=1.0
19.96/14.75	    
21.06/15.87	    num=96, depth=86..94, filters=1037756, revisions=(9002421,useless=7966324), ccks=5141611, wck=12.113, mem=283M690
21.06/15.87	    decisions=2078988, wrong=1035210, backtracks=34256, failedAssignments=1035210, nogoods=36401
21.06/15.87	    nFilterCalls=2173, avgTableProportion=0.5, avgTableSize=1.0
21.06/15.87	    
22.37/17.13	    num=97, depth=86..92, filters=1141315, revisions=(10242026,useless=9102382), ccks=5829157, wck=13.376, mem=293M651
22.37/17.13	    decisions=2286149, wrong=1138745, backtracks=37886, failedAssignments=1138745, nogoods=37024
22.37/17.13	    nFilterCalls=2185, avgTableProportion=0.5, avgTableSize=1.0
22.37/17.13	    
23.67/18.47	    num=98, depth=86..94, filters=1255228, revisions=(11424847,useless=10171302), ccks=6477544, wck=14.711, mem=303M612
23.67/18.47	    decisions=2514019, wrong=1252634, backtracks=41745, failedAssignments=1252634, nogoods=37798
23.67/18.47	    nFilterCalls=2197, avgTableProportion=0.5, avgTableSize=1.0
23.67/18.47	    
24.97/19.73	    num=99, depth=86..91, filters=1380529, revisions=(12319187,useless=10940353), ccks=6990709, wck=15.98, mem=313M573
24.97/19.73	    decisions=2764665, wrong=1377912, backtracks=48716, failedAssignments=1377912, nogoods=38439
24.97/19.73	    nFilterCalls=2209, avgTableProportion=0.5, avgTableSize=1.0
24.97/19.73	    
26.47/21.22	    num=100, depth=87..91, filters=1518359, revisions=(13629252,useless=12112600), ccks=7719380, wck=17.467, mem=328M515
26.47/21.22	    decisions=3040367, wrong=1515718, backtracks=55478, failedAssignments=1515718, nogoods=38871
26.47/21.22	    nFilterCalls=2221, avgTableProportion=0.5, avgTableSize=1.0
26.47/21.22	    
27.98/22.75	    num=101, depth=86..92, filters=1669968, revisions=(14573884,useless=12905635), ccks=8270854, wck=18.999, mem=343M457
27.98/22.75	    decisions=3343629, wrong=1667304, backtracks=60478, failedAssignments=1667304, nogoods=39815
27.98/22.75	    nFilterCalls=2233, avgTableProportion=0.5, avgTableSize=1.0
27.98/22.75	    
29.78/24.59	    num=102, depth=86..93, filters=1836737, revisions=(15893645,useless=14058639), ccks=9019803, wck=20.836, mem=358M399
29.78/24.59	    decisions=3677210, wrong=1834049, backtracks=65990, failedAssignments=1834049, nogoods=40487
29.78/24.59	    nFilterCalls=2245, avgTableProportion=0.5, avgTableSize=1.0
29.78/24.59	    
31.98/26.75	    num=103, depth=88..92, filters=2020180, revisions=(17818842,useless=15800405), ccks=10081091, wck=22.992, mem=373M340
31.98/26.75	    decisions=4044138, wrong=2017468, backtracks=70630, failedAssignments=2017468, nogoods=40819
31.98/26.75	    nFilterCalls=2257, avgTableProportion=0.5, avgTableSize=1.0
31.98/26.75	    
34.29/29.06	    num=104, depth=86..94, filters=2221965, revisions=(19910559,useless=17690349), ccks=11237954, wck=25.304, mem=393M263
34.29/29.06	    decisions=4447752, wrong=2219229, backtracks=78429, failedAssignments=2219229, nogoods=41632
34.29/29.06	    nFilterCalls=2269, avgTableProportion=0.5, avgTableSize=1.0
34.29/29.06	    
36.28/30.98	    num=105, depth=85..88, filters=2443927, revisions=(20568470,useless=18126310), ccks=11720697, wck=27.222, mem=191M645
36.28/30.98	    decisions=4891715, wrong=2441167, backtracks=84932, failedAssignments=2441167, nogoods=41815
36.28/30.98	    nFilterCalls=2281, avgTableProportion=0.5, avgTableSize=1.0
36.28/30.98	    
38.98/33.66	    num=106, depth=87..92, filters=2688082, revisions=(22710448,useless=20024145), ccks=12916266, wck=29.909, mem=211M411
38.98/33.66	    decisions=5380067, wrong=2685298, backtracks=92061, failedAssignments=2685298, nogoods=42503
38.98/33.66	    nFilterCalls=2293, avgTableProportion=0.5, avgTableSize=1.0
38.98/33.66	    
41.78/36.46	    num=107, depth=86..92, filters=2956651, revisions=(24754567,useless=21799707), ccks=14081127, wck=32.708, mem=236M119
41.78/36.46	    decisions=5917247, wrong=2953843, backtracks=100709, failedAssignments=2953843, nogoods=42967
41.78/36.46	    nFilterCalls=2305, avgTableProportion=0.5, avgTableSize=1.0
41.78/36.46	    
45.28/39.91	    num=108, depth=86..95, filters=3252073, revisions=(27752243,useless=24501973), ccks=15728778, wck=36.155, mem=265M769
45.28/39.91	    decisions=6508137, wrong=3249242, backtracks=112821, failedAssignments=3249242, nogoods=44057
45.28/39.91	    nFilterCalls=2317, avgTableProportion=0.5, avgTableSize=1.0
45.28/39.91	    
49.08/43.71	    num=109, depth=86..92, filters=3577036, revisions=(31223224,useless=27648003), ccks=17676581, wck=39.955, mem=295M418
49.08/43.71	    decisions=7158106, wrong=3574181, backtracks=126288, failedAssignments=3574181, nogoods=44524
49.08/43.71	    nFilterCalls=2329, avgTableProportion=0.5, avgTableSize=1.0
49.08/43.71	    
53.18/47.88	    num=110, depth=86..93, filters=3934492, revisions=(35024318,useless=31091653), ccks=19755553, wck=44.129, mem=325M68
53.18/47.88	    decisions=7873063, wrong=3931614, backtracks=141947, failedAssignments=3931614, nogoods=45485
53.18/47.88	    nFilterCalls=2341, avgTableProportion=0.5, avgTableSize=1.0
53.18/47.88	    
57.58/52.26	    num=111, depth=86..93, filters=4327692, revisions=(38671978,useless=34346125), ccks=21813640, wck=48.507, mem=359M659
57.58/52.26	    decisions=8659507, wrong=4324790, backtracks=152750, failedAssignments=4324790, nogoods=46298
57.58/52.26	    nFilterCalls=2353, avgTableProportion=0.5, avgTableSize=1.0
57.58/52.26	    
62.59/57.30	    num=112, depth=86..94, filters=4760209, revisions=(42900935,useless=38142577), ccks=24157973, wck=53.54, mem=399M191
62.59/57.30	    decisions=9524586, wrong=4757284, backtracks=161426, failedAssignments=4757284, nogoods=47025
62.59/57.30	    nFilterCalls=2365, avgTableProportion=0.5, avgTableSize=1.0
62.59/57.30	    
66.85/61.43	    num=113, depth=85..89, filters=5235977, revisions=(44438486,useless=39204372), ccks=25207085, wck=57.67, mem=202M1
66.85/61.43	    decisions=10476163, wrong=5233028, backtracks=173768, failedAssignments=5233028, nogoods=47416
66.85/61.43	    nFilterCalls=2377, avgTableProportion=0.5, avgTableSize=1.0
66.85/61.43	    
72.75/67.33	    num=114, depth=86..92, filters=5759319, revisions=(49192955,useless=43435511), ccks=27858727, wck=63.579, mem=247M985
72.75/67.33	    decisions=11522891, wrong=5756346, backtracks=191712, failedAssignments=5756346, nogoods=48237
72.75/67.33	    nFilterCalls=2389, avgTableProportion=0.5, avgTableSize=1.0
72.75/67.33	    
79.57/74.12	    num=115, depth=86..94, filters=6334993, revisions=(55332372,useless=48999266), ccks=31247766, wck=70.368, mem=303M167
79.57/74.12	    decisions=12674283, wrong=6331996, backtracks=218916, failedAssignments=6331996, nogoods=49445
79.57/74.12	    nFilterCalls=2401, avgTableProportion=0.5, avgTableSize=1.0
79.57/74.12	    
86.06/80.69	    num=116, depth=86..92, filters=6968232, revisions=(60747333,useless=53781000), ccks=34304393, wck=76.936, mem=360M307
86.06/80.69	    decisions=13940804, wrong=6965211, backtracks=245439, failedAssignments=6965211, nogoods=50022
86.06/80.69	    nFilterCalls=2413, avgTableProportion=0.5, avgTableSize=1.0
86.06/80.69	    
94.86/89.49	    num=117, depth=86..96, filters=7664792, revisions=(69865879,useless=62202998), ccks=39207572, wck=85.739, mem=424M686
94.86/89.49	    decisions=15333969, wrong=7661747, backtracks=269902, failedAssignments=7661747, nogoods=50980
94.86/89.49	    nFilterCalls=2425, avgTableProportion=0.5, avgTableSize=1.0
94.86/89.49	    
102.75/97.34	    num=118, depth=86..92, filters=8431005, revisions=(75278396,useless=66849314), ccks=42331791, wck=93.583, mem=489M64
102.75/97.34	    decisions=16866440, wrong=8427937, backtracks=301559, failedAssignments=8427937, nogoods=51624
102.75/97.34	    nFilterCalls=2437, avgTableProportion=0.5, avgTableSize=1.0
102.75/97.34	    
112.47/107.08	    num=119, depth=87..93, filters=9273838, revisions=(84130779,useless=74858876), ccks=47189602, wck=103.326, mem=571M837
112.47/107.08	    decisions=18552150, wrong=9270746, backtracks=333397, failedAssignments=9270746, nogoods=52638
112.47/107.08	    nFilterCalls=2449, avgTableProportion=0.5, avgTableSize=1.0
112.47/107.08	    
123.42/117.85	    num=120, depth=86..156, filters=10215570, revisions=(92972175,useless=82772723), ccks=52099455, wck=114.1, mem=195M432
123.42/117.85	    decisions=20406428, wrong=10197836, backtracks=372626, failedAssignments=10197836, nogoods=54273
123.42/117.85	    nFilterCalls=31029, avgTableProportion=0.5, avgTableSize=1.0
123.42/117.85	    
132.82/127.25	    num=121, depth=92..96, filters=11235404, revisions=(98029674,useless=86810406), ccks=55153913, wck=123.493, mem=287M518
132.82/127.25	    decisions=22446121, wrong=11217635, backtracks=419861, failedAssignments=11217635, nogoods=55098
132.82/127.25	    nFilterCalls=31047, avgTableProportion=0.5, avgTableSize=1.0
132.82/127.25	    
143.12/137.50	    num=122, depth=29..95, filters=12357218, revisions=(101643659,useless=89302595), ccks=57651862, wck=133.749, mem=390M86
143.12/137.50	    decisions=24689730, wrong=12339414, backtracks=433725, failedAssignments=12339414, nogoods=55446
143.12/137.50	    nFilterCalls=31065, avgTableProportion=0.5, avgTableSize=1.0
143.12/137.50	    
156.37/150.69	    num=123, depth=93..100, filters=13591210, revisions=(112294919,useless=98719881), ccks=63603369, wck=146.934, mem=454M546
156.37/150.69	    decisions=27157742, wrong=13573371, backtracks=498962, failedAssignments=13573371, nogoods=56693
156.37/150.69	    nFilterCalls=31083, avgTableProportion=0.5, avgTableSize=1.0
156.37/150.69	    
169.58/163.84	    num=124, depth=92..96, filters=14948599, revisions=(121999965,useless=107067556), ccks=69267770, wck=160.088, mem=537M423
169.58/163.84	    decisions=29872543, wrong=14930724, backtracks=536658, failedAssignments=14930724, nogoods=57072
169.58/163.84	    nFilterCalls=31101, avgTableProportion=0.5, avgTableSize=1.0
169.58/163.84	    
188.19/182.48	    num=125, depth=94..102, filters=16441723, revisions=(142475542,useless=126050027), ccks=80389068, wck=178.724, mem=620M301
188.19/182.48	    decisions=32858817, wrong=16423812, backtracks=580670, failedAssignments=16423812, nogoods=57802
188.19/182.48	    nFilterCalls=31119, avgTableProportion=0.5, avgTableSize=1.0
188.19/182.48	    
207.35/201.54	    num=126, depth=92..103, filters=18084155, revisions=(159444281,useless=141376352), ccks=89694179, wck=197.787, mem=260M927
207.35/201.54	    decisions=36143712, wrong=18066209, backtracks=651949, failedAssignments=18066209, nogoods=59666
207.35/201.54	    nFilterCalls=31137, avgTableProportion=0.5, avgTableSize=1.0
207.35/201.54	    
222.87/217.05	    num=127, depth=76..95, filters=19890827, revisions=(165058359,useless=145183776), ccks=93571363, wck=213.292, mem=358M623
222.87/217.05	    decisions=39757076, wrong=19872846, backtracks=706712, failedAssignments=19872846, nogoods=59909
222.87/217.05	    nFilterCalls=31155, avgTableProportion=0.5, avgTableSize=1.0
222.87/217.05	    
242.98/237.18	    num=128, depth=92..99, filters=21878164, revisions=(180049206,useless=158187304), ccks=102214749, wck=233.429, mem=472M602
242.98/237.18	    decisions=43731774, wrong=21860147, backtracks=772634, failedAssignments=21860147, nogoods=60443
242.98/237.18	    nFilterCalls=31173, avgTableProportion=0.5, avgTableSize=1.0
242.98/237.18	    
268.27/262.44	    num=129, depth=93..100, filters=24064230, revisions=(201184105,useless=177136155), ccks=113911738, wck=258.684, mem=602M864
268.27/262.44	    decisions=48103934, wrong=24046178, backtracks=851980, failedAssignments=24046178, nogoods=61419
268.27/262.44	    nFilterCalls=31191, avgTableProportion=0.5, avgTableSize=1.0
268.27/262.44	    
292.76/286.95	    num=130, depth=92..99, filters=26468900, revisions=(217797038,useless=191344436), ccks=123510636, wck=283.197, mem=733M126
292.76/286.95	    decisions=52913298, wrong=26450812, backtracks=917989, failedAssignments=26450812, nogoods=62263
292.76/286.95	    nFilterCalls=31209, avgTableProportion=0.5, avgTableSize=1.0
292.76/286.95	    
323.67/317.87	    num=131, depth=94..101, filters=29114033, revisions=(246131299,useless=217033582), ccks=139026546, wck=314.119, mem=879M670
323.67/317.87	    decisions=58203590, wrong=29095909, backtracks=1013428, failedAssignments=29095909, nogoods=63041
323.67/317.87	    nFilterCalls=31227, avgTableProportion=0.5, avgTableSize=1.0
323.67/317.87	    
352.20/346.37	    num=132, depth=92..98, filters=32023675, revisions=(263997782,useless=231990441), ccks=149476985, wck=342.616, mem=231M15
352.20/346.37	    decisions=64022900, wrong=32005516, backtracks=1120666, failedAssignments=32005516, nogoods=63911
352.20/346.37	    nFilterCalls=31245, avgTableProportion=0.5, avgTableSize=1.0
352.20/346.37	    
384.80/378.99	    num=133, depth=92..99, filters=35224278, revisions=(285086556,useless=249878630), ccks=161777021, wck=375.23, mem=410M455
384.80/378.99	    decisions=70424132, wrong=35206084, backtracks=1212193, failedAssignments=35206084, nogoods=64711
384.80/378.99	    nFilterCalls=31263, avgTableProportion=0.5, avgTableSize=1.0
384.80/378.99	    
419.01/413.14	    num=134, depth=92..99, filters=38744939, revisions=(308590282,useless=269861713), ccks=175421601, wck=409.387, mem=622M519
419.01/413.14	    decisions=77465478, wrong=38726709, backtracks=1358777, failedAssignments=38726709, nogoods=65116
419.01/413.14	    nFilterCalls=31281, avgTableProportion=0.5, avgTableSize=1.0
419.01/413.14	    
459.19/453.35	    num=135, depth=93..98, filters=42617661, revisions=(335133692,useless=292532419), ccks=190744719, wck=449.593, mem=834M584
459.19/453.35	    decisions=85210948, wrong=42599396, backtracks=1453941, failedAssignments=42599396, nogoods=65603
459.19/453.35	    nFilterCalls=31299, avgTableProportion=0.5, avgTableSize=1.0
459.19/453.35	    
503.04/497.11	    num=136, depth=92..100, filters=46877653, revisions=(366408926,useless=319547679), ccks=208558462, wck=493.36, mem=274M178
503.04/497.11	    decisions=93730958, wrong=46859352, backtracks=1603715, failedAssignments=46859352, nogoods=66666
503.04/497.11	    nFilterCalls=31317, avgTableProportion=0.5, avgTableSize=1.0
503.04/497.11	    
551.95/546.01	    num=137, depth=92..99, filters=51563641, revisions=(403630359,useless=352083142), ccks=229614575, wck=542.257, mem=523M805
551.95/546.01	    decisions=103102959, wrong=51545304, backtracks=1768220, failedAssignments=51545304, nogoods=67447
551.95/546.01	    nFilterCalls=31335, avgTableProportion=0.5, avgTableSize=1.0
551.95/546.01	    
599.66/593.74	    num=138, depth=92..99, filters=56718223, revisions=(429379878,useless=372678097), ccks=245180343, wck=589.987, mem=818M819
599.66/593.74	    decisions=113412149, wrong=56699851, backtracks=1966411, failedAssignments=56699851, nogoods=68607
599.66/593.74	    nFilterCalls=31353, avgTableProportion=0.5, avgTableSize=1.0
599.66/593.74	    
648.47/642.53	    num=139, depth=73..95, filters=62388261, revisions=(448866120,useless=386494319), ccks=258156199, wck=638.775, mem=1159M220
648.47/642.53	    decisions=124752228, wrong=62369853, backtracks=2084550, failedAssignments=62369853, nogoods=68794
648.47/642.53	    nFilterCalls=31371, avgTableProportion=0.5, avgTableSize=1.0
648.47/642.53	    
727.37/720.89	    num=140, depth=94..104, filters=68625299, revisions=(532287698,useless=463678877), ccks=303714673, wck=717.136, mem=354M867
727.37/720.89	    decisions=137226333, wrong=68606855, backtracks=2349891, failedAssignments=68606855, nogoods=70689
727.37/720.89	    nFilterCalls=31389, avgTableProportion=0.5, avgTableSize=1.0
727.37/720.89	    
794.07/787.57	    num=141, depth=92..98, filters=75486036, revisions=(578425729,useless=502956189), ccks=330307397, wck=783.815, mem=740M953
794.07/787.57	    decisions=150947833, wrong=75467557, backtracks=2628997, failedAssignments=75467557, nogoods=71190
794.07/787.57	    nFilterCalls=31407, avgTableProportion=0.5, avgTableSize=1.0
794.07/787.57	    
869.58/863.02	    num=142, depth=92..99, filters=83032845, revisions=(631993981,useless=548977650), ccks=361435574, wck=859.261, mem=1172M461
869.58/863.02	    decisions=166041476, wrong=83014330, backtracks=2819140, failedAssignments=83014330, nogoods=71989
869.58/863.02	    nFilterCalls=31425, avgTableProportion=0.5, avgTableSize=1.0
869.58/863.02	    
947.59/941.01	    num=143, depth=92..100, filters=91334331, revisions=(679243974,useless=587926175), ccks=389271513, wck=937.252, mem=512M228
947.59/941.01	    decisions=182644474, wrong=91315780, backtracks=3157581, failedAssignments=91315780, nogoods=72818
947.59/941.01	    nFilterCalls=31443, avgTableProportion=0.5, avgTableSize=1.0
947.59/941.01	    
1027.09/1020.55	    num=144, depth=22..166, filters=100502817, revisions=(707883618,useless=607433920), ccks=408686631, wck=1016.792, mem=1033M680
1027.09/1020.55	    decisions=200907774, wrong=100447375, backtracks=3364725, failedAssignments=100447375, nogoods=75082
1027.09/1020.55	    nFilterCalls=100736, avgTableProportion=0.5, avgTableSize=1.0
1027.09/1020.55	    
1134.82/1128.23	    num=145, depth=95..159, filters=110579561, revisions=(801886432,useless=691381629), ccks=461349819, wck=1124.474, mem=1619M219
1134.82/1128.23	    decisions=220997385, wrong=110492129, backtracks=3776949, failedAssignments=110492129, nogoods=77110
1134.82/1128.23	    nFilterCalls=123110, avgTableProportion=0.5, avgTableSize=1.0
1134.82/1128.23	    
1237.23/1230.62	    num=146, depth=99..106, filters=121628840, revisions=(868538375,useless=746984318), ccks=500350721, wck=1226.866, mem=698M219
1237.23/1230.62	    decisions=243095949, wrong=121541359, backtracks=4232801, failedAssignments=121541359, nogoods=78215
1237.23/1230.62	    nFilterCalls=123135, avgTableProportion=0.5, avgTableSize=1.0
1237.23/1230.62	    
1351.53/1344.95	    num=147, depth=99..104, filters=133783043, revisions=(948846875,useless=815138640), ccks=547032525, wck=1341.195, mem=1403M503
1351.53/1344.95	    decisions=267404357, wrong=133695512, backtracks=4696430, failedAssignments=133695512, nogoods=78637
1351.53/1344.95	    nFilterCalls=123160, avgTableProportion=0.5, avgTableSize=1.0
1351.53/1344.95	    
1486.99/1480.36	    num=148, depth=99..106, filters=147152661, revisions=(1046446481,useless=899368653), ccks=603015803, wck=1476.609, mem=618M520
1486.99/1480.36	    decisions=294143597, wrong=147065080, backtracks=5012888, failedAssignments=147065080, nogoods=79209
1486.99/1480.36	    nFilterCalls=123185, avgTableProportion=0.5, avgTableSize=1.0
1486.99/1480.36	    
1628.44/1621.73	    num=149, depth=99..106, filters=161859236, revisions=(1143583768,useless=981799390), ccks=659255626, wck=1617.971, mem=1470M801
1628.44/1621.73	    decisions=323556750, wrong=161771605, backtracks=5499610, failedAssignments=161771605, nogoods=79570
1628.44/1621.73	    nFilterCalls=123210, avgTableProportion=0.5, avgTableSize=1.0
1628.44/1621.73	    
1786.60/1779.85	    num=150, depth=99..106, filters=178036463, revisions=(1249782795,useless=1071821215), ccks=720783081, wck=1776.093, mem=910M657
1786.60/1779.85	    decisions=355911208, wrong=177948783, backtracks=5960020, failedAssignments=177948783, nogoods=80294
1786.60/1779.85	    nFilterCalls=123235, avgTableProportion=0.5, avgTableSize=1.0
1786.60/1779.85	    
1962.26/1955.46	    num=151, depth=99..107, filters=195831408, revisions=(1365465556,useless=1169709056), ccks=787873111, wck=1951.708, mem=502M722
1962.26/1955.46	    decisions=391501105, wrong=195743679, backtracks=6662006, failedAssignments=195743679, nogoods=81382
1962.26/1955.46	    nFilterCalls=123260, avgTableProportion=0.5, avgTableSize=1.0
1962.26/1955.46	    
2166.21/2159.34	    num=152, depth=99..108, filters=215405843, revisions=(1528658784,useless=1313327874), ccks=879377385, wck=2155.59, mem=282M712
2166.21/2159.34	    decisions=430649978, wrong=215318064, backtracks=7529251, failedAssignments=215318064, nogoods=82431
2166.21/2159.34	    nFilterCalls=123285, avgTableProportion=0.5, avgTableSize=1.0
2166.21/2159.34	    
2373.00/2366.07	    num=153, depth=99..105, filters=236937716, revisions=(1654592209,useless=1417729451), ccks=953224820, wck=2362.313, mem=204M499
2373.00/2366.07	    decisions=473713728, wrong=236849888, backtracks=8485667, failedAssignments=236849888, nogoods=83184
2373.00/2366.07	    nFilterCalls=123310, avgTableProportion=0.5, avgTableSize=1.0
2373.00/2366.07

Verifier Data 

One s line expected

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

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

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

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

solver pid=6758, runsolver pid=6752

[startup+0.100111 s]*
/proc/loadavg: 0.00 0.01 0.05 2/199 6760
/proc/meminfo: memFree=25737872/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=98704 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 1363 0 0 0 0 0 0 0 20 0 2 0 413991815 101072896 1156 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 24676 1156 858 1 0 16800 0
[pid=6758/tid=6761] ppid=6752 vsize=98704 memory=-3103912127665269909 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) D 6752 6758 6698 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 2 0 413991825 101072896 1156 33554432000 4194304 4196468 140722806019040 140602578396512 140602566838829 0 0 4096 0 18446744072101572132 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 98704 KiB
Current children cumulated memory: 4624 KiB

[startup+0.209837 s]*
/proc/loadavg: 0.00 0.01 0.05 4/209 6770
/proc/meminfo: memFree=25722096/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=9940964 memory=17176 CPUtime=0.01 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 3655 0 0 0 1 0 0 0 20 0 6 0 413991815 10179547136 4294 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2485241 4294 1942 1 0 2473679 0
[pid=6758/tid=6761] ppid=6752 vsize=9957044 memory=7377246124687064083 CPUtime=0.01 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) R 6752 6758 6698 0 -1 4202560 2421 0 0 0 1 0 0 0 20 0 6 0 413991825 10196013056 4360 33554432000 4194304 4196468 140722806019040 140602578394824 140602559693456 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=9957044 memory=4211973544656792970 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413991834 10196013056 4360 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=9957044 memory=139818452002432 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 413991834 10196013056 4360 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=9957044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413991834 10196013056 4360 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=9957044 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 413991834 10196013056 4360 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9940964 KiB
Current children cumulated memory: 17176 KiB

[startup+0.309911 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 6776
/proc/meminfo: memFree=25713892/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10260324 memory=21884 CPUtime=0.04 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 4358 0 0 0 4 0 0 0 20 0 9 0 413991815 10506571776 5471 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2565081 5471 2188 1 0 2527622 0
[pid=6758/tid=6761] ppid=6752 vsize=10260324 memory=279636596763536 CPUtime=0.04 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) D 6752 6758 6698 0 -1 1077944384 3006 0 0 0 4 0 0 0 20 0 9 0 413991825 10506571776 5471 33554432000 4194304 4196468 140722806019040 140602578394648 140602566837621 0 4 0 16800971 18446744072101572132 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413991834 10506571776 5471 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10260324 memory=139818452002432 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413991834 10506571776 5471 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413991834 10506571776 5471 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413991834 10506571776 5471 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10260324 memory=139818452002432 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5471 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5471 33554432000 4194304 4196468 140722806019040 140601877378336 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5471 33554432000 4194304 4196468 140722806019040 140601876326000 140602574169813 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 21884 KiB

[startup+0.701371 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 6788
/proc/meminfo: memFree=25692260/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10659884 memory=43764 CPUtime=0.62 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 10686 0 0 0 58 4 0 0 20 0 15 0 413991815 10915721216 10941 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2664971 10941 3017 1 0 2627468 0
[pid=6758/tid=6761] ppid=6752 vsize=10659884 memory=29154238012034 CPUtime=0.38 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) R 6752 6758 6698 0 -1 4202560 7401 0 0 0 35 3 0 0 20 0 15 0 413991825 10915721216 10941 33554432000 4194304 4196468 140722806019040 140602578382240 140602574181533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10659884 memory=279636597302768 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991834 10915721216 10941 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10659884 memory=279636597312144 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991834 10915721216 10941 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991834 10915721216 10941 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991834 10915721216 10941 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10659884 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10659884 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601877378336 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10659884 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601876326000 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10659884 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10659884 memory=1216 CPUtime=0.05 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) R 6752 6758 6698 0 -1 4202560 738 0 0 0 5 0 0 0 20 0 15 0 413991849 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601874207192 140602555702954 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10659884 memory=4639098309541126757 CPUtime=0.06 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) R 6752 6758 6698 0 -1 4202560 515 0 0 0 6 0 0 0 20 0 15 0 413991849 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601873168664 140602567256443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10659884 memory=6081102367496956009 CPUtime=0.11 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) R 6752 6758 6698 0 -1 4202560 694 0 0 0 11 0 0 0 20 0 15 0 413991849 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601872116080 140602553091045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10659884 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991850 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10659884 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991851 10915721216 10941 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 43764 KiB

[startup+1.50075 s]
/proc/loadavg: 0.00 0.01 0.05 4/228 6790
/proc/meminfo: memFree=25636944/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10663980 memory=70908 CPUtime=1.65 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 15377 0 0 0 159 6 0 0 20 0 15 0 413991815 10919915520 17727 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2665995 17727 3076 1 0 2628492 0
[pid=6758/tid=6761] ppid=6752 vsize=10663980 memory=6913 CPUtime=1.17 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) R 6752 6758 6698 0 -1 4202560 10918 0 0 0 112 5 0 0 20 0 15 0 413991825 10919915520 17727 33554432000 4194304 4196468 140722806019040 140602578385584 140602558266339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10663980 memory=8508281403248314509 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991834 10919915520 17727 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10663980 memory=-9101909401963699573 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991834 10919915520 17727 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991834 10919915520 17727 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10663980 memory=7302425616017221735 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991834 10919915520 17727 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10663980 memory=7306342089353619047 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10663980 memory=7306342089353096801 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601877378336 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10663980 memory=7306342097792559974 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601876326000 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10663980 memory=7306342097792035169 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10663980 memory=7236547281622689387 CPUtime=0.12 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) S 6752 6758 6698 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 15 0 413991849 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601874221168 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10663980 memory=7086527616899895632 CPUtime=0.13 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) S 6752 6758 6698 0 -1 1077944384 1216 0 0 0 13 0 0 0 20 0 15 0 413991849 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601873168368 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10663980 memory=33 CPUtime=0.18 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 1058 0 0 0 18 0 0 0 20 0 15 0 413991849 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10663980 memory=279636596762080 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991850 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10663980 memory=67924 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991851 10919915520 17727 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 70908 KiB

[startup+3.11937 s]
/proc/loadavg: 0.00 0.01 0.05 10/230 6792
/proc/meminfo: memFree=25359520/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10748324 memory=278540 CPUtime=5.47 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 27852 0 0 0 530 17 0 0 20 0 16 0 413991815 11006283776 69635 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2687081 69635 3359 1 0 2647217 0
[pid=6758/tid=6761] ppid=6752 vsize=10748324 memory=6944656575208382560 CPUtime=1.88 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) S 6752 6758 6698 0 -1 1077944384 13964 0 0 0 181 7 0 0 20 0 16 0 413991825 11006283776 69635 33554432000 4194304 4196468 140722806019040 140602578402480 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10748324 memory=6944656592387989600 CPUtime=0.04 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 129 0 0 0 3 1 0 0 20 0 16 0 413991834 11006283776 69635 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 16 0 413991834 11006283776 69635 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10748324 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 16 0 413991834 11006283776 69635 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10748324 memory=31876 CPUtime=0.02 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 16 0 413991834 11006283776 69635 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10748324 memory=6944656425123290226 CPUtime=0.01 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 725 0 0 0 1 0 0 0 20 0 16 0 413991837 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10748324 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601877378400 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10748324 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601876326016 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10748324 memory=288230621803970871 CPUtime=0.93 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) R 6752 6758 6698 0 -1 4202560 2953 0 0 0 93 0 0 0 20 0 16 0 413991849 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601874206160 140602558551320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10748324 memory=15823283127847324 CPUtime=1.01 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) R 6752 6758 6698 0 -1 4202560 3518 0 0 0 100 1 0 0 20 0 16 0 413991849 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601873154392 140602553405455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10748324 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 2894 0 0 0 64 1 0 0 20 0 16 0 413991849 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991851 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6792] ppid=6752 vsize=10748324 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/6758/task/6792/stat : 6792 (java) R 6752 6758 6698 0 -1 4202560 1895 0 0 0 78 1 0 0 20 0 16 0 413992040 11006283776 69635 33554432000 4194304 4196468 140722806019040 140601784904200 140602214632000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0

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

/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 3713 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 11640 0 0 0 6 3 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601877378400 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601876326016 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10748324 memory=14004 CPUtime=2.44 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) S 6752 6758 6698 0 -1 1077944384 8848 0 0 0 242 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601874221168 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.38 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) S 6752 6758 6698 0 -1 1077944384 9056 0 0 0 237 1 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601873168368 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10748324 memory=3620 CPUtime=0.89 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 9621 0 0 0 87 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10748324 memory=1827324 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10748324 memory=3620 CPUtime=0.65 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 2287 0 0 0 29 36 0 0 20 0 16 0 413991851 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6792] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2439.22 cores=0,2,4,6
/proc/6758/task/6792/stat : 6792 (java) R 6752 6758 6698 0 -1 4202560 37307 0 0 0 243898 24 0 0 20 0 16 0 413992040 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601784906688 140602220144608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 2449.46 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1827408 KiB

[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 1.87 4/229 7020
/proc/meminfo: memFree=23721112/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2509.48 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 112947 0 0 0 250845 103 0 0 20 0 16 0 413991815 11006283776 456852 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2687081 456852 3382 1 0 2647217 0
[pid=6758/tid=6761] ppid=6752 vsize=10748324 memory=1827408 CPUtime=1.88 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) S 6752 6758 6698 0 -1 1077944384 13964 0 0 0 181 7 0 0 20 0 16 0 413991825 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602578402480 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.48 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 4342 0 0 0 39 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 4605 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.46 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 5619 0 0 0 37 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 3713 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 11651 0 0 0 6 3 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601877378400 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601876326016 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.44 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) S 6752 6758 6698 0 -1 1077944384 8852 0 0 0 242 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601874221168 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.38 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) S 6752 6758 6698 0 -1 1077944384 9060 0 0 0 237 1 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601873168368 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.89 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 9638 0 0 0 87 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10748324 memory=500 CPUtime=0.67 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 2360 0 0 0 29 38 0 0 20 0 16 0 413991851 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6792] ppid=6752 vsize=10748324 memory=3620 CPUtime=2499.22 cores=0,2,4,6
/proc/6758/task/6792/stat : 6792 (java) R 6752 6758 6698 0 -1 4202560 37717 0 0 0 249898 24 0 0 20 0 16 0 413992040 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601784906688 140602220896589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 2509.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1827408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.9 s]
/proc/loadavg: 1.99 2.00 1.87 4/229 7020
/proc/meminfo: memFree=23720956/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2520.08 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 113003 0 0 0 251905 103 0 0 20 0 16 0 413991815 11006283776 456852 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2687081 456852 3382 1 0 2647217 0
[pid=6758/tid=6761] ppid=6752 vsize=10748324 memory=1827408 CPUtime=1.88 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) S 6752 6758 6698 0 -1 1077944384 13964 0 0 0 181 7 0 0 20 0 16 0 413991825 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602578402480 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.48 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 4342 0 0 0 39 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 4605 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.46 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 5619 0 0 0 37 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 3713 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 11651 0 0 0 6 3 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601877378400 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601876326016 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.44 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) S 6752 6758 6698 0 -1 1077944384 8852 0 0 0 242 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601874221168 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.38 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) S 6752 6758 6698 0 -1 1077944384 9060 0 0 0 237 1 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601873168368 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.89 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 9638 0 0 0 87 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.68 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 2360 0 0 0 30 38 0 0 20 0 16 0 413991851 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6792] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2509.82 cores=0,2,4,6
/proc/6758/task/6792/stat : 6792 (java) R 6752 6758 6698 0 -1 4202560 37773 0 0 0 250958 24 0 0 20 0 16 0 413992040 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601784906688 140602220144490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1827408 KiB

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

[startup+2512.93 s]
# the end of solver process 6758 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.07 s, system=1.04302 s

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

[startup+2512.9 s]
/proc/loadavg: 1.99 2.00 1.87 4/229 7020
/proc/meminfo: memFree=23720956/32770624 swapFree=66959224/67108860
[pid=6758] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2520.08 cores=0,2,4,6
/proc/6758/stat : 6758 (java) S 6752 6758 6698 0 -1 1077944320 113003 0 0 0 251905 103 0 0 20 0 16 0 413991815 11006283776 456852 33554432000 4194304 4196468 140722806019040 140722806001584 140602574159607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
/proc/6758/statm: 2687081 456852 3382 1 0 2647217 0
[pid=6758/tid=6761] ppid=6752 vsize=10748324 memory=1827408 CPUtime=1.88 cores=0,2,4,6
/proc/6758/task/6761/stat : 6761 (java) S 6752 6758 6698 0 -1 1077944384 13964 0 0 0 181 7 0 0 20 0 16 0 413991825 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602578402480 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6763] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.48 cores=0,2,4,6
/proc/6758/task/6763/stat : 6763 (java) S 6752 6758 6698 0 -1 1077944384 4342 0 0 0 39 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602180970896 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6764] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6764/stat : 6764 (java) S 6752 6758 6698 0 -1 1077944384 4605 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602179918096 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6765] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.46 cores=0,2,4,6
/proc/6758/task/6765/stat : 6765 (java) S 6752 6758 6698 0 -1 1077944384 5619 0 0 0 37 9 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602178865808 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6766] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.43 cores=0,2,4,6
/proc/6758/task/6766/stat : 6766 (java) S 6752 6758 6698 0 -1 1077944384 3713 0 0 0 36 7 0 0 20 0 16 0 413991834 11006283776 456852 33554432000 4194304 4196468 140722806019040 140602177813008 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6771] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.09 cores=0,2,4,6
/proc/6758/task/6771/stat : 6771 (java) S 6752 6758 6698 0 -1 1077944384 11651 0 0 0 6 3 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601878432368 140602574170754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6773] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6773/stat : 6773 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601877378400 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6775] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6775/stat : 6775 (java) S 6752 6758 6698 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601876326016 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6781] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6781/stat : 6781 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601875274320 140602574178203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6782] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.44 cores=0,2,4,6
/proc/6758/task/6782/stat : 6782 (java) S 6752 6758 6698 0 -1 1077944384 8852 0 0 0 242 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601874221168 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6783] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2.38 cores=0,2,4,6
/proc/6758/task/6783/stat : 6783 (java) S 6752 6758 6698 0 -1 1077944384 9060 0 0 0 237 1 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601873168368 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6784] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.89 cores=0,2,4,6
/proc/6758/task/6784/stat : 6784 (java) S 6752 6758 6698 0 -1 1077944384 9638 0 0 0 87 2 0 0 20 0 16 0 413991849 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601872116080 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6786] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0 cores=0,2,4,6
/proc/6758/task/6786/stat : 6786 (java) S 6752 6758 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601871063520 140602574169813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6788] ppid=6752 vsize=10748324 memory=1827408 CPUtime=0.68 cores=0,2,4,6
/proc/6758/task/6788/stat : 6788 (java) S 6752 6758 6698 0 -1 1077944384 2360 0 0 0 30 38 0 0 20 0 16 0 413991851 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601870011312 140602574170754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
[pid=6758/tid=6792] ppid=6752 vsize=10748324 memory=1827408 CPUtime=2509.82 cores=0,2,4,6
/proc/6758/task/6792/stat : 6792 (java) R 6752 6758 6698 0 -1 4202560 37773 0 0 0 250958 24 0 0 20 0 16 0 413992040 11006283776 456852 33554432000 4194304 4196468 140722806019040 140601784906688 140602220144490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32714752 140722806027275 140722806027378 140722806027378 140722806030287 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1827408 KiB

Child status: 143
Real time (s): 2512.93
CPU time (s): 2520.11
CPU user time (s): 2519.07
CPU system time (s): 1.04302
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 1827408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.07
system time used= 1.04302
maximum resident set size= 1828992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57921
involuntary context switches= 3197


# summary of solver processes directly reported to runsolver:
#   pid: 6758
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.07
#   total CPU system time (s): 1.04302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6572 second user time and 22.4202 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 15:14:36
IDJOB=4390757
IDBENCH=120483
IDSOLVER=2832
FILE ID=node124/4390757-1568380516
RUNJOBID= node124-1568380476-6729
PBS_JOBID= 21701840
Free space on /tmp= 55368 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T5c.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390757-1568380516/watcher-4390757-1568380516 -o /tmp/evaluation-result-4390757-1568380516/solver-4390757-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6729 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390757-1568380516.xml -cm

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

MD5SUM BENCH= 3657d2b4866232829f5e159967af0f72
RANDOM SEED=1983991887

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25739488 kB
MemAvailable:   31816052 kB
Buffers:          162796 kB
Cached:          6158092 kB
SwapCached:        45888 kB
Active:          1112312 kB
Inactive:        5257908 kB
Active(anon):       3212 kB
Inactive(anon):    87928 kB
Active(file):    1109100 kB
Inactive(file):  5169980 kB
Unevictable:      108760 kB
Mlocked:          108760 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             17292 kB
Writeback:             0 kB
AnonPages:        114276 kB
Mapped:            43272 kB
Shmem:             32744 kB
Slab:             254156 kB
SReclaimable:     225944 kB
SUnreclaim:        28212 kB
KernelStack:        3344 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55348 MiB
End job on node124 at 2019-09-13 15:56:30