Trace number 4390619

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.05 2515.81

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-160.xml
MD5SUM3ff67dee7a06e1e6311de3a7585abde9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark146.729
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size534
Maximum domain size534
Distribution of domain sizes[{"size":534,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.38/1.89	
2.38/1.89	AbsCon 2 
2.64/1.90	
2.87/2.02	  Instance
2.87/2.02	    name=instance-4390619-1568383036, framework=CSP
2.87/2.02	
2.87/2.02	  Loading variables...
2.87/2.06	  Loading constraints...
3.78/2.33	
3.78/2.33	  Domains
3.78/2.33	    nTypes=1, nValues=26700, sizes=[534#50]
3.78/2.33	  Variables
3.78/2.33	    count=50, degrees=[25#48,26#1,27#1]
3.78/2.33	  Constraints
3.78/2.33	    count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.78/2.33	    distribution=[CtrIntension#351,LE#1]
3.78/2.33	    nIntStructures=(326,shared:25)
3.78/2.33	    wck=0.477, cpu=2.304, mem=68M795
3.78/2.34	  Solver SolverBacktrack being built...
3.78/2.34	
3.78/2.36	
3.78/2.36	  Solver
3.78/2.36	    guaranteedGAC=false
3.78/2.36	    wck=0.509, cpu=2.333, mem=82M80
3.78/2.38	
3.78/2.38	  Preprocessing
3.78/2.38	    filters=52, revisions=(53,useless=2), ccks=27351, nACremovedValues=4638, nTotalRemovedValues=4638, inconcistency=false
3.78/2.38	    wck=0.015, cpu=2.351, mem=82M80
3.78/2.38	
7.06/5.13	    num=0, depth=24..24, filters=495, revisions=(1587,useless=1052), ccks=9644326, wck=2.767, mem=84M723
7.06/5.13	    decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.06/5.13	    
7.19/5.26	    num=1, depth=2..2, filters=519, revisions=(1635,useless=1077), ccks=10112752, wck=2.897, mem=84M723
7.19/5.26	    decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.19/5.26	    
7.51/5.59	    num=2, depth=3..3, filters=545, revisions=(1739,useless=1154), ccks=11322445, wck=3.223, mem=84M723
7.51/5.59	    decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
7.51/5.59	    
9.05/7.10	    num=3, depth=22..22, filters=668, revisions=(3024,useless=2317), ccks=16934164, wck=4.734, mem=90M8
9.05/7.10	    decisions=143, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
9.05/7.10	    
9.84/7.83	    num=4, depth=3..3, filters=697, revisions=(3158,useless=2422), ccks=19620327, wck=5.467, mem=90M8
9.84/7.83	    decisions=174, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
9.84/7.83	    
17.43/15.42	    num=5, depth=1..1, filters=713, revisions=(3926,useless=3174), ccks=47301541, wck=13.054, mem=95M293
17.43/15.42	    decisions=207, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
17.43/15.42	    
17.74/15.74	    num=6, depth=3..3, filters=749, revisions=(4051,useless=3262), ccks=48501957, wck=13.377, mem=97M935
17.74/15.74	    decisions=244, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
17.74/15.74	    
18.27/16.21	    num=7, depth=2..2, filters=807, revisions=(4225,useless=3359), ccks=50174713, wck=13.841, mem=100M577
18.27/16.21	    decisions=284, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
18.27/16.21	    
18.27/16.22	    num=8, depth=3..3, filters=851, revisions=(4365,useless=3456), ccks=50223485, wck=13.855, mem=100M577
18.27/16.22	    decisions=329, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
18.27/16.22	    
18.58/16.50	    num=9, depth=3..3, filters=899, revisions=(4555,useless=3598), ccks=51219821, wck=14.135, mem=100M577
18.58/16.50	    decisions=378, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
18.58/16.50	    
18.58/16.54	    num=10, depth=3..3, filters=951, revisions=(4715,useless=3705), ccks=51346319, wck=14.17, mem=100M577
18.58/16.54	    decisions=431, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
18.58/16.54	    
18.89/16.86	    num=11, depth=4..4, filters=1010, revisions=(4940,useless=3872), ccks=52476214, wck=14.491, mem=103M220
18.89/16.86	    decisions=491, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
18.89/16.86	    
19.31/17.25	    num=12, depth=3..3, filters=1073, revisions=(5176,useless=4045), ccks=53948718, wck=14.881, mem=105M862
19.31/17.25	    decisions=556, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
19.31/17.25	    
35.13/33.02	    num=13, depth=1..1, filters=1107, revisions=(6809,useless=5644), ccks=111427485, wck=30.654, mem=116M432
35.13/33.02	    decisions=625, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
35.13/33.02	    
35.43/33.34	    num=14, depth=3..3, filters=1183, revisions=(7017,useless=5775), ccks=112628566, wck=30.978, mem=119M74
35.43/33.34	    decisions=702, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
35.43/33.34	    
35.95/33.84	    num=15, depth=3..3, filters=1267, revisions=(7316,useless=5990), ccks=114423294, wck=31.478, mem=119M74
35.95/33.84	    decisions=787, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
35.95/33.84	    
56.86/54.78	    num=16, depth=1..1, filters=1312, revisions=(9477,useless=8106), ccks=191141129, wck=52.413, mem=134M929
56.86/54.78	    decisions=878, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
56.86/54.78	    
57.27/55.14	    num=17, depth=5..5, filters=1414, revisions=(9984,useless=8511), ccks=192438284, wck=52.778, mem=134M929
57.27/55.14	    decisions=983, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
57.27/55.14	    
58.65/56.46	    num=18, depth=20..20, filters=1624, revisions=(12601,useless=10918), ccks=197063140, wck=54.095, mem=47M667
58.65/56.46	    decisions=1113, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
58.65/56.46	    
59.49/57.29	    num=19, depth=14..16, filters=2080, revisions=(14594,useless=12455), ccks=200021218, wck=54.927, mem=56M677
59.49/57.29	    decisions=1251, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
59.49/57.29	    
61.11/58.86	    num=20, depth=16..16, filters=2433, revisions=(18524,useless=16014), ccks=205722492, wck=56.49, mem=69M493
61.11/58.86	    decisions=1401, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
61.11/58.86	    
61.32/59.04	    num=21, depth=9..9, filters=2627, revisions=(19807,useless=17103), ccks=206352536, wck=56.674, mem=72M56
61.32/59.04	    decisions=1558, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
61.32/59.04	    
62.21/59.91	    num=22, depth=7..7, filters=2877, revisions=(20772,useless=17818), ccks=209505020, wck=57.542, mem=77M182
62.21/59.91	    decisions=1727, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
62.21/59.91	    
63.51/61.28	    num=23, depth=8..26, filters=3343, revisions=(23406,useless=19982), ccks=214457813, wck=58.91, mem=84M872
63.51/61.28	    decisions=1931, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
63.51/61.28	    
65.51/63.28	    num=24, depth=6..6, filters=3614, revisions=(24797,useless=21102), ccks=221994780, wck=60.913, mem=87M435
65.51/63.28	    decisions=2133, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
65.51/63.28	    
66.82/64.56	    num=25, depth=11..11, filters=4077, revisions=(26788,useless=22630), ccks=226608949, wck=62.191, mem=95M124
66.82/64.56	    decisions=2360, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
66.82/64.56	    
68.12/65.86	    num=26, depth=6..6, filters=4414, revisions=(28206,useless=23711), ccks=231346569, wck=63.493, mem=97M687
68.12/65.86	    decisions=2604, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
68.12/65.86	    
69.52/67.22	    num=27, depth=11..11, filters=4841, revisions=(30690,useless=25768), ccks=236221780, wck=64.858, mem=107M939
69.52/67.22	    decisions=2877, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
69.52/67.22	    
72.43/70.14	    num=28, depth=7..7, filters=5274, revisions=(32684,useless=27284), ccks=247153524, wck=67.777, mem=113M66
72.43/70.14	    decisions=3172, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
72.43/70.14	    
136.23/133.91	    num=29, depth=1..1, filters=5434, revisions=(40269,useless=34709), ccks=474997458, wck=131.549, mem=166M891
136.23/133.91	    decisions=3489, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
136.23/133.91	    
136.93/134.65	    num=30, depth=5..11, filters=5921, revisions=(42244,useless=36196), ccks=477629305, wck=132.284, mem=172M17
136.93/134.65	    decisions=3848, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
136.93/134.65	    
137.58/135.25	    num=31, depth=11..22, filters=6980, revisions=(48160,useless=41052), ccks=479511419, wck=132.88, mem=60M790
137.58/135.25	    decisions=4252, wrong=1997, backtracks=0, failedAssignments=1997, nogoods=1997
137.58/135.25	    
138.29/135.90	    num=32, depth=10..24, filters=7871, revisions=(54378,useless=46380), ccks=481668710, wck=133.535, mem=78M861
138.29/135.90	    decisions=4698, wrong=2208, backtracks=0, failedAssignments=2208, nogoods=2208
138.29/135.90	    
150.00/147.62	    num=33, depth=5..12, filters=8623, revisions=(59283,useless=50491), ccks=524087772, wck=145.258, mem=99M514
150.00/147.62	    decisions=5179, wrong=2443, backtracks=3, failedAssignments=2440, nogoods=2418
150.00/147.62	    
153.24/150.88	    num=34, depth=11..25, filters=9644, revisions=(69211,useless=59386), ccks=535911500, wck=148.519, mem=125M330
153.24/150.88	    decisions=5724, wrong=2703, backtracks=8, failedAssignments=2695, nogoods=2539
153.24/150.88	    
159.55/157.19	    num=35, depth=5..16, filters=10779, revisions=(75454,useless=64494), ccks=558618650, wck=154.821, mem=148M565
159.55/157.19	    decisions=6304, wrong=2985, backtracks=9, failedAssignments=2976, nogoods=2798
159.55/157.19	    
167.68/165.24	    num=36, depth=5..18, filters=11591, revisions=(80636,useless=68864), ccks=586802467, wck=162.878, mem=169M218
167.68/165.24	    decisions=6942, wrong=3295, backtracks=10, failedAssignments=3285, nogoods=3085
167.68/165.24	    
172.01/169.58	    num=37, depth=8..10, filters=12799, revisions=(87214,useless=74233), ccks=602630798, wck=167.219, mem=63M709
172.01/169.58	    decisions=7634, wrong=3636, backtracks=11, failedAssignments=3625, nogoods=3384
172.01/169.58	    
174.32/171.90	    num=38, depth=9..27, filters=14244, revisions=(98637,useless=84138), ccks=610653412, wck=169.531, mem=97M547
174.32/171.90	    decisions=8409, wrong=4010, backtracks=11, failedAssignments=3999, nogoods=3758
174.32/171.90	    
181.21/178.70	    num=39, depth=6..31, filters=16664, revisions=(113807,useless=96886), ccks=635010339, wck=176.334, mem=144M399
181.21/178.70	    decisions=9267, wrong=4425, backtracks=15, failedAssignments=4410, nogoods=4056
181.21/178.70	    
193.85/191.38	    num=40, depth=9..20, filters=18216, revisions=(125672,useless=107198), ccks=681808294, wck=189.015, mem=53M395
193.85/191.38	    decisions=10193, wrong=4878, backtracks=16, failedAssignments=4862, nogoods=4467
193.85/191.38	    
195.06/192.42	    num=41, depth=10..14, filters=19996, revisions=(134890,useless=114634), ccks=685237579, wck=190.053, mem=79M146
195.06/192.42	    decisions=11201, wrong=5375, backtracks=16, failedAssignments=5359, nogoods=4964
195.06/192.42	    
196.23/193.51	    num=42, depth=6..17, filters=21894, revisions=(146296,useless=124142), ccks=688850509, wck=191.146, mem=110M49
196.23/193.51	    decisions=12312, wrong=5922, backtracks=16, failedAssignments=5906, nogoods=5511
196.23/193.51	    
208.26/205.56	    num=43, depth=5..20, filters=24114, revisions=(161316,useless=136941), ccks=733387678, wck=203.196, mem=153M827
208.26/205.56	    decisions=13538, wrong=6525, backtracks=17, failedAssignments=6508, nogoods=6072
208.26/205.56	    
210.49/207.73	    num=44, depth=10..22, filters=26441, revisions=(177461,useless=150759), ccks=740671759, wck=205.364, mem=71M461
210.49/207.73	    decisions=14884, wrong=7187, backtracks=17, failedAssignments=7170, nogoods=6734
210.49/207.73	    
212.49/209.70	    num=45, depth=8..22, filters=28920, revisions=(193445,useless=164263), ccks=747329256, wck=207.333, mem=114M681
212.49/209.70	    decisions=16362, wrong=7915, backtracks=17, failedAssignments=7898, nogoods=7462
212.49/209.70	    
264.59/261.76	    num=46, depth=8..9, filters=33938, revisions=(240685,useless=206413), ccks=936170398, wck=259.391, mem=93M143
264.59/261.76	    decisions=18049, wrong=8754, backtracks=55, failedAssignments=8699, nogoods=7666
264.59/261.76	    
268.40/265.51	    num=47, depth=11..36, filters=37486, revisions=(264350,useless=226526), ccks=948967071, wck=263.146, mem=164M716
268.40/265.51	    decisions=19905, wrong=9665, backtracks=85, failedAssignments=9580, nogoods=8332
268.40/265.51	    
271.84/268.91	    num=48, depth=10..34, filters=42004, revisions=(293466,useless=251079), ccks=960186518, wck=266.548, mem=124M93
271.84/268.91	    decisions=21920, wrong=10656, backtracks=107, failedAssignments=10550, nogoods=9084
271.84/268.91	    
274.69/271.75	    num=49, depth=13..40, filters=46541, revisions=(334236,useless=287312), ccks=968719972, wck=269.383, mem=111M31
274.69/271.75	    decisions=24094, wrong=11723, backtracks=107, failedAssignments=11617, nogoods=10151
274.69/271.75	    
277.82/274.87	    num=50, depth=5..34, filters=50928, revisions=(370278,useless=318967), ccks=978430198, wck=272.51, mem=89M154
277.82/274.87	    decisions=26474, wrong=12896, backtracks=107, failedAssignments=12790, nogoods=11324
277.82/274.87	    
281.65/278.62	    num=51, depth=14..42, filters=56140, revisions=(422050,useless=365527), ccks=989752801, wck=276.259, mem=105M115
281.65/278.62	    decisions=29098, wrong=14187, backtracks=107, failedAssignments=14081, nogoods=12615
281.65/278.62	    
285.11/282.06	    num=52, depth=9..30, filters=61684, revisions=(468187,useless=406120), ccks=1000348058, wck=279.693, mem=104M633
285.11/282.06	    decisions=31968, wrong=15607, backtracks=107, failedAssignments=15501, nogoods=14035
285.11/282.06	    
289.94/286.88	    num=53, depth=15..43, filters=69297, revisions=(539523,useless=469843), ccks=1015455697, wck=284.515, mem=128M992
289.94/286.88	    decisions=35140, wrong=17174, backtracks=112, failedAssignments=17063, nogoods=15033
289.94/286.88	    
336.59/333.34	    num=54, depth=10..22, filters=86089, revisions=(622216,useless=535473), ccks=1181562295, wck=330.972, mem=56M567
336.59/333.34	    decisions=38676, wrong=18931, backtracks=151, failedAssignments=18781, nogoods=15381
336.59/333.34	    
342.01/338.74	    num=55, depth=7..43, filters=93851, revisions=(697149,useless=602644), ccks=1198458574, wck=336.378, mem=122M474
342.01/338.74	    decisions=42500, wrong=20822, backtracks=152, failedAssignments=20671, nogoods=17138
342.01/338.74	    
347.13/343.84	    num=56, depth=8..35, filters=101794, revisions=(759325,useless=656876), ccks=1215000743, wck=341.479, mem=54M549
347.13/343.84	    decisions=46692, wrong=22901, backtracks=152, failedAssignments=22750, nogoods=19217
347.13/343.84	    
391.49/388.12	    num=57, depth=5..29, filters=109587, revisions=(825588,useless=715482), ccks=1377295140, wck=385.75, mem=98M847
391.49/388.12	    decisions=51301, wrong=25191, backtracks=173, failedAssignments=25037, nogoods=20642
391.49/388.12	    
440.34/436.99	    num=58, depth=10..16, filters=113737, revisions=(923967,useless=809647), ccks=1547802658, wck=434.629, mem=101M668
440.34/436.99	    decisions=56349, wrong=27708, backtracks=206, failedAssignments=27553, nogoods=20865
440.34/436.99	    
462.05/458.55	    num=59, depth=7..25, filters=122812, revisions=(1011943,useless=888447), ccks=1623070534, wck=456.188, mem=102M378
462.05/458.55	    decisions=61933, wrong=30489, backtracks=219, failedAssignments=30321, nogoods=21711
462.05/458.55	    
470.06/466.52	    num=60, depth=5..27, filters=128547, revisions=(1075154,useless=945923), ccks=1651216614, wck=464.155, mem=94M677
470.06/466.52	    decisions=68053, wrong=33539, backtracks=243, failedAssignments=33365, nogoods=22306
470.06/466.52	    
489.79/486.27	    num=61, depth=3..18, filters=136879, revisions=(1144520,useless=1007049), ccks=1723088588, wck=483.9, mem=119M354
489.79/486.27	    decisions=74771, wrong=36890, backtracks=280, failedAssignments=36714, nogoods=23300
489.79/486.27	    
495.31/491.76	    num=62, depth=11..27, filters=145098, revisions=(1229238,useless=1083547), ccks=1741027343, wck=489.395, mem=84M595
495.31/491.76	    decisions=82173, wrong=40581, backtracks=321, failedAssignments=40398, nogoods=23922
495.31/491.76	    
502.81/499.22	    num=63, depth=5..14, filters=151186, revisions=(1282556,useless=1130777), ccks=1767636309, wck=496.859, mem=137M128
502.81/499.22	    decisions=90291, wrong=44633, backtracks=360, failedAssignments=44450, nogoods=24909
502.81/499.22	    
516.34/512.75	    num=64, depth=2..34, filters=167082, revisions=(1415802,useless=1248224), ccks=1812758309, wck=510.382, mem=64M889
516.34/512.75	    decisions=99256, wrong=49102, backtracks=373, failedAssignments=48907, nogoods=27094
516.34/512.75	    
517.84/514.27	    num=65, depth=5..18, filters=174475, revisions=(1492304,useless=1317332), ccks=1817933160, wck=511.907, mem=103M235
517.84/514.27	    decisions=109079, wrong=54005, backtracks=453, failedAssignments=53810, nogoods=28049
517.84/514.27	    
524.47/520.83	    num=66, depth=10..27, filters=186218, revisions=(1624634,useless=1437919), ccks=1838062812, wck=518.461, mem=63M177
524.47/520.83	    decisions=119885, wrong=59399, backtracks=479, failedAssignments=59204, nogoods=29005
524.47/520.83	    
545.22/541.53	    num=67, depth=10..19, filters=200832, revisions=(1754807,useless=1553332), ccks=1910290919, wck=539.166, mem=66M235
545.22/541.53	    decisions=131770, wrong=65333, backtracks=512, failedAssignments=65137, nogoods=30121
545.22/541.53	    
556.76/553.01	    num=68, depth=9..20, filters=221500, revisions=(1912404,useless=1690140), ccks=1946618880, wck=550.65, mem=93M585
556.76/553.01	    decisions=144840, wrong=71859, backtracks=548, failedAssignments=71663, nogoods=32004
556.76/553.01	    
581.80/578.10	    num=69, depth=12..18, filters=241106, revisions=(2090187,useless=1848312), ccks=2031311702, wck=575.739, mem=80M835
581.80/578.10	    decisions=159217, wrong=79039, backtracks=598, failedAssignments=78842, nogoods=32980
581.80/578.10	    
592.20/588.46	    num=70, depth=8..19, filters=256255, revisions=(2226403,useless=1969379), ccks=2067134101, wck=586.097, mem=125M111
592.20/588.46	    decisions=175029, wrong=86937, backtracks=669, failedAssignments=86739, nogoods=33762
592.20/588.46

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390619-1568383036/watcher-4390619-1568383036 -o /tmp/evaluation-result-4390619-1568383036/solver-4390619-1568383036 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8552 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390619-1568383036.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
solver pid=8983, runsolver pid=8980
Current StackSize limit: 8192 KiB


[startup+0.101624 s]*
/proc/loadavg: 1.85 1.88 1.78 4/227 8998
/proc/meminfo: memFree=31220068/32770624 swapFree=66922064/67108860
[pid=8983] ppid=8980 vsize=10659884 memory=29296 CPUtime=0.14 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 5834 0 0 0 12 2 0 0 20 0 15 0 414559603 10915721216 7324 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2664971 7324 2910 1 0 2627468 0
[pid=8983/tid=8985] ppid=8980 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 8521 0 -1 4202560 3256 0 0 0 8 1 0 0 20 0 15 0 414559604 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641629714632 140641625506973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641115809184 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641114756592 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) R 8980 8983 8521 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0.02 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) R 8980 8983 8521 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641110543352 140641604197020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 7324 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29296 KiB

[startup+0.210725 s]*
/proc/loadavg: 1.85 1.88 1.78 3/227 8998
/proc/meminfo: memFree=31213796/32770624 swapFree=66922064/67108860
[pid=8983] ppid=8980 vsize=10659884 memory=34952 CPUtime=0.33 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 6867 0 0 0 31 2 0 0 20 0 15 0 414559603 10915721216 8738 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2664971 8738 2990 1 0 2627468 0
[pid=8983/tid=8985] ppid=8980 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 8521 0 -1 4202560 3933 0 0 0 19 1 0 0 20 0 15 0 414559604 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641629711408 140641625506973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10659884 memory=139793167854643 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641115809184 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641114756592 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0.05 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 626 0 0 0 5 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 8738 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34952 KiB

[startup+0.310218 s]*
/proc/loadavg: 1.85 1.88 1.78 3/227 8998
/proc/meminfo: memFree=31204788/32770624 swapFree=66922064/67108860
[pid=8983] ppid=8980 vsize=10659884 memory=40132 CPUtime=0.48 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 9405 0 0 0 44 4 0 0 20 0 15 0 414559603 10915721216 10033 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2664971 10033 3002 1 0 2627468 0
[pid=8983/tid=8985] ppid=8980 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 8521 0 -1 4202560 6390 0 0 0 28 2 0 0 20 0 15 0 414559604 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641629717456 140641607637720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10659884 memory=304556144784048151 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10659884 memory=13989483089266328 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559604 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641115809184 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559606 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641114756592 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 586 0 0 0 4 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 418 0 0 0 4 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0.08 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) R 8980 8983 8521 0 -1 4202560 655 0 0 0 8 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641110546672 140641604110421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10659884 memory=139793167844992 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559609 10915721216 10033 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40132 KiB

[startup+0.701171 s]
/proc/loadavg: 1.85 1.88 1.78 3/227 8998
/proc/meminfo: memFree=31198216/32770624 swapFree=66922064/67108860
[pid=8983] ppid=8980 vsize=10661932 memory=62276 CPUtime=1.08 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 12706 0 0 0 103 5 0 0 20 0 15 0 414559603 10917818368 15569 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2665483 15569 3074 1 0 2627980 0
[pid=8983/tid=8985] ppid=8980 vsize=10661932 memory=1284 CPUtime=0.67 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 8521 0 -1 4202560 8945 0 0 0 63 4 0 0 20 0 15 0 414559604 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641629710928 140641609565534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10661932 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10661932 memory=708 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10661932 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10661932 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559604 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559606 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10661932 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414559606 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641115809184 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10661932 memory=8040 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414559606 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641114756592 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10661932 memory=7811607157311039314 CPUtime=0.09 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 782 0 0 0 9 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10661932 memory=5865188000529146989 CPUtime=0.1 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) R 8980 8983 8521 0 -1 4202560 657 0 0 0 10 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641111599216 140641611500608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10661932 memory=-8412654363917126771 CPUtime=0.19 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 964 0 0 0 19 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559609 10917818368 15569 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62276 KiB

[startup+1.50081 s]
/proc/loadavg: 1.85 1.88 1.78 3/227 8998
/proc/meminfo: memFree=31181432/32770624 swapFree=66922064/67108860
[pid=8983] ppid=8980 vsize=10663980 memory=74712 CPUtime=1.99 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 18215 0 0 0 193 6 0 0 20 0 15 0 414559603 10919915520 18678 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2665995 18678 3097 1 0 2628492 0
[pid=8983/tid=8985] ppid=8980 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 8521 0 -1 4202560 13155 0 0 0 143 5 0 0 20 0 15 0 414559604 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641629717072 140641605756784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414559604 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414559604 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 414559606 10919915520 18678 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0

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

/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2725 0 0 0 33 2 0 0 20 0 16 0 414559604 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10748324 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 6122 0 0 0 8 3 0 0 20 0 16 0 414559606 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10748324 memory=208136 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641115809248 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641114756608 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10748324 memory=208136 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10748324 memory=208136 CPUtime=1.06 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 8678 0 0 0 105 1 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10748324 memory=208136 CPUtime=1.07 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 9785 0 0 0 106 1 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10748324 memory=10808 CPUtime=0.66 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 9215 0 0 0 65 1 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10748324 memory=19504 CPUtime=0.63 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1242 0 0 0 25 38 0 0 20 0 16 0 414559609 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8999] ppid=8980 vsize=10748324 memory=208136 CPUtime=2379.57 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) R 8980 8983 8521 0 -1 4202560 15903 0 0 0 237952 5 0 0 20 0 16 0 414559792 11006283776 52034 33554432000 4194304 4196468 140722295884240 140641091780096 140641268523264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 2386.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 208136 KiB

