Trace number 4390625

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.05 2513.21

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N1c.xml
MD5SUM19f4dcf35e46defaa68e633424c84ce1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark122.854
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.59/2.30	
2.59/2.30	AbsCon 2 
2.59/2.32	
2.82/2.47	  Instance
2.82/2.47	    name=instance-4390625-1568380516, framework=CSP
2.82/2.47	
2.82/2.47	  Loading variables...
3.05/2.51	  Loading constraints...
3.69/2.70	
3.69/2.70	  Domains
3.69/2.70	    nTypes=19, nValues=6902, sizes=[2#51,200#34]
3.69/2.70	  Variables
3.69/2.70	    count=85, degrees=[1#17,17#34,18#34]
3.69/2.70	  Constraints
3.69/2.70	    count=187, nSpecific=17, arities=[2#34,3#17,8#136]
3.69/2.70	    distribution=[CtrExtensionCT-Table#17,CtrIntension#170]
3.69/2.70	    tables=[2#17], nTotalTuples=34
3.69/2.70	    nExtStructures=(17,shared:0), nIntStructures=(153,shared:17), nCftStructures=(17,shared:17,unbuilt:153)
3.69/2.70	    wck=0.428, cpu=2.24, mem=42M368
3.69/2.71	  Solver SolverBacktrack being built...
3.69/2.71	
3.69/2.73	
3.69/2.73	  Solver
3.69/2.73	    guaranteedGAC=false
3.69/2.73	    wck=0.456, cpu=2.266, mem=53M11
3.69/2.74	
3.69/2.74	  Preprocessing
3.69/2.74	    filters=34, revisions=(34,useless=0), ccks=8748, nACremovedValues=974, nTotalRemovedValues=974, inconcistency=false
3.69/2.74	    wck=0.006, cpu=2.273, mem=53M11
3.69/2.74	
3.69/2.74	    num=0, depth=32..35, filters=60, revisions=(78,useless=34), ccks=8826, wck=0.015, mem=53M11
3.69/2.74	    decisions=52, wrong=10, backtracks=8, failedAssignments=10, nogoods=2
3.69/2.74	    nFilterCalls=41, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.74	    
3.69/2.75	    num=1, depth=20..20, filters=75, revisions=(120,useless=63), ccks=9023, wck=0.018, mem=53M11
3.69/2.75	    decisions=94, wrong=21, backtracks=8, failedAssignments=21, nogoods=13
3.69/2.75	    nFilterCalls=43, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.75	    
3.69/2.75	    num=2, depth=20..20, filters=91, revisions=(164,useless=93), ccks=9186, wck=0.021, mem=53M11
3.69/2.75	    decisions=138, wrong=33, backtracks=8, failedAssignments=33, nogoods=25
3.69/2.75	    nFilterCalls=45, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.75	    
3.69/2.76	    num=3, depth=20..20, filters=108, revisions=(198,useless=112), ccks=9326, wck=0.034, mem=53M11
3.69/2.76	    decisions=184, wrong=46, backtracks=8, failedAssignments=46, nogoods=38
3.69/2.76	    nFilterCalls=47, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.76	    
3.69/2.77	    num=4, depth=20..20, filters=125, revisions=(245,useless=144), ccks=9405, wck=0.037, mem=53M11
3.69/2.77	    decisions=232, wrong=60, backtracks=8, failedAssignments=60, nogoods=52
3.69/2.77	    nFilterCalls=49, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.77	    
3.69/2.77	    num=5, depth=20..20, filters=145, revisions=(282,useless=163), ccks=9510, wck=0.039, mem=53M11
3.69/2.77	    decisions=284, wrong=76, backtracks=8, failedAssignments=76, nogoods=68
3.69/2.77	    nFilterCalls=51, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.77	    
3.69/2.77	    num=6, depth=20..20, filters=165, revisions=(337,useless=200), ccks=9596, wck=0.041, mem=53M11
3.69/2.77	    decisions=338, wrong=93, backtracks=8, failedAssignments=93, nogoods=85
3.69/2.77	    nFilterCalls=53, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.77	    
3.69/2.77	    num=7, depth=20..36, filters=202, revisions=(394,useless=236), ccks=9705, wck=0.043, mem=53M11
3.69/2.77	    decisions=406, wrong=112, backtracks=14, failedAssignments=112, nogoods=93
3.69/2.77	    nFilterCalls=75, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.77	    
3.69/2.78	    num=8, depth=21..21, filters=229, revisions=(437,useless=255), ccks=9904, wck=0.046, mem=53M11
3.69/2.78	    decisions=469, wrong=133, backtracks=14, failedAssignments=133, nogoods=114
3.69/2.78	    nFilterCalls=78, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.78	    
3.69/2.78	    num=9, depth=21..21, filters=257, revisions=(482,useless=275), ccks=10068, wck=0.048, mem=53M11
3.69/2.78	    decisions=536, wrong=156, backtracks=14, failedAssignments=156, nogoods=137
3.69/2.78	    nFilterCalls=81, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.78	    
3.69/2.78	    num=10, depth=22..22, filters=288, revisions=(532,useless=297), ccks=10226, wck=0.05, mem=53M11
3.69/2.78	    decisions=608, wrong=181, backtracks=14, failedAssignments=181, nogoods=162
3.69/2.78	    nFilterCalls=84, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.78	    
3.69/2.78	    num=11, depth=21..21, filters=321, revisions=(609,useless=344), ccks=10370, wck=0.052, mem=53M11
3.69/2.78	    decisions=685, wrong=209, backtracks=14, failedAssignments=209, nogoods=190
3.69/2.78	    nFilterCalls=87, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.78	    
3.69/2.78	    num=12, depth=22..37, filters=362, revisions=(717,useless=418), ccks=10554, wck=0.055, mem=53M11
3.69/2.78	    decisions=782, wrong=240, backtracks=16, failedAssignments=240, nogoods=218
3.69/2.78	    nFilterCalls=96, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.78	    
3.69/2.79	    num=13, depth=22..22, filters=404, revisions=(807,useless=470), ccks=10791, wck=0.057, mem=53M11
3.69/2.79	    decisions=872, wrong=274, backtracks=16, failedAssignments=274, nogoods=252
3.69/2.79	    nFilterCalls=100, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.79	    
3.69/2.79	    num=14, depth=22..23, filters=449, revisions=(891,useless=513), ccks=11019, wck=0.059, mem=53M11
3.69/2.79	    decisions=969, wrong=311, backtracks=16, failedAssignments=311, nogoods=289
3.69/2.79	    nFilterCalls=104, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.79	    
3.69/2.79	    num=15, depth=22..23, filters=498, revisions=(963,useless=540), ccks=11217, wck=0.062, mem=53M11
3.69/2.79	    decisions=1074, wrong=352, backtracks=16, failedAssignments=352, nogoods=330
3.69/2.79	    nFilterCalls=108, avgTableProportion=0.5, avgTableSize=1.0
3.69/2.79	    
4.02/2.80	    num=16, depth=22..23, filters=551, revisions=(1081,useless=609), ccks=11462, wck=0.064, mem=53M11
4.02/2.80	    decisions=1187, wrong=397, backtracks=16, failedAssignments=397, nogoods=375
4.02/2.80	    nFilterCalls=112, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.80	    
4.02/2.80	    num=17, depth=22..23, filters=609, revisions=(1229,useless=703), ccks=11716, wck=0.066, mem=53M11
4.02/2.80	    decisions=1310, wrong=447, backtracks=16, failedAssignments=447, nogoods=425
4.02/2.80	    nFilterCalls=116, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.80	    
4.02/2.80	    num=18, depth=22..23, filters=671, revisions=(1311,useless=727), ccks=11887, wck=0.069, mem=53M11
4.02/2.80	    decisions=1443, wrong=502, backtracks=16, failedAssignments=502, nogoods=480
4.02/2.80	    nFilterCalls=120, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.80	    
4.02/2.81	    num=19, depth=22..23, filters=739, revisions=(1519,useless=871), ccks=12118, wck=0.071, mem=53M11
4.02/2.81	    decisions=1588, wrong=563, backtracks=16, failedAssignments=563, nogoods=541
4.02/2.81	    nFilterCalls=124, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=20, depth=22..23, filters=814, revisions=(1613,useless=894), ccks=12337, wck=0.074, mem=53M11
4.02/2.81	    decisions=1745, wrong=630, backtracks=16, failedAssignments=630, nogoods=608
4.02/2.81	    nFilterCalls=128, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=21, depth=23..23, filters=895, revisions=(1828,useless=1032), ccks=12574, wck=0.076, mem=53M11
4.02/2.81	    decisions=1916, wrong=704, backtracks=16, failedAssignments=704, nogoods=682
4.02/2.81	    nFilterCalls=132, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=22, depth=23..23, filters=983, revisions=(2059,useless=1179), ccks=12852, wck=0.078, mem=53M11
4.02/2.81	    decisions=2101, wrong=785, backtracks=16, failedAssignments=785, nogoods=763
4.02/2.81	    nFilterCalls=136, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=23, depth=22..23, filters=1080, revisions=(2270,useless=1297), ccks=13183, wck=0.081, mem=53M11
4.02/2.81	    decisions=2302, wrong=874, backtracks=16, failedAssignments=874, nogoods=852
4.02/2.81	    nFilterCalls=140, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=24, depth=23..24, filters=1186, revisions=(2524,useless=1449), ccks=13500, wck=0.083, mem=53M11
4.02/2.81	    decisions=2522, wrong=972, backtracks=16, failedAssignments=972, nogoods=950
4.02/2.81	    nFilterCalls=144, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.81	    num=25, depth=22..23, filters=1301, revisions=(2698,useless=1512), ccks=13763, wck=0.086, mem=53M11
4.02/2.81	    decisions=2761, wrong=1080, backtracks=16, failedAssignments=1080, nogoods=1058
4.02/2.81	    nFilterCalls=148, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.81	    
4.02/2.82	    num=26, depth=22..23, filters=1427, revisions=(2928,useless=1620), ccks=14040, wck=0.089, mem=53M11
4.02/2.82	    decisions=3022, wrong=1199, backtracks=16, failedAssignments=1199, nogoods=1177
4.02/2.82	    nFilterCalls=152, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.82	    
4.02/2.82	    num=27, depth=23..24, filters=1565, revisions=(3138,useless=1696), ccks=14306, wck=0.092, mem=53M11
4.02/2.82	    decisions=3308, wrong=1330, backtracks=16, failedAssignments=1330, nogoods=1308
4.02/2.82	    nFilterCalls=156, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.82	    
4.02/2.82	    num=28, depth=22..23, filters=1716, revisions=(3432,useless=1843), ccks=14673, wck=0.095, mem=53M11
4.02/2.82	    decisions=3619, wrong=1474, backtracks=16, failedAssignments=1474, nogoods=1452
4.02/2.82	    nFilterCalls=160, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.82	    
4.02/2.83	    num=29, depth=23..24, filters=1882, revisions=(3735,useless=1984), ccks=15045, wck=0.099, mem=53M11
4.02/2.83	    decisions=3958, wrong=1632, backtracks=17, failedAssignments=1632, nogoods=1516
4.02/2.83	    nFilterCalls=164, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.83	    
4.02/2.83	    num=30, depth=23..24, filters=2063, revisions=(4255,useless=2327), ccks=15512, wck=0.103, mem=55M653
4.02/2.83	    decisions=4330, wrong=1806, backtracks=17, failedAssignments=1806, nogoods=1690
4.02/2.83	    nFilterCalls=168, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.83	    
4.02/2.84	    num=31, depth=22..23, filters=2261, revisions=(4654,useless=2532), ccks=15949, wck=0.107, mem=55M653
4.02/2.84	    decisions=4735, wrong=1997, backtracks=17, failedAssignments=1997, nogoods=1881
4.02/2.84	    nFilterCalls=172, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.84	    
4.02/2.84	    num=32, depth=22..24, filters=2480, revisions=(4905,useless=2568), ccks=16323, wck=0.111, mem=55M653
4.02/2.84	    decisions=5181, wrong=2208, backtracks=17, failedAssignments=2208, nogoods=2092
4.02/2.84	    nFilterCalls=176, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.84	    
4.02/2.84	    num=33, depth=24..38, filters=2748, revisions=(5809,useless=3236), ccks=17138, wck=0.116, mem=55M653
4.02/2.84	    decisions=5670, wrong=2440, backtracks=31, failedAssignments=2440, nogoods=2217
4.02/2.84	    nFilterCalls=222, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.84	    
4.02/2.85	    num=34, depth=23..25, filters=3013, revisions=(6302,useless=3469), ccks=17821, wck=0.122, mem=55M653
4.02/2.85	    decisions=6205, wrong=2695, backtracks=31, failedAssignments=2695, nogoods=2472
4.02/2.85	    nFilterCalls=227, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.85	    
4.02/2.86	    num=35, depth=23..25, filters=3303, revisions=(7051,useless=3933), ccks=18576, wck=0.127, mem=55M653
4.02/2.86	    decisions=6792, wrong=2976, backtracks=31, failedAssignments=2976, nogoods=2753
4.02/2.86	    nFilterCalls=232, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.86	    
4.02/2.86	    num=36, depth=23..26, filters=3622, revisions=(7663,useless=4231), ccks=19250, wck=0.133, mem=55M653
4.02/2.86	    decisions=7436, wrong=3285, backtracks=31, failedAssignments=3285, nogoods=3062
4.02/2.86	    nFilterCalls=237, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.86	    
4.02/2.87	    num=37, depth=21..23, filters=3971, revisions=(8617,useless=4841), ccks=20083, wck=0.139, mem=55M653
4.02/2.87	    decisions=8137, wrong=3625, backtracks=33, failedAssignments=3625, nogoods=3173
4.02/2.87	    nFilterCalls=242, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.87	    
4.02/2.87	    num=38, depth=23..25, filters=4355, revisions=(9939,useless=5784), ccks=21178, wck=0.146, mem=55M653
4.02/2.87	    decisions=8910, wrong=3999, backtracks=35, failedAssignments=3999, nogoods=3388
4.02/2.87	    nFilterCalls=247, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.87	    
4.02/2.88	    num=39, depth=25..26, filters=4775, revisions=(11764,useless=7194), ccks=22491, wck=0.153, mem=55M653
4.02/2.88	    decisions=9758, wrong=4410, backtracks=42, failedAssignments=4410, nogoods=3558
4.02/2.88	    nFilterCalls=252, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.88	    
4.02/2.89	    num=40, depth=23..25, filters=5236, revisions=(12957,useless=7931), ccks=23493, wck=0.161, mem=55M653
4.02/2.89	    decisions=10686, wrong=4862, backtracks=43, failedAssignments=4862, nogoods=3891
4.02/2.89	    nFilterCalls=257, avgTableProportion=0.5, avgTableSize=1.0
4.02/2.89	    
4.34/2.90	    num=41, depth=23..25, filters=5743, revisions=(14329,useless=8801), ccks=24694, wck=0.168, mem=55M653
4.34/2.90	    decisions=11704, wrong=5359, backtracks=45, failedAssignments=5359, nogoods=4041
4.34/2.90	    nFilterCalls=262, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.90	    
4.34/2.91	    num=42, depth=23..26, filters=6300, revisions=(15712,useless=9632), ccks=25920, wck=0.178, mem=55M653
4.34/2.91	    decisions=12823, wrong=5906, backtracks=46, failedAssignments=5906, nogoods=4430
4.34/2.91	    nFilterCalls=267, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.91	    
4.34/2.91	    num=43, depth=18..23, filters=6911, revisions=(17366,useless=10680), ccks=27275, wck=0.186, mem=55M653
4.34/2.91	    decisions=14045, wrong=6508, backtracks=51, failedAssignments=6508, nogoods=4458
4.34/2.91	    nFilterCalls=272, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.91	    
4.34/2.92	    num=44, depth=25..39, filters=7612, revisions=(20910,useless=13555), ccks=29829, wck=0.196, mem=58M296
4.34/2.92	    decisions=15395, wrong=7170, backtracks=67, failedAssignments=7170, nogoods=4576
4.34/2.92	    nFilterCalls=317, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.92	    
4.34/2.94	    num=45, depth=25..26, filters=8352, revisions=(25468,useless=17379), ccks=32786, wck=0.207, mem=58M296
4.34/2.94	    decisions=16877, wrong=7898, backtracks=75, failedAssignments=7898, nogoods=4730
4.34/2.94	    nFilterCalls=323, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.94	    
4.34/2.95	    num=46, depth=25..27, filters=9165, revisions=(29539,useless=20643), ccks=35467, wck=0.22, mem=58M296
4.34/2.95	    decisions=18505, wrong=8699, backtracks=88, failedAssignments=8699, nogoods=4882
4.34/2.95	    nFilterCalls=329, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.95	    
4.34/2.96	    num=47, depth=15..24, filters=10057, revisions=(32093,useless=22311), ccks=37409, wck=0.231, mem=58M296
4.34/2.96	    decisions=20282, wrong=9580, backtracks=97, failedAssignments=9580, nogoods=4891
4.34/2.96	    nFilterCalls=335, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.96	    
4.34/2.98	    num=48, depth=26..28, filters=11039, revisions=(37677,useless=26919), ccks=40927, wck=0.246, mem=58M296
4.34/2.98	    decisions=22250, wrong=10550, backtracks=106, failedAssignments=10550, nogoods=5108
4.34/2.98	    nFilterCalls=341, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.98	    
4.34/2.99	    num=49, depth=15..27, filters=12117, revisions=(40906,useless=29076), ccks=43302, wck=0.259, mem=58M296
4.34/2.99	    decisions=24399, wrong=11617, backtracks=118, failedAssignments=11617, nogoods=5168
4.34/2.99	    nFilterCalls=347, avgTableProportion=0.5, avgTableSize=1.0
4.34/2.99	    
4.34/3.01	    num=50, depth=24..28, filters=13302, revisions=(45033,useless=32024), ccks=46191, wck=0.276, mem=58M296
4.34/3.01	    decisions=26773, wrong=12790, backtracks=125, failedAssignments=12790, nogoods=5630
4.34/3.01	    nFilterCalls=353, avgTableProportion=0.5, avgTableSize=1.0
4.34/3.01	    
4.68/3.02	    num=51, depth=24..26, filters=14604, revisions=(48716,useless=34411), ccks=48988, wck=0.289, mem=58M296
4.68/3.02	    decisions=29380, wrong=14081, backtracks=153, failedAssignments=14081, nogoods=5858
4.68/3.02	    nFilterCalls=359, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.02	    
4.68/3.03	    num=52, depth=25..27, filters=16036, revisions=(54010,useless=38279), ccks=52641, wck=0.303, mem=58M296
4.68/3.03	    decisions=32247, wrong=15501, backtracks=218, failedAssignments=15501, nogoods=6179
4.68/3.03	    nFilterCalls=365, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.03	    
4.68/3.05	    num=53, depth=24..27, filters=17610, revisions=(66147,useless=48848), ccks=59768, wck=0.321, mem=58M296
4.68/3.05	    decisions=35398, wrong=17063, backtracks=267, failedAssignments=17063, nogoods=6479
4.68/3.05	    nFilterCalls=371, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.05	    
4.68/3.06	    num=54, depth=24..26, filters=19339, revisions=(69737,useless=50715), ccks=62587, wck=0.334, mem=60M938
4.68/3.06	    decisions=38859, wrong=18781, backtracks=295, failedAssignments=18781, nogoods=6931
4.68/3.06	    nFilterCalls=377, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.06	    
4.68/3.08	    num=55, depth=24..25, filters=21240, revisions=(78553,useless=57636), ccks=68295, wck=0.349, mem=60M938
4.68/3.08	    decisions=42664, wrong=20671, backtracks=323, failedAssignments=20671, nogoods=7109
4.68/3.08	    nFilterCalls=383, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.08	    
4.68/3.09	    num=56, depth=24..26, filters=23331, revisions=(87897,useless=64895), ccks=74312, wck=0.366, mem=60M938
4.68/3.09	    decisions=46847, wrong=22750, backtracks=346, failedAssignments=22750, nogoods=7224
4.68/3.09	    nFilterCalls=389, avgTableProportion=0.5, avgTableSize=1.0
4.68/3.09	    
4.98/3.11	    num=57, depth=23..27, filters=25630, revisions=(94264,useless=68969), ccks=78881, wck=0.382, mem=60M938
4.98/3.11	    decisions=51445, wrong=25037, backtracks=365, failedAssignments=25037, nogoods=7398
4.98/3.11	    nFilterCalls=395, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.11	    
4.98/3.13	    num=58, depth=24..28, filters=28158, revisions=(105592,useless=77775), ccks=86181, wck=0.401, mem=60M938
4.98/3.13	    decisions=56504, wrong=27553, backtracks=442, failedAssignments=27553, nogoods=7840
4.98/3.13	    nFilterCalls=401, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.13	    
4.98/3.15	    num=59, depth=24..26, filters=30937, revisions=(113695,useless=83105), ccks=91849, wck=0.417, mem=60M938
4.98/3.15	    decisions=62065, wrong=30321, backtracks=470, failedAssignments=30321, nogoods=8109
4.98/3.15	    nFilterCalls=407, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.15	    
4.98/3.16	    num=60, depth=24..26, filters=33993, revisions=(118968,useless=85328), ccks=96264, wck=0.432, mem=60M938
4.98/3.16	    decisions=68178, wrong=33365, backtracks=510, failedAssignments=33365, nogoods=8446
4.98/3.16	    nFilterCalls=413, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.16	    
4.98/3.18	    num=61, depth=24..26, filters=37354, revisions=(139879,useless=102884), ccks=108790, wck=0.451, mem=60M938
4.98/3.18	    decisions=74901, wrong=36714, backtracks=632, failedAssignments=36714, nogoods=8661
4.98/3.18	    nFilterCalls=419, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.18	    
4.98/3.20	    num=62, depth=24..26, filters=41049, revisions=(154247,useless=113563), ccks=118239, wck=0.467, mem=60M938
4.98/3.20	    decisions=82294, wrong=40398, backtracks=763, failedAssignments=40398, nogoods=8867
4.98/3.20	    nFilterCalls=425, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.20	    
5.26/3.21	    num=63, depth=23..26, filters=45112, revisions=(169165,useless=124424), ccks=128303, wck=0.486, mem=63M581
5.26/3.21	    decisions=90422, wrong=44450, backtracks=818, failedAssignments=44450, nogoods=9057
5.26/3.21	    nFilterCalls=431, avgTableProportion=0.5, avgTableSize=1.0
5.26/3.21	    
5.26/3.24	    num=64, depth=24..27, filters=49581, revisions=(189022,useless=139818), ccks=140841, wck=0.507, mem=63M581
5.26/3.24	    decisions=99362, wrong=48907, backtracks=921, failedAssignments=48907, nogoods=9415
5.26/3.24	    nFilterCalls=437, avgTableProportion=0.5, avgTableSize=1.0
5.26/3.24	    
5.26/3.26	    num=65, depth=11..27, filters=54495, revisions=(201139,useless=147027), ccks=149669, wck=0.529, mem=63M581
5.26/3.26	    decisions=109193, wrong=53810, backtracks=960, failedAssignments=53810, nogoods=9704
5.26/3.26	    nFilterCalls=443, avgTableProportion=0.5, avgTableSize=1.0
5.26/3.26	    
5.26/3.29	    num=66, depth=25..27, filters=59900, revisions=(216864,useless=157353), ccks=160449, wck=0.558, mem=63M581
5.26/3.29	    decisions=120007, wrong=59204, backtracks=1005, failedAssignments=59204, nogoods=9890
5.26/3.29	    nFilterCalls=449, avgTableProportion=0.5, avgTableSize=1.0
5.26/3.29	    
5.48/3.31	    num=67, depth=11..26, filters=65844, revisions=(231960,useless=166511), ccks=171475, wck=0.584, mem=63M581
5.48/3.31	    decisions=131892, wrong=65137, backtracks=1045, failedAssignments=65137, nogoods=10067
5.48/3.31	    nFilterCalls=455, avgTableProportion=0.5, avgTableSize=1.0
5.48/3.31	    
5.48/3.34	    num=68, depth=25..27, filters=72382, revisions=(258598,useless=186617), ccks=188360, wck=0.613, mem=63M581
5.48/3.34	    decisions=144969, wrong=71663, backtracks=1402, failedAssignments=71663, nogoods=10229
5.48/3.34	    nFilterCalls=461, avgTableProportion=0.5, avgTableSize=1.0
5.48/3.34	    
5.48/3.38	    num=69, depth=11..41, filters=79704, revisions=(290205,useless=211026), ccks=209766, wck=0.648, mem=66M223
5.48/3.38	    decisions=159358, wrong=78842, backtracks=1522, failedAssignments=78842, nogoods=10962
5.48/3.38	    nFilterCalls=640, avgTableProportion=0.5, avgTableSize=1.0
5.48/3.38	    
5.58/3.42	    num=70, depth=29..31, filters=87623, revisions=(334757,useless=247670), ccks=237163, wck=0.69, mem=66M223
5.58/3.42	    decisions=175182, wrong=86739, backtracks=1614, failedAssignments=86739, nogoods=11105
5.58/3.42	    nFilterCalls=651, avgTableProportion=0.5, avgTableSize=1.0
5.58/3.42	    
5.58/3.46	    num=71, depth=25..32, filters=96332, revisions=(354892,useless=259107), ccks=251982, wck=0.729, mem=66M223
5.58/3.46	    decisions=192582, wrong=95426, backtracks=1676, failedAssignments=95426, nogoods=11247
5.58/3.46	    nFilterCalls=662, avgTableProportion=0.5, avgTableSize=1.0
5.58/3.46	    
5.58/3.50	    num=72, depth=29..32, filters=105909, revisions=(378301,useless=272950), ccks=268924, wck=0.766, mem=66M223
5.58/3.50	    decisions=211722, wrong=104981, backtracks=1788, failedAssignments=104981, nogoods=11452
5.58/3.50	    nFilterCalls=673, avgTableProportion=0.5, avgTableSize=1.0
5.58/3.50	    
5.70/3.53	    num=73, depth=29..31, filters=116441, revisions=(417311,useless=301439), ccks=294679, wck=0.804, mem=68M866
5.70/3.53	    decisions=232775, wrong=115492, backtracks=2199, failedAssignments=115492, nogoods=11752
5.70/3.53	    nFilterCalls=684, avgTableProportion=0.5, avgTableSize=1.0
5.70/3.53	    
5.70/3.58	    num=74, depth=26..31, filters=128024, revisions=(455405,useless=327961), ccks=321739, wck=0.855, mem=68M866
5.70/3.58	    decisions=255926, wrong=127054, backtracks=2303, failedAssignments=127054, nogoods=11873
5.70/3.58	    nFilterCalls=695, avgTableProportion=0.5, avgTableSize=1.0
5.70/3.58	    
5.81/3.64	    num=75, depth=29..32, filters=140763, revisions=(492189,useless=352017), ccks=346874, wck=0.907, mem=68M866
5.81/3.64	    decisions=281393, wrong=139772, backtracks=2497, failedAssignments=139772, nogoods=12185
5.81/3.64	    nFilterCalls=706, avgTableProportion=0.5, avgTableSize=1.0
5.81/3.64	    
5.81/3.69	    num=76, depth=16..32, filters=154774, revisions=(526285,useless=372113), ccks=371899, wck=0.963, mem=71M508
5.81/3.69	    decisions=309395, wrong=153762, backtracks=2609, failedAssignments=153762, nogoods=12364
5.81/3.69	    nFilterCalls=717, avgTableProportion=0.5, avgTableSize=1.0
5.81/3.69	    
5.92/3.75	    num=77, depth=29..31, filters=170185, revisions=(574610,useless=405038), ccks=404195, wck=1.026, mem=71M508
5.92/3.75	    decisions=340203, wrong=169151, backtracks=2795, failedAssignments=169151, nogoods=12493
5.92/3.75	    nFilterCalls=728, avgTableProportion=0.5, avgTableSize=1.0
5.92/3.75	    
6.02/3.82	    num=78, depth=26..30, filters=187134, revisions=(629555,useless=443045), ccks=442730, wck=1.093, mem=71M508
6.02/3.82	    decisions=374086, wrong=186079, backtracks=2986, failedAssignments=186079, nogoods=12679
6.02/3.82	    nFilterCalls=739, avgTableProportion=0.5, avgTableSize=1.0
6.02/3.82	    
6.12/3.92	    num=79, depth=30..32, filters=205777, revisions=(775924,useless=570782), ccks=526212, wck=1.186, mem=74M150
6.12/3.92	    decisions=411360, wrong=204700, backtracks=3869, failedAssignments=204700, nogoods=12913
6.12/3.92	    nFilterCalls=750, avgTableProportion=0.5, avgTableSize=1.0
6.12/3.92	    
6.12/3.99	    num=80, depth=29..31, filters=226282, revisions=(839918,useless=614282), ccks=568806, wck=1.263, mem=76M793
6.12/3.99	    decisions=452358, wrong=225184, backtracks=4194, failedAssignments=225184, nogoods=13166
6.12/3.99	    nFilterCalls=761, avgTableProportion=0.5, avgTableSize=1.0
6.12/3.99	    
6.23/4.08	    num=81, depth=26..30, filters=248836, revisions=(910672,useless=662493), ccks=618570, wck=1.347, mem=76M793
6.23/4.08	    decisions=497449, wrong=247716, backtracks=4437, failedAssignments=247716, nogoods=13262
6.23/4.08	    nFilterCalls=772, avgTableProportion=0.5, avgTableSize=1.0
6.23/4.08	    
6.33/4.19	    num=82, depth=29..32, filters=273643, revisions=(1013673,useless=740698), ccks=682952, wck=1.458, mem=79M435
6.33/4.19	    decisions=547050, wrong=272501, backtracks=4765, failedAssignments=272501, nogoods=13438
6.33/4.19	    nFilterCalls=783, avgTableProportion=0.5, avgTableSize=1.0
6.33/4.19	    
6.52/4.30	    num=83, depth=27..32, filters=300929, revisions=(1094781,useless=794531), ccks=742009, wck=1.573, mem=82M78
6.52/4.30	    decisions=601606, wrong=299765, backtracks=5007, failedAssignments=299765, nogoods=13527
6.52/4.30	    nFilterCalls=794, avgTableProportion=0.5, avgTableSize=1.0
6.52/4.30	    
6.62/4.42	    num=84, depth=29..33, filters=330941, revisions=(1227533,useless=897282), ccks=824111, wck=1.692, mem=82M78
6.62/4.42	    decisions=661618, wrong=329755, backtracks=6147, failedAssignments=329755, nogoods=14158
6.62/4.42	    nFilterCalls=805, avgTableProportion=0.5, avgTableSize=1.0
6.62/4.42	    
6.72/4.57	    num=85, depth=29..31, filters=363952, revisions=(1414120,useless=1050869), ccks=934783, wck=1.841, mem=84M720
6.72/4.57	    decisions=727627, wrong=362744, backtracks=6799, failedAssignments=362744, nogoods=14313
6.72/4.57	    nFilterCalls=816, avgTableProportion=0.5, avgTableSize=1.0
6.72/4.57	    
6.92/4.70	    num=86, depth=16..34, filters=400261, revisions=(1508627,useless=1109078), ccks=1001583, wck=1.971, mem=87M363
6.92/4.70	    decisions=800234, wrong=399032, backtracks=7628, failedAssignments=399032, nogoods=14609
6.92/4.70	    nFilterCalls=827, avgTableProportion=0.5, avgTableSize=1.0
6.92/4.70	    
7.02/4.87	    num=87, depth=23..31, filters=440199, revisions=(1639107,useless=1199631), ccks=1098896, wck=2.138, mem=90M5
7.02/4.87	    decisions=880092, wrong=438949, backtracks=7926, failedAssignments=438949, nogoods=14830
7.02/4.87	    nFilterCalls=838, avgTableProportion=0.5, avgTableSize=1.0
7.02/4.87	    
7.23/5.02	    num=88, depth=16..33, filters=484129, revisions=(1748370,useless=1264975), ccks=1176348, wck=2.291, mem=92M647
7.23/5.02	    decisions=967942, wrong=482858, backtracks=9414, failedAssignments=482858, nogoods=15286
7.23/5.02	    nFilterCalls=849, avgTableProportion=0.5, avgTableSize=1.0
7.23/5.02	    
7.42/5.24	    num=89, depth=23..31, filters=532450, revisions=(1933449,useless=1401744), ccks=1301371, wck=2.507, mem=95M290
7.42/5.24	    decisions=1064566, wrong=531158, backtracks=9836, failedAssignments=531158, nogoods=15437
7.42/5.24	    nFilterCalls=860, avgTableProportion=0.5, avgTableSize=1.0
7.42/5.24	    
7.72/5.50	    num=90, depth=16..36, filters=585602, revisions=(2215010,useless=1630164), ccks=1469032, wck=2.773, mem=100M575
7.72/5.50	    decisions=1170860, wrong=584288, backtracks=10971, failedAssignments=584288, nogoods=16526
7.72/5.50	    nFilterCalls=871, avgTableProportion=0.5, avgTableSize=1.0
7.72/5.50	    
7.92/5.73	    num=91, depth=22..32, filters=644066, revisions=(2387932,useless=1744633), ccks=1592064, wck=3.004, mem=103M217
7.92/5.73	    decisions=1287769, wrong=642731, backtracks=11515, failedAssignments=642731, nogoods=16686
7.92/5.73	    nFilterCalls=882, avgTableProportion=0.5, avgTableSize=1.0
7.92/5.73	    
8.12/5.97	    num=92, depth=29..32, filters=708374, revisions=(2577804,useless=1870208), ccks=1719508, wck=3.239, mem=108M502
8.12/5.97	    decisions=1416374, wrong=707018, backtracks=13072, failedAssignments=707018, nogoods=17136
8.12/5.97	    nFilterCalls=893, avgTableProportion=0.5, avgTableSize=1.0
8.12/5.97	    
8.42/6.26	    num=93, depth=15..37, filters=779111, revisions=(2811786,useless=2033464), ccks=1880983, wck=3.531, mem=113M787
8.42/6.26	    decisions=1557837, wrong=777734, backtracks=13655, failedAssignments=777734, nogoods=18326
8.42/6.26	    nFilterCalls=904, avgTableProportion=0.5, avgTableSize=1.0
8.42/6.26	    
8.73/6.55	    num=94, depth=29..31, filters=856919, revisions=(3139424,useless=2283305), ccks=2090515, wck=3.825, mem=119M72
8.73/6.55	    decisions=1713442, wrong=855521, backtracks=15480, failedAssignments=855521, nogoods=18573
8.73/6.55	    nFilterCalls=915, avgTableProportion=0.5, avgTableSize=1.0
8.73/6.55	    
9.13/6.94	    num=95, depth=28..32, filters=942507, revisions=(3586697,useless=2645001), ccks=2359113, wck=4.211, mem=124M357
9.13/6.94	    decisions=1884603, wrong=941087, backtracks=18879, failedAssignments=941087, nogoods=18685
9.13/6.94	    nFilterCalls=926, avgTableProportion=0.5, avgTableSize=1.0
9.13/6.94	    
9.53/7.32	    num=96, depth=19..32, filters=1036652, revisions=(3856636,useless=2820806), ccks=2557219, wck=4.588, mem=129M641
9.53/7.32	    decisions=2072869, wrong=1035210, backtracks=19683, failedAssignments=1035210, nogoods=18803
9.53/7.32	    nFilterCalls=937, avgTableProportion=0.5, avgTableSize=1.0
9.53/7.32	    
9.84/7.69	    num=97, depth=29..33, filters=1140209, revisions=(4244944,useless=3105568), ccks=2804086, wck=4.958, mem=137M569
9.84/7.69	    decisions=2279971, wrong=1138745, backtracks=24171, failedAssignments=1138745, nogoods=19323
9.84/7.69	    nFilterCalls=948, avgTableProportion=0.5, avgTableSize=1.0
9.84/7.69	    
10.39/8.19	    num=98, depth=29..33, filters=1254120, revisions=(4890594,useless=3637318), ccks=3184178, wck=5.459, mem=32M876
10.39/8.19	    decisions=2507781, wrong=1252634, backtracks=28280, failedAssignments=1252634, nogoods=19724
10.39/8.19	    nFilterCalls=959, avgTableProportion=0.5, avgTableSize=1.0
10.39/8.19	    
10.88/8.64	    num=99, depth=27..31, filters=1379419, revisions=(5410225,useless=4031661), ccks=3509265, wck=5.911, mem=43M340
10.88/8.64	    decisions=2758366, wrong=1377912, backtracks=33120, failedAssignments=1377912, nogoods=19998
10.88/8.64	    nFilterCalls=970, avgTableProportion=0.5, avgTableSize=1.0
10.88/8.64	    
11.39/9.16	    num=100, depth=26..31, filters=1517246, revisions=(6005875,useless=4489495), ccks=3876013, wck=6.429, mem=51M188
11.39/9.16	    decisions=3034006, wrong=1515718, backtracks=38869, failedAssignments=1515718, nogoods=20362
11.39/9.16	    nFilterCalls=981, avgTableProportion=0.5, avgTableSize=1.0
11.39/9.16	    
11.98/9.75	    num=101, depth=14..35, filters=1668853, revisions=(6518293,useless=4850317), ccks=4237619, wck=7.02, mem=61M652
11.98/9.75	    decisions=3337206, wrong=1667304, backtracks=40172, failedAssignments=1667304, nogoods=20834
11.98/9.75	    nFilterCalls=992, avgTableProportion=0.5, avgTableSize=1.0
11.98/9.75	    
12.58/10.38	    num=102, depth=27..32, filters=1835619, revisions=(7230146,useless=5395415), ccks=4682243, wck=7.653, mem=72M116
12.58/10.38	    decisions=3670725, wrong=1834049, backtracks=44663, failedAssignments=1834049, nogoods=21041
12.58/10.38	    nFilterCalls=1003, avgTableProportion=0.5, avgTableSize=1.0
12.58/10.38	    
13.39/11.12	    num=103, depth=27..32, filters=2019060, revisions=(7980632,useless=5962471), ccks=5151549, wck=8.389, mem=85M196
13.39/11.12	    decisions=4037593, wrong=2017468, backtracks=50839, failedAssignments=2017468, nogoods=21238
13.39/11.12	    nFilterCalls=1014, avgTableProportion=0.5, avgTableSize=1.0
13.39/11.12	    
14.18/11.92	    num=104, depth=28..31, filters=2220843, revisions=(8972725,useless=6752792), ccks=5751421, wck=9.192, mem=98M276
14.18/11.92	    decisions=4441145, wrong=2219229, backtracks=55501, failedAssignments=2219229, nogoods=21475
14.18/11.92	    nFilterCalls=1025, avgTableProportion=0.5, avgTableSize=1.0
14.18/11.92	    
14.88/12.64	    num=105, depth=27..32, filters=2442802, revisions=(9533371,useless=7091490), ccks=6142865, wck=9.91, mem=111M355
14.88/12.64	    decisions=4885049, wrong=2441167, backtracks=61457, failedAssignments=2441167, nogoods=21845
14.88/12.64	    nFilterCalls=1036, avgTableProportion=0.5, avgTableSize=1.0
14.88/12.64	    
15.98/13.73	    num=106, depth=15..35, filters=2686955, revisions=(10931394,useless=8245371), ccks=6998759, wck=11.001, mem=132M283
15.98/13.73	    decisions=5373341, wrong=2685298, backtracks=66585, failedAssignments=2685298, nogoods=22663
15.98/13.73	    nFilterCalls=1047, avgTableProportion=0.5, avgTableSize=1.0
15.98/13.73	    
16.88/14.66	    num=107, depth=28..32, filters=2955522, revisions=(11747696,useless=8793117), ccks=7543494, wck=11.935, mem=147M979
16.88/14.66	    decisions=5910462, wrong=2953843, backtracks=71221, failedAssignments=2953843, nogoods=22884
16.88/14.66	    nFilterCalls=1058, avgTableProportion=0.5, avgTableSize=1.0
16.88/14.66	    
18.22/15.99	    num=108, depth=15..33, filters=3250942, revisions=(13461587,useless=10211599), ccks=8554303, wck=13.263, mem=38M865
18.22/15.99	    decisions=6501285, wrong=3249242, backtracks=81183, failedAssignments=3249242, nogoods=23313
18.22/15.99	    nFilterCalls=1069, avgTableProportion=0.5, avgTableSize=1.0
18.22/15.99	    
19.72/17.42	    num=109, depth=15..35, filters=3575902, revisions=(15103317,useless=11528380), ccks=9552915, wck=14.693, mem=62M492
19.72/17.42	    decisions=7151194, wrong=3574181, backtracks=89595, failedAssignments=3574181, nogoods=24032
19.72/17.42	    nFilterCalls=1080, avgTableProportion=0.5, avgTableSize=1.0
19.72/17.42	    
20.92/18.63	    num=110, depth=20..32, filters=3933356, revisions=(16109328,useless=12176948), ccks=10237488, wck=15.902, mem=83M494
20.92/18.63	    decisions=7866081, wrong=3931614, backtracks=96854, failedAssignments=3931614, nogoods=24275
20.92/18.63	    nFilterCalls=1091, avgTableProportion=0.5, avgTableSize=1.0
20.92/18.63	    
22.12/19.81	    num=111, depth=22..31, filters=4326553, revisions=(17168972,useless=12843406), ccks=10980196, wck=17.078, mem=104M496
22.12/19.81	    decisions=8652457, wrong=4324790, backtracks=110591, failedAssignments=4324790, nogoods=24666
22.12/19.81	    nFilterCalls=1102, avgTableProportion=0.5, avgTableSize=1.0
22.12/19.81	    
24.22/21.95	    num=112, depth=15..34, filters=4759068, revisions=(20693943,useless=15935873), ccks=12994282, wck=19.218, mem=149M125
24.22/21.95	    decisions=9517468, wrong=4757284, backtracks=125070, failedAssignments=4757284, nogoods=25427
24.22/21.95	    nFilterCalls=1113, avgTableProportion=0.5, avgTableSize=1.0
24.22/21.95	    
26.17/23.80	    num=113, depth=16..35, filters=5234834, revisions=(22580923,useless=17347098), ccks=14206545, wck=21.068, mem=47M503
26.17/23.80	    decisions=10468989, wrong=5233028, backtracks=135769, failedAssignments=5233028, nogoods=25990
26.17/23.80	    nFilterCalls=1124, avgTableProportion=0.5, avgTableSize=1.0
26.17/23.80	    
28.07/25.74	    num=114, depth=28..32, filters=5758174, revisions=(24699935,useless=18942781), ccks=15539763, wck=23.01, mem=82M879
28.07/25.74	    decisions=11515655, wrong=5756346, backtracks=147408, failedAssignments=5756346, nogoods=26272
28.07/25.74	    nFilterCalls=1135, avgTableProportion=0.5, avgTableSize=1.0
28.07/25.74	    
30.08/27.77	    num=115, depth=21..31, filters=6333845, revisions=(26658714,useless=20325900), ccks=16806060, wck=25.038, mem=118M254
30.08/27.77	    decisions=12666978, wrong=6331996, backtracks=167583, failedAssignments=6331996, nogoods=26610
30.08/27.77	    nFilterCalls=1146, avgTableProportion=0.5, avgTableSize=1.0
30.08/27.77	    
33.08/30.71	    num=116, depth=15..35, filters=6967081, revisions=(30332410,useless=23366371), ccks=18969831, wck=27.984, mem=168M108
33.08/30.71	    decisions=13933439, wrong=6965211, backtracks=186205, failedAssignments=6965211, nogoods=27372
33.08/30.71	    nFilterCalls=1157, avgTableProportion=0.5, avgTableSize=1.0
33.08/30.71	    
35.61/33.24	    num=117, depth=23..31, filters=7663638, revisions=(32952989,useless=25290404), ccks=20638923, wck=30.507, mem=50M706
35.61/33.24	    decisions=15326541, wrong=7661747, backtracks=201976, failedAssignments=7661747, nogoods=27613
35.61/33.24	    nFilterCalls=1168, avgTableProportion=0.5, avgTableSize=1.0
35.61/33.24	    
38.79/36.19	    num=118, depth=16..54, filters=8430192, revisions=(36284711,useless=27855727), ccks=22791654, wck=33.457, mem=107M351
38.79/36.19	    decisions=16858963, wrong=8427937, backtracks=219083, failedAssignments=8427937, nogoods=29293
38.79/36.19	    nFilterCalls=1419, avgTableProportion=0.5, avgTableSize=1.0
38.79/36.19	    
42.09/39.49	    num=119, depth=35..42, filters=9273034, revisions=(40437716,useless=31165907), ccks=25290224, wck=36.764, mem=167M142
42.09/39.49	    decisions=18544619, wrong=9270746, backtracks=240787, failedAssignments=9270746, nogoods=29659
42.09/39.49	    nFilterCalls=1436, avgTableProportion=0.5, avgTableSize=1.0
42.09/39.49	    
47.02/44.33	    num=120, depth=21..48, filters=10200157, revisions=(47794638,useless=37595723), ccks=29493328, wck=41.602, mem=100M289
47.02/44.33	    decisions=20398830, wrong=10197836, backtracks=260673, failedAssignments=10197836, nogoods=30285
47.02/44.33	    nFilterCalls=1453, avgTableProportion=0.5, avgTableSize=1.0
47.02/44.33	    
50.63/47.95	    num=121, depth=30..37, filters=11219990, revisions=(51830130,useless=40611399), ccks=32092737, wck=45.225, mem=168M295
50.63/47.95	    decisions=22438460, wrong=11217635, backtracks=286155, failedAssignments=11217635, nogoods=30475
50.63/47.95	    nFilterCalls=1470, avgTableProportion=0.5, avgTableSize=1.0
50.63/47.95	    
55.57/52.83	    num=122, depth=22..49, filters=12341803, revisions=(58358299,useless=46017772), ccks=35941038, wck=50.104, mem=102M277
55.57/52.83	    decisions=24682061, wrong=12339414, backtracks=309750, failedAssignments=12339414, nogoods=32252
55.57/52.83	    nFilterCalls=1487, avgTableProportion=0.5, avgTableSize=1.0
55.57/52.83	    
59.97/57.25	    num=123, depth=32..39, filters=13575794, revisions=(62009523,useless=48435022), ccks=38392073, wck=54.521, mem=173M20
59.97/57.25	    decisions=27150009, wrong=13573371, backtracks=337284, failedAssignments=13573371, nogoods=32491
59.97/57.25	    nFilterCalls=1504, avgTableProportion=0.5, avgTableSize=1.0
59.97/57.25	    
67.41/64.61	    num=124, depth=21..48, filters=14933180, revisions=(72596572,useless=57664702), ccks=44560267, wck=61.882, mem=152M54
67.41/64.61	    decisions=29864755, wrong=14930724, backtracks=347839, failedAssignments=14930724, nogoods=33718
67.41/64.61	    nFilterCalls=1521, avgTableProportion=0.5, avgTableSize=1.0
67.41/64.61	    
72.74/69.93	    num=125, depth=25..37, filters=16426302, revisions=(78095853,useless=61670878), ccks=48207724, wck=67.197, mem=100M636
72.74/69.93	    decisions=32850964, wrong=16423812, backtracks=381377, failedAssignments=16423812, nogoods=33943
72.74/69.93	    nFilterCalls=1538, avgTableProportion=0.5, avgTableSize=1.0
72.74/69.93	    
79.38/76.50	    num=126, depth=22..47, filters=18068733, revisions=(86089144,useless=68021755), ccks=53085501, wck=73.772, mem=70M706
79.38/76.50	    decisions=36135802, wrong=18066209, backtracks=420518, failedAssignments=18066209, nogoods=35747
79.38/76.50	    nFilterCalls=1555, avgTableProportion=0.5, avgTableSize=1.0
79.38/76.50	    
86.14/83.25	    num=127, depth=29..38, filters=19875404, revisions=(92892754,useless=73018711), ccks=57461785, wck=80.52, mem=42M193
86.14/83.25	    decisions=39749107, wrong=19872846, backtracks=454406, failedAssignments=19872846, nogoods=36030
86.14/83.25	    nFilterCalls=1572, avgTableProportion=0.5, avgTableSize=1.0
86.14/83.25	    
94.49/91.51	    num=128, depth=24..37, filters=21862739, revisions=(103943915,useless=82082554), ccks=64000770, wck=88.778, mem=53M212
94.49/91.51	    decisions=43723735, wrong=21860147, backtracks=502424, failedAssignments=21860147, nogoods=36228
94.49/91.51	    nFilterCalls=1589, avgTableProportion=0.5, avgTableSize=1.0
94.49/91.51	    
102.74/99.76	    num=129, depth=22..47, filters=24048803, revisions=(112989241,useless=88941833), ccks=69637598, wck=97.036, mem=61M104
102.74/99.76	    decisions=48095838, wrong=24046178, backtracks=557350, failedAssignments=24046178, nogoods=38398
102.74/99.76	    nFilterCalls=1606, avgTableProportion=0.5, avgTableSize=1.0
102.74/99.76	    
111.48/108.41	    num=130, depth=29..38, filters=26453470, revisions=(122059788,useless=95607730), ccks=75478280, wck=105.68, mem=77M277
111.48/108.41	    decisions=52905136, wrong=26450812, backtracks=608390, failedAssignments=26450812, nogoods=38697
111.48/108.41	    nFilterCalls=1623, avgTableProportion=0.5, avgTableSize=1.0
111.48/108.41	    
125.05/121.92	    num=131, depth=21..48, filters=29098600, revisions=(142177473,useless=113080302), ccks=86990013, wck=119.196, mem=60M407
125.05/121.92	    decisions=58195372, wrong=29095909, backtracks=655215, failedAssignments=29095909, nogoods=40863
125.05/121.92	    nFilterCalls=1640, avgTableProportion=0.5, avgTableSize=1.0
125.05/121.92	    
135.89/132.73	    num=132, depth=23..38, filters=32008240, revisions=(153002620,useless=120995826), ccks=94097426, wck=129.999, mem=116M890
135.89/132.73	    decisions=64014616, wrong=32005516, backtracks=721212, failedAssignments=32005516, nogoods=41049
135.89/132.73	    nFilterCalls=1657, avgTableProportion=0.5, avgTableSize=1.0
135.89/132.73	    
152.62/149.40	    num=133, depth=22..43, filters=35208842, revisions=(177439553,useless=142232174), ccks=107889634, wck=146.673, mem=39M963
152.62/149.40	    decisions=70415794, wrong=35206084, backtracks=854743, failedAssignments=35206084, nogoods=42075
152.62/149.40	    nFilterCalls=1674, avgTableProportion=0.5, avgTableSize=1.0
152.62/149.40	    
170.15/166.91	    num=134, depth=22..49, filters=38729500, revisions=(199641273,useless=160913253), ccks=120805632, wck=164.183, mem=91M991
170.15/166.91	    decisions=77457088, wrong=38726709, backtracks=893184, failedAssignments=38726709, nogoods=43678
170.15/166.91	    nFilterCalls=1691, avgTableProportion=0.5, avgTableSize=1.0
170.15/166.91	    
184.97/181.79	    num=135, depth=32..41, filters=42602221, revisions=(214600263,useless=171999539), ccks=130333870, wck=179.061, mem=104M644
184.97/181.79	    decisions=85202499, wrong=42599396, backtracks=973137, failedAssignments=42599396, nogoods=44559
184.97/181.79	    nFilterCalls=1708, avgTableProportion=0.5, avgTableSize=1.0
184.97/181.79	    
200.30/197.10	    num=136, depth=24..38, filters=46862210, revisions=(230057212,useless=183196516), ccks=140432543, wck=194.371, mem=143M213
200.30/197.10	    decisions=93722437, wrong=46859352, backtracks=1069693, failedAssignments=46859352, nogoods=44939
200.30/197.10	    nFilterCalls=1725, avgTableProportion=0.5, avgTableSize=1.0
200.30/197.10	    
222.44/219.15	    num=137, depth=21..49, filters=51548195, revisions=(262542217,useless=210995553), ccks=159443664, wck=216.42, mem=124M708
222.44/219.15	    decisions=103094382, wrong=51545304, backtracks=1137089, failedAssignments=51545304, nogoods=46534
222.44/219.15	    nFilterCalls=1742, avgTableProportion=0.5, avgTableSize=1.0
222.44/219.15	    
243.96/240.68	    num=138, depth=20..48, filters=56702776, revisions=(287993044,useless=231291816), ccks=175400589, wck=237.948, mem=96M333
243.96/240.68	    decisions=113403520, wrong=56699851, backtracks=1227733, failedAssignments=56699851, nogoods=48332
243.96/240.68	    nFilterCalls=1759, avgTableProportion=0.5, avgTableSize=1.0
243.96/240.68	    
268.52/265.15	    num=139, depth=22..48, filters=62372811, revisions=(317056597,useless=254685351), ccks=193143347, wck=262.421, mem=126M710
268.52/265.15	    decisions=124743569, wrong=62369853, backtracks=1322970, failedAssignments=62369853, nogoods=50185
268.52/265.15	    nFilterCalls=1776, avgTableProportion=0.5, avgTableSize=1.0
268.52/265.15	    
307.27/303.85	    num=140, depth=22..49, filters=68609846, revisions=(375887018,useless=307278754), ccks=225732746, wck=301.12, mem=67M89
307.27/303.85	    decisions=137217620, wrong=68606855, backtracks=1370129, failedAssignments=68606855, nogoods=51994
307.27/303.85	    nFilterCalls=1793, avgTableProportion=0.5, avgTableSize=1.0
307.27/303.85	    
331.01/327.58	    num=141, depth=34..40, filters=75470582, revisions=(396170520,useless=320701537), ccks=239396841, wck=324.849, mem=112M527
331.01/327.58	    decisions=150939063, wrong=75467557, backtracks=1542680, failedAssignments=75467557, nogoods=52706
331.01/327.58	    nFilterCalls=1810, avgTableProportion=0.5, avgTableSize=1.0
331.01/327.58	    
374.20/370.64	    num=142, depth=21..48, filters=83017389, revisions=(467209921,useless=384194148), ccks=279047677, wck=367.913, mem=63M798
374.20/370.64	    decisions=166032653, wrong=83014330, backtracks=1678713, failedAssignments=83014330, nogoods=54600
374.20/370.64	    nFilterCalls=1827, avgTableProportion=0.5, avgTableSize=1.0
374.20/370.64	    
414.88/411.27	    num=143, depth=21..47, filters=91318873, revisions=(521037412,useless=429720172), ccks=311250259, wck=408.545, mem=51M242
414.88/411.27	    decisions=182635590, wrong=91315780, backtracks=1802232, failedAssignments=91315780, nogoods=55968
414.88/411.27	    nFilterCalls=1844, avgTableProportion=0.5, avgTableSize=1.0
414.88/411.27	    
446.85/443.16	    num=144, depth=34..39, filters=100450501, revisions=(552147550,useless=451698699), ccks=331380303, wck=440.429, mem=53M498
446.85/443.16	    decisions=200898817, wrong=100447375, backtracks=2107927, failedAssignments=100447375, nogoods=56405
446.85/443.16	    nFilterCalls=1861, avgTableProportion=0.5, avgTableSize=1.0
446.85/443.16	    
515.88/512.02	    num=145, depth=20..49, filters=110495288, revisions=(680935569,useless=570441948), ccks=401784332, wck=509.295, mem=92M432
515.88/512.02	    decisions=220988369, wrong=110492129, backtracks=2244450, failedAssignments=110492129, nogoods=58280
515.88/512.02	    nFilterCalls=1878, avgTableProportion=0.5, avgTableSize=1.0
515.88/512.02	    
562.98/559.07	    num=146, depth=21..49, filters=121544551, revisions=(727242187,useless=605699320), ccks=430776441, wck=556.342, mem=70M842
562.98/559.07	    decisions=243086869, wrong=121541359, backtracks=2415200, failedAssignments=121541359, nogoods=59871
562.98/559.07	    nFilterCalls=1895, avgTableProportion=0.5, avgTableSize=1.0
562.98/559.07	    
607.07/603.06	    num=147, depth=29..39, filters=133698737, revisions=(764806883,useless=631109847), ccks=456020643, wck=600.327, mem=70M115
607.07/603.06	    decisions=267395207, wrong=133695512, backtracks=2649263, failedAssignments=133695512, nogoods=60202
607.07/603.06	    nFilterCalls=1912, avgTableProportion=0.5, avgTableSize=1.0
607.07/603.06	    
672.10/667.96	    num=148, depth=21..48, filters=147068339, revisions=(855532941,useless=708466320), ccks=508516549, wck=665.232, mem=51M779
672.10/667.96	    decisions=294134384, wrong=147065080, backtracks=2976721, failedAssignments=147065080, nogoods=61809
672.10/667.96	    nFilterCalls=1929, avgTableProportion=0.5, avgTableSize=1.0
672.10/667.96	    
728.81/724.56	    num=149, depth=21..42, filters=161774897, revisions=(906499518,useless=744726356), ccks=541393977, wck=721.835, mem=74M844
728.81/724.56	    decisions=323547473, wrong=161771605, backtracks=3284594, failedAssignments=161771605, nogoods=62404
728.81/724.56	    nFilterCalls=1946, avgTableProportion=0.5, avgTableSize=1.0
728.81/724.56	    
820.86/816.45	    num=150, depth=21..49, filters=177952108, revisions=(1050130451,useless=872180095), ccks=623769298, wck=813.72, mem=57M728
820.86/816.45	    decisions=355901869, wrong=177948783, backtracks=3476793, failedAssignments=177948783, nogoods=63536
820.86/816.45	    nFilterCalls=1963, avgTableProportion=0.5, avgTableSize=1.0
820.86/816.45	    
913.32/908.75	    num=151, depth=20..49, filters=195747038, revisions=(1178294906,useless=982549637), ccks=698206397, wck=906.021, mem=62M318
913.32/908.75	    decisions=391491694, wrong=195743679, backtracks=3683918, failedAssignments=195743679, nogoods=64310
913.32/908.75	    nFilterCalls=1980, avgTableProportion=0.5, avgTableSize=1.0
913.32/908.75	    
1026.49/1021.77	    num=152, depth=22..48, filters=215321456, revisions=(1352883482,useless=1137563812), ccks=796664296, wck=1019.04, mem=63M570
1026.49/1021.77	    decisions=430640509, wrong=215318064, backtracks=4006426, failedAssignments=215318064, nogoods=66355
1026.49/1021.77	    nFilterCalls=1997, avgTableProportion=0.5, avgTableSize=1.0
1026.49/1021.77	    
1137.17/1132.23	    num=153, depth=21..48, filters=236853313, revisions=(1500479429,useless=1263627919), ccks=881863212, wck=1129.498, mem=61M918
1137.17/1132.23	    decisions=473704201, wrong=236849888, backtracks=4319000, failedAssignments=236849888, nogoods=68468
1137.17/1132.23	    nFilterCalls=2014, avgTableProportion=0.5, avgTableSize=1.0
1137.17/1132.23	    
1244.43/1239.31	    num=154, depth=21..48, filters=260538353, revisions=(1623899163,useless=1363362630), ccks=956584270, wck=1236.584, mem=65M460
1244.43/1239.31	    decisions=521074256, wrong=260534894, backtracks=4626818, failedAssignments=260534894, nogoods=70551
1244.43/1239.31	    nFilterCalls=2031, avgTableProportion=0.5, avgTableSize=1.0
1244.43/1239.31	    
1372.22/1366.94	    num=155, depth=21..45, filters=286591894, revisions=(1779961318,useless=1493371261), ccks=1050318515, wck=1364.215, mem=60M620
1372.22/1366.94	    decisions=573181311, wrong=286588401, backtracks=4935774, failedAssignments=286588401, nogoods=72469
1372.22/1366.94	    nFilterCalls=2048, avgTableProportion=0.5, avgTableSize=1.0
1372.22/1366.94	    
1481.49/1476.11	    num=156, depth=29..42, filters=315250785, revisions=(1884196205,useless=1568947274), ccks=1118443812, wck=1473.377, mem=88M879
1481.49/1476.11	    decisions=630499062, wrong=315247259, backtracks=5528343, failedAssignments=315247259, nogoods=73896
1481.49/1476.11	    nFilterCalls=2065, avgTableProportion=0.5, avgTableSize=1.0
1481.49/1476.11	    
1650.13/1644.45	    num=157, depth=20..45, filters=346775563, revisions=(2109515463,useless=1762741771), ccks=1247722192, wck=1641.722, mem=49M633
1650.13/1644.45	    decisions=693548593, wrong=346772003, backtracks=6469898, failedAssignments=346772003, nogoods=75319
1650.13/1644.45	    nFilterCalls=2082, avgTableProportion=0.5, avgTableSize=1.0
1650.13/1644.45	    
1833.27/1827.30	    num=158, depth=21..46, filters=381452814, revisions=(2367277738,useless=1985826812), ccks=1397630261, wck=1824.571, mem=84M219
1833.27/1827.30	    decisions=762903071, wrong=381449221, backtracks=6917002, failedAssignments=381449221, nogoods=77312
1833.27/1827.30	    nFilterCalls=2099, avgTableProportion=0.5, avgTableSize=1.0
1833.27/1827.30	    
2017.19/2011.07	    num=159, depth=21..49, filters=419597788, revisions=(2579199643,useless=2159603760), ccks=1523814861, wck=2008.343, mem=87M895
2017.19/2011.07	    decisions=839192998, wrong=419594161, backtracks=7297751, failedAssignments=419594161, nogoods=79209
2017.19/2011.07	    nFilterCalls=2116, avgTableProportion=0.5, avgTableSize=1.0
2017.19/2011.07	    
2219.14/2212.77	    num=160, depth=21..49, filters=461557255, revisions=(2837705235,useless=2376149902), ccks=1678823072, wck=2210.039, mem=58M423
2219.14/2212.77	    decisions=923111911, wrong=461553595, backtracks=7761181, failedAssignments=461553595, nogoods=81400
2219.14/2212.77	    nFilterCalls=2133, avgTableProportion=0.5, avgTableSize=1.0
2219.14/2212.77	    
2491.47/2484.79	    num=161, depth=21..49, filters=507712665, revisions=(3211093430,useless=2703382704), ccks=1889853789, wck=2482.058, mem=62M172
2491.47/2484.79	    decisions=1015422710, wrong=507708972, backtracks=8165346, failedAssignments=507708972, nogoods=83480
2491.47/2484.79	    nFilterCalls=2150, avgTableProportion=0.5, avgTableSize=1.0
2491.47/2484.79

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390625-1568380516/watcher-4390625-1568380516 -o /tmp/evaluation-result-4390625-1568380516/solver-4390625-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390625-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=19808, runsolver pid=19801

[startup+0.100152 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 19811
/proc/meminfo: memFree=31104588/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=109440 memory=5436 CPUtime=0 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 1679 0 0 0 0 0 0 0 20 0 2 0 414318467 112066560 1359 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 27360 1359 1029 1 0 16810 0
[pid=19808/tid=19810] ppid=19801 vsize=109440 memory=-8439527450518781933 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) D 19801 19808 19747 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 2 0 414318474 112066560 1359 33554432000 4194304 4196468 140727543386704 140374895461584 140374883904045 0 4 0 16784584 18446744072101731876 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109440 KiB
Current children cumulated memory: 5436 KiB

[startup+0.209452 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 19825
/proc/meminfo: memFree=31084188/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=10260324 memory=20088 CPUtime=0.02 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 3890 0 0 0 2 0 0 0 20 0 9 0 414318467 10506571776 5022 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2565081 5022 2110 1 0 2527622 0
[pid=19808/tid=19810] ppid=19801 vsize=10260324 memory=7900017517374083699 CPUtime=0.02 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) R 19801 19808 19747 0 -1 4202560 2539 0 0 0 2 0 0 0 20 0 9 0 414318474 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374895460208 140374891246749 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10260324 memory=4211974027512810890 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10260324 memory=140301308020352 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374194439200 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5022 33554432000 4194304 4196468 140727543386704 140374193386416 140374891235029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20088 KiB

[startup+0.309964 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 19825
/proc/meminfo: memFree=31083536/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=10260324 memory=20784 CPUtime=0.04 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 4084 0 0 0 4 0 0 0 20 0 9 0 414318467 10506571776 5196 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2565081 5196 2188 1 0 2527622 0
[pid=19808/tid=19810] ppid=19801 vsize=10260324 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) D 19801 19808 19747 0 -1 1077944384 2731 0 0 0 3 0 0 0 20 0 9 0 414318474 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374895459864 140374883902837 0 4 0 16800971 18446744072101731876 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10260324 memory=3977295499660704336 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10260324 memory=140301308020352 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414318485 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10260324 memory=140301308020352 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374194439200 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10260324 memory=140301308020352 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414318487 10506571776 5196 33554432000 4194304 4196468 140727543386704 140374193386352 140374891235029 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20784 KiB

[startup+0.700685 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 19837
/proc/meminfo: memFree=31066516/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=10659884 memory=40304 CPUtime=0.5 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 9560 0 0 0 47 3 0 0 20 0 15 0 414318467 10915721216 10076 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2664971 10076 3028 1 0 2627468 0
[pid=19808/tid=19810] ppid=19801 vsize=10660908 memory=170278273456854 CPUtime=0.32 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) R 19801 19808 19747 0 -1 4202560 6539 0 0 0 29 3 0 0 20 0 15 0 414318474 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374895445440 140374883904541 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10660908 memory=280602293874256 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318485 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10660908 memory=280602293458824 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318485 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318485 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318485 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10659884 memory=140301308019185 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318487 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318487 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374194439200 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318487 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374193386352 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318502 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10660908 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 414318502 10916769792 10076 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10659884 memory=2471351027201 CPUtime=0.04 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 429 0 0 0 4 0 0 0 20 0 15 0 414318502 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10659884 memory=546658105 CPUtime=0.08 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 642 0 0 0 8 0 0 0 20 0 15 0 414318502 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10659884 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318502 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318509 10915721216 10076 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40304 KiB

[startup+1.50078 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 19837
/proc/meminfo: memFree=31013768/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=10663980 memory=69004 CPUtime=1.57 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 15851 0 0 0 152 5 0 0 20 0 15 0 414318467 10919915520 17251 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2665995 17251 3080 1 0 2628492 0
[pid=19808/tid=19810] ppid=19801 vsize=10663980 memory=90 CPUtime=1.1 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) R 19801 19808 19747 0 -1 4202560 10959 0 0 0 106 4 0 0 20 0 15 0 414318474 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374895452688 140374874425421 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10663980 memory=140301146952261 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318485 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318485 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10663980 memory=-6948047529741492128 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318485 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10663980 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318485 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414318487 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318487 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374194439200 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10663980 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318487 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374193386352 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318502 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10663980 memory=140301146585530 CPUtime=0.14 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 1222 0 0 0 14 0 0 0 20 0 15 0 414318502 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10663980 memory=5931329015121990736 CPUtime=0.12 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 1177 0 0 0 12 0 0 0 20 0 15 0 414318502 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10663980 memory=4638778398332965738 CPUtime=0.19 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 1130 0 0 0 19 0 0 0 20 0 15 0 414318502 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10663980 memory=5787213848606435153 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318502 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318509 10919915520 17251 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 69004 KiB

[startup+3.11012 s]
/proc/loadavg: 0.00 0.01 0.05 8/229 19839
/proc/meminfo: memFree=30763488/32770624 swapFree=66966924/67108860
[pid=19808] ppid=19801 vsize=10748324 memory=164112 CPUtime=4.98 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 27409 0 0 0 484 14 0 0 20 0 16 0 414318467 11006283776 41028 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2687081 41028 3348 1 0 2647217 0
[pid=19808/tid=19810] ppid=19801 vsize=10748324 memory=75896 CPUtime=1.87 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) S 19801 19808 19747 0 -1 1077944384 13973 0 0 0 181 6 0 0 20 0 16 0 414318474 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374895467696 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10748324 memory=9252 CPUtime=0.01 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 414318485 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 414318485 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10748324 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414318485 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10748324 memory=15537410121403872 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 16 0 414318485 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 695 0 0 0 1 0 0 0 20 0 16 0 414318487 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374194439264 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374193386368 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10748324 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) R 19801 19808 19747 0 -1 4202560 2319 0 0 0 80 0 0 0 20 0 16 0 414318502 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374191269488 140374870481504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10748324 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) R 19801 19808 19747 0 -1 4202560 2824 0 0 0 84 0 0 0 20 0 16 0 414318502 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374190210536 140374876149217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10748324 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) R 19801 19808 19747 0 -1 1077944384 2308 0 0 0 59 0 0 0 20 0 16 0 414318502 11006283776 41028 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0

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

/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1604 0 0 0 111 6 0 0 20 0 16 0 414318485 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.5 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 4809 0 0 0 45 5 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374194439264 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374193386368 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.1 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 4139 0 0 0 110 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10748324 memory=164 CPUtime=1.2 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 4344 0 0 0 119 1 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.69 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 8120 0 0 0 68 1 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.68 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 844 0 0 0 26 42 0 0 20 0 16 0 414318509 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19839] ppid=19801 vsize=10748324 memory=1804 CPUtime=2378.12 cores=0,2,4,6
/proc/19808/task/19839/stat : 19839 (java) R 19801 19808 19747 0 -1 4202560 14146 0 0 0 237806 6 0 0 20 0 16 0 414318697 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374170119440 140374517611080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 2388.97 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203984 KiB

