Trace number 4390465

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-23SAT 239.324 236.848

DiagnosticValue
WRONG_DECISIONS175050

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-18-047.xml
MD5SUM503235a9ef2fa2334058f0cfe41dccf4
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 benchmark4.71301
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints153
Number of domains18
Minimum domain size30
Maximum domain size47
Distribution of domain sizes[{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2}]
Minimum variable degree17
Maximum variable degree17
Distribution of variable degrees[{"degree":17,"count":36}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":153}]
Number of extensional constraints0
Number of intensional constraints153
Distribution of constraint types[{"type":"intension","count":153}]
Optimization problemNO
Type of objective

Solver Data 

2.40/1.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
2.91/2.05	  Instance
2.91/2.05	    name=instance-4390465-1568388030, framework=CSP
2.91/2.05	
2.91/2.05	  Loading variables...
2.91/2.08	  Loading constraints...
3.51/2.27	
3.51/2.27	  Domains
3.51/2.27	    nTypes=18, nValues=1386, sizes=[30#2,31#2,32#2,33#2...44#2,45#2,46#2,47#2]
3.51/2.27	  Variables
3.51/2.27	    count=36, degrees=[17#36]
3.51/2.28	  Constraints
3.51/2.28	    count=153, arities=[4#153]
3.51/2.28	    distribution=[CtrIntension#153]
3.51/2.28	    nIntStructures=(153,shared:0)
3.51/2.28	    wck=0.427, cpu=2.237, mem=42M367
3.51/2.28	  Solver SolverBacktrack being built...
3.51/2.28	
4.15/2.43	
4.15/2.43	  Solver
4.15/2.43	    guaranteedGAC=false
4.15/2.43	    wck=0.458, cpu=2.267, mem=53M9
4.15/2.43	
4.15/2.43	  Preprocessing
4.15/2.43	    filters=0, revisions=(24,useless=24), ccks=19302, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.15/2.43	    wck=0.014, cpu=2.281, mem=53M9
4.15/2.43	
4.15/2.43	    num=0, depth=22..22, filters=323, revisions=(2418,useless=2078), ccks=150570, wck=0.085, mem=55M652
4.15/2.43	    decisions=42, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.15/2.43	    
4.15/2.45	    num=1, depth=17..18, filters=489, revisions=(4387,useless=3868), ccks=299080, wck=0.146, mem=55M652
4.15/2.45	    decisions=84, wrong=22, backtracks=1, failedAssignments=21, nogoods=13
4.15/2.45	    
4.15/2.49	    num=2, depth=19..19, filters=636, revisions=(6370,useless=5700), ccks=406152, wck=0.189, mem=55M652
4.15/2.49	    decisions=127, wrong=34, backtracks=1, failedAssignments=33, nogoods=25
4.15/2.49	    
4.44/2.61	    num=3, depth=7..8, filters=742, revisions=(8517,useless=7735), ccks=717565, wck=0.306, mem=55M652
4.44/2.61	    decisions=162, wrong=48, backtracks=2, failedAssignments=46, nogoods=28
4.44/2.61	    
4.54/2.71	    num=4, depth=9..9, filters=803, revisions=(9822,useless=8977), ccks=959485, wck=0.406, mem=58M294
4.54/2.71	    decisions=199, wrong=62, backtracks=2, failedAssignments=60, nogoods=42
4.54/2.71	    
4.54/2.77	    num=5, depth=6..9, filters=868, revisions=(11222,useless=10312), ccks=1130569, wck=0.471, mem=58M294
4.54/2.77	    decisions=240, wrong=78, backtracks=2, failedAssignments=76, nogoods=58
4.54/2.77	    
4.88/3.02	    num=6, depth=5..7, filters=979, revisions=(14013,useless=12990), ccks=1804098, wck=0.721, mem=58M294
4.88/3.02	    decisions=283, wrong=97, backtracks=4, failedAssignments=93, nogoods=64
4.88/3.02	    
4.98/3.11	    num=7, depth=9..12, filters=1064, revisions=(15988,useless=14880), ccks=2047430, wck=0.812, mem=58M294
4.98/3.11	    decisions=335, wrong=117, backtracks=5, failedAssignments=112, nogoods=80
4.98/3.11	    
4.98/3.19	    num=8, depth=7..12, filters=1155, revisions=(17872,useless=16672), ccks=2238241, wck=0.885, mem=58M294
4.98/3.19	    decisions=389, wrong=138, backtracks=5, failedAssignments=133, nogoods=101
4.98/3.19	    
5.20/3.37	    num=9, depth=6..8, filters=1330, revisions=(21986,useless=20604), ccks=2718546, wck=1.066, mem=58M294
5.20/3.37	    decisions=449, wrong=165, backtracks=9, failedAssignments=156, nogoods=116
5.20/3.37	    
5.32/3.48	    num=10, depth=6..9, filters=1412, revisions=(23776,useless=22312), ccks=3007350, wck=1.176, mem=58M294
5.32/3.48	    decisions=508, wrong=190, backtracks=9, failedAssignments=181, nogoods=141
5.32/3.48	    
5.42/3.58	    num=11, depth=8..17, filters=1545, revisions=(26377,useless=24778), ccks=3281423, wck=1.281, mem=58M294
5.42/3.58	    decisions=581, wrong=218, backtracks=9, failedAssignments=209, nogoods=169
5.42/3.58	    
5.52/3.69	    num=12, depth=7..13, filters=1687, revisions=(29530,useless=27785), ccks=3555055, wck=1.387, mem=58M294
5.52/3.69	    decisions=658, wrong=250, backtracks=10, failedAssignments=240, nogoods=192
5.52/3.69	    
5.76/3.83	    num=13, depth=6..8, filters=1965, revisions=(35096,useless=33065), ccks=3905194, wck=1.524, mem=58M294
5.76/3.83	    decisions=747, wrong=291, backtracks=18, failedAssignments=274, nogoods=198
5.76/3.83	    
5.86/3.96	    num=14, depth=10..15, filters=2132, revisions=(37900,useless=35694), ccks=4257538, wck=1.658, mem=58M294
5.86/3.96	    decisions=836, wrong=328, backtracks=18, failedAssignments=311, nogoods=235
5.86/3.96	    
5.97/4.09	    num=15, depth=9..10, filters=2605, revisions=(44726,useless=42022), ccks=4590767, wck=1.79, mem=58M294
5.97/4.09	    decisions=936, wrong=373, backtracks=22, failedAssignments=352, nogoods=244
5.97/4.09	    
6.17/4.22	    num=16, depth=11..15, filters=2782, revisions=(48226,useless=45344), ccks=4921861, wck=1.917, mem=58M294
6.17/4.22	    decisions=1043, wrong=420, backtracks=24, failedAssignments=397, nogoods=278
6.17/4.22	    
6.28/4.39	    num=17, depth=8..9, filters=3158, revisions=(55502,useless=52220), ccks=5378500, wck=2.093, mem=58M294
6.28/4.39	    decisions=1162, wrong=475, backtracks=29, failedAssignments=447, nogoods=285
6.28/4.39	    
6.48/4.57	    num=18, depth=9..24, filters=3358, revisions=(59211,useless=55728), ccks=5828841, wck=2.264, mem=58M294
6.48/4.57	    decisions=1296, wrong=530, backtracks=29, failedAssignments=502, nogoods=340
6.48/4.57	    
6.68/4.77	    num=19, depth=8..10, filters=4012, revisions=(68805,useless=64637), ccks=6346929, wck=2.467, mem=58M294
6.68/4.77	    decisions=1438, wrong=597, backtracks=36, failedAssignments=563, nogoods=365
6.68/4.77	    
6.79/4.88	    num=20, depth=7..16, filters=4218, revisions=(72460,useless=68085), ccks=6631607, wck=2.578, mem=58M294
6.79/4.88	    decisions=1588, wrong=664, backtracks=36, failedAssignments=630, nogoods=432
6.79/4.88	    
7.00/5.09	    num=21, depth=10..26, filters=4523, revisions=(77309,useless=72628), ccks=7197196, wck=2.793, mem=58M294
7.00/5.09	    decisions=1762, wrong=739, backtracks=37, failedAssignments=704, nogoods=506
7.00/5.09	    
7.60/5.69	    num=22, depth=8..10, filters=5493, revisions=(91718,useless=86018), ccks=8781377, wck=3.389, mem=60M936
7.60/5.69	    decisions=1953, wrong=830, backtracks=48, failedAssignments=785, nogoods=521
7.60/5.69	    
7.80/5.85	    num=23, depth=9..20, filters=5853, revisions=(97541,useless=91479), ccks=9190182, wck=3.549, mem=60M936
7.80/5.85	    decisions=2153, wrong=920, backtracks=49, failedAssignments=874, nogoods=601
7.80/5.85	    
8.51/6.52	    num=24, depth=7..11, filters=6748, revisions=(113388,useless=106399), ccks=10965996, wck=4.219, mem=60M936
8.51/6.52	    decisions=2394, wrong=1036, backtracks=68, failedAssignments=972, nogoods=616
8.51/6.52	    
9.61/7.67	    num=25, depth=4..12, filters=7419, revisions=(128800,useless=121116), ccks=14065772, wck=5.369, mem=60M936
9.61/7.67	    decisions=2656, wrong=1161, backtracks=86, failedAssignments=1080, nogoods=627
9.61/7.67	    
9.82/7.89	    num=26, depth=7..22, filters=7928, revisions=(135969,useless=127770), ccks=14647821, wck=5.593, mem=60M936
9.82/7.89	    decisions=2923, wrong=1287, backtracks=93, failedAssignments=1199, nogoods=662
9.82/7.89	    
10.13/8.13	    num=27, depth=8..16, filters=8334, revisions=(143159,useless=134552), ccks=15254122, wck=5.826, mem=60M936
10.13/8.13	    decisions=3202, wrong=1420, backtracks=98, failedAssignments=1330, nogoods=695
10.13/8.13	    
10.52/8.57	    num=28, depth=5..18, filters=8815, revisions=(151173,useless=142082), ccks=16435076, wck=6.27, mem=60M936
10.52/8.57	    decisions=3516, wrong=1568, backtracks=102, failedAssignments=1474, nogoods=790
10.52/8.57	    
11.22/9.29	    num=29, depth=8..12, filters=10590, revisions=(175682,useless=164733), ccks=18305764, wck=6.985, mem=60M936
11.22/9.29	    decisions=3894, wrong=1753, backtracks=130, failedAssignments=1632, nogoods=795
11.22/9.29	    
11.52/9.55	    num=30, depth=8..24, filters=11169, revisions=(184760,useless=173231), ccks=18985269, wck=7.245, mem=60M936
11.52/9.55	    decisions=4271, wrong=1932, backtracks=135, failedAssignments=1806, nogoods=902
11.52/9.55	    
11.82/9.87	    num=31, depth=4..19, filters=11906, revisions=(198009,useless=185740), ccks=19806153, wck=7.565, mem=63M579
11.82/9.87	    decisions=4677, wrong=2126, backtracks=139, failedAssignments=1997, nogoods=1041
11.82/9.87	    
12.44/10.49	    num=32, depth=5..20, filters=12758, revisions=(211063,useless=197923), ccks=21463346, wck=8.19, mem=63M579
12.44/10.49	    decisions=5126, wrong=2342, backtracks=145, failedAssignments=2208, nogoods=1134
12.44/10.49	    
13.05/11.08	    num=33, depth=9..21, filters=13613, revisions=(224081,useless=210074), ccks=23000601, wck=8.775, mem=63M579
13.05/11.08	    decisions=5629, wrong=2583, backtracks=155, failedAssignments=2440, nogoods=1235
13.05/11.08	    
14.64/12.60	    num=34, depth=7..14, filters=16192, revisions=(263884,useless=247202), ccks=27040379, wck=10.297, mem=63M579
14.64/12.60	    decisions=6240, wrong=2885, backtracks=203, failedAssignments=2695, nogoods=1269
14.64/12.60	    
15.65/13.60	    num=35, depth=8..20, filters=17176, revisions=(279023,useless=261357), ccks=29742613, wck=11.301, mem=63M579
15.65/13.60	    decisions=6869, wrong=3191, backtracks=228, failedAssignments=2976, nogoods=1313
15.65/13.60	    
15.95/13.96	    num=36, depth=6..21, filters=18184, revisions=(296072,useless=277392), ccks=30652319, wck=11.658, mem=63M579
15.95/13.96	    decisions=7523, wrong=3509, backtracks=240, failedAssignments=3285, nogoods=1411
15.95/13.96	    
16.49/14.49	    num=37, depth=10..22, filters=19361, revisions=(314174,useless=294317), ccks=32028207, wck=12.188, mem=66M221
16.49/14.49	    decisions=8262, wrong=3870, backtracks=264, failedAssignments=3625, nogoods=1445
16.49/14.49	    
17.10/15.06	    num=38, depth=4..19, filters=20695, revisions=(335670,useless=314479), ccks=33503066, wck=12.758, mem=66M221
17.10/15.06	    decisions=9048, wrong=4254, backtracks=275, failedAssignments=3999, nogoods=1564
17.10/15.06	    
17.79/15.71	    num=39, depth=9..18, filters=22240, revisions=(358608,useless=335850), ccks=35183584, wck=13.404, mem=66M221
17.79/15.71	    decisions=9908, wrong=4677, backtracks=293, failedAssignments=4410, nogoods=1589
17.79/15.71	    
18.59/16.42	    num=40, depth=12..20, filters=23748, revisions=(382704,useless=358418), ccks=37054650, wck=14.122, mem=66M221
18.59/16.42	    decisions=10867, wrong=5149, backtracks=320, failedAssignments=4862, nogoods=1680
18.59/16.42	    
19.14/16.99	    num=41, depth=10..19, filters=25214, revisions=(409649,useless=383891), ccks=38506065, wck=14.69, mem=66M221
19.14/16.99	    decisions=11897, wrong=5657, backtracks=338, failedAssignments=5359, nogoods=1734
19.14/16.99	    
20.04/17.85	    num=42, depth=8..18, filters=27277, revisions=(440343,useless=412516), ccks=40731911, wck=15.544, mem=68M864
20.04/17.85	    decisions=13087, wrong=6246, backtracks=387, failedAssignments=5906, nogoods=1776
20.04/17.85	    
21.94/19.77	    num=43, depth=11..19, filters=29234, revisions=(473591,useless=443780), ccks=45893137, wck=17.467, mem=68M864
21.94/19.77	    decisions=14385, wrong=6889, backtracks=436, failedAssignments=6508, nogoods=1820
21.94/19.77	    
22.45/20.29	    num=44, depth=10..29, filters=31825, revisions=(511958,useless=479546), ccks=47169826, wck=17.993, mem=68M864
22.45/20.29	    decisions=15772, wrong=7574, backtracks=461, failedAssignments=7170, nogoods=1920
22.45/20.29	    
23.05/20.87	    num=45, depth=10..18, filters=33716, revisions=(548121,useless=513816), ccks=48602508, wck=18.568, mem=71M506
23.05/20.87	    decisions=17243, wrong=8302, backtracks=496, failedAssignments=7898, nogoods=2003
23.05/20.87	    
25.36/23.16	    num=46, depth=8..17, filters=37125, revisions=(600574,useless=562737), ccks=54703146, wck=20.857, mem=71M506
25.36/23.16	    decisions=18982, wrong=9166, backtracks=569, failedAssignments=8699, nogoods=2062
25.36/23.16	    
26.36/24.18	    num=47, depth=4..20, filters=40247, revisions=(650368,useless=609406), ccks=57279674, wck=21.875, mem=74M149
26.36/24.18	    decisions=20838, wrong=10085, backtracks=614, failedAssignments=9580, nogoods=2165
26.36/24.18	    
27.65/25.42	    num=48, depth=10..19, filters=43442, revisions=(701698,useless=657526), ccks=60500365, wck=23.115, mem=74M149
27.65/25.42	    decisions=22847, wrong=11082, backtracks=676, failedAssignments=10550, nogoods=2208
27.65/25.42	    
30.45/28.26	    num=49, depth=8..19, filters=47284, revisions=(763078,useless=715011), ccks=68118987, wck=25.96, mem=74M149
30.45/28.26	    decisions=25180, wrong=12243, backtracks=772, failedAssignments=11617, nogoods=2273
30.45/28.26	    
33.15/30.95	    num=50, depth=3..22, filters=51603, revisions=(849209,useless=796782), ccks=75158524, wck=28.65, mem=76M791
33.15/30.95	    decisions=27658, wrong=13473, backtracks=841, failedAssignments=12790, nogoods=2438
33.15/30.95	    
34.55/32.33	    num=51, depth=8..20, filters=55883, revisions=(918904,useless=862190), ccks=78668532, wck=30.032, mem=79M433
34.55/32.33	    decisions=30353, wrong=14813, backtracks=922, failedAssignments=14081, nogoods=2505
34.55/32.33	    
39.15/36.99	    num=52, depth=8..19, filters=64063, revisions=(1048746,useless=983488), ccks=90981398, wck=34.691, mem=82M76
39.15/36.99	    decisions=33481, wrong=16370, backtracks=1065, failedAssignments=15501, nogoods=2536
39.15/36.99	    
40.86/38.67	    num=53, depth=10..21, filters=69269, revisions=(1134827,useless=1064357), ccks=95257113, wck=36.37, mem=82M76
40.86/38.67	    decisions=36758, wrong=18001, backtracks=1162, failedAssignments=17063, nogoods=2625
40.86/38.67	    
43.56/41.34	    num=54, depth=9..20, filters=75031, revisions=(1230772,useless=1154477), ccks=102202536, wck=39.042, mem=84M718
43.56/41.34	    decisions=40337, wrong=19783, backtracks=1268, failedAssignments=18781, nogoods=2671
43.56/41.34	    
49.96/47.78	    num=55, depth=7..18, filters=83471, revisions=(1379050,useless=1294164), ccks=119304111, wck=45.483, mem=87M361
49.96/47.78	    decisions=44411, wrong=21813, backtracks=1432, failedAssignments=20671, nogoods=2758
49.96/47.78	    
53.66/51.41	    num=56, depth=8..28, filters=91204, revisions=(1493855,useless=1401205), ccks=128766762, wck=49.107, mem=90M3
53.66/51.41	    decisions=48777, wrong=23989, backtracks=1552, failedAssignments=22750, nogoods=2855
53.66/51.41	    
57.88/55.66	    num=57, depth=8..18, filters=99265, revisions=(1626978,useless=1526170), ccks=139952175, wck=53.359, mem=92M646
57.88/55.66	    decisions=53611, wrong=26400, backtracks=1742, failedAssignments=25037, nogoods=2913
57.88/55.66	    
59.78/57.53	    num=58, depth=8..20, filters=107585, revisions=(1760843,useless=1651705), ccks=144507765, wck=55.229, mem=95M288
59.78/57.53	    decisions=58798, wrong=28987, backtracks=1870, failedAssignments=27553, nogoods=2930
59.78/57.53	    
63.18/60.90	    num=59, depth=9..19, filters=117123, revisions=(1920444,useless=1801732), ccks=153191167, wck=58.603, mem=97M931
63.18/60.90	    decisions=64470, wrong=31816, backtracks=2084, failedAssignments=30321, nogoods=3052
63.18/60.90	    
68.08/65.87	    num=60, depth=13..22, filters=129302, revisions=(2111768,useless=1980657), ccks=166093508, wck=63.565, mem=100M573
68.08/65.87	    decisions=71251, wrong=35197, backtracks=2496, failedAssignments=33365, nogoods=3129
68.08/65.87	    
71.18/68.95	    num=61, depth=8..22, filters=139701, revisions=(2285766,useless=2144120), ccks=173844275, wck=66.647, mem=105M858
71.18/68.95	    decisions=78195, wrong=38662, backtracks=2710, failedAssignments=36714, nogoods=3248
71.18/68.95	    
75.29/73.08	    num=62, depth=9..19, filters=151639, revisions=(2490956,useless=2337339), ccks=184404778, wck=70.78, mem=108M500
75.29/73.08	    decisions=85956, wrong=42534, backtracks=2967, failedAssignments=40398, nogoods=3296
75.29/73.08	    
90.08/87.90	    num=63, depth=6..21, filters=168715, revisions=(2757456,useless=2586573), ccks=224037000, wck=85.594, mem=116M428
90.08/87.90	    decisions=94846, wrong=46970, backtracks=3392, failedAssignments=44450, nogoods=3426
90.08/87.90	    
97.78/95.51	    num=64, depth=9..21, filters=185778, revisions=(3011561,useless=2823443), ccks=243992175, wck=93.212, mem=121M712
97.78/95.51	    decisions=104202, wrong=51639, backtracks=3668, failedAssignments=48907, nogoods=3523
97.78/95.51	    
102.49/100.26	    num=65, depth=8..20, filters=201711, revisions=(3275416,useless=3071281), ccks=255904525, wck=97.955, mem=126M997
102.49/100.26	    decisions=114297, wrong=56680, backtracks=3907, failedAssignments=53810, nogoods=3664
102.49/100.26	    
116.14/113.83	    num=66, depth=7..20, filters=221331, revisions=(3619204,useless=3394453), ccks=291865231, wck=111.526, mem=134M925
116.14/113.83	    decisions=125836, wrong=62444, backtracks=4485, failedAssignments=59204, nogoods=3755
116.14/113.83	    
123.84/121.59	    num=67, depth=10..22, filters=240860, revisions=(3952544,useless=3707776), ccks=311931562, wck=119.286, mem=140M210
123.84/121.59	    decisions=138188, wrong=68614, backtracks=4918, failedAssignments=65137, nogoods=3900
123.84/121.59	    
129.38/127.08	    num=68, depth=10..23, filters=264643, revisions=(4318304,useless=4049645), ccks=325605836, wck=124.777, mem=26M827
129.38/127.08	    decisions=151805, wrong=75413, backtracks=5298, failedAssignments=71663, nogoods=3968
129.38/127.08	    
136.98/134.63	    num=69, depth=11..20, filters=287867, revisions=(4735080,useless=4441855), ccks=345153411, wck=132.331, mem=34M595
136.98/134.63	    decisions=166691, wrong=82848, backtracks=6040, failedAssignments=78842, nogoods=4063
136.98/134.63	    
147.59/145.20	    num=70, depth=9..19, filters=316433, revisions=(5201679,useless=4878530), ccks=372750145, wck=142.898, mem=42M364
147.59/145.20	    decisions=183176, wrong=91084, backtracks=6637, failedAssignments=86739, nogoods=4172
147.59/145.20	    
154.21/151.82	    num=71, depth=12..22, filters=348084, revisions=(5677815,useless=5322810), ccks=389293388, wck=149.517, mem=52M722
154.21/151.82	    decisions=201297, wrong=100137, backtracks=7285, failedAssignments=95426, nogoods=4288
154.21/151.82	    
167.92/165.50	    num=72, depth=9..22, filters=382811, revisions=(6246768,useless=5854474), ccks=425291745, wck=163.202, mem=63M81
167.92/165.50	    decisions=221070, wrong=110016, backtracks=8247, failedAssignments=104981, nogoods=4410
167.92/165.50	    
190.04/187.62	    num=73, depth=10..19, filters=422068, revisions=(6943051,useless=6510212), ccks=483558706, wck=185.318, mem=76M28
190.04/187.62	    decisions=244557, wrong=121753, backtracks=9854, failedAssignments=115492, nogoods=4502
190.04/187.62	    
198.84/196.40	    num=74, depth=8..21, filters=457462, revisions=(7587499,useless=7118672), ccks=505253343, wck=194.102, mem=88M976
198.84/196.40	    decisions=268252, wrong=133592, backtracks=10607, failedAssignments=127054, nogoods=4606
198.84/196.40	    
207.15/204.73	    num=75, depth=8..20, filters=499136, revisions=(8358542,useless=7847788), ccks=525688813, wck=202.428, mem=101M924
207.15/204.73	    decisions=294512, wrong=146716, backtracks=11575, failedAssignments=139772, nogoods=4721
207.15/204.73	    
220.65/218.27	    num=76, depth=10..22, filters=550534, revisions=(9140943,useless=8578752), ccks=560235687, wck=215.97, mem=117M462
220.65/218.27	    decisions=323672, wrong=161287, backtracks=12365, failedAssignments=153762, nogoods=4801
220.65/218.27	    
239.26/236.84	    num=77, depth=13..35, filters=598526, revisions=(9962357,useless=9350941), ccks=608870839, wck=234.535, mem=132M999
239.26/236.84	    decisions=351223, wrong=175050, backtracks=13719, failedAssignments=166540, nogoods=4801, foundSolutions=1
239.26/236.84	    
239.26/236.84	  Global
239.26/236.84	    filters=598526, revisions=(9962357,useless=9350941), ccks=608870839, nogoods=4801
239.26/236.84	    Stop=REACHED_GOAL, wrong=175050, foundSolutions=1, firstSolCpu=236.799
239.26/236.84	    wck=234.994, cpu=236.804, mem=132M999
239.26/236.84	
239.26/236.84	v <instantiation id='sol1' type='solution'>  <list> x[] y[] </list>  <values> 46 8 43 43 41 8 34 0 34 13 23 0 0 0 32 31 14 14 4 33 4 0 9 27 9 27 0 0 0 35 0 13 16 31 29 11 </values>  </instantiation>
239.26/236.84	s SATISFIABLE
239.26/236.84	
239.26/236.84	d WRONG_DECISIONS 175050

Verifier Data 

OK

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

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

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

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

solver pid=9368, runsolver pid=9365

[startup+0.100118 s]*
/proc/loadavg: 1.98 2.00 1.96 5/235 9383
/proc/meminfo: memFree=30257024/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10659884 memory=29156 CPUtime=0.13 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 5866 0 0 0 13 0 0 0 20 0 15 0 415042598 10915721216 7289 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2664971 7289 2900 1 0 2627468 0
[pid=9368/tid=9370] ppid=9365 vsize=10659884 memory=-8536680230626882752 CPUtime=0.09 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) R 9365 9368 6511 0 -1 4202560 3248 0 0 0 9 0 0 0 20 0 15 0 415042598 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626944908384 139626578594815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626430837792 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415042601 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626429784944 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0.02 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) R 9365 9368 6511 0 -1 4202560 572 0 0 0 2 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626425572856 139626924991425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 7289 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29156 KiB

[startup+0.211369 s]*
/proc/loadavg: 1.98 2.00 1.96 4/235 9383
/proc/meminfo: memFree=30245968/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10659884 memory=37084 CPUtime=0.32 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 9004 0 0 0 30 2 0 0 20 0 15 0 415042598 10915721216 9271 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2664971 9271 2989 1 0 2627468 0
[pid=9368/tid=9370] ppid=9365 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) R 9365 9368 6511 0 -1 4202560 6121 0 0 0 18 2 0 0 20 0 15 0 415042598 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626944909920 139626940699805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10659884 memory=140429333658544 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626430837792 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415042601 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626429784944 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0.05 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 604 0 0 0 5 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9271 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37084 KiB

[startup+0.310558 s]*
/proc/loadavg: 1.98 2.00 1.96 4/235 9383
/proc/meminfo: memFree=30243796/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10659884 memory=39896 CPUtime=0.47 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 9223 0 0 0 44 3 0 0 20 0 15 0 415042598 10915721216 9974 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2664971 9974 3034 1 0 2627468 0
[pid=9368/tid=9370] ppid=9365 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) R 9365 9368 6511 0 -1 4202560 6253 0 0 0 28 2 0 0 20 0 15 0 415042598 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626944910288 139626940699805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10659884 memory=13986790672193176 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042599 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415042600 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626430837792 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415042601 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626429784944 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 642 0 0 0 3 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 332 0 0 0 4 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0.08 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 640 0 0 0 8 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10659884 memory=140429333649024 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042603 10915721216 9974 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39896 KiB

[startup+0.700723 s]
/proc/loadavg: 1.98 2.00 1.96 3/235 9383
/proc/meminfo: memFree=30235376/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10661932 memory=61956 CPUtime=1.09 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 12534 0 0 0 103 6 0 0 20 0 15 0 415042598 10917818368 15489 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2665483 15489 3071 1 0 2627980 0
[pid=9368/tid=9370] ppid=9365 vsize=10661932 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) R 9365 9368 6511 0 -1 4202560 8822 0 0 0 63 4 0 0 20 0 15 0 415042598 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626944909792 139626923864709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042599 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042600 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415042600 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626430837792 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415042601 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626429784944 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10661932 memory=7236533984234661184 CPUtime=0.08 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) R 9365 9368 6511 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626427681648 139626924583744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10661932 memory=7380106142448642414 CPUtime=0.11 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 606 0 0 0 11 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10661932 memory=5859271421084194152 CPUtime=0.18 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 964 0 0 0 18 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042603 10917818368 15489 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61956 KiB

