Trace number 4390568

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.11 2504.91

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-06.xml
MD5SUM6b3d88799df56964f86d557249875b85
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 benchmark56.1836
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains64
Minimum domain size440
Maximum domain size538
Distribution of domain sizes[{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"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.39/1.87	
2.39/1.87	AbsCon 2 
2.39/1.89	
3.33/2.17	  Instance
3.33/2.17	    name=instance-4390568-1568385561, framework=CSP
3.33/2.17	
3.33/2.17	  Loading variables...
3.65/2.28	  Loading constraints...
29.97/25.71	
29.97/25.71	  Domains
29.97/25.71	    nTypes=64, nValues=98584, sizes=[440#2,441#2,442#2,444#2...530#8,531#4,534#2,538#4]
29.97/25.71	  Variables
29.97/25.71	    count=200, degrees=[19#100,37#100]
29.97/25.71	  Constraints
29.97/25.71	    count=2800, nSpecific=100, arities=[2#2800]
29.97/25.71	    distribution=[CtrIntension#2700,NE#100]
29.97/25.71	    nIntStructures=(794,shared:1906), nCftStructures=(794,shared:1906,unbuilt:100)
29.97/25.71	    wck=23.862, cpu=25.656, mem=136M587
29.97/25.71	  Solver SolverBacktrack being built...
29.97/25.71	
29.97/25.75	
29.97/25.75	  Solver
29.97/25.75	    guaranteedGAC=true
29.97/25.75	    wck=23.903, cpu=25.694, mem=149M715
29.97/25.75	
29.97/25.75	  Preprocessing
29.97/25.75	    filters=0, ccks=192773895, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
29.97/25.75	    wck=0.006, cpu=25.701, mem=149M715
29.97/25.75	
31.31/26.51	    num=0, depth=60..60, filters=1956, revisions=(3737,useless=1810), ccks=196274567, wck=0.762, mem=49M471
31.31/26.51	    decisions=80, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
31.31/26.51	    
31.81/26.95	    num=1, depth=58..58, filters=3446, revisions=(6656,useless=3277), ccks=198522367, wck=1.199, mem=57M188
31.81/26.95	    decisions=160, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
31.81/26.95	    
32.12/27.30	    num=2, depth=52..52, filters=5005, revisions=(9235,useless=4334), ccks=200298437, wck=1.548, mem=62M332
32.12/27.30	    decisions=236, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
32.12/27.30	    
32.54/27.61	    num=3, depth=57..57, filters=6443, revisions=(11601,useless=5289), ccks=201949644, wck=1.867, mem=70M49
32.54/27.61	    decisions=319, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
32.54/27.61	    
33.26/28.34	    num=4, depth=59..59, filters=7970, revisions=(15766,useless=7964), ccks=205743873, wck=2.589, mem=77M766
33.26/28.34	    decisions=406, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
33.26/28.34	    
33.46/28.58	    num=5, depth=4..4, filters=8826, revisions=(17151,useless=8511), ccks=207027653, wck=2.838, mem=80M339
33.46/28.58	    decisions=442, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
33.46/28.58	    
34.16/29.28	    num=6, depth=5..5, filters=9770, revisions=(19727,useless=10161), ccks=210689041, wck=3.531, mem=88M56
34.16/29.28	    decisions=481, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
34.16/29.28	    
34.47/29.52	    num=7, depth=5..6, filters=11183, revisions=(22430,useless=11468), ccks=211926358, wck=3.778, mem=93M201
34.47/29.52	    decisions=527, wrong=113, backtracks=1, failedAssignments=112, nogoods=101
34.47/29.52	    
34.77/29.81	    num=8, depth=4..4, filters=11821, revisions=(23502,useless=11905), ccks=213432423, wck=4.063, mem=95M773
34.77/29.81	    decisions=573, wrong=134, backtracks=1, failedAssignments=133, nogoods=122
34.77/29.81	    
34.87/29.96	    num=9, depth=5..5, filters=12847, revisions=(24950,useless=12352), ccks=214232745, wck=4.209, mem=100M918
34.87/29.96	    decisions=624, wrong=157, backtracks=1, failedAssignments=156, nogoods=145
34.87/29.96	    
35.57/30.66	    num=10, depth=7..7, filters=14532, revisions=(28984,useless=14730), ccks=217889389, wck=4.91, mem=108M635
35.57/30.66	    decisions=681, wrong=182, backtracks=1, failedAssignments=181, nogoods=170
35.57/30.66	    
36.28/31.32	    num=11, depth=6..6, filters=16118, revisions=(33014,useless=17206), ccks=221313002, wck=5.577, mem=117M210
36.28/31.32	    decisions=743, wrong=210, backtracks=1, failedAssignments=209, nogoods=198
36.28/31.32	    
37.28/32.36	    num=12, depth=4..4, filters=17039, revisions=(36059,useless=19333), ccks=226805821, wck=6.617, mem=122M355
37.28/32.36	    decisions=809, wrong=241, backtracks=1, failedAssignments=240, nogoods=229
37.28/32.36	    
37.68/32.73	    num=13, depth=3..4, filters=19180, revisions=(41097,useless=22255), ccks=228662561, wck=6.987, mem=130M72
37.68/32.73	    decisions=885, wrong=277, backtracks=3, failedAssignments=274, nogoods=239
37.68/32.73	    
38.19/33.27	    num=14, depth=4..4, filters=21099, revisions=(45951,useless=25229), ccks=231437916, wck=7.528, mem=140M362
38.19/33.27	    decisions=963, wrong=314, backtracks=3, failedAssignments=311, nogoods=276
38.19/33.27	    
38.61/33.65	    num=15, depth=5..5, filters=23372, revisions=(51760,useless=28808), ccks=233205051, wck=7.906, mem=148M79
38.61/33.65	    decisions=1050, wrong=355, backtracks=3, failedAssignments=352, nogoods=317
38.61/33.65	    
39.02/34.06	    num=16, depth=5..5, filters=26521, revisions=(58135,useless=32053), ccks=235383354, wck=8.317, mem=163M513
39.02/34.06	    decisions=1145, wrong=400, backtracks=3, failedAssignments=397, nogoods=362
39.02/34.06	    
40.13/35.15	    num=17, depth=3..5, filters=29650, revisions=(66446,useless=37243), ccks=240957510, wck=9.406, mem=173M802
40.13/35.15	    decisions=1252, wrong=451, backtracks=4, failedAssignments=447, nogoods=368
40.13/35.15	    
41.35/36.38	    num=18, depth=4..5, filters=34336, revisions=(76631,useless=42738), ccks=247397945, wck=10.636, mem=62M536
41.35/36.38	    decisions=1369, wrong=507, backtracks=5, failedAssignments=502, nogoods=418
41.35/36.38	    
43.07/38.07	    num=19, depth=3..4, filters=38958, revisions=(86524,useless=48011), ccks=256485460, wck=12.328, mem=88M444
43.07/38.07	    decisions=1497, wrong=569, backtracks=6, failedAssignments=563, nogoods=428
43.07/38.07	    
43.56/38.56	    num=20, depth=4..5, filters=43541, revisions=(97365,useless=54307), ccks=258724867, wck=12.811, mem=103M989
43.56/38.56	    decisions=1646, wrong=641, backtracks=11, failedAssignments=630, nogoods=441
43.56/38.56	    
44.07/39.09	    num=21, depth=3..4, filters=45960, revisions=(103657,useless=58204), ccks=261393003, wck=13.345, mem=111M762
44.07/39.09	    decisions=1800, wrong=716, backtracks=12, failedAssignments=704, nogoods=464
44.07/39.09	    
44.77/39.70	    num=22, depth=4..5, filters=51183, revisions=(115273,useless=64646), ccks=264132864, wck=13.95, mem=132M489
44.77/39.70	    decisions=1981, wrong=804, backtracks=19, failedAssignments=785, nogoods=476
44.77/39.70	    
45.67/40.63	    num=23, depth=4..5, filters=55915, revisions=(127045,useless=71779), ccks=268728942, wck=14.883, mem=150M625
45.67/40.63	    decisions=2168, wrong=895, backtracks=21, failedAssignments=874, nogoods=481
45.67/40.63	    
46.37/41.36	    num=24, depth=4..6, filters=60719, revisions=(138491,useless=78478), ccks=272401450, wck=15.617, mem=171M351
46.37/41.36	    decisions=2373, wrong=995, backtracks=23, failedAssignments=972, nogoods=494
46.37/41.36	    
47.00/41.97	    num=25, depth=3..4, filters=65540, revisions=(149295,useless=84466), ccks=275218420, wck=16.223, mem=54M686
47.00/41.97	    decisions=2620, wrong=1117, backtracks=37, failedAssignments=1080, nogoods=512
47.00/41.97	    
48.00/42.92	    num=26, depth=4..5, filters=70128, revisions=(162324,useless=92939), ccks=279780213, wck=17.171, mem=70M91
48.00/42.92	    decisions=2871, wrong=1240, backtracks=41, failedAssignments=1199, nogoods=522
48.00/42.92	    
49.11/44.09	    num=27, depth=4..5, filters=77245, revisions=(174955,useless=98573), ccks=285667416, wck=18.346, mem=95M766
49.11/44.09	    decisions=3153, wrong=1379, backtracks=49, failedAssignments=1330, nogoods=641
49.11/44.09	    
51.30/46.22	    num=28, depth=3..4, filters=84347, revisions=(190055,useless=106664), ccks=296766747, wck=20.476, mem=126M576
51.30/46.22	    decisions=3449, wrong=1525, backtracks=51, failedAssignments=1474, nogoods=683
51.30/46.22	    
52.50/47.47	    num=29, depth=3..4, filters=93789, revisions=(208866,useless=116180), ccks=303020549, wck=21.726, mem=167M655
52.50/47.47	    decisions=3796, wrong=1697, backtracks=65, failedAssignments=1632, nogoods=751
52.50/47.47	    
53.53/48.42	    num=30, depth=3..5, filters=105936, revisions=(234980,useless=130248), ccks=307333692, wck=22.67, mem=72M393
53.53/48.42	    decisions=4171, wrong=1882, backtracks=76, failedAssignments=1806, nogoods=769
53.53/48.42	    
55.55/50.49	    num=31, depth=5..6, filters=117574, revisions=(258536,useless=142330), ccks=318031386, wck=24.747, mem=120M604
55.55/50.49	    decisions=4567, wrong=2077, backtracks=80, failedAssignments=1997, nogoods=799
55.55/50.49	    
57.05/51.92	    num=32, depth=3..5, filters=130002, revisions=(288017,useless=159489), ccks=325047203, wck=26.175, mem=171M353
57.05/51.92	    decisions=5026, wrong=2304, backtracks=96, failedAssignments=2208, nogoods=819
57.05/51.92	    
59.97/54.86	    num=33, depth=4..5, filters=142340, revisions=(315206,useless=174506), ccks=340550367, wck=29.11, mem=102M69
59.97/54.86	    decisions=5505, wrong=2541, backtracks=101, failedAssignments=2440, nogoods=847
59.97/54.86	    
62.67/57.50	    num=34, depth=4..5, filters=156066, revisions=(344966,useless=190718), ccks=354394636, wck=31.751, mem=164M646
62.67/57.50	    decisions=6032, wrong=2802, backtracks=107, failedAssignments=2695, nogoods=860
62.67/57.50	    
65.00/59.87	    num=35, depth=4..5, filters=174583, revisions=(383310,useless=210709), ccks=367247404, wck=34.125, mem=130M776
65.00/59.87	    decisions=6642, wrong=3105, backtracks=129, failedAssignments=2976, nogoods=911
65.00/59.87	    
67.12/61.97	    num=36, depth=5..6, filters=189822, revisions=(410952,useless=223432), ccks=377621309, wck=36.225, mem=66M392
67.12/61.97	    decisions=7313, wrong=3438, backtracks=153, failedAssignments=3285, nogoods=1088
67.12/61.97	    
69.52/64.33	    num=37, depth=4..6, filters=209951, revisions=(449388,useless=242062), ccks=389744845, wck=38.581, mem=139M207
69.52/64.33	    decisions=8040, wrong=3799, backtracks=175, failedAssignments=3625, nogoods=1164
69.52/64.33	    
71.85/66.65	    num=38, depth=4..5, filters=231270, revisions=(504792,useless=276524), ccks=400297637, wck=40.907, mem=89M905
71.85/66.65	    decisions=8815, wrong=4184, backtracks=186, failedAssignments=3999, nogoods=1198
71.85/66.65	    
74.17/68.92	    num=39, depth=3..4, filters=246504, revisions=(532233,useless=288766), ccks=411683779, wck=43.169, mem=142M424
74.17/68.92	    decisions=9687, wrong=4618, backtracks=209, failedAssignments=4410, nogoods=1313
74.17/68.92	    
77.20/71.81	    num=40, depth=3..4, filters=273039, revisions=(600837,useless=331290), ccks=424848585, wck=46.06, mem=112M918
77.20/71.81	    decisions=10621, wrong=5083, backtracks=222, failedAssignments=4862, nogoods=1350
77.20/71.81	    
79.96/74.53	    num=41, depth=3..4, filters=295976, revisions=(648127,useless=356143), ccks=438691340, wck=48.785, mem=86M439
79.96/74.53	    decisions=11639, wrong=5590, backtracks=232, failedAssignments=5359, nogoods=1383
79.96/74.53	    
83.52/78.02	    num=42, depth=2..4, filters=330146, revisions=(712777,useless=387150), ccks=455452844, wck=52.275, mem=90M413
83.52/78.02	    decisions=12828, wrong=6183, backtracks=279, failedAssignments=5906, nogoods=1447
83.52/78.02	    
88.65/83.18	    num=43, depth=3..4, filters=364339, revisions=(802716,useless=443488), ccks=479185426, wck=57.428, mem=94M323
88.65/83.18	    decisions=14060, wrong=6797, backtracks=291, failedAssignments=6508, nogoods=1492
88.65/83.18	    
93.58/88.10	    num=44, depth=2..4, filters=397008, revisions=(864532,useless=472988), ccks=503385678, wck=62.358, mem=100M397
93.58/88.10	    decisions=15486, wrong=7508, backtracks=341, failedAssignments=7170, nogoods=1601
93.58/88.10	    
98.79/93.22	    num=45, depth=3..6, filters=435647, revisions=(965516,useless=535992), ccks=527859871, wck=67.477, mem=123M836
98.79/93.22	    decisions=16976, wrong=8251, backtracks=356, failedAssignments=7898, nogoods=1622
98.79/93.22	    
103.34/97.78	    num=46, depth=3..6, filters=472324, revisions=(1031314,useless=565575), ccks=551258364, wck=72.037, mem=145M276
103.34/97.78	    decisions=18650, wrong=9086, backtracks=394, failedAssignments=8699, nogoods=1692
103.34/97.78	    
110.46/104.88	    num=47, depth=3..5, filters=521767, revisions=(1148062,useless=633685), ccks=585243805, wck=79.131, mem=98M275
110.46/104.88	    decisions=20457, wrong=9987, backtracks=414, failedAssignments=9580, nogoods=1718
110.46/104.88	    
117.57/111.96	    num=48, depth=3..4, filters=580357, revisions=(1278428,useless=706154), ccks=619623926, wck=86.209, mem=104M842
117.57/111.96	    decisions=22533, wrong=11023, backtracks=480, failedAssignments=10550, nogoods=1920
117.57/111.96	    
126.48/120.81	    num=49, depth=3..4, filters=636785, revisions=(1431486,useless=803853), ccks=660235199, wck=95.066, mem=125M49
126.48/120.81	    decisions=24707, wrong=12108, backtracks=498, failedAssignments=11617, nogoods=1953
126.48/120.81	    
134.71/129.02	    num=50, depth=3..4, filters=693109, revisions=(1541292,useless=858156), ccks=702203927, wck=103.27, mem=129M193
134.71/129.02	    decisions=27117, wrong=13311, backtracks=528, failedAssignments=12790, nogoods=2002
134.71/129.02	    
145.43/139.77	    num=51, depth=3..4, filters=766196, revisions=(1694597,useless=939192), ccks=757417266, wck=114.023, mem=107M898
145.43/139.77	    decisions=29775, wrong=14638, backtracks=564, failedAssignments=14081, nogoods=2052
145.43/139.77	    
153.45/147.78	    num=52, depth=3..4, filters=826495, revisions=(1813096,useless=998796), ccks=797495821, wck=122.03, mem=109M470
153.45/147.78	    decisions=32709, wrong=16103, backtracks=609, failedAssignments=15501, nogoods=2174
153.45/147.78	    
165.38/159.66	    num=53, depth=3..5, filters=910891, revisions=(2016871,useless=1119573), ccks=855116720, wck=133.915, mem=96M306
165.38/159.66	    decisions=35989, wrong=17741, backtracks=685, failedAssignments=17063, nogoods=2328
165.38/159.66	    
174.41/168.68	    num=54, depth=2..4, filters=994311, revisions=(2166960,useless=1187969), ccks=901517755, wck=142.935, mem=95M541
174.41/168.68	    decisions=39505, wrong=19497, backtracks=724, failedAssignments=18781, nogoods=2337
174.41/168.68	    
190.15/184.31	    num=55, depth=3..4, filters=1131001, revisions=(2433921,useless=1319785), ccks=978732087, wck=158.566, mem=65M116
190.15/184.31	    decisions=43371, wrong=21428, backtracks=765, failedAssignments=20671, nogoods=2528
190.15/184.31	    
211.89/206.02	    num=56, depth=3..4, filters=1241796, revisions=(2666214,useless=1442860), ccks=1091567940, wck=180.272, mem=76M379
211.89/206.02	    decisions=47707, wrong=23594, backtracks=852, failedAssignments=22750, nogoods=2686
211.89/206.02	    
232.95/227.06	    num=57, depth=3..5, filters=1382165, revisions=(2942409,useless=1580079), ccks=1200939358, wck=201.309, mem=104M200
232.95/227.06	    decisions=52640, wrong=26058, backtracks=1031, failedAssignments=25037, nogoods=2887
232.95/227.06	    
259.01/253.10	    num=58, depth=3..4, filters=1549057, revisions=(3258654,useless=1731605), ccks=1331285179, wck=227.357, mem=107M767
259.01/253.10	    decisions=57778, wrong=28625, backtracks=1082, failedAssignments=27553, nogoods=2956
259.01/253.10	    
275.57/269.53	    num=59, depth=3..5, filters=1709508, revisions=(3579446,useless=1893370), ccks=1411836976, wck=243.787, mem=53M862
275.57/269.53	    decisions=63608, wrong=31538, backtracks=1238, failedAssignments=30321, nogoods=2972
275.57/269.53	    
294.84/288.76	    num=60, depth=3..4, filters=1880963, revisions=(3944968,useless=2090257), ccks=1502061169, wck=263.017, mem=52M90
294.84/288.76	    decisions=69962, wrong=34713, backtracks=1369, failedAssignments=33365, nogoods=3218
294.84/288.76	    
313.62/307.42	    num=61, depth=3..4, filters=2041512, revisions=(4306770,useless=2294637), ccks=1591915615, wck=281.674, mem=73M420
313.62/307.42	    decisions=76868, wrong=38164, backtracks=1471, failedAssignments=36714, nogoods=3434
313.62/307.42	    
338.32/332.04	    num=62, depth=2..5, filters=2255146, revisions=(4724777,useless=2501756), ccks=1715951653, wck=306.297, mem=48M919
338.32/332.04	    decisions=84806, wrong=42131, backtracks=1766, failedAssignments=40398, nogoods=3450
338.32/332.04	    
363.71/357.33	    num=63, depth=3..5, filters=2482736, revisions=(5245882,useless=2799327), ccks=1832948042, wck=331.582, mem=54M275
363.71/357.33	    decisions=93218, wrong=46335, backtracks=1918, failedAssignments=44450, nogoods=3730
363.71/357.33	    
388.55/382.05	    num=64, depth=4..9, filters=2721591, revisions=(5819331,useless=3138208), ccks=1953574076, wck=356.302, mem=57M491
388.55/382.05	    decisions=102874, wrong=51160, backtracks=2305, failedAssignments=48907, nogoods=3854
388.55/382.05	    
417.67/411.06	    num=65, depth=2..4, filters=3022880, revisions=(6400595,useless=3422907), ccks=2095932644, wck=385.312, mem=58M586
417.67/411.06	    decisions=113375, wrong=56409, backtracks=2669, failedAssignments=53810, nogoods=4029
417.67/411.06	    
451.84/445.07	    num=66, depth=3..6, filters=3337411, revisions=(7103224,useless=3812716), ccks=2257858350, wck=419.326, mem=70M391
451.84/445.07	    decisions=124483, wrong=61961, backtracks=2836, failedAssignments=59204, nogoods=4128
451.84/445.07	    
478.96/472.08	    num=67, depth=2..6, filters=3609116, revisions=(7626417,useless=4069510), ccks=2394649807, wck=446.333, mem=68M277
478.96/472.08	    decisions=136719, wrong=68077, backtracks=3023, failedAssignments=65137, nogoods=4266
478.96/472.08	    
528.43/521.31	    num=68, depth=2..6, filters=4052578, revisions=(8540923,useless=4545182), ccks=2634117067, wck=495.563, mem=99M318
528.43/521.31	    decisions=150508, wrong=74969, backtracks=3395, failedAssignments=71663, nogoods=4304
528.43/521.31	    
591.65/584.38	    num=69, depth=2..5, filters=4525667, revisions=(9593708,useless=5128357), ccks=2941744025, wck=558.637, mem=62M970
591.65/584.38	    decisions=165418, wrong=82422, backtracks=3671, failedAssignments=78842, nogoods=4316
591.65/584.38	    
626.24/618.71	    num=70, depth=4..8, filters=4989077, revisions=(10557404,useless=5636141), ccks=3102900752, wck=592.963, mem=60M856
626.24/618.71	    decisions=182484, wrong=90952, backtracks=4343, failedAssignments=86739, nogoods=4358
626.24/618.71	    
668.35/660.69	    num=71, depth=3..9, filters=5437357, revisions=(11454664,useless=6092633), ccks=3307689661, wck=634.943, mem=49M107
668.35/660.69	    decisions=200751, wrong=100083, backtracks=4812, failedAssignments=95426, nogoods=4680
668.35/660.69	    
769.22/761.29	    num=72, depth=2..6, filters=5864912, revisions=(12352214,useless=6570098), ccks=3825532026, wck=735.544, mem=58M815
769.22/761.29	    decisions=220351, wrong=109881, backtracks=5056, failedAssignments=104981, nogoods=4740
769.22/761.29	    
894.92/886.60	    num=73, depth=2..4, filters=6461722, revisions=(13580810,useless=7209166), ccks=4476172154, wck=860.858, mem=50M259
894.92/886.60	    decisions=242177, wrong=120792, backtracks=5458, failedAssignments=115492, nogoods=4899
894.92/886.60	    
965.90/957.32	    num=74, depth=2..5, filters=7054830, revisions=(14912508,useless=7958991), ccks=4807875846, wck=931.575, mem=90M934
965.90/957.32	    decisions=266151, wrong=132777, backtracks=5885, failedAssignments=127054, nogoods=4922
965.90/957.32	    
1023.19/1014.37	    num=75, depth=2..6, filters=7624299, revisions=(15930496,useless=8419615), ccks=5102494536, wck=988.619, mem=52M455
1023.19/1014.37	    decisions=292119, wrong=145759, backtracks=6156, failedAssignments=139772, nogoods=5145
1023.19/1014.37	    
1138.68/1129.47	    num=76, depth=2..5, filters=8496458, revisions=(17884653,useless=9513759), ccks=5672784890, wck=1103.723, mem=99M556
1138.68/1129.47	    decisions=321175, wrong=160285, backtracks=6695, failedAssignments=153762, nogoods=5278
1138.68/1129.47	    
1221.44/1211.86	    num=77, depth=2..10, filters=9304555, revisions=(19697631,useless=10527377), ccks=6067778857, wck=1186.112, mem=73M920
1221.44/1211.86	    decisions=353850, wrong=176619, backtracks=7679, failedAssignments=169151, nogoods=5503
1221.44/1211.86	    
1321.12/1311.12	    num=78, depth=3..5, filters=10083263, revisions=(21180964,useless=11245925), ccks=6564896361, wck=1285.373, mem=53M647
1321.12/1311.12	    decisions=389262, wrong=194323, backtracks=8488, failedAssignments=186079, nogoods=5622
1321.12/1311.12	    
1407.54/1397.20	    num=79, depth=2..4, filters=10971270, revisions=(22798949,useless=11992927), ccks=7008608720, wck=1371.448, mem=69M715
1407.54/1397.20	    decisions=427312, wrong=213346, backtracks=8905, failedAssignments=204700, nogoods=5665
1407.54/1397.20	    
1530.43/1519.58	    num=80, depth=1..4, filters=12074105, revisions=(24975816,useless=13083175), ccks=7623088378, wck=1493.835, mem=72M940
1530.43/1519.58	    decisions=470297, wrong=234837, backtracks=9953, failedAssignments=225184, nogoods=5745
1530.43/1519.58	    
1672.32/1660.88	    num=81, depth=1..4, filters=13439299, revisions=(27946504,useless=14703718), ccks=8317367831, wck=1635.135, mem=82M590
1672.32/1660.88	    decisions=517552, wrong=258463, backtracks=11088, failedAssignments=247716, nogoods=5941
1672.32/1660.88	    
1809.03/1796.90	    num=82, depth=1..4, filters=14868868, revisions=(30788062,useless=16139580), ccks=8988379400, wck=1771.155, mem=56M963
1809.03/1796.90	    decisions=569303, wrong=284337, backtracks=12217, failedAssignments=272501, nogoods=6060
1809.03/1796.90	    
1951.81/1939.08	    num=83, depth=1..9, filters=16289156, revisions=(34078814,useless=18031183), ccks=9662076397, wck=1913.329, mem=58M73
1951.81/1939.08	    decisions=627771, wrong=313568, backtracks=14297, failedAssignments=299765, nogoods=6126
1951.81/1939.08	    
2147.84/2134.35	    num=84, depth=2..4, filters=18031978, revisions=(38081932,useless=20320551), ccks=10591530309, wck=2108.603, mem=80M542
2147.84/2134.35	    decisions=690067, wrong=344714, backtracks=15460, failedAssignments=329755, nogoods=6327
2147.84/2134.35	    
2361.73/2347.42	    num=85, depth=2..6, filters=20087076, revisions=(42479502,useless=22690218), ccks=11621783075, wck=2321.672, mem=82M722
2361.73/2347.42	    decisions=760434, wrong=379896, backtracks=17687, failedAssignments=362744, nogoods=6557
2361.73/2347.42

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390568-1568385561/watcher-4390568-1568385561 -o /tmp/evaluation-result-4390568-1568385561/solver-4390568-1568385561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568380477-25673 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390568-1568385561.xml -cm 

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

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


[startup+0.104144 s]*
/proc/loadavg: 2.00 1.87 1.85 4/228 26704
/proc/meminfo: memFree=28730716/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10659884 memory=28140 CPUtime=0.14 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 5520 0 0 0 14 0 0 0 20 0 15 0 414820953 10915721216 7035 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2664971 7035 2871 1 0 2627468 0
[pid=26689/tid=26691] ppid=26686 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) R 26686 26689 25641 0 -1 4202560 3276 0 0 0 9 0 0 0 20 0 15 0 414820953 10915721216 7035 33554432000 4194304 4196468 140725729484592 140357715531784 140357703539518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 7035 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10659884 memory=4050345318990833312 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 7035 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 7035 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 7035 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356963382432 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414820956 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356962329328 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) R 26686 26689 25641 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0.02 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) R 26686 26689 25641 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356958118240 140357711323738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 7035 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28140 KiB

[startup+0.210428 s]*
/proc/loadavg: 2.00 1.87 1.85 4/228 26704
/proc/meminfo: memFree=28720368/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10659884 memory=37332 CPUtime=0.32 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 9126 0 0 0 30 2 0 0 20 0 15 0 414820953 10915721216 9333 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2664971 9333 2989 1 0 2627468 0
[pid=26689/tid=26691] ppid=26686 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) R 26686 26689 25641 0 -1 4202560 6113 0 0 0 18 2 0 0 20 0 15 0 414820953 10915721216 9333 33554432000 4194304 4196468 140725729484592 140357715528752 140357711324317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 9333 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10659884 memory=140090865573144 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 9333 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 9333 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 9333 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356963382432 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414820956 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356962329328 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26686 26689 25641 0 -1 1077944384 724 0 0 0 4 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0.05 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 675 0 0 0 5 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 9333 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37332 KiB

[startup+0.310189 s]*
/proc/loadavg: 2.00 1.87 1.85 4/228 26704
/proc/meminfo: memFree=28718320/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10659884 memory=40136 CPUtime=0.47 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 9339 0 0 0 44 3 0 0 20 0 15 0 414820953 10915721216 10034 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2664971 10034 3004 1 0 2627468 0
[pid=26689/tid=26691] ppid=26686 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) R 26686 26689 25641 0 -1 4202560 6263 0 0 0 27 2 0 0 20 0 15 0 414820953 10915721216 10034 33554432000 4194304 4196468 140725729484592 140357715534192 140357711324317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10659884 memory=4294977067 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 10034 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10659884 memory=140090865567412 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 10034 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 10034 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10915721216 10034 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414820955 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356963382432 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414820956 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356962329328 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) R 26686 26689 25641 0 -1 1077944384 757 0 0 0 5 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356960226128 140357711312597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) R 26686 26689 25641 0 -1 4202560 263 0 0 0 3 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356959164992 140357690473487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0.08 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 697 0 0 0 8 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10659884 memory=140090862560896 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820958 10915721216 10034 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40136 KiB