[startup+2442.3 s]
/proc/loadavg: 1.89 1.89 1.77 4/229 20063
/proc/meminfo: memFree=29657900/32770624 swapFree=66966928/67108860
[pid=19808] ppid=19801 vsize=10748324 memory=203984 CPUtime=2449.03 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 67672 0 0 0 244833 70 0 0 20 0 16 0 414318467 11006283776 50996 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2687081 50996 3375 1 0 2647217 0
[pid=19808/tid=19810] ppid=19801 vsize=10748324 memory=1552 CPUtime=1.87 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) S 19801 19808 19747 0 -1 1077944384 13973 0 0 0 181 6 0 0 20 0 16 0 414318474 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374895467696 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.2 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 5329 0 0 0 115 5 0 0 20 0 16 0 414318485 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.19 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 3939 0 0 0 113 6 0 0 20 0 16 0 414318485 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.19 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 4797 0 0 0 112 7 0 0 20 0 16 0 414318485 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.19 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1624 0 0 0 113 6 0 0 20 0 16 0 414318485 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.52 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 4854 0 0 0 47 5 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374194439264 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374193386368 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.1 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 4139 0 0 0 110 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.2 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 4344 0 0 0 119 1 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.69 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 8120 0 0 0 68 1 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10748324 memory=203984 CPUtime=0.7 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 872 0 0 0 27 43 0 0 20 0 16 0 414318509 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19839] ppid=19801 vsize=10748324 memory=203984 CPUtime=2438.09 cores=0,2,4,6
/proc/19808/task/19839/stat : 19839 (java) R 19801 19808 19747 0 -1 4202560 14247 0 0 0 243803 6 0 0 20 0 16 0 414318697 11006283776 50996 33554432000 4194304 4196468 140727543386704 140374170120128 140374520478428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 2449.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 203984 KiB