[startup+1.50073 s]
/proc/loadavg: 1.98 2.00 1.96 3/235 9383
/proc/meminfo: memFree=30218324/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10663980 memory=74952 CPUtime=1.99 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 18099 0 0 0 192 7 0 0 20 0 15 0 415042598 10919915520 18738 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2665995 18738 3095 1 0 2628492 0
[pid=9368/tid=9370] ppid=9365 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) R 9365 9368 6511 0 -1 4202560 13024 0 0 0 143 5 0 0 20 0 15 0 415042598 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626944909904 139626924758366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415042599 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415042599 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 415042600 10919915520 18738 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0

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

[startup+235.201 s]
/proc/loadavg: 1.85 1.97 1.95 3/235 9411
/proc/meminfo: memFree=30141436/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10748324 memory=244012 CPUtime=237.66 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 46666 0 0 0 23747 19 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2687081 61003 3370 1 0 2647217 0
[pid=9368/tid=9370] ppid=9365 vsize=10748324 memory=784 CPUtime=1.86 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) S 9365 9368 6511 0 -1 1077944384 15267 0 0 0 179 7 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626944920752 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10748324 memory=8252 CPUtime=0.02 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10748324 memory=5920 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 906 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10748324 memory=244012 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10748324 memory=244012 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10748324 memory=39316 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626430837856 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10748324 memory=2052 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 415042601 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626429784960 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10748324 memory=244012 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10748324 memory=1768 CPUtime=0.85 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 5350 0 0 0 84 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10748324 memory=111628 CPUtime=0.83 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 7353 0 0 0 82 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10748324 memory=804 CPUtime=0.63 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 4485 0 0 0 62 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10748324 memory=928 CPUtime=0.04 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 356 0 0 0 2 2 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9384] ppid=9365 vsize=10748324 memory=1744 CPUtime=233.28 cores=1,3,5,7
/proc/9368/task/9384/stat : 9384 (java) R 9365 9368 6511 0 -1 4202560 9414 0 0 0 23326 2 0 0 20 0 16 0 415042785 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626406800640 139626579825896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 237.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 244012 KiB

