Trace number 4390549

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-26.xml
MD5SUM163dd1c4311ae2a810c887bcbec28782
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.5906
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size413
Maximum domain size511
Distribution of domain sizes[{"size":413,"count":2},{"size":414,"count":2},{"size":415,"count":2},{"size":417,"count":2},{"size":418,"count":4},{"size":420,"count":2},{"size":421,"count":4},{"size":422,"count":4},{"size":423,"count":2},{"size":425,"count":2},{"size":428,"count":4},{"size":430,"count":4},{"size":432,"count":2},{"size":434,"count":2},{"size":435,"count":2},{"size":437,"count":4},{"size":439,"count":2},{"size":440,"count":2},{"size":443,"count":4},{"size":445,"count":8},{"size":447,"count":2},{"size":448,"count":2},{"size":450,"count":2},{"size":453,"count":6},{"size":456,"count":2},"...",{"size":478,"count":2}, {"size":479,"count":2}, {"size":481,"count":10}, {"size":482,"count":2}, {"size":484,"count":2}, {"size":485,"count":2}, {"size":486,"count":6}, {"size":487,"count":2}, {"size":488,"count":2}, {"size":489,"count":2}, {"size":490,"count":4}, {"size":491,"count":4}, {"size":492,"count":4}, {"size":493,"count":2}, {"size":494,"count":2}, {"size":495,"count":4}, {"size":496,"count":4}, {"size":497,"count":2}, {"size":499,"count":4}, {"size":501,"count":2}, {"size":502,"count":4}, {"size":503,"count":8}, {"size":504,"count":4}, {"size":507,"count":2}, {"size":511,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

2.41/1.89	
2.41/1.89	AbsCon 2 
2.65/1.91	
3.30/2.19	  Instance
3.30/2.19	    name=instance-4390549-1568385564, framework=CSP
3.30/2.19	
3.30/2.19	  Loading variables...
3.63/2.28	  Loading constraints...
32.45/28.68	
32.45/28.68	  Domains
32.45/28.68	    nTypes=64, nValues=93184, sizes=[413#2,414#2,415#2,417#2...503#8,504#4,507#2,511#4]
32.45/28.68	  Variables
32.45/28.68	    count=200, degrees=[19#100,37#100]
32.45/28.68	  Constraints
32.45/28.68	    count=2800, nSpecific=100, arities=[2#2800]
32.45/28.68	    distribution=[CtrIntension#2700,NE#100]
32.45/28.68	    nIntStructures=(794,shared:1906), nCftStructures=(794,shared:1906,unbuilt:100)
32.45/28.68	    wck=26.815, cpu=28.509, mem=135M964
32.45/28.68	  Solver SolverBacktrack being built...
32.45/28.68	
32.71/28.72	
32.71/28.72	  Solver
32.71/28.72	    guaranteedGAC=true
32.71/28.72	    wck=26.857, cpu=28.549, mem=149M90
32.71/28.72	
32.71/28.72	  Preprocessing
32.71/28.72	    filters=0, ccks=172223709, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
32.71/28.72	    wck=0.006, cpu=28.556, mem=149M90
32.71/28.72	
34.01/29.56	    num=0, depth=60..60, filters=1966, revisions=(4208,useless=2271), ccks=175871885, wck=0.845, mem=48M341
34.01/29.56	    decisions=80, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
34.01/29.56	    
34.82/30.27	    num=1, depth=52..52, filters=3961, revisions=(8083,useless=4185), ccks=179128995, wck=1.558, mem=56M58
34.82/30.27	    decisions=154, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
34.82/30.27	    
35.63/31.05	    num=2, depth=57..57, filters=5499, revisions=(12099,useless=6700), ccks=182691349, wck=2.333, mem=61M202
35.63/31.05	    decisions=235, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
35.63/31.05	    
35.83/31.22	    num=3, depth=11..11, filters=6235, revisions=(13121,useless=7005), ccks=183430367, wck=2.499, mem=63M775
35.83/31.22	    decisions=272, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
35.83/31.22	    
36.14/31.53	    num=4, depth=11..11, filters=6805, revisions=(14149,useless=7469), ccks=184875810, wck=2.818, mem=66M347
36.14/31.53	    decisions=311, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
36.14/31.53	    
36.44/31.86	    num=5, depth=11..11, filters=7717, revisions=(15958,useless=8372), ccks=186380950, wck=3.144, mem=71M492
36.44/31.86	    decisions=354, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
36.44/31.86	    
36.65/32.05	    num=6, depth=3..3, filters=8580, revisions=(17199,useless=8769), ccks=187240256, wck=3.332, mem=74M64
36.65/32.05	    decisions=391, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
36.65/32.05	    
36.95/32.37	    num=7, depth=11..11, filters=9548, revisions=(18769,useless=9396), ccks=188659364, wck=3.65, mem=79M209
36.95/32.37	    decisions=440, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
36.95/32.37	    
37.26/32.62	    num=8, depth=3..3, filters=10569, revisions=(20351,useless=9980), ccks=189841174, wck=3.907, mem=84M354
37.26/32.62	    decisions=485, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
37.26/32.62	    
37.78/33.11	    num=9, depth=3..3, filters=11261, revisions=(21920,useless=10859), ccks=192175203, wck=4.398, mem=86M926
37.78/33.11	    decisions=534, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
37.78/33.11	    
38.07/33.45	    num=10, depth=3..3, filters=12502, revisions=(23980,useless=11705), ccks=193736549, wck=4.738, mem=92M71
38.07/33.45	    decisions=587, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
38.07/33.45	    
38.27/33.69	    num=11, depth=3..3, filters=13889, revisions=(26195,useless=12563), ccks=194798049, wck=4.977, mem=97M215
38.27/33.69	    decisions=646, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
38.27/33.69	    
38.69/34.02	    num=12, depth=3..3, filters=15504, revisions=(28650,useless=13436), ccks=196252711, wck=5.299, mem=104M932
38.69/34.02	    decisions=711, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
38.69/34.02	    
39.18/34.53	    num=13, depth=3..3, filters=16496, revisions=(30959,useless=14754), ccks=198509994, wck=5.81, mem=107M505
39.18/34.53	    decisions=782, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
39.18/34.53	    
39.80/35.13	    num=14, depth=3..3, filters=18346, revisions=(34228,useless=16212), ccks=201326226, wck=6.41, mem=118M653
39.80/35.13	    decisions=859, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
39.80/35.13	    
40.60/36.00	    num=15, depth=3..3, filters=19516, revisions=(36715,useless=17531), ccks=205402222, wck=7.279, mem=121M225
40.60/36.00	    decisions=944, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
40.60/36.00	    
41.41/36.74	    num=16, depth=3..3, filters=21736, revisions=(41055,useless=19697), ccks=208800844, wck=8.025, mem=131M514
41.41/36.74	    decisions=1037, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
41.41/36.74	    
43.11/38.44	    num=17, depth=2..3, filters=24870, revisions=(47122,useless=22680), ccks=216746277, wck=9.719, mem=144M376
43.11/38.44	    decisions=1142, wrong=448, backtracks=1, failedAssignments=447, nogoods=402
43.11/38.44	    
43.82/39.15	    num=18, depth=3..3, filters=28191, revisions=(51942,useless=24225), ccks=220038045, wck=10.438, mem=159M810
43.82/39.15	    decisions=1255, wrong=503, backtracks=1, failedAssignments=502, nogoods=457
43.82/39.15	    
44.32/39.69	    num=19, depth=3..3, filters=31607, revisions=(58112,useless=27041), ccks=222383246, wck=10.971, mem=170M99
44.32/39.69	    decisions=1380, wrong=564, backtracks=1, failedAssignments=563, nogoods=518
44.32/39.69	    
45.57/40.83	    num=20, depth=2..3, filters=35331, revisions=(65929,useless=31201), ccks=227519581, wck=12.116, mem=53M691
45.57/40.83	    decisions=1519, wrong=632, backtracks=2, failedAssignments=630, nogoods=537
45.57/40.83	    
47.17/42.50	    num=21, depth=2..6, filters=39989, revisions=(76662,useless=37285), ccks=235193765, wck=13.779, mem=71M826
47.17/42.50	    decisions=1675, wrong=707, backtracks=3, failedAssignments=704, nogoods=549
47.17/42.50	    
48.07/43.32	    num=22, depth=3..5, filters=44577, revisions=(87466,useless=43550), ccks=238605094, wck=14.604, mem=87M372
48.07/43.32	    decisions=1848, wrong=791, backtracks=6, failedAssignments=785, nogoods=567
48.07/43.32	    
49.08/44.38	    num=23, depth=2..3, filters=49271, revisions=(95703,useless=47182), ccks=243389915, wck=15.668, mem=105M508
49.08/44.38	    decisions=2031, wrong=881, backtracks=7, failedAssignments=874, nogoods=580
49.08/44.38	    
51.38/46.64	    num=24, depth=2..3, filters=55133, revisions=(105757,useless=51434), ccks=254106527, wck=17.921, mem=136M598
51.38/46.64	    decisions=2232, wrong=980, backtracks=8, failedAssignments=972, nogoods=602
51.38/46.64	    
53.28/48.52	    num=25, depth=2..3, filters=61028, revisions=(118791,useless=58683), ccks=262845418, wck=19.808, mem=157M324
53.28/48.52	    decisions=2453, wrong=1089, backtracks=9, failedAssignments=1080, nogoods=671
53.28/48.52	    
54.81/50.10	    num=26, depth=2..4, filters=66550, revisions=(129941,useless=64410), ccks=270089872, wck=21.384, mem=48M560
54.81/50.10	    decisions=2699, wrong=1210, backtracks=11, failedAssignments=1199, nogoods=694
54.81/50.10	    
57.50/52.74	    num=27, depth=2..3, filters=74528, revisions=(143198,useless=69746), ccks=282580432, wck=24.02, mem=79M370
57.50/52.74	    decisions=2966, wrong=1342, backtracks=12, failedAssignments=1330, nogoods=749
57.50/52.74	    
59.51/54.76	    num=28, depth=2..3, filters=82267, revisions=(159620,useless=78575), ccks=291717964, wck=26.046, mem=110M180
59.51/54.76	    decisions=3261, wrong=1488, backtracks=14, failedAssignments=1474, nogoods=766
59.51/54.76	    
61.61/56.81	    num=29, depth=2..3, filters=90469, revisions=(176779,useless=87692), ccks=301071761, wck=28.094, mem=143M557
61.61/56.81	    decisions=3584, wrong=1648, backtracks=16, failedAssignments=1632, nogoods=772
61.61/56.81	    
64.85/60.10	    num=30, depth=2..5, filters=101436, revisions=(202001,useless=102028), ccks=316005996, wck=31.379, mem=51M30
64.85/60.10	    decisions=3947, wrong=1827, backtracks=21, failedAssignments=1806, nogoods=782
64.85/60.10	    
67.15/62.36	    num=31, depth=3..4, filters=113021, revisions=(225875,useless=114412), ccks=325906619, wck=33.64, mem=96M703
67.15/62.36	    decisions=4371, wrong=2037, backtracks=40, failedAssignments=1997, nogoods=887
67.15/62.36	    
69.35/64.51	    num=32, depth=2..4, filters=122923, revisions=(245917,useless=124700), ccks=335453914, wck=35.794, mem=129M690
69.35/64.51	    decisions=4801, wrong=2250, backtracks=42, failedAssignments=2208, nogoods=961
69.35/64.51	    
72.15/67.38	    num=33, depth=2..4, filters=133721, revisions=(266883,useless=135030), ccks=348116203, wck=38.66, mem=170M288
72.15/67.38	    decisions=5275, wrong=2485, backtracks=45, failedAssignments=2440, nogoods=974
72.15/67.38	    
74.77/69.96	    num=34, depth=2..4, filters=145996, revisions=(291237,useless=147301), ccks=359665499, wck=41.239, mem=86M3
74.77/69.96	    decisions=5797, wrong=2744, backtracks=49, failedAssignments=2695, nogoods=1017
74.77/69.96	    
77.78/72.97	    num=35, depth=2..5, filters=162531, revisions=(329587,useless=169368), ccks=372650554, wck=44.252, mem=146M77
77.78/72.97	    decisions=6377, wrong=3032, backtracks=56, failedAssignments=2976, nogoods=1036
77.78/72.97	    
79.72/74.83	    num=36, depth=3..4, filters=172991, revisions=(357887,useless=187239), ccks=380344958, wck=46.118, mem=53M314
79.72/74.83	    decisions=7021, wrong=3352, backtracks=67, failedAssignments=3285, nogoods=1049
79.72/74.83	    
86.22/81.31	    num=37, depth=2..3, filters=192229, revisions=(393450,useless=203754), ccks=410729238, wck=52.596, mem=129M761
86.22/81.31	    decisions=7712, wrong=3696, backtracks=71, failedAssignments=3625, nogoods=1088
86.22/81.31	    
89.24/84.35	    num=38, depth=2..3, filters=212585, revisions=(434617,useless=224939), ccks=423563917, wck=55.634, mem=79M882
89.24/84.35	    decisions=8471, wrong=4074, backtracks=75, failedAssignments=3999, nogoods=1161
89.24/84.35	    
95.98/91.05	    num=39, depth=2..3, filters=239602, revisions=(477949,useless=241516), ccks=454674281, wck=62.336, mem=69M734
95.98/91.05	    decisions=9306, wrong=4490, backtracks=80, failedAssignments=4410, nogoods=1199
95.98/91.05	    
100.19/95.20	    num=40, depth=2..3, filters=262500, revisions=(519678,useless=260799), ccks=472886230, wck=66.486, mem=162M836
100.19/95.20	    decisions=10224, wrong=4948, backtracks=86, failedAssignments=4862, nogoods=1205
100.19/95.20	    
104.39/99.29	    num=41, depth=2..3, filters=289642, revisions=(578903,useless=293380), ccks=490405647, wck=70.575, mem=142M486
104.39/99.29	    decisions=11233, wrong=5451, backtracks=92, failedAssignments=5359, nogoods=1277
104.39/99.29	    
109.07/103.81	    num=42, depth=2..3, filters=320530, revisions=(639146,useless=323276), ccks=510169530, wck=75.093, mem=131M877
109.07/103.81	    decisions=12346, wrong=6006, backtracks=100, failedAssignments=5906, nogoods=1303
109.07/103.81	    
114.43/109.16	    num=43, depth=2..4, filters=360736, revisions=(726777,useless=371228), ccks=532931508, wck=80.439, mem=146M753
114.43/109.16	    decisions=13614, wrong=6638, backtracks=130, failedAssignments=6508, nogoods=1413
114.43/109.16	    
120.67/115.33	    num=44, depth=3..4, filters=400934, revisions=(816629,useless=421446), ccks=559087575, wck=86.615, mem=70M288
120.67/115.33	    decisions=15036, wrong=7347, backtracks=177, failedAssignments=7170, nogoods=1541
120.67/115.33	    
125.89/120.57	    num=45, depth=3..4, filters=444207, revisions=(909706,useless=471974), ccks=581049848, wck=91.852, mem=102M922
125.89/120.57	    decisions=16534, wrong=8094, backtracks=196, failedAssignments=7898, nogoods=1567
125.89/120.57	    
133.44/128.01	    num=46, depth=3..4, filters=484687, revisions=(1011592,useless=534182), ccks=613480612, wck=99.298, mem=150M655
133.44/128.01	    decisions=18158, wrong=8904, backtracks=205, failedAssignments=8699, nogoods=1640
133.44/128.01	    
139.27/133.88	    num=47, depth=3..4, filters=526263, revisions=(1103844,useless=585735), ccks=639236553, wck=105.166, mem=99M113
139.27/133.88	    decisions=19950, wrong=9798, backtracks=218, failedAssignments=9580, nogoods=1677
139.27/133.88	    
147.19/141.76	    num=48, depth=2..4, filters=582147, revisions=(1223342,useless=650292), ccks=672917523, wck=113.04, mem=89M449
147.19/141.76	    decisions=21919, wrong=10781, backtracks=231, failedAssignments=10550, nogoods=1744
147.19/141.76	    
153.90/148.42	    num=49, depth=2..3, filters=637200, revisions=(1344680,useless=717646), ccks=701031982, wck=119.705, mem=86M324
153.90/148.42	    decisions=24086, wrong=11863, backtracks=246, failedAssignments=11617, nogoods=1763
153.90/148.42	    
173.32/167.84	    num=50, depth=2..3, filters=719850, revisions=(1482940,useless=774127), ccks=792129145, wck=139.124, mem=52M559
173.32/167.84	    decisions=26467, wrong=13052, backtracks=262, failedAssignments=12790, nogoods=1825
173.32/167.84	    
182.24/176.74	    num=51, depth=2..4, filters=789645, revisions=(1622669,useless=845009), ccks=830376695, wck=148.023, mem=118M823
182.24/176.74	    decisions=29167, wrong=14400, backtracks=320, failedAssignments=14081, nogoods=2022
182.24/176.74	    
192.38/186.83	    num=52, depth=2..3, filters=860538, revisions=(1773609,useless=926383), ccks=873868847, wck=158.109, mem=121M765
192.38/186.83	    decisions=32050, wrong=15840, backtracks=340, failedAssignments=15501, nogoods=2095
192.38/186.83	    
204.21/198.66	    num=53, depth=2..3, filters=949529, revisions=(2015588,useless=1080808), ccks=919133219, wck=169.945, mem=82M535
204.21/198.66	    decisions=35241, wrong=17434, backtracks=372, failedAssignments=17063, nogoods=2138
204.21/198.66	    
215.20/209.50	    num=54, depth=2..3, filters=1045239, revisions=(2224363,useless=1195593), ccks=963568000, wck=180.782, mem=72M657
215.20/209.50	    decisions=38732, wrong=19178, backtracks=398, failedAssignments=18781, nogoods=2180
215.20/209.50	    
233.62/227.96	    num=55, depth=2..3, filters=1122034, revisions=(2396258,useless=1292300), ccks=1047060623, wck=199.246, mem=113M982
233.62/227.96	    decisions=42583, wrong=21102, backtracks=432, failedAssignments=20671, nogoods=2245
233.62/227.96	    
260.45/254.78	    num=56, depth=2..5, filters=1216801, revisions=(2596514,useless=1399379), ccks=1169974729, wck=226.066, mem=90M610
260.45/254.78	    decisions=46812, wrong=23215, backtracks=466, failedAssignments=22750, nogoods=2285
260.45/254.78	    
274.97/269.25	    num=57, depth=2..4, filters=1307455, revisions=(2787854,useless=1502073), ccks=1231771089, wck=240.537, mem=90M852
274.97/269.25	    decisions=51696, wrong=25655, backtracks=621, failedAssignments=25037, nogoods=2295
274.97/269.25	    
290.01/284.24	    num=58, depth=2..4, filters=1407528, revisions=(2999316,useless=1615646), ccks=1295680116, wck=255.526, mem=62M282
290.01/284.24	    decisions=57077, wrong=28344, backtracks=796, failedAssignments=27553, nogoods=2344
290.01/284.24	    
308.16/302.33	    num=59, depth=3..4, filters=1546600, revisions=(3293794,useless=1773821), ccks=1373671320, wck=273.61, mem=53M367
308.16/302.33	    decisions=62701, wrong=31154, backtracks=838, failedAssignments=30321, nogoods=2404
308.16/302.33	    
323.31/317.40	    num=60, depth=3..4, filters=1679069, revisions=(3576488,useless=1927107), ccks=1438167784, wck=288.68, mem=90M355
323.31/317.40	    decisions=68899, wrong=34251, backtracks=891, failedAssignments=33365, nogoods=2524
323.31/317.40	    
348.08/342.17	    num=61, depth=3..4, filters=1870319, revisions=(4110437,useless=2273083), ccks=1537190539, wck=313.454, mem=90M725
348.08/342.17	    decisions=75795, wrong=37697, backtracks=988, failedAssignments=36714, nogoods=2640
348.08/342.17	    
364.05/358.09	    num=62, depth=3..4, filters=2020856, revisions=(4340160,useless=2355815), ccks=1605546041, wck=329.377, mem=94M683
364.05/358.09	    decisions=83275, wrong=41435, backtracks=1042, failedAssignments=40398, nogoods=2839
364.05/358.09	    
397.54/391.43	    num=63, depth=2..4, filters=2246314, revisions=(4951229,useless=2745240), ccks=1739336173, wck=362.717, mem=47M565
397.54/391.43	    decisions=91685, wrong=45638, backtracks=1194, failedAssignments=44450, nogoods=2875
397.54/391.43	    
430.84/424.67	    num=64, depth=2..3, filters=2489031, revisions=(5503415,useless=3059137), ccks=1873569630, wck=395.953, mem=71M103
430.84/424.67	    decisions=100884, wrong=50236, backtracks=1335, failedAssignments=48907, nogoods=3122
430.84/424.67	    
466.66/460.40	    num=65, depth=2..3, filters=2748871, revisions=(6094696,useless=3395518), ccks=2018225308, wck=431.679, mem=71M153
466.66/460.40	    decisions=111001, wrong=55293, backtracks=1489, failedAssignments=53810, nogoods=3358
466.66/460.40	    
506.48/500.05	    num=66, depth=2..6, filters=3062645, revisions=(6766562,useless=3757974), ccks=2179147787, wck=471.335, mem=57M290
506.48/500.05	    decisions=122426, wrong=61003, backtracks=1810, failedAssignments=59204, nogoods=3398
506.48/500.05	    
555.83/549.21	    num=67, depth=2..6, filters=3403396, revisions=(7618478,useless=4272260), ccks=2377359670, wck=520.496, mem=85M122
555.83/549.21	    decisions=134853, wrong=67214, backtracks=2090, failedAssignments=65137, nogoods=3460
555.83/549.21	    
617.64/610.99	    num=68, depth=2..3, filters=3676768, revisions=(8165482,useless=4551702), ccks=2658777377, wck=582.273, mem=76M590
617.64/610.99	    decisions=148282, wrong=73927, backtracks=2277, failedAssignments=71663, nogoods=3703
617.64/610.99	    
680.54/673.74	    num=69, depth=2..4, filters=3963436, revisions=(8771841,useless=4878003), ccks=2940222344, wck=645.022, mem=48M840
680.54/673.74	    decisions=163161, wrong=81365, backtracks=2537, failedAssignments=78842, nogoods=3974
680.54/673.74	    
730.24/723.34	    num=70, depth=2..4, filters=4280079, revisions=(9435349,useless=5231541), ccks=3152387086, wck=694.626, mem=92M748
730.24/723.34	    decisions=180075, wrong=89820, backtracks=3103, failedAssignments=86739, nogoods=3999
730.24/723.34	    
794.97/787.95	    num=71, depth=2..4, filters=4734216, revisions=(10446280,useless=5796807), ccks=3418434489, wck=759.234, mem=46M774
794.97/787.95	    decisions=197937, wrong=98749, backtracks=3346, failedAssignments=95426, nogoods=4040
794.97/787.95	    
859.75/852.50	    num=72, depth=3..4, filters=5196305, revisions=(11399137,useless=6297132), ccks=3687215534, wck=823.787, mem=63M912
859.75/852.50	    decisions=217485, wrong=108521, backtracks=3563, failedAssignments=104981, nogoods=4301
859.75/852.50	    
932.65/925.24	    num=73, depth=2..4, filters=5732485, revisions=(12676586,useless=7048648), ccks=3988062782, wck=896.52, mem=61M822
932.65/925.24	    decisions=239271, wrong=119412, backtracks=3946, failedAssignments=115492, nogoods=4519
932.65/925.24	    
1016.20/1008.68	    num=74, depth=2..4, filters=6346441, revisions=(14135503,useless=7904489), ccks=4335562101, wck=979.96, mem=98M211
1016.20/1008.68	    decisions=263217, wrong=131383, backtracks=4358, failedAssignments=127054, nogoods=4721
1016.20/1008.68	    
1111.17/1103.45	    num=75, depth=2..4, filters=7009803, revisions=(15690706,useless=8807380), ccks=4720572800, wck=1074.729, mem=46M906
1111.17/1103.45	    decisions=289673, wrong=144609, backtracks=4871, failedAssignments=139772, nogoods=4739
1111.17/1103.45	    
1209.27/1201.36	    num=76, depth=1..5, filters=7707145, revisions=(17212537,useless=9645435), ccks=5128445733, wck=1172.642, mem=55M478
1209.27/1201.36	    decisions=318347, wrong=158944, backtracks=5218, failedAssignments=153762, nogoods=4817
1209.27/1201.36	    
1322.06/1313.98	    num=77, depth=2..6, filters=8667345, revisions=(19359084,useless=10843642), ccks=5591103515, wck=1285.262, mem=86M519
1322.06/1313.98	    decisions=351431, wrong=175484, backtracks=6387, failedAssignments=169151, nogoods=4935
1322.06/1313.98	    
1443.96/1435.69	    num=78, depth=1..6, filters=9703265, revisions=(21532895,useless=11994876), ccks=6090018654, wck=1406.973, mem=96M178
1443.96/1435.69	    decisions=387957, wrong=193745, backtracks=7744, failedAssignments=186079, nogoods=5005
1443.96/1435.69	    
1571.47/1562.96	    num=79, depth=2..4, filters=10605998, revisions=(23692333,useless=13269992), ccks=6613547428, wck=1534.244, mem=98M342
1571.47/1562.96	    decisions=426009, wrong=212769, backtracks=8148, failedAssignments=204700, nogoods=5242
1571.47/1562.96	    
1713.43/1704.63	    num=80, depth=2..6, filters=11907061, revisions=(26626288,useless=14920355), ccks=7204298636, wck=1675.915, mem=89M834
1713.43/1704.63	    decisions=469668, wrong=234597, backtracks=9528, failedAssignments=225184, nogoods=5399
1713.43/1704.63	    
1889.77/1880.73	    num=81, depth=2..4, filters=13166393, revisions=(29647254,useless=16703491), ccks=7923465661, wck=1852.016, mem=74M886
1889.77/1880.73	    decisions=517078, wrong=258300, backtracks=10710, failedAssignments=247716, nogoods=5546
1889.77/1880.73	    
2086.86/2077.53	    num=82, depth=2..4, filters=14581876, revisions=(32822349,useless=18487653), ccks=8739962837, wck=2048.814, mem=58M875
2086.86/2077.53	    decisions=568774, wrong=284146, backtracks=11779, failedAssignments=272501, nogoods=5574
2086.86/2077.53	    
2279.13/2269.58	    num=83, depth=2..4, filters=15945963, revisions=(36166659,useless=20494190), ccks=9532122258, wck=2240.865, mem=52M483
2279.13/2269.58	    decisions=624966, wrong=312240, backtracks=12617, failedAssignments=299765, nogoods=5611
2279.13/2269.58	    
2504.77/2494.84	    num=84, depth=2..5, filters=17513082, revisions=(39889977,useless=22678799), ccks=10446378610, wck=2466.127, mem=93M142
2504.77/2494.84	    decisions=687494, wrong=343502, backtracks=13902, failedAssignments=329755, nogoods=5660
2504.77/2494.84

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390549-1568385564/watcher-4390549-1568385564 -o /tmp/evaluation-result-4390549-1568385564/solver-4390549-1568385564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8552 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390549-1568385564.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=9792, runsolver pid=9789

[startup+0.100121 s]*
/proc/loadavg: 2.09 1.90 1.88 4/227 9807
/proc/meminfo: memFree=31124348/32770624 swapFree=66922116/67108860
[pid=9792] ppid=9789 vsize=10659884 memory=29988 CPUtime=0.13 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 5463 0 0 0 12 1 0 0 20 0 15 0 414812449 10915721216 7497 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2664971 7497 2898 1 0 2627468 0
[pid=9792/tid=9794] ppid=9789 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) R 9789 9792 8521 0 -1 4202560 2970 0 0 0 8 1 0 0 20 0 15 0 414812450 10915721216 7497 33554432000 4194304 4196468 140728434167200 140636303947352 140636299730326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 7497 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 7497 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 7497 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 7497 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635790709792 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812453 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635789656944 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) R 9789 9792 8521 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0.02 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) R 9789 9792 8521 0 -1 4202560 504 0 0 0 2 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635785443928 140636278641416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 7497 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29988 KiB

[startup+0.210721 s]*
/proc/loadavg: 2.09 1.90 1.88 3/227 9807
/proc/meminfo: memFree=31117728/32770624 swapFree=66922116/67108860
[pid=9792] ppid=9789 vsize=10659884 memory=35172 CPUtime=0.33 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 6407 0 0 0 31 2 0 0 20 0 15 0 414812449 10915721216 8793 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2664971 8793 2989 1 0 2627468 0
[pid=9792/tid=9794] ppid=9789 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) R 9789 9792 8521 0 -1 4202560 3474 0 0 0 18 2 0 0 20 0 15 0 414812450 10915721216 8793 33554432000 4194304 4196468 140728434167200 140636303950192 140636299740317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 8793 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10659884 memory=140304700939710 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 8793 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 8793 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 8793 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635790709792 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812453 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635789656944 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 716 0 0 0 3 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0.05 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 592 0 0 0 5 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 8793 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35172 KiB

[startup+0.313094 s]*
/proc/loadavg: 2.09 1.90 1.88 3/227 9807
/proc/meminfo: memFree=31109872/32770624 swapFree=66922116/67108860
[pid=9792] ppid=9789 vsize=10659884 memory=40392 CPUtime=0.47 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 8902 0 0 0 44 3 0 0 20 0 15 0 414812449 10915721216 10098 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2664971 10098 3002 1 0 2627468 0
[pid=9792/tid=9794] ppid=9789 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) R 9789 9792 8521 0 -1 4202560 5888 0 0 0 27 3 0 0 20 0 15 0 414812450 10915721216 10098 33554432000 4194304 4196468 140728434167200 140636303950192 140636299740317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10659884 memory=304556144784048151 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 10098 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10659884 memory=14831112444442264 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 10098 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 10098 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812451 10915721216 10098 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812452 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635790709792 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812453 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635789656944 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 738 0 0 0 4 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 316 0 0 0 4 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0.08 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) R 9789 9792 8521 0 -1 4202560 605 0 0 0 8 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635785448048 140636283762021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10659884 memory=140304700929664 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812455 10915721216 10098 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40392 KiB

