Trace number 4390724

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.01 2516.61

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K09-P07.xml
MD5SUM77d215e563c424ff51075488b165aa80
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 variables684
Number of constraints308
Number of domains2
Minimum domain size306
Maximum domain size307
Distribution of domain sizes[{"size":306,"count":306},{"size":307,"count":63}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":315},{"degree":2,"count":306},{"degree":10,"count":18},{"degree":11,"count":45}]
Minimum constraint arity3
Maximum constraint arity306
Distribution of constraint arities[{"arity":3,"count":306},{"arity":63,"count":1},{"arity":306,"count":1}]
Number of extensional constraints0
Number of intensional constraints306
Distribution of constraint types[{"type":"intension","count":306},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data

2.52/2.15	
2.52/2.15	AbsCon 2 
2.52/2.16	
3.05/2.38	  Instance
3.05/2.38	    name=instance-4390724-1568380517, framework=CSP
3.05/2.38	
3.05/2.38	  Loading variables...
3.23/2.45	  Loading constraints...
3.79/2.62	
3.79/2.62	  Domains
3.79/2.62	    nTypes=2, nValues=112977, sizes=[306#306,307#63]
3.79/2.62	  Variables
3.79/2.62	    count=369, degrees=[2#306,10#18,11#45]
3.79/2.62	  Constraints
3.79/2.62	    count=308, nSpecific=2, arities=[3#306,63#1,306#1]
3.79/2.62	    distribution=[AllDifferent#2,CtrIntension#306]
3.79/2.62	    nIntStructures=(1,shared:305)
3.79/2.62	    wck=0.501, cpu=2.287, mem=50M294
3.79/2.63	  Solver SolverBacktrack being built...
3.79/2.63	
3.79/2.66	
3.79/2.66	  Solver
3.79/2.66	    guaranteedGAC=false
3.79/2.66	    wck=0.543, cpu=2.326, mem=66M673
4.08/2.70	
4.08/2.70	  Preprocessing
4.08/2.70	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.08/2.70	    wck=0.038, cpu=2.366, mem=66M673
4.08/2.70	
5.30/3.68	    num=0, depth=23..23, filters=955, revisions=(1361,useless=284), ccks=5815056, wck=1.024, mem=69M316
5.30/3.68	    decisions=43, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.30/3.68	    
7.35/5.56	    num=1, depth=27..27, filters=2955, revisions=(4249,useless=657), ccks=14848446, wck=2.905, mem=69M316
7.35/5.56	    decisions=92, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.35/5.56	    
9.47/7.68	    num=2, depth=8..27, filters=4886, revisions=(7208,useless=1078), ccks=24193060, wck=5.022, mem=71M958
9.47/7.68	    decisions=142, wrong=33, backtracks=1, failedAssignments=33, nogoods=28
9.47/7.68	    
12.48/10.69	    num=3, depth=11..29, filters=7590, revisions=(11287,useless=1567), ccks=33588496, wck=8.032, mem=71M958
12.48/10.69	    decisions=197, wrong=46, backtracks=3, failedAssignments=46, nogoods=37
12.48/10.69	    
14.28/12.41	    num=4, depth=16..19, filters=9055, revisions=(13423,useless=1823), ccks=39251323, wck=9.746, mem=74M601
14.28/12.41	    decisions=244, wrong=60, backtracks=3, failedAssignments=60, nogoods=51
14.28/12.41	    
17.59/15.70	    num=5, depth=18..36, filters=12297, revisions=(18122,useless=2351), ccks=48976032, wck=13.041, mem=74M601
17.59/15.70	    decisions=312, wrong=76, backtracks=4, failedAssignments=76, nogoods=55
17.59/15.70	    
21.00/19.16	    num=6, depth=30..34, filters=16075, revisions=(23506,useless=2863), ccks=58185801, wck=16.503, mem=77M243
21.00/19.16	    decisions=380, wrong=93, backtracks=4, failedAssignments=93, nogoods=72
21.00/19.16	    
24.61/22.71	    num=7, depth=29..30, filters=19758, revisions=(28610,useless=3254), ccks=70349699, wck=20.05, mem=77M243
24.61/22.71	    decisions=448, wrong=112, backtracks=4, failedAssignments=112, nogoods=91
24.61/22.71	    
28.24/26.37	    num=8, depth=13..34, filters=24187, revisions=(34753,useless=3796), ccks=82576519, wck=23.711, mem=79M885
28.24/26.37	    decisions=525, wrong=134, backtracks=6, failedAssignments=133, nogoods=110
28.24/26.37	    
32.15/30.25	    num=9, depth=21..36, filters=28971, revisions=(41373,useless=4382), ccks=95888319, wck=27.587, mem=82M528
32.15/30.25	    decisions=607, wrong=157, backtracks=8, failedAssignments=156, nogoods=120
32.15/30.25	    
35.85/33.99	    num=10, depth=28..33, filters=33687, revisions=(48024,useless=4950), ccks=106462120, wck=31.331, mem=82M528
35.85/33.99	    decisions=690, wrong=182, backtracks=10, failedAssignments=181, nogoods=134
35.85/33.99	    
39.37/37.48	    num=11, depth=29..32, filters=37961, revisions=(53962,useless=5538), ccks=117619911, wck=34.82, mem=85M170
39.37/37.48	    decisions=777, wrong=210, backtracks=12, failedAssignments=209, nogoods=137
39.37/37.48	    
42.47/40.51	    num=12, depth=30..31, filters=41794, revisions=(59232,useless=6046), ccks=125542069, wck=37.854, mem=87M813
42.47/40.51	    decisions=870, wrong=241, backtracks=12, failedAssignments=240, nogoods=168
42.47/40.51	    
45.58/43.64	    num=13, depth=32..34, filters=45503, revisions=(64460,useless=6579), ccks=135914656, wck=40.978, mem=87M813
45.58/43.64	    decisions=970, wrong=275, backtracks=14, failedAssignments=274, nogoods=183
45.58/43.64	    
49.18/47.21	    num=14, depth=31..36, filters=49973, revisions=(70738,useless=7302), ccks=147505881, wck=44.552, mem=90M455
49.18/47.21	    decisions=1081, wrong=313, backtracks=20, failedAssignments=311, nogoods=196
49.18/47.21	    
52.88/50.97	    num=15, depth=31..33, filters=54889, revisions=(77484,useless=7842), ccks=159179090, wck=48.312, mem=93M97
52.88/50.97	    decisions=1195, wrong=354, backtracks=22, failedAssignments=352, nogoods=203
52.88/50.97	    
57.00/55.09	    num=16, depth=36..38, filters=59826, revisions=(84368,useless=8503), ccks=172100761, wck=52.432, mem=93M97
57.00/55.09	    decisions=1322, wrong=399, backtracks=25, failedAssignments=397, nogoods=216
57.00/55.09	    
61.19/59.24	    num=17, depth=31..33, filters=66084, revisions=(92941,useless=9254), ccks=185011008, wck=56.576, mem=95M740
61.19/59.24	    decisions=1457, wrong=451, backtracks=32, failedAssignments=447, nogoods=217
61.19/59.24	    
66.49/64.60	    num=18, depth=27..29, filters=74139, revisions=(104597,useless=10228), ccks=200439165, wck=61.936, mem=98M382
66.49/64.60	    decisions=1596, wrong=506, backtracks=44, failedAssignments=502, nogoods=222
66.49/64.60	    
71.00/69.05	    num=19, depth=33..35, filters=81786, revisions=(115038,useless=11208), ccks=212375558, wck=66.393, mem=101M25
71.00/69.05	    decisions=1751, wrong=567, backtracks=55, failedAssignments=563, nogoods=238
71.00/69.05	    
75.59/73.65	    num=20, depth=30..34, filters=88433, revisions=(124147,useless=11914), ccks=225768689, wck=70.989, mem=103M667
75.59/73.65	    decisions=1918, wrong=634, backtracks=61, failedAssignments=630, nogoods=243
75.59/73.65	    
80.90/78.94	    num=21, depth=29..30, filters=96227, revisions=(135189,useless=12745), ccks=240715409, wck=76.283, mem=106M310
80.90/78.94	    decisions=2095, wrong=708, backtracks=73, failedAssignments=704, nogoods=261
80.90/78.94	    
85.13/83.15	    num=22, depth=31..34, filters=102333, revisions=(143523,useless=13450), ccks=254619626, wck=80.487, mem=106M310
85.13/83.15	    decisions=2290, wrong=789, backtracks=79, failedAssignments=785, nogoods=285
85.13/83.15	    
90.45/88.47	    num=23, depth=27..30, filters=109800, revisions=(153929,useless=14311), ccks=266665493, wck=85.812, mem=108M952
90.45/88.47	    decisions=2502, wrong=881, backtracks=93, failedAssignments=874, nogoods=291
90.45/88.47	    
96.25/94.28	    num=24, depth=29..31, filters=118342, revisions=(166016,useless=15220), ccks=277414047, wck=91.616, mem=111M594
96.25/94.28	    decisions=2728, wrong=979, backtracks=113, failedAssignments=972, nogoods=305
96.25/94.28	    
100.26/98.22	    num=25, depth=31..33, filters=122909, revisions=(172901,useless=16191), ccks=290355521, wck=95.558, mem=114M237
100.26/98.22	    decisions=2976, wrong=1087, backtracks=123, failedAssignments=1080, nogoods=315
100.26/98.22	    
104.66/102.60	    num=26, depth=30..34, filters=129339, revisions=(181945,useless=17418), ccks=304058897, wck=99.941, mem=116M879
104.66/102.60	    decisions=3247, wrong=1206, backtracks=138, failedAssignments=1199, nogoods=331
104.66/102.60	    
110.96/108.99	    num=27, depth=26..29, filters=139080, revisions=(196171,useless=18896), ccks=318717816, wck=106.332, mem=119M522
110.96/108.99	    decisions=3536, wrong=1337, backtracks=166, failedAssignments=1330, nogoods=338
110.96/108.99	    
118.07/116.02	    num=28, depth=27..29, filters=150700, revisions=(213067,useless=20551), ccks=333563885, wck=113.358, mem=122M164
118.07/116.02	    decisions=3860, wrong=1485, backtracks=207, failedAssignments=1474, nogoods=350
118.07/116.02	    
122.97/120.91	    num=29, depth=28..31, filters=157936, revisions=(223645,useless=22087), ccks=347608896, wck=118.253, mem=124M807
122.97/120.91	    decisions=4206, wrong=1643, backtracks=237, failedAssignments=1632, nogoods=377
122.97/120.91	    
129.37/127.33	    num=30, depth=24..30, filters=166382, revisions=(235842,useless=23694), ccks=362325905, wck=124.674, mem=130M91
129.37/127.33	    decisions=4592, wrong=1821, backtracks=269, failedAssignments=1806, nogoods=388
129.37/127.33	    
134.19/132.19	    num=31, depth=31..33, filters=174373, revisions=(247683,useless=26184), ccks=380739562, wck=129.531, mem=132M734
134.19/132.19	    decisions=5007, wrong=2012, backtracks=313, failedAssignments=1997, nogoods=398
134.19/132.19	    
139.50/137.41	    num=32, depth=28..30, filters=182392, revisions=(259255,useless=27497), ccks=393885396, wck=134.746, mem=135M376
139.50/137.41	    decisions=5460, wrong=2224, backtracks=338, failedAssignments=2208, nogoods=418
139.50/137.41	    
145.00/142.99	    num=33, depth=29..31, filters=191769, revisions=(272818,useless=29514), ccks=409493809, wck=140.332, mem=138M19
145.00/142.99	    decisions=5954, wrong=2456, backtracks=369, failedAssignments=2440, nogoods=459
145.00/142.99	    
150.11/148.03	    num=34, depth=30..36, filters=199627, revisions=(284214,useless=31031), ccks=425422878, wck=145.375, mem=142M778
150.11/148.03	    decisions=6501, wrong=2712, backtracks=399, failedAssignments=2695, nogoods=486
150.11/148.03	    
163.68/161.59	    num=35, depth=28..33, filters=223824, revisions=(318412,useless=33242), ccks=447302782, wck=158.931, mem=40M937
163.68/161.59	    decisions=7095, wrong=2994, backtracks=464, failedAssignments=2976, nogoods=515
163.68/161.59	    
171.48/169.36	    num=36, depth=13..32, filters=233750, revisions=(333937,useless=36264), ccks=474936113, wck=166.699, mem=46M116
171.48/169.36	    decisions=7744, wrong=3303, backtracks=504, failedAssignments=3285, nogoods=546
171.48/169.36	    
181.08/178.94	    num=37, depth=30..32, filters=247061, revisions=(352974,useless=38590), ccks=495464303, wck=176.28, mem=51M296
181.08/178.94	    decisions=8455, wrong=3643, backtracks=551, failedAssignments=3625, nogoods=604
181.08/178.94	    
191.42/189.21	    num=38, depth=28..32, filters=262997, revisions=(376258,useless=42220), ccks=521431942, wck=186.546, mem=56M475
191.42/189.21	    decisions=9248, wrong=4024, backtracks=625, failedAssignments=3999, nogoods=650
191.42/189.21	    
212.12/209.96	    num=39, depth=23..25, filters=287960, revisions=(413198,useless=44982), ccks=556774568, wck=207.306, mem=64M243
212.12/209.96	    decisions=10093, wrong=4435, backtracks=689, failedAssignments=4410, nogoods=653
212.12/209.96	    
223.44/221.23	    num=40, depth=30..32, filters=303006, revisions=(435555,useless=47888), ccks=575276265, wck=218.574, mem=69M422
223.44/221.23	    decisions=11031, wrong=4888, backtracks=750, failedAssignments=4862, nogoods=688
223.44/221.23	    
232.44/230.30	    num=41, depth=28..34, filters=319448, revisions=(458707,useless=51133), ccks=596616174, wck=227.637, mem=74M601
232.44/230.30	    decisions=12066, wrong=5389, backtracks=817, failedAssignments=5359, nogoods=730
232.44/230.30	    
250.27/248.08	    num=42, depth=28..34, filters=348836, revisions=(501037,useless=55617), ccks=624327078, wck=245.423, mem=82M370
250.27/248.08	    decisions=13205, wrong=5942, backtracks=903, failedAssignments=5906, nogoods=774
250.27/248.08	    
257.67/255.48	    num=43, depth=30..32, filters=362134, revisions=(520999,useless=60119), ccks=665806493, wck=252.822, mem=90M139
257.67/255.48	    decisions=14441, wrong=6544, backtracks=968, failedAssignments=6508, nogoods=785
257.67/255.48	    
267.47/265.29	    num=44, depth=24..32, filters=382378, revisions=(550985,useless=67251), ccks=701605404, wck=262.634, mem=97M907
267.47/265.29	    decisions=15799, wrong=7208, backtracks=1098, failedAssignments=7170, nogoods=818
267.47/265.29	    
279.28/277.10	    num=45, depth=15..31, filters=400626, revisions=(578029,useless=71524), ccks=723286247, wck=274.443, mem=105M676
279.28/277.10	    decisions=17292, wrong=7940, backtracks=1193, failedAssignments=7898, nogoods=832
279.28/277.10	    
291.67/289.48	    num=46, depth=29..36, filters=421554, revisions=(609831,useless=77569), ccks=757044229, wck=286.823, mem=116M34
291.67/289.48	    decisions=18936, wrong=8745, backtracks=1308, failedAssignments=8699, nogoods=879
291.67/289.48	    
303.58/301.33	    num=47, depth=26..34, filters=440473, revisions=(637862,useless=81454), ccks=783929538, wck=298.673, mem=126M392
303.58/301.33	    decisions=20731, wrong=9626, backtracks=1415, failedAssignments=9580, nogoods=979
303.58/301.33	    
317.89/315.69	    num=48, depth=25..34, filters=468697, revisions=(676915,useless=86523), ccks=812764158, wck=313.029, mem=134M161
317.89/315.69	    decisions=22721, wrong=10605, backtracks=1533, failedAssignments=10550, nogoods=1017
317.89/315.69	    
341.89/339.68	    num=49, depth=31..36, filters=509502, revisions=(738967,useless=96924), ccks=855059783, wck=337.025, mem=152M288
341.89/339.68	    decisions=24902, wrong=11679, backtracks=1795, failedAssignments=11617, nogoods=1029
341.89/339.68	    
354.30/352.07	    num=50, depth=27..36, filters=533164, revisions=(773485,useless=102546), ccks=894712157, wck=349.409, mem=165M236
354.30/352.07	    decisions=27284, wrong=12853, backtracks=1941, failedAssignments=12790, nogoods=1079
354.30/352.07	    
378.62/376.34	    num=51, depth=28..34, filters=576359, revisions=(835597,useless=109883), ccks=932450282, wck=373.681, mem=48M938
378.62/376.34	    decisions=29915, wrong=14153, backtracks=2132, failedAssignments=14081, nogoods=1109
378.62/376.34	    
417.35/415.06	    num=52, depth=28..31, filters=642524, revisions=(931778,useless=120245), ccks=999873619, wck=412.402, mem=67M194
417.35/415.06	    decisions=32785, wrong=15573, backtracks=2363, failedAssignments=15501, nogoods=1127
417.35/415.06	    
487.95/485.61	    num=53, depth=24..26, filters=741270, revisions=(1077082,useless=130805), ccks=1093769232, wck=482.95, mem=85M450
487.95/485.61	    decisions=35948, wrong=17142, backtracks=2629, failedAssignments=17063, nogoods=1142
487.95/485.61	    
509.26/507.00	    num=54, depth=30..34, filters=785738, revisions=(1148641,useless=151939), ccks=1192408052, wck=504.34, mem=108M923
509.26/507.00	    decisions=39417, wrong=18860, backtracks=2980, failedAssignments=18781, nogoods=1155
509.26/507.00	    
536.07/533.77	    num=55, depth=28..31, filters=833355, revisions=(1219116,useless=162952), ccks=1232157827, wck=531.115, mem=127M179
536.07/533.77	    decisions=43232, wrong=20753, backtracks=3231, failedAssignments=20671, nogoods=1165
536.07/533.77	    
555.77/553.49	    num=56, depth=30..35, filters=869886, revisions=(1273188,useless=171261), ccks=1290424230, wck=550.83, mem=150M652
555.77/553.49	    decisions=47446, wrong=22843, backtracks=3446, failedAssignments=22750, nogoods=1271
555.77/553.49	    
589.80/587.46	    num=57, depth=31..36, filters=936444, revisions=(1366718,useless=183184), ccks=1351516400, wck=584.803, mem=43M791
589.80/587.46	    decisions=52094, wrong=25150, backtracks=3744, failedAssignments=25037, nogoods=1277
589.80/587.46	    
626.52/624.14	    num=58, depth=25..32, filters=999790, revisions=(1462228,useless=202325), ccks=1423807547, wck=621.483, mem=67M371
626.52/624.14	    decisions=57172, wrong=27674, backtracks=4155, failedAssignments=27553, nogoods=1310
626.52/624.14	    
657.62/655.25	    num=59, depth=17..35, filters=1069928, revisions=(1561155,useless=218837), ccks=1497015516, wck=652.587, mem=90M952
657.62/655.25	    decisions=62760, wrong=30451, backtracks=4536, failedAssignments=30321, nogoods=1354
657.62/655.25	    
712.14/709.71	    num=60, depth=30..36, filters=1184358, revisions=(1719849,useless=240626), ccks=1592751904, wck=707.049, mem=119M773
712.14/709.71	    decisions=68905, wrong=33507, backtracks=5017, failedAssignments=33365, nogoods=1362
712.14/709.71	    
782.05/779.62	    num=61, depth=19..31, filters=1306489, revisions=(1901992,useless=269585), ccks=1703805528, wck=776.958, mem=156M454
782.05/779.62	    decisions=75673, wrong=36877, backtracks=5690, failedAssignments=36714, nogoods=1381
782.05/779.62	    
828.29/825.88	    num=62, depth=14..34, filters=1386304, revisions=(2024339,useless=292295), ccks=1851528694, wck=823.22, mem=79M895
828.29/825.88	    decisions=83094, wrong=40571, backtracks=6185, failedAssignments=40398, nogoods=1549
828.29/825.88	    
874.20/871.75	    num=63, depth=25..30, filters=1451035, revisions=(2127290,useless=312928), ccks=1979661878, wck=869.092, mem=123M860
874.20/871.75	    decisions=91228, wrong=44623, backtracks=6569, failedAssignments=44450, nogoods=1573
874.20/871.75	    
920.94/918.44	    num=64, depth=11..36, filters=1548552, revisions=(2271997,useless=339077), ccks=2088115064, wck=915.777, mem=43M611
920.94/918.44	    decisions=100242, wrong=49112, backtracks=7274, failedAssignments=48907, nogoods=1619
920.94/918.44	    
971.89/969.37	    num=65, depth=31..37, filters=1669884, revisions=(2452186,useless=375373), ccks=2232683519, wck=966.714, mem=104M796
971.89/969.37	    decisions=110209, wrong=54078, backtracks=8183, failedAssignments=53810, nogoods=1687
971.89/969.37	    
1030.50/1027.97	    num=66, depth=22..30, filters=1781481, revisions=(2613786,useless=410286), ccks=2413973398, wck=1025.307, mem=155M784
1030.50/1027.97	    decisions=121033, wrong=59476, backtracks=8956, failedAssignments=59204, nogoods=1786
1030.50/1027.97	    
1076.85/1074.27	    num=67, depth=31..37, filters=1878876, revisions=(2757070,useless=433264), ccks=2579619657, wck=1071.61, mem=98M797
1076.85/1074.27	    decisions=132994, wrong=65440, backtracks=9757, failedAssignments=65137, nogoods=1834
1076.85/1074.27	    
1141.89/1139.24	    num=68, depth=29..36, filters=2018914, revisions=(2970264,useless=476949), ccks=2729905170, wck=1136.584, mem=38M565
1141.89/1139.24	    decisions=146124, wrong=71988, backtracks=10768, failedAssignments=71663, nogoods=1899
1141.89/1139.24	    
1198.90/1196.28	    num=69, depth=29..32, filters=2140550, revisions=(3154738,useless=520179), ccks=2950008763, wck=1193.618, mem=110M221
1198.90/1196.28	    decisions=160517, wrong=79169, backtracks=11590, failedAssignments=78842, nogoods=1921
1198.90/1196.28	    
1261.38/1258.62	    num=70, depth=30..38, filters=2284563, revisions=(3369265,useless=557854), ccks=3152784736, wck=1255.962, mem=77M385
1261.38/1258.62	    decisions=176386, wrong=87086, backtracks=12742, failedAssignments=86739, nogoods=1992
1261.38/1258.62	    
1341.25/1338.43	    num=71, depth=28..33, filters=2424344, revisions=(3580795,useless=597731), ccks=3497837473, wck=1335.77, mem=71M941
1341.25/1338.43	    decisions=193846, wrong=95800, backtracks=13719, failedAssignments=95426, nogoods=2107
1341.25/1338.43	    
1458.51/1455.69	    num=72, depth=30..36, filters=2652646, revisions=(3921505,useless=656173), ccks=3733042970, wck=1453.03, mem=59M686
1458.51/1455.69	    decisions=213040, wrong=105381, backtracks=14958, failedAssignments=104981, nogoods=2203
1458.51/1455.69	    
1536.73/1533.85	    num=73, depth=26..38, filters=2835400, revisions=(4192640,useless=707901), ccks=3904392066, wck=1531.187, mem=151M660
1536.73/1533.85	    decisions=234170, wrong=115929, backtracks=16447, failedAssignments=115492, nogoods=2264
1536.73/1533.85	    
1623.23/1620.26	    num=74, depth=31..37, filters=3064088, revisions=(4516676,useless=759755), ccks=4065778520, wck=1617.599, mem=138M532
1623.23/1620.26	    decisions=257504, wrong=127579, backtracks=18042, failedAssignments=127054, nogoods=2345
1623.23/1620.26	    
1706.08/1703.05	    num=75, depth=17..36, filters=3229583, revisions=(4753875,useless=803735), ccks=4366980081, wck=1700.391, mem=125M678
1706.08/1703.05	    decisions=283013, wrong=140316, backtracks=19564, failedAssignments=139772, nogoods=2392
1706.08/1703.05	    
1849.96/1846.81	    num=76, depth=18..34, filters=3515818, revisions=(5185921,useless=899393), ccks=4904775604, wck=1844.147, mem=89M767
1849.96/1846.81	    decisions=311092, wrong=154339, backtracks=21449, failedAssignments=153762, nogoods=2478
1849.96/1846.81	    
1968.81/1965.64	    num=77, depth=12..37, filters=3822059, revisions=(5641430,useless=996120), ccks=5300060608, wck=1962.98, mem=144M61
1968.81/1965.64	    decisions=342044, wrong=169798, backtracks=23934, failedAssignments=169151, nogoods=2527
1968.81/1965.64	    
2118.10/2114.88	    num=78, depth=29..37, filters=4189737, revisions=(6200621,useless=1115494), ccks=5673102630, wck=2112.218, mem=109M426
2118.10/2114.88	    decisions=376068, wrong=186793, backtracks=26832, failedAssignments=186079, nogoods=2644
2118.10/2114.88	    

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390724-1568380517/watcher-4390724-1568380517 -o /tmp/evaluation-result-4390724-1568380517/solver-4390724-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2211 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390724-1568380517.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=2241, runsolver pid=2234

[startup+0.100189 s]*
/proc/loadavg: 0.00 0.01 0.05 3/201 2244
/proc/meminfo: memFree=25122188/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=109440 memory=5436 CPUtime=0 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 1679 0 0 0 0 0 0 0 20 0 2 0 414308993 112066560 1359 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 27360 1359 1029 1 0 16810 0
[pid=2241/tid=2243] ppid=2234 vsize=109440 memory=7100839852556125036 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) D 2234 2241 2180 0 -1 1077944384 388 0 0 0 0 0 0 0 20 0 2 0 414309001 112066560 1359 33554432000 4194304 4196468 140723467136608 140232706344144 140232694786605 0 4 0 16784584 18446744072101580324 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109440 KiB
Current children cumulated memory: 5436 KiB

[startup+0.209896 s]*
/proc/loadavg: 0.00 0.01 0.05 4/215 2258
/proc/meminfo: memFree=25101412/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10260324 memory=20120 CPUtime=0.03 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 3941 0 0 0 3 0 0 0 20 0 9 0 414308993 10506571776 5030 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2565081 5030 2155 1 0 2527622 0
[pid=2241/tid=2243] ppid=2234 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) D 2234 2241 2180 0 -1 1077944384 2587 0 0 0 3 0 0 0 20 0 9 0 414309001 10506571776 5030 33554432000 4194304 4196468 140723467136608 140232706342696 140232694785397 0 4 0 16800971 18446744072101580324 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10260324 memory=345 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414309010 10506571776 5030 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10260324 memory=140055353197688 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414309010 10506571776 5030 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414309010 10506571776 5030 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414309010 10506571776 5030 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10260324 memory=140055350355584 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414309012 10506571776 5030 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414309012 10506571776 5030 33554432000 4194304 4196468 140723467136608 140231937307808 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414309012 10506571776 5030 33554432000 4194304 4196468 140723467136608 140231936254704 140232702117589 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20120 KiB

[startup+0.310004 s]*
/proc/loadavg: 0.00 0.01 0.05 6/227 2270
/proc/meminfo: memFree=25086308/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10659884 memory=31348 CPUtime=0.18 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 5801 0 0 0 17 1 0 0 20 0 15 0 414308993 10915721216 7837 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2664971 7837 2936 1 0 2627468 0
[pid=2241/tid=2243] ppid=2234 vsize=10659884 memory=8317482817917895235 CPUtime=0.11 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) R 2234 2241 2180 0 -1 4202560 3074 0 0 0 11 0 0 0 20 0 15 0 414309001 10915721216 7837 33554432000 4194304 4196468 140723467136608 140232706342848 140232682289768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10659884 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 7837 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 7837 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 7837 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 7837 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231937307808 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231936254704 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309017 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 414309017 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 414309017 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10659884 memory=140055350355584 CPUtime=0.04 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) R 2234 2241 2180 0 -1 4202560 702 0 0 0 4 0 0 0 20 0 15 0 414309017 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231932045808 140232702128730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309018 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10659884 memory=140055350355584 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309018 10915721216 7837 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 31348 KiB

[startup+0.702533 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 2270
/proc/meminfo: memFree=25063832/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10659884 memory=51084 CPUtime=0.78 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 11027 0 0 0 74 4 0 0 20 0 15 0 414308993 10915721216 12771 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2664971 12771 3057 1 0 2627468 0
[pid=2241/tid=2243] ppid=2234 vsize=10659884 memory=8100661140703237737 CPUtime=0.48 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) R 2234 2241 2180 0 -1 4202560 7304 0 0 0 45 3 0 0 20 0 15 0 414309001 10915721216 12771 33554432000 4194304 4196468 140723467136608 140232706339648 140232658708960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10659884 memory=140055350355584 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 12771 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10659884 memory=825241649 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 12771 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 12771 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309010 10915721216 12771 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10659884 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231937307808 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10659884 memory=9047017150487036571 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309012 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231936254704 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10659884 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309017 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10659884 memory=4427205132082312746 CPUtime=0.08 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 414309017 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10659884 memory=2276 CPUtime=0.08 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 688 0 0 0 8 0 0 0 20 0 15 0 414309017 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10659884 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 15 0 414309017 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309018 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10659884 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309018 10915721216 12771 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 51084 KiB

[startup+1.50067 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 2270
/proc/meminfo: memFree=25021084/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10663980 memory=70948 CPUtime=1.72 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 14835 0 0 0 166 6 0 0 20 0 15 0 414308993 10919915520 17737 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2665995 17737 3078 1 0 2628492 0
[pid=2241/tid=2243] ppid=2234 vsize=10663980 memory=8112282956445269571 CPUtime=1.26 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) R 2234 2241 2180 0 -1 4202560 10496 0 0 0 122 4 0 0 20 0 15 0 414309001 10919915520 17737 33554432000 4194304 4196468 140723467136608 140232706347664 140232682383090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10663980 memory=7595975425060327512 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10919915520 17737 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10663980 memory=6371563644451508304 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10919915520 17737 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10663980 memory=7519147063037157460 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309010 10919915520 17737 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10663980 memory=6441090162353334630 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309010 10919915520 17737 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10663980 memory=6441371654561087590 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414309012 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309012 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231937307808 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309012 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231936254704 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309017 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10663980 memory=-7161732098442470212 CPUtime=0.12 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 781 0 0 0 12 0 0 0 20 0 15 0 414309017 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10663980 memory=4206450435451938610 CPUtime=0.12 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 1106 0 0 0 12 0 0 0 20 0 15 0 414309017 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10663980 memory=-3760084985777470829 CPUtime=0.19 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 1087 0 0 0 19 0 0 0 20 0 15 0 414309017 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10663980 memory=-7378441852826056034 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309018 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10663980 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309018 10919915520 17737 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 70948 KiB

[startup+3.11052 s]
/proc/loadavg: 0.00 0.01 0.05 6/229 2272
/proc/meminfo: memFree=24671692/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10748324 memory=157080 CPUtime=4.77 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 22924 0 0 0 465 12 0 0 20 0 16 0 414308993 11006283776 39270 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2687081 39270 3347 1 0 2647217 0
[pid=2241/tid=2243] ppid=2234 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) S 2234 2241 2180 0 -1 1077944384 12974 0 0 0 180 6 0 0 20 0 16 0 414309001 11006283776 39270 33554432000 4194304 4196468 140723467136608 140232706350256 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10748324 memory=156276 CPUtime=0.01 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 16 0 414309010 11006283776 39270 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10748324 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 16 0 414309010 11006283776 39270 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10748324 memory=75932 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414309010 11006283776 39270 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10748324 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414309010 11006283776 39270 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10748324 memory=1112 CPUtime=0.01 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 605 0 0 0 1 0 0 0 20 0 16 0 414309012 11006283776 39270 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0

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

/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1823 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.06 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 4270 0 0 0 4 2 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10748324 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231937307872 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10748324 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231936254720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10748324 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.9 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 7785 0 0 0 89 1 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10748324 memory=281916 CPUtime=1.01 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 7363 0 0 0 100 1 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.7 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 9822 0 0 0 68 2 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309018 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10748324 memory=6943526294502006880 CPUtime=0.69 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1562 0 0 0 28 41 0 0 20 0 16 0 414309018 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2272] ppid=2234 vsize=10748324 memory=281916 CPUtime=2379.69 cores=0,2,4,6
/proc/2241/task/2272/stat : 2272 (java) R 2234 2241 2180 0 -1 4202560 20033 0 0 0 237965 4 0 0 20 0 16 0 414309208 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231913278928 140232316011005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 2385.65 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 281916 KiB