[startup+236.001 s]*
/proc/loadavg: 1.85 1.97 1.95 3/235 9411
/proc/meminfo: memFree=30141396/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10748324 memory=244012 CPUtime=238.47 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 46668 0 0 0 23828 19 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2687081 61003 3370 1 0 2647217 0
[pid=9368/tid=9370] ppid=9365 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) S 9365 9368 6511 0 -1 1077944384 15267 0 0 0 179 7 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626944920752 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10748324 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10748324 memory=1768 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 906 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10748324 memory=244012 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10748324 memory=804 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10748324 memory=1660 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10748324 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626430837856 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10748324 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 415042601 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626429784960 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10748324 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10748324 memory=2720 CPUtime=0.85 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 5350 0 0 0 84 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10748324 memory=3276 CPUtime=0.83 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 7353 0 0 0 82 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10748324 memory=1225444 CPUtime=0.63 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 4485 0 0 0 62 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10748324 memory=1408 CPUtime=0.04 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 356 0 0 0 2 2 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9384] ppid=9365 vsize=10748324 memory=3184 CPUtime=234.09 cores=1,3,5,7
/proc/9368/task/9384/stat : 9384 (java) R 9365 9368 6511 0 -1 4202560 9416 0 0 0 23407 2 0 0 20 0 16 0 415042785 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626406800640 139626584448199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 238.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 244012 KiB