[startup+2442.3 s]
/proc/loadavg: 1.86 1.83 1.86 3/228 9640
/proc/meminfo: memFree=30884932/32770624 swapFree=66922116/67108860
[pid=8983] ppid=8980 vsize=10748324 memory=207112 CPUtime=2446.51 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 83455 0 0 0 244599 52 0 0 20 0 16 0 414559603 11006283776 51778 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2687081 51778 3374 1 0 2647217 0
[pid=8983/tid=8985] ppid=8980 vsize=10748324 memory=208136 CPUtime=1.87 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8980 8983 8521 0 -1 1077944384 15409 0 0 0 180 7 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641629727920 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10748324 memory=208136 CPUtime=0.37 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 4839 0 0 0 34 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 3940 0 0 0 34 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10748324 memory=3324 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 4161 0 0 0 33 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10748324 memory=208136 CPUtime=0.35 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 2725 0 0 0 33 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.11 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 6128 0 0 0 8 3 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641115809248 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10748324 memory=208136 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641114756608 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10748324 memory=208136 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10748324 memory=208136 CPUtime=1.06 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 8678 0 0 0 105 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10748324 memory=208136 CPUtime=1.07 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 9785 0 0 0 106 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10748324 memory=3580 CPUtime=0.66 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 9215 0 0 0 65 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10748324 memory=19504 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.65 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1246 0 0 0 27 38 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8999] ppid=8980 vsize=10748324 memory=208136 CPUtime=2439.56 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) R 8980 8983 8521 0 -1 4202560 15930 0 0 0 243951 5 0 0 20 0 16 0 414559792 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641091780096 140641268311578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 2446.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207112 KiB