[startup+0.704425 s]
/proc/loadavg: 2.00 1.87 1.85 3/228 26704
/proc/meminfo: memFree=28709324/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10661932 memory=62420 CPUtime=1.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 12638 0 0 0 103 5 0 0 20 0 15 0 414820953 10917818368 15605 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2665483 15605 3075 1 0 2627980 0
[pid=26689/tid=26691] ppid=26686 vsize=10661932 memory=39176 CPUtime=0.67 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) R 26686 26689 25641 0 -1 4202560 8815 0 0 0 63 4 0 0 20 0 15 0 414820953 10917818368 15605 33554432000 4194304 4196468 140725729484592 140357715525328 140357696468063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820954 10917818368 15605 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10917818368 15605 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10917818368 15605 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10917818368 15605 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10661932 memory=3 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820955 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10661932 memory=9 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414820955 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356963382432 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10661932 memory=13 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414820956 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356962329328 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) R 26686 26689 25641 0 -1 4202560 958 0 0 0 11 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356960212056 140357690549090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10661932 memory=28 CPUtime=0.09 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 473 0 0 0 9 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10661932 memory=1851 CPUtime=0.18 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 1033 0 0 0 18 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820958 10917818368 15605 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62420 KiB

[startup+1.50074 s]
/proc/loadavg: 2.00 1.87 1.85 3/228 26704
/proc/meminfo: memFree=28693008/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10663980 memory=75112 CPUtime=1.98 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 16839 0 0 0 191 7 0 0 20 0 15 0 414820953 10919915520 18778 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2665995 18778 3095 1 0 2628492 0
[pid=26689/tid=26691] ppid=26686 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) R 26686 26689 25641 0 -1 4202560 11863 0 0 0 142 6 0 0 20 0 15 0 414820953 10919915520 18778 33554432000 4194304 4196468 140725729484592 140357715534416 140357695382878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10663980 memory=39176 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414820954 10919915520 18778 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10919915520 18778 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10919915520 18778 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414820954 10919915520 18778 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414820955 10919915520 18778 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0

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

