Trace number 4390703

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.03 2515.72

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-28-088.xml
MD5SUM86f96609b8582eec836d4ad8d9b44327
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints378
Number of domains28
Minimum domain size61
Maximum domain size88
Distribution of domain sizes[{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2}]
Minimum variable degree27
Maximum variable degree27
Distribution of variable degrees[{"degree":27,"count":56}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":378}]
Number of extensional constraints0
Number of intensional constraints378
Distribution of constraint types[{"type":"intension","count":378}]
Optimization problemNO
Type of objective

Solver Data

2.42/1.88	
2.42/1.88	AbsCon 2 
2.42/1.89	
2.93/2.08	  Instance
2.93/2.08	    name=instance-4390703-1568388054, framework=CSP
2.93/2.08	
2.93/2.08	  Loading variables...
3.30/2.13	  Loading constraints...
4.35/2.43	
4.35/2.43	  Domains
4.35/2.43	    nTypes=28, nValues=4172, sizes=[61#2,62#2,63#2,64#2...85#2,86#2,87#2,88#2]
4.35/2.43	  Variables
4.35/2.43	    count=56, degrees=[27#56]
4.35/2.43	  Constraints
4.35/2.43	    count=378, arities=[4#378]
4.35/2.43	    distribution=[CtrIntension#378]
4.35/2.43	    nIntStructures=(378,shared:0)
4.35/2.43	    wck=0.584, cpu=2.395, mem=82M3
4.35/2.44	  Solver SolverBacktrack being built...
4.35/2.44	
4.35/2.46	
4.35/2.46	  Solver
4.35/2.46	    guaranteedGAC=false
4.35/2.46	    wck=0.617, cpu=2.426, mem=92M646
4.35/2.46	
4.35/2.46	  Preprocessing
4.35/2.46	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.35/2.46	    wck=0.001, cpu=2.429, mem=92M646
4.35/2.46	
5.17/2.85	    num=0, depth=35..35, filters=578, revisions=(6838,useless=6203), ccks=968713, wck=0.386, mem=95M288
5.17/2.85	    decisions=55, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.17/2.85	    
5.43/3.10	    num=1, depth=28..28, filters=753, revisions=(10858,useless=10036), ccks=1664238, wck=0.634, mem=95M288
5.43/3.10	    decisions=105, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.43/3.10	    
5.67/3.28	    num=2, depth=13..13, filters=816, revisions=(13059,useless=12170), ccks=2170057, wck=0.816, mem=95M288
5.67/3.28	    decisions=142, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.67/3.28	    
5.91/3.43	    num=3, depth=20..22, filters=952, revisions=(16323,useless=15297), ccks=2540212, wck=0.966, mem=95M288
5.91/3.43	    decisions=190, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
5.91/3.43	    
6.26/3.73	    num=4, depth=10..11, filters=1093, revisions=(20760,useless=19584), ccks=3551601, wck=1.264, mem=95M288
6.26/3.73	    decisions=230, wrong=61, backtracks=1, failedAssignments=60, nogoods=50
6.26/3.73	    
6.36/3.88	    num=5, depth=19..20, filters=1234, revisions=(24784,useless=23465), ccks=4047632, wck=1.415, mem=95M288
6.36/3.88	    decisions=283, wrong=78, backtracks=2, failedAssignments=76, nogoods=52
6.36/3.88	    
6.59/4.05	    num=6, depth=14..14, filters=1325, revisions=(27906,useless=26495), ccks=4606364, wck=1.582, mem=97M931
6.59/4.05	    decisions=331, wrong=95, backtracks=2, failedAssignments=93, nogoods=69
6.59/4.05	    
6.79/4.25	    num=7, depth=13..13, filters=1420, revisions=(31352,useless=29844), ccks=5285201, wck=1.784, mem=97M931
6.79/4.25	    decisions=382, wrong=114, backtracks=2, failedAssignments=112, nogoods=88
6.79/4.25	    
7.00/4.40	    num=8, depth=36..36, filters=2290, revisions=(38274,useless=35881), ccks=5766334, wck=1.936, mem=97M931
7.00/4.40	    decisions=460, wrong=135, backtracks=2, failedAssignments=133, nogoods=109
7.00/4.40	    
7.90/5.38	    num=9, depth=14..15, filters=2521, revisions=(45663,useless=43029), ccks=9126595, wck=2.921, mem=97M931
7.90/5.38	    decisions=522, wrong=159, backtracks=3, failedAssignments=156, nogoods=127
7.90/5.38	    
8.22/5.65	    num=10, depth=12..14, filters=2644, revisions=(49748,useless=46990), ccks=10038193, wck=3.19, mem=100M573
8.22/5.65	    decisions=586, wrong=184, backtracks=3, failedAssignments=181, nogoods=152
8.22/5.65	    
8.63/6.06	    num=11, depth=12..14, filters=2770, revisions=(54370,useless=51482), ccks=11457778, wck=3.594, mem=100M573
8.63/6.06	    decisions=656, wrong=212, backtracks=3, failedAssignments=209, nogoods=180
8.63/6.06	    
8.92/6.33	    num=12, depth=14..17, filters=2935, revisions=(58434,useless=55380), ccks=12381126, wck=3.871, mem=100M573
8.92/6.33	    decisions=735, wrong=243, backtracks=3, failedAssignments=240, nogoods=211
8.92/6.33	    
9.23/6.69	    num=13, depth=9..12, filters=3101, revisions=(64329,useless=61105), ccks=13567829, wck=4.223, mem=100M573
9.23/6.69	    decisions=822, wrong=281, backtracks=7, failedAssignments=274, nogoods=240
9.23/6.69	    
10.74/8.12	    num=14, depth=11..12, filters=3296, revisions=(72991,useless=69569), ccks=18543901, wck=5.654, mem=100M573
10.74/8.12	    decisions=909, wrong=319, backtracks=8, failedAssignments=311, nogoods=257
10.74/8.12	    
11.24/8.61	    num=15, depth=9..10, filters=3587, revisions=(84582,useless=80861), ccks=20197364, wck=6.149, mem=100M573
11.24/8.61	    decisions=1012, wrong=366, backtracks=14, failedAssignments=352, nogoods=290
11.24/8.61	    
11.65/9.01	    num=16, depth=7..13, filters=3756, revisions=(89284,useless=85392), ccks=21566800, wck=6.551, mem=100M573
11.65/9.01	    decisions=1115, wrong=411, backtracks=14, failedAssignments=397, nogoods=335
11.65/9.01	    
13.35/10.72	    num=17, depth=8..10, filters=4149, revisions=(103191,useless=98897), ccks=27520336, wck=8.256, mem=100M573
13.35/10.72	    decisions=1236, wrong=467, backtracks=20, failedAssignments=447, nogoods=360
13.35/10.72	    
14.36/11.78	    num=18, depth=7..19, filters=4323, revisions=(109298,useless=104828), ccks=31246615, wck=9.314, mem=100M573
14.36/11.78	    decisions=1365, wrong=522, backtracks=20, failedAssignments=502, nogoods=415
14.36/11.78	    
16.36/13.78	    num=19, depth=8..9, filters=4766, revisions=(126002,useless=121079), ccks=38183466, wck=11.314, mem=100M573
16.36/13.78	    decisions=1503, wrong=587, backtracks=24, failedAssignments=563, nogoods=419
16.36/13.78	    
16.78/14.18	    num=20, depth=9..18, filters=5038, revisions=(132531,useless=127335), ccks=39536183, wck=11.718, mem=100M573
16.78/14.18	    decisions=1655, wrong=654, backtracks=24, failedAssignments=630, nogoods=486
16.78/14.18	    
17.58/14.93	    num=21, depth=12..22, filters=5372, revisions=(140481,useless=134948), ccks=42139454, wck=12.465, mem=100M573
17.58/14.93	    decisions=1825, wrong=728, backtracks=24, failedAssignments=704, nogoods=560
17.58/14.93	    
18.28/15.65	    num=22, depth=11..13, filters=5930, revisions=(159156,useless=153042), ccks=44560452, wck=13.188, mem=100M573
18.28/15.65	    decisions=2010, wrong=815, backtracks=31, failedAssignments=785, nogoods=593
18.28/15.65	    
18.98/16.38	    num=23, depth=11..15, filters=6304, revisions=(170120,useless=163628), ccks=47012968, wck=13.914, mem=100M573
18.98/16.38	    decisions=2203, wrong=904, backtracks=31, failedAssignments=874, nogoods=682
18.98/16.38	    
19.79/17.17	    num=24, depth=10..19, filters=6697, revisions=(178858,useless=171972), ccks=49765939, wck=14.71, mem=100M573
19.79/17.17	    decisions=2418, wrong=1002, backtracks=31, failedAssignments=972, nogoods=780
19.79/17.17	    
20.89/18.22	    num=25, depth=10..13, filters=7438, revisions=(204399,useless=196753), ccks=53300313, wck=15.761, mem=103M215
20.89/18.22	    decisions=2656, wrong=1116, backtracks=38, failedAssignments=1080, nogoods=819
20.89/18.22	    
21.59/18.98	    num=26, depth=12..24, filters=7886, revisions=(214725,useless=206630), ccks=55868066, wck=16.516, mem=103M215
21.59/18.98	    decisions=2918, wrong=1235, backtracks=38, failedAssignments=1199, nogoods=938
21.59/18.98	    
23.30/20.63	    num=27, depth=10..14, filters=9306, revisions=(255699,useless=246155), ccks=61418313, wck=18.165, mem=103M215
23.30/20.63	    decisions=3207, wrong=1374, backtracks=46, failedAssignments=1330, nogoods=948
23.30/20.63	    
24.30/21.67	    num=28, depth=10..22, filters=9899, revisions=(267804,useless=257666), ccks=64964955, wck=19.207, mem=103M215
24.30/21.67	    decisions=3519, wrong=1520, backtracks=48, failedAssignments=1474, nogoods=1055
24.30/21.67	    
34.51/31.86	    num=29, depth=5..7, filters=10898, revisions=(312150,useless=300980), ccks=100928705, wck=29.398, mem=103M215
34.51/31.86	    decisions=3880, wrong=1698, backtracks=68, failedAssignments=1632, nogoods=1089
34.51/31.86	    
35.61/32.97	    num=30, depth=8..25, filters=11536, revisions=(326999,useless=315191), ccks=104643654, wck=30.509, mem=103M215
35.61/32.97	    decisions=4253, wrong=1872, backtracks=68, failedAssignments=1806, nogoods=1263
35.61/32.97	    
36.72/34.01	    num=31, depth=7..26, filters=12175, revisions=(343663,useless=331193), ccks=108170364, wck=31.548, mem=105M858
36.72/34.01	    decisions=4661, wrong=2063, backtracks=68, failedAssignments=1997, nogoods=1454
36.72/34.01	    
38.62/35.95	    num=32, depth=8..17, filters=12826, revisions=(363227,useless=350104), ccks=114852195, wck=33.482, mem=105M858
38.62/35.95	    decisions=5103, wrong=2277, backtracks=71, failedAssignments=2208, nogoods=1598
38.62/35.95	    
39.92/37.29	    num=33, depth=10..26, filters=13578, revisions=(382498,useless=368623), ccks=119441484, wck=34.829, mem=105M858
39.92/37.29	    decisions=5596, wrong=2512, backtracks=74, failedAssignments=2440, nogoods=1731
39.92/37.29	    
52.94/50.30	    num=34, depth=7..10, filters=15755, revisions=(455655,useless=439512), ccks=165345123, wck=47.833, mem=105M858
52.94/50.30	    decisions=6176, wrong=2798, backtracks=105, failedAssignments=2695, nogoods=1789
52.94/50.30	    
55.64/52.97	    num=35, depth=6..7, filters=17260, revisions=(519111,useless=501425), ccks=174378307, wck=50.511, mem=108M500
55.64/52.97	    decisions=6793, wrong=3103, backtracks=129, failedAssignments=2976, nogoods=1825
55.64/52.97	    
57.24/54.55	    num=36, depth=8..22, filters=18351, revisions=(545632,useless=526855), ccks=179689139, wck=52.087, mem=108M500
57.24/54.55	    decisions=7437, wrong=3414, backtracks=132, failedAssignments=3285, nogoods=1993
57.24/54.55	    
63.79/61.06	    num=37, depth=7..12, filters=21419, revisions=(636452,useless=614499), ccks=201984919, wck=58.598, mem=108M500
63.79/61.06	    decisions=8207, wrong=3795, backtracks=174, failedAssignments=3625, nogoods=2000
63.79/61.06	    
67.48/64.74	    num=38, depth=6..20, filters=22643, revisions=(672801,useless=649620), ccks=214696907, wck=62.278, mem=111M143
67.48/64.74	    decisions=8989, wrong=4176, backtracks=183, failedAssignments=3999, nogoods=2109
67.48/64.74	    
80.24/77.49	    num=39, depth=8..11, filters=26395, revisions=(794977,useless=767849), ccks=259055297, wck=75.025, mem=111M143
80.24/77.49	    decisions=9896, wrong=4625, backtracks=221, failedAssignments=4410, nogoods=2121
80.24/77.49	    
84.06/81.19	    num=40, depth=5..20, filters=27968, revisions=(835775,useless=807071), ccks=271808240, wck=78.73, mem=113M785
84.06/81.19	    decisions=10846, wrong=5091, backtracks=236, failedAssignments=4862, nogoods=2244
84.06/81.19	    
87.39/84.42	    num=41, depth=10..23, filters=29450, revisions=(876421,useless=846216), ccks=282750806, wck=81.952, mem=113M785
87.39/84.42	    decisions=11882, wrong=5598, backtracks=248, failedAssignments=5359, nogoods=2402
87.39/84.42	    
89.79/86.85	    num=42, depth=11..24, filters=31465, revisions=(920800,useless=888495), ccks=290934658, wck=84.385, mem=116M428
89.79/86.85	    decisions=13012, wrong=6152, backtracks=256, failedAssignments=5906, nogoods=2610
89.79/86.85	    
92.79/89.88	    num=43, depth=5..23, filters=34067, revisions=(974584,useless=939669), ccks=301108271, wck=87.419, mem=116M428
92.79/89.88	    decisions=14258, wrong=6765, backtracks=267, failedAssignments=6508, nogoods=2799
92.79/89.88	    
96.39/93.49	    num=44, depth=7..21, filters=36833, revisions=(1044702,useless=1006990), ccks=313171341, wck=91.031, mem=119M70
96.39/93.49	    decisions=15632, wrong=7443, backtracks=287, failedAssignments=7170, nogoods=2922
96.39/93.49	    
101.21/98.21	    num=45, depth=7..22, filters=39604, revisions=(1117581,useless=1077052), ccks=329267840, wck=95.746, mem=119M70
101.21/98.21	    decisions=17127, wrong=8180, backtracks=316, failedAssignments=7898, nogoods=3024
101.21/98.21	    
108.21/105.29	    num=46, depth=10..22, filters=42177, revisions=(1183469,useless=1140362), ccks=353712127, wck=102.823, mem=121M713
108.21/105.29	    decisions=18777, wrong=8995, backtracks=334, failedAssignments=8699, nogoods=3136
108.21/105.29	    
112.31/109.39	    num=47, depth=5..21, filters=45195, revisions=(1262580,useless=1216430), ccks=367465137, wck=106.929, mem=124M355
112.31/109.39	    decisions=20576, wrong=9885, backtracks=376, failedAssignments=9580, nogoods=3418
112.31/109.39	    
138.92/135.99	    num=48, depth=6..9, filters=51283, revisions=(1493977,useless=1441572), ccks=459805244, wck=133.528, mem=126M997
138.92/135.99	    decisions=22705, wrong=10946, backtracks=467, failedAssignments=10550, nogoods=3493
138.92/135.99	    
143.52/140.59	    num=49, depth=12..22, filters=54674, revisions=(1579262,useless=1523454), ccks=475167432, wck=138.122, mem=126M997
143.52/140.59	    decisions=24884, wrong=12027, backtracks=486, failedAssignments=11617, nogoods=3666
143.52/140.59	    
149.22/146.26	    num=50, depth=9..22, filters=59716, revisions=(1675236,useless=1614384), ccks=494084105, wck=143.796, mem=129M640
149.22/146.26	    decisions=27312, wrong=13232, backtracks=525, failedAssignments=12790, nogoods=3793
149.22/146.26	    
159.04/156.05	    num=51, depth=10..20, filters=64405, revisions=(1831668,useless=1766065), ccks=527582144, wck=153.584, mem=132M282
159.04/156.05	    decisions=30023, wrong=14580, backtracks=586, failedAssignments=14081, nogoods=3870
159.04/156.05	    
166.83/163.84	    num=52, depth=7..22, filters=69758, revisions=(1977746,useless=1906761), ccks=553864859, wck=161.376, mem=134M925
166.83/163.84	    decisions=32926, wrong=16024, backtracks=625, failedAssignments=15501, nogoods=4045
166.83/163.84	    
172.04/169.08	    num=53, depth=12..26, filters=75978, revisions=(2107457,useless=2030250), ccks=571054143, wck=166.622, mem=140M210
172.04/169.08	    decisions=36130, wrong=17615, backtracks=656, failedAssignments=17063, nogoods=4271
172.04/169.08	    
227.01/223.98	    num=54, depth=9..12, filters=96632, revisions=(2685285,useless=2586887), ccks=760247278, wck=221.519, mem=31M463
227.01/223.98	    decisions=39784, wrong=19437, backtracks=762, failedAssignments=18781, nogoods=4283
227.01/223.98	    
232.01/228.97	    num=55, depth=8..29, filters=103990, revisions=(2848517,useless=2742751), ccks=776394955, wck=226.508, mem=34M53
232.01/228.97	    decisions=43640, wrong=21354, backtracks=801, failedAssignments=20671, nogoods=4486
232.01/228.97	    
292.73/289.63	    num=56, depth=9..11, filters=123826, revisions=(3407425,useless=3280793), ccks=984955695, wck=287.168, mem=41M822
292.73/289.63	    decisions=48418, wrong=23738, backtracks=1128, failedAssignments=22750, nogoods=4570
292.73/289.63	    
301.84/298.75	    num=57, depth=14..28, filters=130873, revisions=(3588328,useless=3454637), ccks=1016093764, wck=296.29, mem=47M1
301.84/298.75	    decisions=53203, wrong=26120, backtracks=1268, failedAssignments=25037, nogoods=4714
301.84/298.75	    
310.04/307.00	    num=58, depth=7..24, filters=140791, revisions=(3810300,useless=3666684), ccks=1043306510, wck=304.538, mem=49M590
310.04/307.00	    decisions=58405, wrong=28710, backtracks=1344, failedAssignments=27553, nogoods=4925
310.04/307.00	    
332.16/329.08	    num=59, depth=5..23, filters=152940, revisions=(4138960,useless=3983058), ccks=1119461775, wck=326.618, mem=57M359
332.16/329.08	    decisions=64145, wrong=31571, backtracks=1474, failedAssignments=30321, nogoods=5119
332.16/329.08	    
362.76/359.67	    num=60, depth=6..24, filters=166430, revisions=(4530101,useless=4360496), ccks=1225751350, wck=357.207, mem=62M538
362.76/359.67	    decisions=70481, wrong=34729, backtracks=1666, failedAssignments=33365, nogoods=5475
362.76/359.67	    
376.80/373.63	    num=61, depth=9..26, filters=177211, revisions=(4796240,useless=4615793), ccks=1273304590, wck=371.163, mem=70M307
376.80/373.63	    decisions=77315, wrong=38137, backtracks=1811, failedAssignments=36714, nogoods=5678
376.80/373.63	    
388.21/385.03	    num=62, depth=8..24, filters=189080, revisions=(5107902,useless=4915350), ccks=1310948544, wck=382.564, mem=75M486
388.21/385.03	    decisions=84837, wrong=41887, backtracks=1921, failedAssignments=40398, nogoods=5934
388.21/385.03	    
404.61/401.50	    num=63, depth=12..24, filters=203100, revisions=(5458328,useless=5251384), ccks=1367037720, wck=399.033, mem=83M255
404.61/401.50	    decisions=93117, wrong=46018, backtracks=2181, failedAssignments=44450, nogoods=6142
404.61/401.50	    
422.82/419.63	    num=64, depth=13..26, filters=219057, revisions=(5852201,useless=5628402), ccks=1428484336, wck=417.169, mem=91M24
422.82/419.63	    decisions=102172, wrong=50535, backtracks=2312, failedAssignments=48907, nogoods=6465
422.82/419.63	    
455.35/452.13	    num=65, depth=11..23, filters=236366, revisions=(6331636,useless=6090372), ccks=1540582960, wck=449.665, mem=101M382
455.35/452.13	    decisions=112170, wrong=55525, backtracks=2500, failedAssignments=53810, nogoods=6696
455.35/452.13	    
476.50/473.29	    num=66, depth=10..26, filters=255886, revisions=(6790296,useless=6529460), ccks=1611331710, wck=470.827, mem=114M330
476.50/473.29	    decisions=123211, wrong=61035, backtracks=2630, failedAssignments=59204, nogoods=6992
476.50/473.29	    
509.42/506.15	    num=67, depth=6..26, filters=278833, revisions=(7345965,useless=7061841), ccks=1723510559, wck=503.685, mem=124M688
509.42/506.15	    decisions=135441, wrong=67140, backtracks=2949, failedAssignments=65137, nogoods=7176
509.42/506.15	    
535.72/532.48	    num=68, depth=10..24, filters=303102, revisions=(8025450,useless=7716512), ccks=1810605455, wck=530.019, mem=137M636
535.72/532.48	    decisions=148929, wrong=73876, backtracks=3245, failedAssignments=71663, nogoods=7389
535.72/532.48	    
570.33/567.09	    num=69, depth=8..20, filters=320640, revisions=(8638966,useless=8311851), ccks=1926775691, wck=564.625, mem=147M994
570.33/567.09	    decisions=163540, wrong=81175, backtracks=3613, failedAssignments=78842, nogoods=7567
570.33/567.09	    
599.17/595.81	    num=70, depth=6..22, filters=345711, revisions=(9325816,useless=8972707), ccks=2023232845, wck=593.348, mem=31M959
599.17/595.81	    decisions=179623, wrong=89207, backtracks=4107, failedAssignments=86739, nogoods=7812
599.17/595.81	    
635.62/632.26	    num=71, depth=8..21, filters=375561, revisions=(10132991,useless=9749545), ccks=2146298288, wck=629.798, mem=50M216
635.62/632.26	    decisions=197504, wrong=98140, backtracks=4708, failedAssignments=95426, nogoods=8029
635.62/632.26	    
657.46/654.05	    num=72, depth=11..25, filters=406125, revisions=(10905622,useless=10491566), ccks=2215878730, wck=651.591, mem=63M256
657.46/654.05	    decisions=216837, wrong=107796, backtracks=4974, failedAssignments=104981, nogoods=8315
657.46/654.05	    
701.26/697.87	    num=73, depth=12..24, filters=437656, revisions=(11823183,useless=11375504), ccks=2364228704, wck=695.409, mem=81M512
701.26/697.87	    decisions=238339, wrong=118538, backtracks=5422, failedAssignments=115492, nogoods=8605
701.26/697.87	    
781.87/778.42	    num=74, depth=7..24, filters=487718, revisions=(13041205,useless=12542765), ccks=2640699153, wck=775.961, mem=107M593
781.87/778.42	    decisions=262317, wrong=130518, backtracks=6012, failedAssignments=127054, nogoods=8813
781.87/778.42	    
839.08/835.60	    num=75, depth=13..21, filters=529463, revisions=(14119231,useless=13577813), ccks=2835392911, wck=833.134, mem=131M66
839.08/835.60	    decisions=288537, wrong=143619, backtracks=6659, failedAssignments=139772, nogoods=8930
839.08/835.60	    
884.59/881.16	    num=76, depth=8..25, filters=567149, revisions=(15286627,useless=14707379), ccks=2987862977, wck=878.696, mem=151M930
884.59/881.16	    decisions=317101, wrong=157892, backtracks=7327, failedAssignments=153762, nogoods=9133
884.59/881.16	    
949.03/945.54	    num=77, depth=10..24, filters=619341, revisions=(16544193,useless=15912701), ccks=3205744494, wck=943.073, mem=50M619
949.03/945.54	    decisions=348515, wrong=173591, backtracks=7941, failedAssignments=169151, nogoods=9345
949.03/945.54	    
977.90/974.34	    num=78, depth=12..40, filters=688940, revisions=(18074576,useless=17373418), ccks=3295461927, wck=971.874, mem=87M300
977.90/974.34	    decisions=383114, wrong=190875, backtracks=8338, failedAssignments=186079, nogoods=9877
977.90/974.34	    
1023.31/1019.79	    num=79, depth=12..28, filters=742855, revisions=(19651306,useless=18895314), ccks=3443197728, wck=1017.326, mem=116M121
1023.31/1019.79	    decisions=421061, wrong=209838, backtracks=9469, failedAssignments=204700, nogoods=10137
1023.31/1019.79	    
1095.74/1092.19	    num=80, depth=10..26, filters=807330, revisions=(21419030,useless=20597257), ccks=3683663575, wck=1089.727, mem=152M802
1095.74/1092.19	    decisions=462823, wrong=230710, backtracks=10583, failedAssignments=225184, nogoods=10520
1095.74/1092.19	    
1187.20/1183.56	    num=81, depth=8..26, filters=900725, revisions=(23321966,useless=22406581), ccks=3990750460, wck=1181.099, mem=71M200
1187.20/1183.56	    decisions=509402, wrong=253990, backtracks=11474, failedAssignments=247716, nogoods=10720
1187.20/1183.56	    
1402.96/1399.25	    num=82, depth=10..23, filters=986165, revisions=(25629947,useless=24625906), ccks=4755344871, wck=1396.787, mem=117M751
1402.96/1399.25	    decisions=561309, wrong=279936, backtracks=13435, failedAssignments=272501, nogoods=10858
1402.96/1399.25	    
1495.30/1491.54	    num=83, depth=10..23, filters=1054506, revisions=(27824115,useless=26751459), ccks=5067988257, wck=1489.079, mem=153M958
1495.30/1491.54	    decisions=616636, wrong=307591, backtracks=15090, failedAssignments=299765, nogoods=11051
1495.30/1491.54	    
1612.37/1608.54	    num=84, depth=12..25, filters=1147920, revisions=(30469440,useless=29301058), ccks=5460077131, wck=1606.074, mem=75M739
1612.37/1608.54	    decisions=678024, wrong=338277, backtracks=16401, failedAssignments=329755, nogoods=11282
1612.37/1608.54	    
1976.91/1972.94	    num=85, depth=7..23, filters=1277449, revisions=(34776196,useless=33474588), ccks=6711683176, wck=1970.48, mem=126M726
1976.91/1972.94	    decisions=748047, wrong=373278, backtracks=19576, failedAssignments=362744, nogoods=11443
1976.91/1972.94	    
2131.60/2127.56	    num=86, depth=12..24, filters=1406349, revisions=(38261713,useless=36828630), ccks=7225613457, wck=2125.098, mem=65M10
2131.60/2127.56	    decisions=822655, wrong=410573, backtracks=21532, failedAssignments=399032, nogoods=11612
2131.60/2127.56	    
2255.25/2251.12	    num=87, depth=10..23, filters=1520847, revisions=(41872849,useless=40319035), ccks=7632677015, wck=2248.654, mem=122M757
2255.25/2251.12	    decisions=907694, wrong=453085, backtracks=25222, failedAssignments=438949, nogoods=11833
2255.25/2251.12	    
2392.82/2388.61	    num=88, depth=8..24, filters=1695028, revisions=(46000444,useless=44271241), ccks=8081561926, wck=2386.147, mem=84M278
2392.82/2388.61	    decisions=997788, wrong=498122, backtracks=27256, failedAssignments=482858, nogoods=12076
2392.82/2388.61	    

Verifier Data

One s line expected

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14603 MiB free)
  memory of node 1: 16384 MiB (15469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390703-1568388054/watcher-4390703-1568388054 -o /tmp/evaluation-result-4390703-1568388054/solver-4390703-1568388054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390703-1568388054.xml -cm 

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

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

solver pid=20952, runsolver pid=20949

[startup+0.102288 s]*
/proc/loadavg: 2.00 2.01 1.98 4/228 20967
/proc/meminfo: memFree=30780304/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=27420 CPUtime=0.14 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 5417 0 0 0 12 2 0 0 20 0 15 0 415072193 10915721216 6855 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 6855 2886 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=-8439527450518781933 CPUtime=0.09 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 3211 0 0 0 8 1 0 0 20 0 15 0 415072193 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156856434208 140156836291934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6855 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) R 20949 20952 19747 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156406098672 140156832911744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0.02 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) R 20949 20952 19747 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 415072198 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156405042240 140156852221653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 6921 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27420 KiB

[startup+0.210593 s]*
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30773752/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=34844 CPUtime=0.32 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 6849 0 0 0 30 2 0 0 20 0 15 0 415072193 10915721216 8711 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 8711 2987 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=7900017517374083699 CPUtime=0.2 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 3890 0 0 0 19 1 0 0 20 0 15 0 415072193 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156856437808 140156852233373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 716 0 0 0 4 0 0 0 20 0 15 0 415072198 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 8711 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34844 KiB

[startup+0.311749 s]*
/proc/loadavg: 2.00 2.01 1.98 4/228 20967
/proc/meminfo: memFree=30765416/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10659884 memory=40308 CPUtime=0.47 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 9430 0 0 0 43 4 0 0 20 0 15 0 415072193 10915721216 10077 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2664971 10077 3000 1 0 2627468 0
[pid=20952/tid=20954] ppid=20949 vsize=10659884 memory=-5155634780447454526 CPUtime=0.3 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 6380 0 0 0 28 2 0 0 20 0 15 0 415072193 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156856443248 140156852233373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10659884 memory=4211973474357226890 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10659884 memory=139748152436352 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10659884 memory=139748035401247 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10659884 memory=279496070781728 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10659884 memory=139748035378191 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10659884 memory=279496187823712 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10659884 memory=139748035382799 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 415072198 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10659884 memory=27420 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10915721216 10077 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40308 KiB

[startup+0.700774 s]
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30756348/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10661932 memory=63976 CPUtime=1.11 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 13123 0 0 0 105 6 0 0 20 0 15 0 415072193 10917818368 15994 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2665483 15994 3072 1 0 2627980 0
[pid=20952/tid=20954] ppid=20949 vsize=10661932 memory=10484 CPUtime=0.68 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 8931 0 0 0 64 4 0 0 20 0 15 0 415072193 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156856428384 140156836291934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10661932 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10661932 memory=7596540479531410752 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072195 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415072196 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156410307616 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415072196 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156409254768 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 1027 0 0 0 11 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10661932 memory=229766254847294 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) R 20949 20952 19747 0 -1 4202560 567 0 0 0 11 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156406098672 140156852232794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10661932 memory=3545520603459238882 CPUtime=0.18 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 1238 0 0 0 18 0 0 0 20 0 15 0 415072198 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415072199 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072199 10917818368 15994 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63976 KiB

[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 1.98 3/228 20967
/proc/meminfo: memFree=30740616/32770624 swapFree=66966944/67108860
[pid=20952] ppid=20949 vsize=10663980 memory=76064 CPUtime=2.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 18690 0 0 0 194 7 0 0 20 0 15 0 415072193 10919915520 19016 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2665995 19016 3096 1 0 2628492 0
[pid=20952/tid=20954] ppid=20949 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) R 20949 20952 19747 0 -1 4202560 13199 0 0 0 143 5 0 0 20 0 15 0 415072193 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156856424784 140156837377119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10663980 memory=139748035431392 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415072194 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 415072195 10919915520 19016 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0

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

/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 926 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3051 0 0 0 3 1 0 0 20 0 16 0 415072195 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.2 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8072 0 0 0 119 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7335 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8460 0 0 0 68 2 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.67 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1313 0 0 0 26 41 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2440.3 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18743 0 0 0 244025 5 0 0 20 0 16 0 415072381 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156318387536 140156477920390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2446.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272552 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30978268/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=272552 CPUtime=2506.57 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68182 0 0 0 250617 40 0 0 20 0 16 0 415072193 11006283776 68138 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 68138 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.09 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 741 0 0 0 9 0 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1754 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 703 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.1 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 926 0 0 0 9 1 0 0 20 0 16 0 415072194 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.04 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3058 0 0 0 3 1 0 0 20 0 16 0 415072195 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=272552 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.7 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 68 2 0 0 20 0 16 0 415072198 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=249490 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=1376 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1344 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=1060 CPUtime=2500.3 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18888 0 0 0 250025 5 0 0 20 0 16 0 415072381 11006283776 68138 33554432000 4194304 4196468 140731927691360 140156318387536 140156483445792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2506.57 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.7 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30980116/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=270500 CPUtime=2520.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68806 0 0 0 251961 40 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 67625 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 764 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1772 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 1025 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 996 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.05 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3232 0 0 0 4 1 0 0 20 0 16 0 415072195 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.71 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 69 2 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1346 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2513.69 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18903 0 0 0 251364 5 0 0 20 0 16 0 415072381 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156318395808 140156483447504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270500 KiB

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

[startup+2515.72 s]
# the end of solver process 20952 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.62 s, system=0.406095 s

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

[startup+2515.7 s]
/proc/loadavg: 1.00 0.99 1.06 2/208 21271
/proc/meminfo: memFree=30980116/32770624 swapFree=66966948/67108860
[pid=20952] ppid=20949 vsize=10748324 memory=270500 CPUtime=2520.01 cores=0,2,4,6
/proc/20952/stat : 20952 (java) S 20949 20952 19747 0 -1 1077944320 68806 0 0 0 251961 40 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140731927673904 140156852211447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
/proc/20952/statm: 2687081 67625 3382 1 0 2647217 0
[pid=20952/tid=20954] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.86 cores=0,2,4,6
/proc/20952/task/20954/stat : 20954 (java) S 20949 20952 19747 0 -1 1077944384 15448 0 0 0 180 6 0 0 20 0 16 0 415072193 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156856454320 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20955] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20955/stat : 20955 (java) S 20949 20952 19747 0 -1 1077944384 764 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156804832400 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20956] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20956/stat : 20956 (java) S 20949 20952 19747 0 -1 1077944384 1772 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156803779600 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20957] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20957/stat : 20957 (java) S 20949 20952 19747 0 -1 1077944384 1025 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156802726800 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20958] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.11 cores=0,2,4,6
/proc/20952/task/20958/stat : 20958 (java) S 20949 20952 19747 0 -1 1077944384 996 0 0 0 10 1 0 0 20 0 16 0 415072194 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156801674000 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20959] ppid=20949 vsize=10748324 memory=270500 CPUtime=0.05 cores=0,2,4,6
/proc/20952/task/20959/stat : 20959 (java) S 20949 20952 19747 0 -1 1077944384 3232 0 0 0 4 1 0 0 20 0 16 0 415072195 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156411361648 140156852222594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20960] ppid=20949 vsize=10748324 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20960/stat : 20960 (java) S 20949 20952 19747 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156410307680 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20961] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20961/stat : 20961 (java) S 20949 20952 19747 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415072196 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156409254784 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20962] ppid=20949 vsize=10748324 memory=270500 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20962/stat : 20962 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156408203088 140156852230043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20963] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.21 cores=0,2,4,6
/proc/20952/task/20963/stat : 20963 (java) S 20949 20952 19747 0 -1 1077944384 8080 0 0 0 120 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156407151472 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20964] ppid=20949 vsize=10748324 memory=270500 CPUtime=1.27 cores=0,2,4,6
/proc/20952/task/20964/stat : 20964 (java) S 20949 20952 19747 0 -1 1077944384 7337 0 0 0 126 1 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156406098672 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20965] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.71 cores=0,2,4,6
/proc/20952/task/20965/stat : 20965 (java) S 20949 20952 19747 0 -1 1077944384 8462 0 0 0 69 2 0 0 20 0 16 0 415072198 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156405045872 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20966] ppid=20949 vsize=10748324 memory=272552 CPUtime=0 cores=0,2,4,6
/proc/20952/task/20966/stat : 20966 (java) S 20949 20952 19747 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156403993312 140156852221653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20967] ppid=20949 vsize=10748324 memory=272552 CPUtime=0.69 cores=0,2,4,6
/proc/20952/task/20967/stat : 20967 (java) S 20949 20952 19747 0 -1 1077944384 1346 0 0 0 27 42 0 0 20 0 16 0 415072199 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156402940592 140156852222594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
[pid=20952/tid=20968] ppid=20949 vsize=10748324 memory=272552 CPUtime=2513.69 cores=0,2,4,6
/proc/20952/task/20968/stat : 20968 (java) R 20949 20952 19747 0 -1 4202560 18903 0 0 0 251364 5 0 0 20 0 16 0 415072381 11006283776 67625 33554432000 4194304 4196468 140731927691360 140156318395808 140156483447504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25468928 140731927700491 140731927700594 140731927700594 140731927703503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270500 KiB