[startup+2502.3 s]
/proc/loadavg: 1.90 1.85 1.86 3/228 9646
/proc/meminfo: memFree=30942124/32770624 swapFree=66922116/67108860
[pid=8983] ppid=8980 vsize=10748324 memory=207112 CPUtime=2506.53 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 84136 0 0 0 250600 53 0 0 20 0 16 0 414559603 11006283776 51778 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2687081 51778 3374 1 0 2647217 0
[pid=8983/tid=8985] ppid=8980 vsize=10748324 memory=207112 CPUtime=1.87 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8980 8983 8521 0 -1 1077944384 15409 0 0 0 180 7 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641629727920 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.37 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 4860 0 0 0 34 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 3955 0 0 0 34 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 4210 0 0 0 33 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 3004 0 0 0 34 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.12 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 6307 0 0 0 8 4 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10748324 memory=207112 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641115809248 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10748324 memory=207112 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641114756608 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10748324 memory=14012 CPUtime=1.06 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 8680 0 0 0 105 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10748324 memory=3580 CPUtime=1.07 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 9787 0 0 0 106 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10748324 memory=19504 CPUtime=0.66 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 9218 0 0 0 65 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10748324 memory=207112 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10748324 memory=3580 CPUtime=0.67 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1278 0 0 0 28 39 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8999] ppid=8980 vsize=10748324 memory=207112 CPUtime=2499.54 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) R 8980 8983 8521 0 -1 4202560 16029 0 0 0 249949 5 0 0 20 0 16 0 414559792 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641091780096 140641268523304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 2506.53 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.8 s]
/proc/loadavg: 1.92 1.86 1.86 3/228 9647
/proc/meminfo: memFree=30943892/32770624 swapFree=66922116/67108860
[pid=8983] ppid=8980 vsize=10748324 memory=207112 CPUtime=2520.03 cores=0,2,4,6
/proc/8983/stat : 8983 (java) S 8980 8983 8521 0 -1 1077944320 84160 0 0 0 251950 53 0 0 20 0 16 0 414559603 11006283776 51778 33554432000 4194304 4196468 140722295884240 140722295866784 140641625485047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
/proc/8983/statm: 2687081 51778 3374 1 0 2647217 0
[pid=8983/tid=8985] ppid=8980 vsize=10748324 memory=19504 CPUtime=1.87 cores=0,2,4,6
/proc/8983/task/8985/stat : 8985 (java) S 8980 8983 8521 0 -1 1077944384 15409 0 0 0 180 7 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641629727920 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8986] ppid=8980 vsize=10748324 memory=988 CPUtime=0.37 cores=0,2,4,6
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 8521 0 -1 1077944384 4860 0 0 0 34 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641231808784 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8987] ppid=8980 vsize=10748324 memory=2016 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 8521 0 -1 1077944384 3955 0 0 0 34 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641230756240 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8988] ppid=8980 vsize=10748324 memory=207112 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 8521 0 -1 1077944384 4210 0 0 0 33 3 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641229703696 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8989] ppid=8980 vsize=10748324 memory=2120 CPUtime=0.36 cores=0,2,4,6
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 8521 0 -1 1077944384 3004 0 0 0 34 2 0 0 20 0 16 0 414559604 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641228651152 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8990] ppid=8980 vsize=10748324 memory=12020 CPUtime=0.12 cores=0,2,4,6
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 8521 0 -1 1077944384 6307 0 0 0 8 4 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641116862960 140641625496194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8991] ppid=8980 vsize=10748324 memory=708 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 8521 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641115809248 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8992] ppid=8980 vsize=10748324 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 8521 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414559606 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641114756608 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8993] ppid=8980 vsize=10748324 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641113705168 140641625503643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8994] ppid=8980 vsize=10748324 memory=776 CPUtime=1.06 cores=0,2,4,6
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 8521 0 -1 1077944384 8680 0 0 0 105 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641112651760 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8995] ppid=8980 vsize=10748324 memory=1552 CPUtime=1.07 cores=0,2,4,6
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 8521 0 -1 1077944384 9787 0 0 0 106 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641111599216 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8996] ppid=8980 vsize=10748324 memory=8040 CPUtime=0.66 cores=0,2,4,6
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 8521 0 -1 1077944384 9218 0 0 0 65 1 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641110546672 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8997] ppid=8980 vsize=10748324 memory=3444 CPUtime=0 cores=0,2,4,6
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641109494368 140641625495253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8998] ppid=8980 vsize=10748324 memory=1556 CPUtime=0.67 cores=0,2,4,6
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 8521 0 -1 1077944384 1280 0 0 0 28 39 0 0 20 0 16 0 414559609 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641108441904 140641625496194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
[pid=8983/tid=8999] ppid=8980 vsize=10748324 memory=2832 CPUtime=2513.04 cores=0,2,4,6
/proc/8983/task/8999/stat : 8999 (java) R 8980 8983 8521 0 -1 4202560 16051 0 0 0 251299 5 0 0 20 0 16 0 414559792 11006283776 51778 33554432000 4194304 4196468 140722295884240 140641091780096 140641263653480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140722295886859 140722295886962 140722295886962 140722295889871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207112 KiB

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