/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 2211 0 0 0 317 9 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10748324 memory=227948 CPUtime=1 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 3752 0 0 0 92 8 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356963382496 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414820956 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356962329344 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.07 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26686 26689 25641 0 -1 1077944384 14249 0 0 0 205 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.39 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 15658 0 0 0 237 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10748324 memory=227948 CPUtime=0.88 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 14147 0 0 0 86 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10748324 memory=3580 CPUtime=0.52 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 743 0 0 0 23 29 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26707] ppid=26686 vsize=10748324 memory=39248 CPUtime=2435.33 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) R 26686 26689 25641 0 -1 4202560 17946 0 0 0 243528 5 0 0 20 0 16 0 414821140 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356938947904 140357342336210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 2457.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 227948 KiB

[startup+2502.3 s]
/proc/loadavg: 1.58 1.67 1.69 2/208 27016
/proc/meminfo: memFree=29027140/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10748324 memory=227948 CPUtime=2517.47 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 96271 0 0 0 251669 78 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2687081 56987 3384 1 0 2647217 0
[pid=26689/tid=26691] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.84 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26686 26689 25641 0 -1 1077944384 13986 0 0 0 177 7 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357715545264 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 3655 0 0 0 330 7 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.36 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 5664 0 0 0 330 6 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.36 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 2707 0 0 0 328 8 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 2211 0 0 0 328 9 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.03 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 3779 0 0 0 95 8 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356963382496 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414820956 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356962329344 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.07 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26686 26689 25641 0 -1 1077944384 14249 0 0 0 205 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10748324 memory=0 CPUtime=2.39 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 15658 0 0 0 237 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10748324 memory=227948 CPUtime=0.88 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 14147 0 0 0 86 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10748324 memory=776 CPUtime=0.53 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 748 0 0 0 24 29 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26707] ppid=26686 vsize=10748324 memory=1056 CPUtime=2495.17 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) R 26686 26689 25641 0 -1 4202560 18022 0 0 0 249511 6 0 0 20 0 16 0 414821140 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356938947904 140357342217540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 2517.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 227948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.9 s]
/proc/loadavg: 1.58 1.67 1.69 2/208 27016
/proc/meminfo: memFree=29027024/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10748324 memory=227948 CPUtime=2520.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 96279 0 0 0 251930 78 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2687081 56987 3384 1 0 2647217 0
[pid=26689/tid=26691] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.84 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26686 26689 25641 0 -1 1077944384 13986 0 0 0 177 7 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357715545264 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 3655 0 0 0 330 7 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 5664 0 0 0 331 6 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.36 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 2707 0 0 0 328 8 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 2211 0 0 0 328 9 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.03 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 3779 0 0 0 95 8 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356963382496 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414820956 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356962329344 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.07 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26686 26689 25641 0 -1 1077944384 14251 0 0 0 205 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.39 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 15660 0 0 0 237 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10748324 memory=227948 CPUtime=0.88 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 14149 0 0 0 86 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10748324 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 748 0 0 0 24 29 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26707] ppid=26686 vsize=10748324 memory=227948 CPUtime=2497.76 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) R 26686 26689 25641 0 -1 4202560 18024 0 0 0 249770 6 0 0 20 0 16 0 414821140 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356938947904 140357342254745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 227948 KiB

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