[startup+0.710325 s]
/proc/loadavg: 2.09 1.90 1.88 3/227 9807
/proc/meminfo: memFree=31101848/32770624 swapFree=66922116/67108860
[pid=9792] ppid=9789 vsize=10661932 memory=63724 CPUtime=1.11 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 12480 0 0 0 105 6 0 0 20 0 15 0 414812449 10917818368 15931 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2665483 15931 3074 1 0 2627980 0
[pid=9792/tid=9794] ppid=9789 vsize=10661932 memory=1284 CPUtime=0.68 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) R 9789 9792 8521 0 -1 4202560 8445 0 0 0 63 5 0 0 20 0 15 0 414812450 10917818368 15931 33554432000 4194304 4196468 140728434167200 140636303941312 140636279990128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10661932 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10917818368 15931 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10661932 memory=708 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10917818368 15931 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10661932 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10917818368 15931 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10661932 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812451 10917818368 15931 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812452 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10661932 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812452 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635790709792 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10661932 memory=8040 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812453 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635789656944 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10661932 memory=7811607157311039314 CPUtime=0.11 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 1037 0 0 0 11 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10661932 memory=5865188000529146989 CPUtime=0.11 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) R 9789 9792 8521 0 -1 4202560 565 0 0 0 11 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635786501144 140636279416144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10661932 memory=-8412654363917126771 CPUtime=0.19 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 1074 0 0 0 19 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812455 10917818368 15931 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63724 KiB