[startup+2515.81 s]
# the end of solver process 8983 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.51 s, system=0.535022 s

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

Child status: 143
Real time (s): 2515.81
CPU time (s): 2520.05
CPU user time (s): 2519.51
CPU system time (s): 0.535022
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 288152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.535022
maximum resident set size= 288156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59037
involuntary context switches= 2492


# summary of solver processes directly reported to runsolver:
#   pid: 8983
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.51
#   total CPU system time (s): 0.535022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4467 second user time and 19.1833 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-13 14:55:19
IDJOB=4390619
IDBENCH=127955
IDSOLVER=2832
FILE ID=node107/4390619-1568383036
RUNJOBID= node107-1568376800-8552
PBS_JOBID= 21701847
Free space on /tmp= 55696 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-160.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390619-1568383036/watcher-4390619-1568383036 -o /tmp/evaluation-result-4390619-1568383036/solver-4390619-1568383036 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8552 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390619-1568383036.xml -cm

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=1712976382

node107.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.11
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.11
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.11
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.11
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:        31235968 kB
MemAvailable:   31651888 kB
Buffers:          141916 kB
Cached:           543388 kB
SwapCached:        79620 kB
Active:           567288 kB
Inactive:         378840 kB
Active(anon):     190304 kB
Inactive(anon):   100788 kB
Active(file):     376984 kB
Inactive(file):   278052 kB
Unevictable:      109976 kB
Mlocked:          109976 kB
SwapTotal:      67108860 kB
SwapFree:       66922064 kB
Dirty:              8536 kB
Writeback:             0 kB
AnonPages:        325216 kB
Mapped:            46300 kB
Shmem:             21800 kB
Slab:             182048 kB
SReclaimable:     153440 kB
SUnreclaim:        28608 kB
KernelStack:        3952 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1147576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 55688 MiB
End job on node107 at 2019-09-13 15:37:15