[startup+2504.91 s]
# the end of solver process 26689 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.32 s, system=0.789342 s

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

[startup+2504.9 s]
/proc/loadavg: 1.58 1.67 1.69 2/208 27016
/proc/meminfo: memFree=29027024/32770624 swapFree=66999916/67108860
[pid=26689] ppid=26686 vsize=10748324 memory=227948 CPUtime=2520.08 cores=1,3,5,7
/proc/26689/stat : 26689 (java) S 26686 26689 25641 0 -1 1077944320 96279 0 0 0 251930 78 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140725729467136 140357711302391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
/proc/26689/statm: 2687081 56987 3384 1 0 2647217 0
[pid=26689/tid=26691] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.84 cores=1,3,5,7
/proc/26689/task/26691/stat : 26691 (java) S 26686 26689 25641 0 -1 1077944384 13986 0 0 0 177 7 0 0 20 0 16 0 414820953 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357715545264 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26692] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26692/stat : 26692 (java) S 26686 26689 25641 0 -1 1077944384 3655 0 0 0 330 7 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357653306384 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26693] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26693/stat : 26693 (java) S 26686 26689 25641 0 -1 1077944384 5664 0 0 0 331 6 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357317483664 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26694] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.36 cores=1,3,5,7
/proc/26689/task/26694/stat : 26694 (java) S 26686 26689 25641 0 -1 1077944384 2707 0 0 0 328 8 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357316430608 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26695] ppid=26686 vsize=10748324 memory=227948 CPUtime=3.37 cores=1,3,5,7
/proc/26689/task/26695/stat : 26695 (java) S 26686 26689 25641 0 -1 1077944384 2211 0 0 0 328 9 0 0 20 0 16 0 414820954 11006283776 56987 33554432000 4194304 4196468 140725729484592 140357315378064 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26696] ppid=26686 vsize=10748324 memory=227948 CPUtime=1.03 cores=1,3,5,7
/proc/26689/task/26696/stat : 26696 (java) S 26686 26689 25641 0 -1 1077944384 3779 0 0 0 95 8 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356964436208 140357711313538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26697] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26697/stat : 26697 (java) S 26686 26689 25641 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414820955 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356963382496 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26698] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26698/stat : 26698 (java) S 26686 26689 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414820956 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356962329344 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26699] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26699/stat : 26699 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356961277904 140357711320987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26700] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.07 cores=1,3,5,7
/proc/26689/task/26700/stat : 26700 (java) S 26686 26689 25641 0 -1 1077944384 14251 0 0 0 205 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356960226032 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26701] ppid=26686 vsize=10748324 memory=227948 CPUtime=2.39 cores=1,3,5,7
/proc/26689/task/26701/stat : 26701 (java) S 26686 26689 25641 0 -1 1077944384 15660 0 0 0 237 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356959173488 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26702] ppid=26686 vsize=10748324 memory=227948 CPUtime=0.88 cores=1,3,5,7
/proc/26689/task/26702/stat : 26702 (java) S 26686 26689 25641 0 -1 1077944384 14149 0 0 0 86 2 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356958120432 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26703] ppid=26686 vsize=10748324 memory=227948 CPUtime=0 cores=1,3,5,7
/proc/26689/task/26703/stat : 26703 (java) S 26686 26689 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356957068128 140357711312597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26704] ppid=26686 vsize=10748324 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/26689/task/26704/stat : 26704 (java) S 26686 26689 25641 0 -1 1077944384 748 0 0 0 24 29 0 0 20 0 16 0 414820958 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356956015152 140357711313538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
[pid=26689/tid=26707] ppid=26686 vsize=10748324 memory=227948 CPUtime=2497.76 cores=1,3,5,7
/proc/26689/task/26707/stat : 26707 (java) R 26686 26689 25641 0 -1 4202560 18024 0 0 0 249770 6 0 0 20 0 16 0 414821140 11006283776 56987 33554432000 4194304 4196468 140725729484592 140356938947904 140357342254745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140725729485835 140725729485938 140725729485938 140725729488847 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 227948 KiB