[startup+1.50079 s]
/proc/loadavg: 2.09 1.90 1.88 3/227 9807
/proc/meminfo: memFree=31085904/32770624 swapFree=66922116/67108860
[pid=9792] ppid=9789 vsize=10663980 memory=75648 CPUtime=2.01 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 17693 0 0 0 194 7 0 0 20 0 15 0 414812449 10919915520 18912 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2665995 18912 3094 1 0 2628492 0
[pid=9792/tid=9794] ppid=9789 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) R 9789 9792 8521 0 -1 4202560 12445 0 0 0 142 6 0 0 20 0 15 0 414812450 10919915520 18912 33554432000 4194304 4196468 140728434167200 140636303944272 140636299740317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10919915520 18912 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10919915520 18912 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812451 10919915520 18912 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812451 10919915520 18912 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 414812452 10919915520 18912 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0

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

/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 6267 0 0 0 145 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.79 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 6138 0 0 0 74 5 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635790709856 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 414812453 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635789656960 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10748324 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.41 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 19862 0 0 0 239 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10748324 memory=19588 CPUtime=2.06 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 14216 0 0 0 205 1 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10748324 memory=988 CPUtime=0.87 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 12754 0 0 0 85 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10748324 memory=1556 CPUtime=0.64 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1637 0 0 0 27 37 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9808] ppid=9789 vsize=10748324 memory=2832 CPUtime=2377.36 cores=0,2,4,6
/proc/9792/task/9808/stat : 9808 (java) R 9789 9792 8521 0 -1 4202560 19717 0 0 0 237729 7 0 0 20 0 16 0 414812639 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635766275360 140635910995933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 2392.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 220140 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 1.68 1.61 3/228 10137
/proc/meminfo: memFree=30994704/32770624 swapFree=66922164/67108860
[pid=9792] ppid=9789 vsize=10748324 memory=220140 CPUtime=2452.21 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 108183 0 0 0 245148 73 0 0 20 0 16 0 414812449 11006283776 55035 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2687081 55035 3377 1 0 2647217 0
[pid=9792/tid=9794] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.86 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) S 9789 9792 8521 0 -1 1077944384 14625 0 0 0 179 7 0 0 20 0 16 0 414812450 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636303961264 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.53 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 5179 0 0 0 146 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.55 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 3849 0 0 0 148 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.52 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 2093 0 0 0 146 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.53 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 6289 0 0 0 147 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.8 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 6324 0 0 0 75 5 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635790709856 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10748324 memory=280609138149936 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 414812453 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635789656960 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.41 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 19864 0 0 0 239 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.06 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 14218 0 0 0 205 1 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10748324 memory=984 CPUtime=0.87 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 12756 0 0 0 85 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.65 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1654 0 0 0 27 38 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9808] ppid=9789 vsize=10748324 memory=220140 CPUtime=2437.3 cores=0,2,4,6
/proc/9792/task/9808/stat : 9808 (java) R 9789 9792 8521 0 -1 4202560 19879 0 0 0 243723 7 0 0 20 0 16 0 414812639 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635766275472 140635910995204 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 2452.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 220140 KiB