[startup+2502.3 s]
/proc/loadavg: 1.73 1.85 1.76 4/229 20067
/proc/meminfo: memFree=29657628/32770624 swapFree=66966928/67108860
[pid=19808] ppid=19801 vsize=10748324 memory=204000 CPUtime=2509.11 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 68112 0 0 0 250840 71 0 0 20 0 16 0 414318467 11006283776 51000 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2687081 51000 3375 1 0 2647217 0
[pid=19808/tid=19810] ppid=19801 vsize=10748324 memory=204000 CPUtime=1.87 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) S 19801 19808 19747 0 -1 1077944384 13973 0 0 0 181 6 0 0 20 0 16 0 414318474 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374895467696 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.22 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 5346 0 0 0 117 5 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10748324 memory=203984 CPUtime=1.21 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 3963 0 0 0 115 6 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10748324 memory=203992 CPUtime=1.21 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 4872 0 0 0 114 7 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10748324 memory=204000 CPUtime=1.21 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1643 0 0 0 115 6 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10748324 memory=204000 CPUtime=0.54 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 4861 0 0 0 48 6 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10748324 memory=203984 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374194439264 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10748324 memory=203992 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374193386368 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10748324 memory=203992 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10748324 memory=1980 CPUtime=1.1 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 4139 0 0 0 110 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10748324 memory=2572 CPUtime=1.2 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 4344 0 0 0 119 1 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10748324 memory=6791534058613427641 CPUtime=0.69 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 8120 0 0 0 68 1 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10748324 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10748324 memory=6791534058613427641 CPUtime=0.72 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 876 0 0 0 28 44 0 0 20 0 16 0 414318509 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19839] ppid=19801 vsize=10748324 memory=984 CPUtime=2498.05 cores=0,2,4,6
/proc/19808/task/19839/stat : 19839 (java) R 19801 19808 19747 0 -1 4202560 14541 0 0 0 249799 6 0 0 20 0 16 0 414318697 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374170120016 140374517462246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 2509.11 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.2 s]
/proc/loadavg: 1.70 1.83 1.76 3/228 20146
/proc/meminfo: memFree=30826912/32770624 swapFree=66966928/67108860
[pid=19808] ppid=19801 vsize=10748324 memory=204000 CPUtime=2520.03 cores=0,2,4,6
/proc/19808/stat : 19808 (java) S 19801 19808 19747 0 -1 1077944320 68119 0 0 0 251932 71 0 0 20 0 16 0 414318467 11006283776 51000 33554432000 4194304 4196468 140727543386704 140727543369248 140374891224823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
/proc/19808/statm: 2687081 51000 3375 1 0 2647217 0
[pid=19808/tid=19810] ppid=19801 vsize=10748324 memory=204000 CPUtime=1.87 cores=0,2,4,6
/proc/19808/task/19810/stat : 19810 (java) S 19801 19808 19747 0 -1 1077944384 13973 0 0 0 181 6 0 0 20 0 16 0 414318474 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374895467696 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19812] ppid=19801 vsize=10748324 memory=280602293387584 CPUtime=1.22 cores=0,2,4,6
/proc/19808/task/19812/stat : 19812 (java) S 19801 19808 19747 0 -1 1077944384 5346 0 0 0 117 5 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374833228944 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19813] ppid=19801 vsize=10748324 memory=5787213827080217956 CPUtime=1.21 cores=0,2,4,6
/proc/19808/task/19813/stat : 19813 (java) S 19801 19808 19747 0 -1 1077944384 3963 0 0 0 115 6 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374497352720 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19814] ppid=19801 vsize=10748324 memory=6154282490091891024 CPUtime=1.22 cores=0,2,4,6
/proc/19808/task/19814/stat : 19814 (java) S 19801 19808 19747 0 -1 1077944384 4872 0 0 0 115 7 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374496299920 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19815] ppid=19801 vsize=10748324 memory=6791534058613427641 CPUtime=1.21 cores=0,2,4,6
/proc/19808/task/19815/stat : 19815 (java) S 19801 19808 19747 0 -1 1077944384 1643 0 0 0 115 6 0 0 20 0 16 0 414318485 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374495247120 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19821] ppid=19801 vsize=10748324 memory=1520 CPUtime=0.54 cores=0,2,4,6
/proc/19808/task/19821/stat : 19821 (java) S 19801 19808 19747 0 -1 1077944384 4863 0 0 0 48 6 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374195493232 140374891235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19823] ppid=19801 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19823/stat : 19823 (java) S 19801 19808 19747 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374194439264 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19825] ppid=19801 vsize=10748324 memory=2572 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19825/stat : 19825 (java) S 19801 19808 19747 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414318487 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374193386368 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19831] ppid=19801 vsize=10748324 memory=900 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19831/stat : 19831 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374192334672 140374891243419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19832] ppid=19801 vsize=10748324 memory=1432 CPUtime=1.1 cores=0,2,4,6
/proc/19808/task/19832/stat : 19832 (java) S 19801 19808 19747 0 -1 1077944384 4139 0 0 0 110 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374191283056 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19833] ppid=19801 vsize=10748324 memory=1764 CPUtime=1.2 cores=0,2,4,6
/proc/19808/task/19833/stat : 19833 (java) S 19801 19808 19747 0 -1 1077944384 4344 0 0 0 119 1 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374190230256 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19834] ppid=19801 vsize=10748324 memory=111632 CPUtime=0.69 cores=0,2,4,6
/proc/19808/task/19834/stat : 19834 (java) S 19801 19808 19747 0 -1 1077944384 8120 0 0 0 68 1 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374189177456 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19835] ppid=19801 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19808/task/19835/stat : 19835 (java) S 19801 19808 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318502 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374188124896 140374891235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19837] ppid=19801 vsize=10748324 memory=1804 CPUtime=0.72 cores=0,2,4,6
/proc/19808/task/19837/stat : 19837 (java) S 19801 19808 19747 0 -1 1077944384 878 0 0 0 28 44 0 0 20 0 16 0 414318509 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374187072176 140374891235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
[pid=19808/tid=19839] ppid=19801 vsize=10748324 memory=920 CPUtime=2508.95 cores=0,2,4,6
/proc/19808/task/19839/stat : 19839 (java) R 19801 19808 19747 0 -1 4202560 14544 0 0 0 250889 6 0 0 20 0 16 0 414318697 11006283776 51000 33554432000 4194304 4196468 140727543386704 140374170120128 140374520801445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29679616 140727543395339 140727543395442 140727543395442 140727543398351 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 204000 KiB

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