Child status: 143
Real time (s): 2504.91
CPU time (s): 2520.11
CPU user time (s): 2519.32
CPU system time (s): 0.789342
CPU usage (%): 100.607
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 304604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.32
system time used= 0.789342
maximum resident set size= 304604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81030
involuntary context switches= 2701


# summary of solver processes directly reported to runsolver:
#   pid: 26689
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2519.32
#   total CPU system time (s): 0.789342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3562 second user time and 22.4936 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 16:38:42
IDJOB=4390568
IDBENCH=138444
IDSOLVER=2832
FILE ID=node123/4390568-1568385561
RUNJOBID= node123-1568380477-25673
PBS_JOBID= 21701841
Free space on /tmp= 56788 MiB

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

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

MD5SUM BENCH= 6b3d88799df56964f86d557249875b85
RANDOM SEED=1464053342

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
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:        28747220 kB
MemAvailable:   31635952 kB
Buffers:          116440 kB
Cached:          3031188 kB
SwapCached:         7392 kB
Active:          1335592 kB
Inactive:        2060796 kB
Active(anon):     240576 kB
Inactive(anon):    49092 kB
Active(file):    1095016 kB
Inactive(file):  2011704 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:              8944 kB
Writeback:             4 kB
AnonPages:        350092 kB
Mapped:            56424 kB
Shmem:             32680 kB
Slab:             225040 kB
SReclaimable:     195692 kB
SUnreclaim:        29348 kB
KernelStack:        3712 kB
PageTables:         6208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1328476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59176 MiB
End job on node123 at 2019-09-13 17:20:27