[startup+2502.3 s]
/proc/loadavg: 1.91 1.72 1.63 3/228 10141
/proc/meminfo: memFree=30982396/32770624 swapFree=66922164/67108860
[pid=9792] ppid=9789 vsize=10748324 memory=220140 CPUtime=2512.28 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 108595 0 0 0 251154 74 0 0 20 0 16 0 414812449 11006283776 55035 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2687081 55035 3377 1 0 2647217 0
[pid=9792/tid=9794] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.86 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) S 9789 9792 8521 0 -1 1077944384 14625 0 0 0 179 7 0 0 20 0 16 0 414812450 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636303961264 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.55 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 5181 0 0 0 148 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.56 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 3851 0 0 0 149 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.54 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 2101 0 0 0 148 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10748324 memory=220140 CPUtime=1.55 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 6292 0 0 0 149 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.82 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 6330 0 0 0 77 5 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10748324 memory=140304569276113 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635790709856 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 414812453 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635789656960 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.41 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 19864 0 0 0 239 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.06 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 14218 0 0 0 205 1 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10748324 memory=3580 CPUtime=0.87 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 12913 0 0 0 85 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.68 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1658 0 0 0 28 40 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9808] ppid=9789 vsize=10748324 memory=220140 CPUtime=2497.25 cores=0,2,4,6
/proc/9792/task/9808/stat : 9808 (java) R 9789 9792 8521 0 -1 4202560 20109 0 0 0 249718 7 0 0 20 0 16 0 414812639 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635766275472 140635910995091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 2512.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 220140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510 s]*
/proc/loadavg: 1.83 1.71 1.63 3/228 10141
/proc/meminfo: memFree=30963872/32770624 swapFree=66922164/67108860
[pid=9792] ppid=9789 vsize=10748324 memory=220140 CPUtime=2520.01 cores=0,2,4,6
/proc/9792/stat : 9792 (java) S 9789 9792 8521 0 -1 1077944320 109264 0 0 0 251927 74 0 0 20 0 16 0 414812449 11006283776 55035 33554432000 4194304 4196468 140728434167200 140728434149744 140636299718391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
/proc/9792/statm: 2687081 55035 3377 1 0 2647217 0
[pid=9792/tid=9794] ppid=9789 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=0,2,4,6
/proc/9792/task/9794/stat : 9794 (java) S 9789 9792 8521 0 -1 1077944384 14625 0 0 0 179 7 0 0 20 0 16 0 414812450 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636303961264 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9795] ppid=9789 vsize=10748324 memory=4872558044660077418 CPUtime=1.56 cores=0,2,4,6
/proc/9792/task/9795/stat : 9795 (java) S 9789 9792 8521 0 -1 1077944384 5233 0 0 0 149 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636225793168 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9796] ppid=9789 vsize=10748324 memory=1680 CPUtime=1.57 cores=0,2,4,6
/proc/9792/task/9796/stat : 9796 (java) S 9789 9792 8521 0 -1 1077944384 4112 0 0 0 150 7 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636224740368 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9797] ppid=9789 vsize=10748324 memory=1444 CPUtime=1.55 cores=0,2,4,6
/proc/9792/task/9797/stat : 9797 (java) S 9789 9792 8521 0 -1 1077944384 2106 0 0 0 149 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636223687568 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9798] ppid=9789 vsize=10748324 memory=888 CPUtime=1.56 cores=0,2,4,6
/proc/9792/task/9798/stat : 9798 (java) S 9789 9792 8521 0 -1 1077944384 6314 0 0 0 150 6 0 0 20 0 16 0 414812451 11006283776 55035 33554432000 4194304 4196468 140728434167200 140636222634768 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9799] ppid=9789 vsize=10748324 memory=3300 CPUtime=0.82 cores=0,2,4,6
/proc/9792/task/9799/stat : 9799 (java) S 9789 9792 8521 0 -1 1077944384 6509 0 0 0 77 5 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635791763824 140636299729538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9800] ppid=9789 vsize=10748324 memory=220140 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9800/stat : 9800 (java) S 9789 9792 8521 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414812452 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635790709856 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9801] ppid=9789 vsize=10748324 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9801/stat : 9801 (java) S 9789 9792 8521 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 16 0 414812453 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635789656960 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9802] ppid=9789 vsize=10748324 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9802/stat : 9802 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635788605264 140636299736987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9803] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.41 cores=0,2,4,6
/proc/9792/task/9803/stat : 9803 (java) S 9789 9792 8521 0 -1 1077944384 19866 0 0 0 239 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635787553648 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9804] ppid=9789 vsize=10748324 memory=220140 CPUtime=2.06 cores=0,2,4,6
/proc/9792/task/9804/stat : 9804 (java) S 9789 9792 8521 0 -1 1077944384 14220 0 0 0 205 1 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635786500848 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9805] ppid=9789 vsize=10748324 memory=220140 CPUtime=0.87 cores=0,2,4,6
/proc/9792/task/9805/stat : 9805 (java) S 9789 9792 8521 0 -1 1077944384 12915 0 0 0 85 2 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635785448048 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9806] ppid=9789 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9792/task/9806/stat : 9806 (java) S 9789 9792 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635784395488 140636299728597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9807] ppid=9789 vsize=10748324 memory=19588 CPUtime=0.68 cores=0,2,4,6
/proc/9792/task/9807/stat : 9807 (java) S 9789 9792 8521 0 -1 1077944384 1682 0 0 0 28 40 0 0 20 0 16 0 414812455 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635783342768 140636299729538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
[pid=9792/tid=9808] ppid=9789 vsize=10748324 memory=0 CPUtime=2504.94 cores=0,2,4,6
/proc/9792/task/9808/stat : 9808 (java) R 9789 9792 8521 0 -1 4202560 20229 0 0 0 250487 7 0 0 20 0 16 0 414812639 11006283776 55035 33554432000 4194304 4196468 140728434167200 140635766275472 140635907521600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36229120 140728434172939 140728434173042 140728434173042 140728434175951 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 220140 KiB

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