[startup+2442.3 s]
/proc/loadavg: 2.63 2.16 1.92 4/228 2531
/proc/meminfo: memFree=24341416/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10748324 memory=281916 CPUtime=2445.67 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 73230 0 0 0 244515 52 0 0 20 0 16 0 414308993 11006283776 70479 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2687081 70479 3370 1 0 2647217 0
[pid=2241/tid=2243] ppid=2234 vsize=10748324 memory=281916 CPUtime=1.86 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) S 2234 2241 2180 0 -1 1077944384 12974 0 0 0 180 6 0 0 20 0 16 0 414309001 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232706350256 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 1657 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2299 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2024 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1823 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70479 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10748324 memory=924 CPUtime=0.06 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 4277 0 0 0 4 2 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10748324 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231937307872 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10748324 memory=281916 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231936254720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10748324 memory=281916 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.9 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 7787 0 0 0 89 1 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10748324 memory=281916 CPUtime=1.01 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 7366 0 0 0 100 1 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.7 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 9824 0 0 0 68 2 0 0 20 0 16 0 414309017 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10748324 memory=281916 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309018 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10748324 memory=3616 CPUtime=0.7 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1594 0 0 0 28 42 0 0 20 0 16 0 414309018 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2272] ppid=2234 vsize=10748324 memory=281916 CPUtime=2439.69 cores=0,2,4,6
/proc/2241/task/2272/stat : 2272 (java) R 2234 2241 2180 0 -1 4202560 20168 0 0 0 243965 4 0 0 20 0 16 0 414309208 11006283776 70479 33554432000 4194304 4196468 140723467136608 140231913278928 140232316085439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 2445.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 281916 KiB