[startup+236.401 s]
/proc/loadavg: 1.85 1.97 1.95 3/235 9411
/proc/meminfo: memFree=30141396/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10748324 memory=244012 CPUtime=238.86 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 46668 0 0 0 23867 19 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2687081 61003 3370 1 0 2647217 0
[pid=9368/tid=9370] ppid=9365 vsize=10748324 memory=2116 CPUtime=1.86 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) S 9365 9368 6511 0 -1 1077944384 15267 0 0 0 179 7 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626944920752 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10748324 memory=21048 CPUtime=0.02 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10748324 memory=244012 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 906 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10748324 memory=3280 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10748324 memory=39316 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626430837856 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 415042601 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626429784960 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10748324 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10748324 memory=792 CPUtime=0.85 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 5350 0 0 0 84 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10748324 memory=1440 CPUtime=0.83 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 7353 0 0 0 82 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10748324 memory=1984 CPUtime=0.63 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 4485 0 0 0 62 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 356 0 0 0 2 2 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9384] ppid=9365 vsize=10748324 memory=280858381730576 CPUtime=234.48 cores=1,3,5,7
/proc/9368/task/9384/stat : 9384 (java) R 9365 9368 6511 0 -1 4202560 9416 0 0 0 23446 2 0 0 20 0 16 0 415042785 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626406800640 139626584439239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 238.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 244012 KiB