[startup+2513.21 s]
# the end of solver process 19808 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.33 s, system=0.721263 s

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

Child status: 143
Real time (s): 2513.21
CPU time (s): 2520.05
CPU user time (s): 2519.33
CPU system time (s): 0.721263
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 303300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.33
system time used= 0.721263
maximum resident set size= 303304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68426
page faults= 0
swaps= 0
block input operations= 536
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69130
involuntary context switches= 3131


# summary of solver processes directly reported to runsolver:
#   pid: 19808
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.33
#   total CPU system time (s): 0.721263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5751 second user time and 22.3204 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-13 15:14:34
IDJOB=4390625
IDBENCH=120419
IDSOLVER=2832
FILE ID=node125/4390625-1568380516
RUNJOBID= node125-1568380474-19778
PBS_JOBID= 21701839
Free space on /tmp= 57380 MiB

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

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

MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=1983991887

node125.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.29
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.29
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.29
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.29
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:        31106820 kB
MemAvailable:   31879996 kB
Buffers:           91580 kB
Cached:           976740 kB
SwapCached:        38216 kB
Active:           565564 kB
Inactive:         542784 kB
Active(anon):      20788 kB
Inactive(anon):    59496 kB
Active(file):     544776 kB
Inactive(file):   483288 kB
Unevictable:      109356 kB
Mlocked:          109356 kB
SwapTotal:      67108860 kB
SwapFree:       66966924 kB
Dirty:             17180 kB
Writeback:             0 kB
AnonPages:        112620 kB
Mapped:            43312 kB
Shmem:             31156 kB
Slab:             149924 kB
SReclaimable:     121892 kB
SUnreclaim:        28032 kB
KernelStack:        3280 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 57360 MiB
End job on node125 at 2019-09-13 15:56:27