[startup+2502.3 s]
/proc/loadavg: 2.65 2.29 1.98 4/228 2537
/proc/meminfo: memFree=24309328/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10748324 memory=282944 CPUtime=2505.68 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 73911 0 0 0 250516 52 0 0 20 0 16 0 414308993 11006283776 70736 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2687081 70736 3370 1 0 2647217 0
[pid=2241/tid=2243] ppid=2234 vsize=10748324 memory=282944 CPUtime=1.86 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) S 2234 2241 2180 0 -1 1077944384 12974 0 0 0 180 6 0 0 20 0 16 0 414309001 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232706350256 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10748324 memory=282944 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 1662 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10748324 memory=282944 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2305 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10748324 memory=282944 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2335 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10748324 memory=282944 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1829 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10748324 memory=281916 CPUtime=0.06 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 4462 0 0 0 4 2 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10748324 memory=21104 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231937307872 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10748324 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231936254720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10748324 memory=282944 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10748324 memory=14048 CPUtime=0.9 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 7789 0 0 0 89 1 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10748324 memory=282944 CPUtime=1.01 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 7369 0 0 0 100 1 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10748324 memory=282944 CPUtime=0.7 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 9826 0 0 0 68 2 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309018 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10748324 memory=39816 CPUtime=0.72 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1626 0 0 0 29 43 0 0 20 0 16 0 414309018 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2272] ppid=2234 vsize=10748324 memory=39816 CPUtime=2499.68 cores=0,2,4,6
/proc/2241/task/2272/stat : 2272 (java) R 2234 2241 2180 0 -1 4202560 20297 0 0 0 249964 4 0 0 20 0 16 0 414309208 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231913278928 140232316343246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 2505.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 282944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2516.6 s]
/proc/loadavg: 2.51 2.27 1.98 3/210 2569
/proc/meminfo: memFree=24850024/32770624 swapFree=66977616/67108860
[pid=2241] ppid=2234 vsize=10748324 memory=282944 CPUtime=2520 cores=0,2,4,6
/proc/2241/stat : 2241 (java) S 2234 2241 2180 0 -1 1077944320 73929 0 0 0 251947 53 0 0 20 0 16 0 414308993 11006283776 70736 33554432000 4194304 4196468 140723467136608 140723467119152 140232702107383 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
/proc/2241/statm: 2687081 70736 3370 1 0 2647217 0
[pid=2241/tid=2243] ppid=2234 vsize=10748324 memory=2004 CPUtime=1.86 cores=0,2,4,6
/proc/2241/task/2243/stat : 2243 (java) S 2234 2241 2180 0 -1 1077944384 12974 0 0 0 180 6 0 0 20 0 16 0 414309001 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232706350256 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2245] ppid=2234 vsize=10748324 memory=1428 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2245/stat : 2245 (java) S 2234 2241 2180 0 -1 1077944384 1662 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232638798864 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2246] ppid=2234 vsize=10748324 memory=1724 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2246/stat : 2246 (java) S 2234 2241 2180 0 -1 1077944384 2305 0 0 0 14 2 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232637746320 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2247] ppid=2234 vsize=10748324 memory=704 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2247/stat : 2247 (java) S 2234 2241 2180 0 -1 1077944384 2335 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232636693264 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2248] ppid=2234 vsize=10748324 memory=4126316290023845779 CPUtime=0.16 cores=0,2,4,6
/proc/2241/task/2248/stat : 2248 (java) S 2234 2241 2180 0 -1 1077944384 1829 0 0 0 13 3 0 0 20 0 16 0 414309010 11006283776 70736 33554432000 4194304 4196468 140723467136608 140232635640720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2253] ppid=2234 vsize=10748324 memory=796 CPUtime=0.06 cores=0,2,4,6
/proc/2241/task/2253/stat : 2253 (java) S 2234 2241 2180 0 -1 1077944384 4462 0 0 0 4 2 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231938361584 140232702118530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2255] ppid=2234 vsize=10748324 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2255/stat : 2255 (java) S 2234 2241 2180 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231937307872 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2257] ppid=2234 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2257/stat : 2257 (java) S 2234 2241 2180 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414309012 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231936254720 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2259] ppid=2234 vsize=10748324 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2259/stat : 2259 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231935203280 140232702125979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2260] ppid=2234 vsize=10748324 memory=8317482817917895235 CPUtime=0.9 cores=0,2,4,6
/proc/2241/task/2260/stat : 2260 (java) S 2234 2241 2180 0 -1 1077944384 7789 0 0 0 89 1 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231934151408 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2262] ppid=2234 vsize=10748324 memory=4126316290023845779 CPUtime=1.01 cores=0,2,4,6
/proc/2241/task/2262/stat : 2262 (java) S 2234 2241 2180 0 -1 1077944384 7369 0 0 0 100 1 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231933098864 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2264] ppid=2234 vsize=10748324 memory=7552 CPUtime=0.7 cores=0,2,4,6
/proc/2241/task/2264/stat : 2264 (java) S 2234 2241 2180 0 -1 1077944384 9826 0 0 0 68 2 0 0 20 0 16 0 414309017 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231932045808 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2267] ppid=2234 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2241/task/2267/stat : 2267 (java) S 2234 2241 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309018 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231930993504 140232702117589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2270] ppid=2234 vsize=10748324 memory=1084 CPUtime=0.72 cores=0,2,4,6
/proc/2241/task/2270/stat : 2270 (java) S 2234 2241 2180 0 -1 1077944384 1628 0 0 0 29 43 0 0 20 0 16 0 414309018 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231929940528 140232702118530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
[pid=2241/tid=2272] ppid=2234 vsize=10748324 memory=14012 CPUtime=2513.98 cores=0,2,4,6
/proc/2241/task/2272/stat : 2272 (java) R 2234 2241 2180 0 -1 4202560 20313 0 0 0 251394 4 0 0 20 0 16 0 414309208 11006283776 70736 33554432000 4194304 4196468 140723467136608 140231913278928 140232316012707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32804864 140723467142155 140723467142258 140723467142258 140723467145167 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 282944 KiB

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