[startup+2510.02 s]
# the end of solver process 9792 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.28 s, system=0.751273 s

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

Child status: 143
Real time (s): 2510.02
CPU time (s): 2520.03
CPU user time (s): 2519.28
CPU system time (s): 0.751273
CPU usage (%): 100.399
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 299176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.751273
maximum resident set size= 299176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75964
involuntary context switches= 2889


# summary of solver processes directly reported to runsolver:
#   pid: 9792
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.28
#   total CPU system time (s): 0.751273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.612 second user time and 22.835 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-13 15:37:28
IDJOB=4390549
IDBENCH=138449
IDSOLVER=2832
FILE ID=node107/4390549-1568385564
RUNJOBID= node107-1568376800-8552
PBS_JOBID= 21701847
Free space on /tmp= 55696 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-26.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390549-1568385564/watcher-4390549-1568385564 -o /tmp/evaluation-result-4390549-1568385564/solver-4390549-1568385564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568376800-8552 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390549-1568385564.xml -cm

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

MD5SUM BENCH= 163dd1c4311ae2a810c887bcbec28782
RANDOM SEED=1411908630

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:        31141436 kB
MemAvailable:   31560456 kB
Buffers:          143988 kB
Cached:           544864 kB
SwapCached:        79568 kB
Active:           660112 kB
Inactive:         380604 kB
Active(anon):     281776 kB
Inactive(anon):   100788 kB
Active(file):     378336 kB
Inactive(file):   279816 kB
Unevictable:      109976 kB
Mlocked:          109976 kB
SwapTotal:      67108860 kB
SwapFree:       66922116 kB
Dirty:              8600 kB
Writeback:             0 kB
AnonPages:        383148 kB
Mapped:            46172 kB
Shmem:             21852 kB
Slab:             182244 kB
SReclaimable:     153404 kB
SUnreclaim:        28840 kB
KernelStack:        3744 kB
PageTables:         6392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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= 59020 MiB
End job on node107 at 2019-09-13 16:19:18