Child status: 143
Real time (s): 2515.72
CPU time (s): 2520.03
CPU user time (s): 2519.62
CPU system time (s): 0.406095
CPU usage (%): 100.171
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 276628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.406095
maximum resident set size= 277668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57433
involuntary context switches= 1948


# summary of solver processes directly reported to runsolver:
#   pid: 20952
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.62
#   total CPU system time (s): 0.406095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0818 second user time and 19.999 second system time

The end

Launcher Data

Begin job on node125 at 2019-09-13 17:20:11
IDJOB=4390703
IDBENCH=141732
IDSOLVER=2832
FILE ID=node125/4390703-1568388054
RUNJOBID= node125-1568380474-19778
PBS_JOBID= 21701839
Free space on /tmp= 59768 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-28-088.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390703-1568388054/watcher-4390703-1568388054 -o /tmp/evaluation-result-4390703-1568388054/solver-4390703-1568388054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568380474-19778 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390703-1568388054.xml -cm

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

MD5SUM BENCH= 86f96609b8582eec836d4ad8d9b44327
RANDOM SEED=1795641819

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30795740 kB
MemAvailable:   31447764 kB
Buffers:           99272 kB
Cached:           851240 kB
SwapCached:        38264 kB
Active:           885492 kB
Inactive:         542228 kB
Active(anon):     454916 kB
Inactive(anon):    61836 kB
Active(file):     430576 kB
Inactive(file):   480392 kB
Unevictable:      106848 kB
Mlocked:          106848 kB
SwapTotal:      67108860 kB
SwapFree:       66966944 kB
Dirty:              8572 kB
Writeback:             0 kB
AnonPages:        546924 kB
Mapped:            56048 kB
Shmem:             31176 kB
Slab:             142312 kB
SReclaimable:     113784 kB
SUnreclaim:        28528 kB
KernelStack:        3760 kB
PageTables:         6324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1668200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59768 MiB
End job on node125 at 2019-09-13 18:02:07