[startup+2516.61 s]
# the end of solver process 2241 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.48 s, system=0.534061 s

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

Child status: 143
Real time (s): 2516.61
CPU time (s): 2520.01
CPU user time (s): 2519.48
CPU system time (s): 0.534061
CPU usage (%): 100.135
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 283684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.534061
maximum resident set size= 283684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58157
involuntary context switches= 1538


# summary of solver processes directly reported to runsolver:
#   pid: 2241
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.48
#   total CPU system time (s): 0.534061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4591 second user time and 23.0844 second system time

The end

Launcher Data

Begin job on node104 at 2019-09-13 14:05:00
IDJOB=4390724
IDBENCH=120766
IDSOLVER=2832
FILE ID=node104/4390724-1568380517
RUNJOBID= node104-1568376300-2211
PBS_JOBID= 21701850
Free space on /tmp= 56576 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K09-P07.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390724-1568380517/watcher-4390724-1568380517 -o /tmp/evaluation-result-4390724-1568380517/solver-4390724-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2211 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390724-1568380517.xml -cm

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

MD5SUM BENCH= 77d215e563c424ff51075488b165aa80
RANDOM SEED=608469750

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25125392 kB
MemAvailable:   31829020 kB
Buffers:          148080 kB
Cached:          6769368 kB
SwapCached:        31860 kB
Active:          1789564 kB
Inactive:        5164740 kB
Active(anon):       3932 kB
Inactive(anon):    74804 kB
Active(file):    1785632 kB
Inactive(file):  5089936 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             17176 kB
Writeback:             0 kB
AnonPages:        114260 kB
Mapped:            43196 kB
Shmem:             32780 kB
Slab:             285740 kB
SReclaimable:     256520 kB
SUnreclaim:        29220 kB
KernelStack:        3280 kB
PageTables:         5796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     493504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56556 MiB
End job on node104 at 2019-09-13 14:46:57