[startup+236.801 s]
/proc/loadavg: 1.85 1.97 1.95 3/235 9411
/proc/meminfo: memFree=30141396/32770624 swapFree=67004040/67108860
[pid=9368] ppid=9365 vsize=10748324 memory=244012 CPUtime=239.26 cores=1,3,5,7
/proc/9368/stat : 9368 (java) S 9365 9368 6511 0 -1 1077944320 46668 0 0 0 23907 19 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 140731699384496 139626940677879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
/proc/9368/statm: 2687081 61003 3370 1 0 2647217 0
[pid=9368/tid=9370] ppid=9365 vsize=10748324 memory=1616 CPUtime=1.86 cores=1,3,5,7
/proc/9368/task/9370/stat : 9370 (java) S 9365 9368 6511 0 -1 1077944384 15267 0 0 0 179 7 0 0 20 0 16 0 415042598 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626944920752 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9371] ppid=9365 vsize=10748324 memory=784 CPUtime=0.02 cores=1,3,5,7
/proc/9368/task/9371/stat : 9371 (java) S 9365 9368 6511 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626547960976 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9372] ppid=9365 vsize=10748324 memory=8252 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9372/stat : 9372 (java) S 9365 9368 6511 0 -1 1077944384 906 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626546908176 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9373] ppid=9365 vsize=10748324 memory=3280 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9373/stat : 9373 (java) S 9365 9368 6511 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626545855376 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9374] ppid=9365 vsize=10748324 memory=39316 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9374/stat : 9374 (java) S 9365 9368 6511 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 16 0 415042599 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626544802576 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9375] ppid=9365 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/9368/task/9375/stat : 9375 (java) S 9365 9368 6511 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626431891824 139626940689026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9376] ppid=9365 vsize=10748324 memory=2052 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9376/stat : 9376 (java) S 9365 9368 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415042600 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626430837856 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9377] ppid=9365 vsize=10748324 memory=244012 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9377/stat : 9377 (java) S 9365 9368 6511 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 415042601 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626429784960 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9378] ppid=9365 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9378/stat : 9378 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626428733264 139626940696475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9379] ppid=9365 vsize=10748324 memory=928 CPUtime=0.85 cores=1,3,5,7
/proc/9368/task/9379/stat : 9379 (java) S 9365 9368 6511 0 -1 1077944384 5350 0 0 0 84 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626427681648 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9380] ppid=9365 vsize=10748324 memory=1744 CPUtime=0.83 cores=1,3,5,7
/proc/9368/task/9380/stat : 9380 (java) S 9365 9368 6511 0 -1 1077944384 7353 0 0 0 82 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626426628848 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9381] ppid=9365 vsize=10748324 memory=792 CPUtime=0.63 cores=1,3,5,7
/proc/9368/task/9381/stat : 9381 (java) S 9365 9368 6511 0 -1 1077944384 4485 0 0 0 62 1 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626425576048 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9382] ppid=9365 vsize=10748324 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9368/task/9382/stat : 9382 (java) S 9365 9368 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626424523488 139626940688085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9383] ppid=9365 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9368/task/9383/stat : 9383 (java) S 9365 9368 6511 0 -1 1077944384 356 0 0 0 2 2 0 0 20 0 16 0 415042603 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626423470768 139626940689026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
[pid=9368/tid=9384] ppid=9365 vsize=10748324 memory=85 CPUtime=234.88 cores=1,3,5,7
/proc/9368/task/9384/stat : 9384 (java) R 9365 9368 6511 0 -1 4202560 9416 0 0 0 23486 2 0 0 20 0 16 0 415042785 11006283776 61003 33554432000 4194304 4196468 140731699401952 139626406800640 139626584448199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140731699409931 140731699410034 140731699410034 140731699412943 0
Current children cumulated CPU time: 239.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 244012 KiB

Child status: 0
Real time (s): 236.848
CPU time (s): 239.324
CPU user time (s): 239.121
CPU system time (s): 0.2031
CPU usage (%): 101.045
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 244012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.121
system time used= 0.2031
maximum resident set size= 244264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8069
involuntary context switches= 136


# summary of solver processes directly reported to runsolver:
#   pid: 9368
#   total CPU time (s): 239.324
#   total CPU user time (s): 239.121
#   total CPU system time (s): 0.2031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31103 second user time and 2.10449 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 17:19:50
IDJOB=4390465
IDBENCH=141730
IDSOLVER=2832
FILE ID=node133/4390465-1568388030
RUNJOBID= node133-1568380476-6543
PBS_JOBID= 21701835
Free space on /tmp= 59408 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-18-047.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390465-1568388030/watcher-4390465-1568388030 -o /tmp/evaluation-result-4390465-1568388030/solver-4390465-1568388030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390465-1568388030.xml -cm

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

MD5SUM BENCH= 503235a9ef2fa2334058f0cfe41dccf4
RANDOM SEED=1741604099

node133.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.18
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.18
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.18
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.18
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:        30273220 kB
MemAvailable:   30584768 kB
Buffers:          168484 kB
Cached:           427576 kB
SwapCached:         3432 kB
Active:          1628028 kB
Inactive:         286692 kB
Active(anon):    1342408 kB
Inactive(anon):    16032 kB
Active(file):     285620 kB
Inactive(file):   270660 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004040 kB
Dirty:              8612 kB
Writeback:             0 kB
AnonPages:       1427792 kB
Mapped:            56348 kB
Shmem:             31420 kB
Slab:             171040 kB
SReclaimable:     142208 kB
SUnreclaim:        28832 kB
KernelStack:        3856 kB
PageTables:         8172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2323844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1351680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59400 MiB
End job on node133 at 2019-09-13 17:23:47