Trace number 4390697

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-23SAT 433.86 431.423

DiagnosticValue
WRONG_DECISIONS249881

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-45.xml
MD5SUMc29e6924973099ab0a0c802e448a5f67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark185.253
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of constraints91
Number of domains1
Minimum domain size135
Maximum domain size135
Distribution of domain sizes[{"size":135,"count":135}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":90},{"degree":3,"count":45}]
Minimum constraint arity2
Maximum constraint arity135
Distribution of constraint arities[{"arity":2,"count":90},{"arity":135,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.89	
2.90/2.02	  Instance
2.90/2.02	    name=instance-4390697-1568380707, framework=CSP
2.90/2.02	
2.90/2.02	  Loading variables...
2.90/2.06	  Loading constraints...
3.32/2.26	
3.32/2.26	  Domains
3.32/2.26	    nTypes=1, nValues=18225, sizes=[135#135]
3.32/2.26	  Variables
3.32/2.26	    count=135, degrees=[2#90,3#45]
3.32/2.26	  Constraints
3.32/2.26	    count=91, nSpecific=1, arities=[2#90,135#1]
3.32/2.26	    distribution=[AllDifferent#1,CtrIntension#90]
3.32/2.26	    nIntStructures=(45,shared:45), nCftStructures=(45,shared:45,unbuilt:1)
3.32/2.26	    wck=0.413, cpu=2.221, mem=23M870
3.32/2.26	  Solver SolverBacktrack being built...
3.32/2.26	
3.32/2.29	
3.32/2.29	  Solver
3.32/2.29	    guaranteedGAC=true
3.32/2.29	    wck=0.446, cpu=2.252, mem=37M155
3.87/2.48	
3.87/2.48	  Preprocessing
3.87/2.48	    filters=135, revisions=(225,useless=0), ccks=2007760, nACremovedValues=6480, nTotalRemovedValues=6480, inconcistency=false
3.87/2.48	    wck=0.193, cpu=2.447, mem=37M155
3.87/2.48	
4.29/2.72	    num=0, depth=16..18, filters=1784, revisions=(2109,useless=138), ccks=2228331, wck=0.434, mem=37M155
4.29/2.72	    decisions=43, wrong=13, backtracks=3, failedAssignments=10, nogoods=4
4.29/2.72	    
4.86/3.14	    num=1, depth=18..26, filters=4179, revisions=(5479,useless=218), ccks=2559884, wck=0.854, mem=37M155
4.86/3.14	    decisions=91, wrong=25, backtracks=5, failedAssignments=21, nogoods=12
4.86/3.14	    
5.27/3.54	    num=2, depth=24..29, filters=6531, revisions=(8815,useless=274), ccks=2886331, wck=1.252, mem=37M155
5.27/3.54	    decisions=148, wrong=40, backtracks=8, failedAssignments=33, nogoods=18
5.27/3.54	    
5.68/3.95	    num=3, depth=28..31, filters=9141, revisions=(12458,useless=387), ccks=3207046, wck=1.659, mem=37M155
5.68/3.95	    decisions=209, wrong=56, backtracks=12, failedAssignments=46, nogoods=20
5.68/3.95	    
6.08/4.35	    num=4, depth=25..28, filters=11853, revisions=(16232,useless=526), ccks=3536561, wck=2.064, mem=37M155
6.08/4.35	    decisions=276, wrong=76, backtracks=18, failedAssignments=60, nogoods=28
6.08/4.35	    
6.48/4.77	    num=5, depth=24..26, filters=14586, revisions=(20029,useless=664), ccks=3865077, wck=2.475, mem=37M155
6.48/4.77	    decisions=339, wrong=95, backtracks=22, failedAssignments=76, nogoods=36
6.48/4.77	    
6.89/5.17	    num=6, depth=25..28, filters=17468, revisions=(23997,useless=807), ccks=4194237, wck=2.88, mem=37M155
6.89/5.17	    decisions=416, wrong=121, backtracks=34, failedAssignments=93, nogoods=43
6.89/5.17	    
7.29/5.56	    num=7, depth=26..30, filters=20258, revisions=(27766,useless=928), ccks=4509588, wck=3.273, mem=37M155
7.29/5.56	    decisions=492, wrong=146, backtracks=42, failedAssignments=112, nogoods=48
7.29/5.56	    
7.69/5.98	    num=8, depth=26..31, filters=23350, revisions=(31952,useless=1112), ccks=4834793, wck=3.69, mem=37M155
7.69/5.98	    decisions=583, wrong=178, backtracks=53, failedAssignments=133, nogoods=58
7.69/5.98	    
8.10/6.36	    num=9, depth=27..29, filters=26131, revisions=(35683,useless=1295), ccks=5137023, wck=4.072, mem=37M155
8.10/6.36	    decisions=666, wrong=205, backtracks=57, failedAssignments=156, nogoods=67
8.10/6.36	    
8.51/6.78	    num=10, depth=25..30, filters=29473, revisions=(40103,useless=1497), ccks=5450182, wck=4.485, mem=39M798
8.51/6.78	    decisions=761, wrong=240, backtracks=69, failedAssignments=181, nogoods=71
8.51/6.78	    
8.93/7.17	    num=11, depth=24..29, filters=32590, revisions=(44284,useless=1724), ccks=5753456, wck=4.884, mem=39M798
8.93/7.17	    decisions=858, wrong=275, backtracks=78, failedAssignments=209, nogoods=83
8.93/7.17	    
9.32/7.59	    num=12, depth=28..32, filters=36472, revisions=(49229,useless=1981), ccks=6059681, wck=5.304, mem=39M798
9.32/7.59	    decisions=977, wrong=319, backtracks=98, failedAssignments=240, nogoods=88
9.32/7.59	    
9.72/8.00	    num=13, depth=26..31, filters=39856, revisions=(53659,useless=2185), ccks=6365932, wck=5.711, mem=39M798
9.72/8.00	    decisions=1095, wrong=363, backtracks=112, failedAssignments=274, nogoods=96
9.72/8.00	    
10.25/8.44	    num=14, depth=28..31, filters=43982, revisions=(58964,useless=2565), ccks=6672513, wck=6.145, mem=39M798
10.25/8.44	    decisions=1239, wrong=421, backtracks=136, failedAssignments=311, nogoods=104
10.25/8.44	    
10.65/8.87	    num=15, depth=26..31, filters=47982, revisions=(64146,useless=2901), ccks=6988788, wck=6.577, mem=39M798
10.65/8.87	    decisions=1378, wrong=477, backtracks=158, failedAssignments=352, nogoods=115
10.65/8.87	    
11.16/9.34	    num=16, depth=27..32, filters=52523, revisions=(70064,useless=3296), ccks=7321825, wck=7.047, mem=39M798
11.16/9.34	    decisions=1544, wrong=546, backtracks=188, failedAssignments=397, nogoods=129
11.16/9.34	    
11.56/9.75	    num=17, depth=25..29, filters=56531, revisions=(75156,useless=3697), ccks=7618654, wck=7.456, mem=39M798
11.56/9.75	    decisions=1699, wrong=610, backtracks=207, failedAssignments=447, nogoods=132
11.56/9.75	    
12.06/10.22	    num=18, depth=24..31, filters=60944, revisions=(80950,useless=4134), ccks=7952013, wck=7.925, mem=39M798
12.06/10.22	    decisions=1874, wrong=684, backtracks=231, failedAssignments=502, nogoods=142
12.06/10.22	    
12.47/10.64	    num=19, depth=28..33, filters=65347, revisions=(86491,useless=4607), ccks=8254011, wck=8.348, mem=39M798
12.47/10.64	    decisions=2063, wrong=764, backtracks=251, failedAssignments=563, nogoods=156
12.47/10.64	    
12.88/11.10	    num=20, depth=28..32, filters=70319, revisions=(92740,useless=5171), ccks=8562622, wck=8.807, mem=39M798
12.88/11.10	    decisions=2282, wrong=858, backtracks=281, failedAssignments=630, nogoods=163
12.88/11.10	    
13.37/11.55	    num=21, depth=25..34, filters=75178, revisions=(98944,useless=5692), ccks=8880937, wck=9.263, mem=39M798
13.37/11.55	    decisions=2517, wrong=962, backtracks=320, failedAssignments=704, nogoods=166
13.37/11.55	    
13.89/12.02	    num=22, depth=28..32, filters=80615, revisions=(105677,useless=6263), ccks=9183565, wck=9.733, mem=42M440
13.89/12.02	    decisions=2762, wrong=1069, backtracks=349, failedAssignments=785, nogoods=179
13.89/12.02	    
14.40/12.52	    num=23, depth=27..32, filters=86847, revisions=(113492,useless=7095), ccks=9488337, wck=10.234, mem=42M440
14.40/12.52	    decisions=3036, wrong=1191, backtracks=388, failedAssignments=874, nogoods=192
14.40/12.52	    
14.92/13.03	    num=24, depth=26..31, filters=92958, revisions=(121158,useless=7865), ccks=9809249, wck=10.744, mem=42M440
14.92/13.03	    decisions=3338, wrong=1328, backtracks=434, failedAssignments=972, nogoods=199
14.92/13.03	    
15.51/13.61	    num=25, depth=26..32, filters=99909, revisions=(129970,useless=8610), ccks=10159635, wck=11.323, mem=42M440
15.51/13.61	    decisions=3662, wrong=1476, backtracks=480, failedAssignments=1080, nogoods=223
15.51/13.61	    
16.03/14.19	    num=26, depth=24..31, filters=106857, revisions=(138760,useless=9458), ccks=10512146, wck=11.9, mem=42M440
16.03/14.19	    decisions=4023, wrong=1643, backtracks=540, failedAssignments=1199, nogoods=229
16.03/14.19	    
16.72/14.83	    num=27, depth=27..33, filters=115819, revisions=(149691,useless=10574), ccks=10853299, wck=12.542, mem=42M440
16.72/14.83	    decisions=4425, wrong=1829, backtracks=613, failedAssignments=1330, nogoods=241
16.72/14.83	    
17.32/15.46	    num=28, depth=26..32, filters=124598, revisions=(160401,useless=11733), ccks=11194974, wck=13.174, mem=42M440
17.32/15.46	    decisions=4853, wrong=2029, backtracks=681, failedAssignments=1474, nogoods=252
17.32/15.46	    
17.93/16.10	    num=29, depth=23..31, filters=132830, revisions=(170544,useless=12886), ccks=11545308, wck=13.806, mem=42M440
17.93/16.10	    decisions=5297, wrong=2239, backtracks=742, failedAssignments=1632, nogoods=261
17.93/16.10	    
18.73/16.84	    num=30, depth=22..30, filters=142060, revisions=(182380,useless=14167), ccks=11960892, wck=14.551, mem=45M82
18.73/16.84	    decisions=5771, wrong=2463, backtracks=807, failedAssignments=1806, nogoods=282
18.73/16.84	    
19.56/17.66	    num=31, depth=24..30, filters=153680, revisions=(196900,useless=15682), ccks=12353115, wck=15.367, mem=45M82
19.56/17.66	    decisions=6330, wrong=2730, backtracks=908, failedAssignments=1997, nogoods=297
19.56/17.66	    
20.37/18.46	    num=32, depth=26..31, filters=166191, revisions=(212253,useless=17755), ccks=12709192, wck=16.169, mem=45M82
20.37/18.46	    decisions=6951, wrong=3026, backtracks=1011, failedAssignments=2208, nogoods=302
20.37/18.46	    
21.25/19.29	    num=33, depth=22..32, filters=179124, revisions=(228281,useless=19482), ccks=13112548, wck=16.997, mem=45M82
21.25/19.29	    decisions=7644, wrong=3360, backtracks=1131, failedAssignments=2440, nogoods=311
21.25/19.29	    
22.06/20.07	    num=34, depth=26..34, filters=191616, revisions=(243358,useless=21251), ccks=13490103, wck=17.78, mem=45M82
22.06/20.07	    decisions=8347, wrong=3697, backtracks=1231, failedAssignments=2695, nogoods=329
22.06/20.07	    
22.96/20.94	    num=35, depth=26..33, filters=205978, revisions=(260677,useless=23549), ccks=13858620, wck=18.652, mem=47M725
22.96/20.94	    decisions=9156, wrong=4087, backtracks=1358, failedAssignments=2976, nogoods=341
22.96/20.94	    
23.90/21.83	    num=36, depth=27..33, filters=220920, revisions=(278940,useless=25994), ccks=14247252, wck=19.536, mem=47M725
23.90/21.83	    decisions=10063, wrong=4526, backtracks=1512, failedAssignments=3285, nogoods=349
23.90/21.83	    
24.90/22.80	    num=37, depth=27..33, filters=238021, revisions=(299518,useless=28995), ccks=14624766, wck=20.513, mem=47M725
24.90/22.80	    decisions=11046, wrong=5002, backtracks=1676, failedAssignments=3625, nogoods=363
24.90/22.80	    
25.90/23.89	    num=38, depth=25..31, filters=257126, revisions=(322572,useless=31884), ccks=15056753, wck=21.602, mem=47M725
25.90/23.89	    decisions=12093, wrong=5512, backtracks=1848, failedAssignments=3999, nogoods=374
25.90/23.89	    
27.15/25.09	    num=39, depth=25..31, filters=278679, revisions=(349232,useless=35722), ccks=15474853, wck=22.802, mem=50M367
27.15/25.09	    decisions=13310, wrong=6107, backtracks=2064, failedAssignments=4410, nogoods=378
27.15/25.09	    
28.95/26.80	    num=40, depth=24..31, filters=306911, revisions=(383684,useless=39126), ccks=16183344, wck=24.507, mem=50M367
28.95/26.80	    decisions=14629, wrong=6753, backtracks=2305, failedAssignments=4862, nogoods=392
28.95/26.80	    
30.35/28.21	    num=41, depth=25..32, filters=332227, revisions=(414215,useless=43174), ccks=16690382, wck=25.921, mem=50M367
30.35/28.21	    decisions=16005, wrong=7427, backtracks=2527, failedAssignments=5359, nogoods=414
30.35/28.21	    
31.86/29.70	    num=42, depth=25..32, filters=359045, revisions=(446296,useless=47720), ccks=17178317, wck=27.409, mem=53M10
31.86/29.70	    decisions=17514, wrong=8167, backtracks=2753, failedAssignments=5906, nogoods=426
31.86/29.70	    
33.46/31.37	    num=43, depth=25..33, filters=388934, revisions=(482105,useless=52224), ccks=17801932, wck=29.077, mem=53M10
33.46/31.37	    decisions=19231, wrong=9012, backtracks=3040, failedAssignments=6508, nogoods=430
33.46/31.37	    
35.06/32.90	    num=44, depth=25..32, filters=419266, revisions=(519143,useless=56902), ccks=18367971, wck=30.61, mem=53M10
35.06/32.90	    decisions=21109, wrong=9937, backtracks=3342, failedAssignments=7170, nogoods=444
35.06/32.90	    
36.96/34.84	    num=45, depth=25..33, filters=455873, revisions=(563521,useless=62590), ccks=19022886, wck=32.547, mem=55M652
36.96/34.84	    decisions=23212, wrong=10975, backtracks=3758, failedAssignments=7898, nogoods=457
36.96/34.84	    
38.76/36.66	    num=46, depth=26..33, filters=492005, revisions=(607457,useless=68588), ccks=19632466, wck=34.371, mem=55M652
38.76/36.66	    decisions=25432, wrong=12072, backtracks=4112, failedAssignments=8699, nogoods=478
38.76/36.66	    
40.96/38.83	    num=47, depth=27..33, filters=536492, revisions=(660950,useless=76723), ccks=20215917, wck=36.537, mem=58M294
40.96/38.83	    decisions=28015, wrong=13349, backtracks=4579, failedAssignments=9580, nogoods=493
40.96/38.83	    
43.66/41.51	    num=48, depth=23..31, filters=585629, revisions=(720979,useless=83499), ccks=21156828, wck=39.222, mem=60M937
43.66/41.51	    decisions=30734, wrong=14695, backtracks=5048, failedAssignments=10550, nogoods=507
43.66/41.51	    
46.36/44.27	    num=49, depth=23..32, filters=636978, revisions=(783889,useless=92551), ccks=21966297, wck=41.984, mem=60M937
46.36/44.27	    decisions=33708, wrong=16169, backtracks=5543, failedAssignments=11617, nogoods=516
46.36/44.27	    
49.27/47.16	    num=50, depth=25..33, filters=694640, revisions=(854211,useless=102866), ccks=22696116, wck=44.869, mem=63M579
49.27/47.16	    decisions=37074, wrong=17839, backtracks=6166, failedAssignments=12790, nogoods=520
49.27/47.16	    
52.27/50.16	    num=51, depth=25..33, filters=756140, revisions=(928827,useless=114248), ccks=23412487, wck=47.875, mem=66M222
52.27/50.16	    decisions=40652, wrong=19614, backtracks=6793, failedAssignments=14081, nogoods=526
52.27/50.16	    
55.27/53.17	    num=52, depth=25..34, filters=819948, revisions=(1003962,useless=125844), ccks=24138754, wck=50.878, mem=68M864
55.27/53.17	    decisions=44637, wrong=21592, backtracks=7447, failedAssignments=15501, nogoods=535
55.27/53.17	    
59.36/57.27	    num=53, depth=23..32, filters=895288, revisions=(1094587,useless=136365), ccks=25578877, wck=54.978, mem=71M507
59.36/57.27	    decisions=48867, wrong=23692, backtracks=8116, failedAssignments=17063, nogoods=547
59.36/57.27	    
63.46/61.31	    num=54, depth=24..31, filters=976509, revisions=(1191368,useless=151507), ccks=26490627, wck=59.021, mem=74M149
63.46/61.31	    decisions=53695, wrong=26092, backtracks=8985, failedAssignments=18781, nogoods=572
63.46/61.31	    
68.57/66.41	    num=55, depth=24..35, filters=1072259, revisions=(1308017,useless=165819), ccks=28075595, wck=64.125, mem=76M791
68.57/66.41	    decisions=58999, wrong=28731, backtracks=9945, failedAssignments=20671, nogoods=581
68.57/66.41	    
73.67/71.53	    num=56, depth=24..33, filters=1172522, revisions=(1429043,useless=182304), ccks=29271607, wck=69.239, mem=79M434
73.67/71.53	    decisions=64760, wrong=31598, backtracks=10934, failedAssignments=22750, nogoods=599
73.67/71.53	    
78.98/76.89	    num=57, depth=23..32, filters=1280960, revisions=(1558480,useless=201320), ccks=30528576, wck=74.599, mem=84M719
78.98/76.89	    decisions=71110, wrong=34759, backtracks=12016, failedAssignments=25037, nogoods=621
78.98/76.89	    
85.29/83.15	    num=58, depth=24..32, filters=1413111, revisions=(1716452,useless=225864), ccks=31749209, wck=80.864, mem=87M361
85.29/83.15	    decisions=78205, wrong=38293, backtracks=13268, failedAssignments=27553, nogoods=645
85.29/83.15	    
91.78/89.68	    num=59, depth=23..33, filters=1544374, revisions=(1873352,useless=246606), ccks=33610176, wck=87.392, mem=92M646
91.78/89.68	    decisions=85939, wrong=42147, backtracks=14572, failedAssignments=30321, nogoods=659
91.78/89.68	    
99.29/97.11	    num=60, depth=24..33, filters=1691432, revisions=(2053032,useless=270365), ccks=35449833, wck=94.824, mem=97M931
99.29/97.11	    decisions=94459, wrong=46394, backtracks=16029, failedAssignments=33365, nogoods=676
99.29/97.11	    
107.29/105.14	    num=61, depth=23..33, filters=1854184, revisions=(2248432,useless=299700), ccks=37201661, wck=102.854, mem=103M216
107.29/105.14	    decisions=103975, wrong=51138, backtracks=17721, failedAssignments=36714, nogoods=687
107.29/105.14	    
116.01/113.86	    num=62, depth=23..33, filters=2028449, revisions=(2459976,useless=324588), ccks=39909362, wck=111.574, mem=108M501
116.01/113.86	    decisions=114117, wrong=56196, backtracks=19488, failedAssignments=40398, nogoods=707
116.01/113.86	    
127.44/125.21	    num=63, depth=23..32, filters=2240421, revisions=(2721306,useless=358134), ccks=43015564, wck=122.918, mem=116M428
127.44/125.21	    decisions=125568, wrong=61909, backtracks=21682, failedAssignments=44450, nogoods=726
127.44/125.21	    
138.15/135.96	    num=64, depth=24..32, filters=2458607, revisions=(2983012,useless=397320), ccks=45294963, wck=133.674, mem=124M355
138.15/135.96	    decisions=138039, wrong=68130, backtracks=23908, failedAssignments=48907, nogoods=751
138.15/135.96	    
150.36/148.13	    num=65, depth=23..32, filters=2701978, revisions=(3276970,useless=441044), ccks=47782830, wck=145.843, mem=132M282
150.36/148.13	    decisions=151768, wrong=74980, backtracks=26321, failedAssignments=53810, nogoods=790
150.36/148.13	    
165.95/163.75	    num=66, depth=22..32, filters=2999974, revisions=(3636690,useless=485215), ccks=51868917, wck=161.457, mem=142M778
165.95/163.75	    decisions=167288, wrong=82726, backtracks=29267, failedAssignments=59204, nogoods=817
165.95/163.75	    
179.09/176.82	    num=67, depth=25..33, filters=3289526, revisions=(3980725,useless=537429), ccks=54222507, wck=174.533, mem=28M725
179.09/176.82	    decisions=183815, wrong=90975, backtracks=32086, failedAssignments=65137, nogoods=848
179.09/176.82	    
193.42/191.16	    num=68, depth=24..34, filters=3577493, revisions=(4331505,useless=581457), ccks=58284271, wck=188.87, mem=41M805
193.42/191.16	    decisions=202036, wrong=100072, backtracks=35281, failedAssignments=71663, nogoods=880
193.42/191.16	    
208.23/205.97	    num=69, depth=23..33, filters=3895614, revisions=(4711852,useless=639011), ccks=61423247, wck=203.681, mem=49M653
208.23/205.97	    decisions=221723, wrong=109901, backtracks=38501, failedAssignments=78842, nogoods=908
208.23/205.97	    
226.83/224.59	    num=70, depth=23..33, filters=4292841, revisions=(5190368,useless=706000), ccks=65492174, wck=222.302, mem=65M348
226.83/224.59	    decisions=243962, wrong=121007, backtracks=42406, failedAssignments=86739, nogoods=941
226.83/224.59	    
243.63/241.35	    num=71, depth=24..34, filters=4661792, revisions=(5628786,useless=772919), ccks=69422126, wck=239.055, mem=75M812
243.63/241.35	    decisions=268420, wrong=133222, backtracks=46825, failedAssignments=95426, nogoods=961
243.63/241.35	    
267.04/264.74	    num=72, depth=23..32, filters=5135974, revisions=(6205504,useless=859140), ccks=74695083, wck=262.453, mem=91M508
267.04/264.74	    decisions=295603, wrong=146800, backtracks=51811, failedAssignments=104981, nogoods=997
267.04/264.74	    
293.94/291.63	    num=73, depth=22..33, filters=5688852, revisions=(6882373,useless=958848), ccks=80073205, wck=289.34, mem=109M820
293.94/291.63	    decisions=325669, wrong=161820, backtracks=57515, failedAssignments=115492, nogoods=1043
293.94/291.63	    
319.86/317.53	    num=74, depth=23..33, filters=6232359, revisions=(7538153,useless=1062465), ccks=85120227, wck=315.238, mem=128M132
319.86/317.53	    decisions=357311, wrong=177628, backtracks=62799, failedAssignments=127054, nogoods=1072
319.86/317.53	    
348.96/346.70	    num=75, depth=24..34, filters=6857516, revisions=(8291107,useless=1173630), ccks=90864662, wck=344.406, mem=149M60
348.96/346.70	    decisions=393057, wrong=195488, backtracks=69196, failedAssignments=139772, nogoods=1084
348.96/346.70	    
377.10/374.76	    num=76, depth=24..34, filters=7483926, revisions=(9041618,useless=1281658), ccks=96804074, wck=372.467, mem=36M595
377.10/374.76	    decisions=431590, wrong=214740, backtracks=75660, failedAssignments=153762, nogoods=1094
377.10/374.76	    
411.90/409.58	    num=77, depth=23..32, filters=8214469, revisions=(9917405,useless=1417595), ccks=103961141, wck=407.287, mem=60M222
411.90/409.58	    decisions=474720, wrong=236292, backtracks=83056, failedAssignments=169151, nogoods=1106
411.90/409.58	    
433.81/431.41	    num=78, depth=23..134, filters=8683876, revisions=(10488440,useless=1493408), ccks=109431333, wck=429.121, mem=78M599
433.81/431.41	    decisions=501926, wrong=249881, backtracks=87946, failedAssignments=178820, nogoods=1106, foundSolutions=1
433.81/431.41	    
433.81/431.41	  Global
433.81/431.41	    filters=8683876, revisions=(10488440,useless=1493408), ccks=109431333, nogoods=1106
433.81/431.41	    Stop=REACHED_GOAL, wrong=249881, foundSolutions=1, firstSolCpu=431.349
433.81/431.41	    wck=429.568, cpu=431.357, mem=78M599
433.81/431.41	
433.81/431.41	v <instantiation id='sol1' type='solution'>  <list> x[][] </list>  <values> 31 114 119 1 68 115 4 112 108 15 52 98 79 95 9 48 73 94 19 8 2 32 21 81 49 16 77 34 30 5 22 38 66 27 17 14 23 18 7 3 0 40 28 13 10 33 117 123 6 74 122 12 121 118 26 64 111 93 110 25 65 91 113 39 29 24 55 45 106 75 43 105 63 60 36 54 71 100 62 53 51 61 57 47 44 42 83 72 58 56 35 120 127 11 80 129 20 130 128 37 76 124 107 125 41 82 109 132 59 50 46 78 69 131 101 70 133 92 90 67 86 104 134 97 89 88 99 96 87 85 84 126 116 103 102 </values>  </instantiation>
433.81/431.41	s SATISFIABLE
433.81/431.41	
433.81/431.41	d WRONG_DECISIONS 249881

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390697-1568380707/watcher-4390697-1568380707 -o /tmp/evaluation-result-4390697-1568380707/solver-4390697-1568380707 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390697-1568380707.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
Current StackSize limit: 8192 KiB

solver pid=6050, runsolver pid=6047

[startup+0.101292 s]*
/proc/loadavg: 1.90 0.98 0.43 5/228 6065
/proc/meminfo: memFree=30897852/32770624 swapFree=66934464/67108860
[pid=6050] ppid=6047 vsize=10659884 memory=27968 CPUtime=0.13 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 5547 0 0 0 12 1 0 0 20 0 15 0 414342140 10915721216 6992 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2664971 6992 2864 1 0 2627468 0
[pid=6050/tid=6052] ppid=6047 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) R 6047 6050 5027 0 -1 4202560 3253 0 0 0 9 0 0 0 20 0 15 0 414342140 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642971212832 140642959219518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10659884 memory=5793855381394561465 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642068964128 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414342143 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642067911792 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) R 6047 6050 5027 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) R 6047 6050 5027 0 -1 4202560 390 0 0 0 2 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642063699608 140642945612575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 6992 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27968 KiB

[startup+0.210629 s]*
/proc/loadavg: 1.90 0.98 0.43 4/228 6065
/proc/meminfo: memFree=30887096/32770624 swapFree=66934464/67108860
[pid=6050] ppid=6047 vsize=10659884 memory=37436 CPUtime=0.32 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 9164 0 0 0 29 3 0 0 20 0 15 0 414342140 10915721216 9359 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2664971 9359 2987 1 0 2627468 0
[pid=6050/tid=6052] ppid=6047 vsize=10659884 memory=-3103912127665269909 CPUtime=0.19 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) R 6047 6050 5027 0 -1 4202560 6143 0 0 0 17 2 0 0 20 0 15 0 414342140 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642971214352 140642967004317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10659884 memory=4211973856589458826 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642068964128 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414342143 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642067911792 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 426 0 0 0 3 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0.05 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 9359 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37436 KiB

[startup+0.310192 s]*
/proc/loadavg: 1.90 0.98 0.43 3/228 6065
/proc/meminfo: memFree=30885140/32770624 swapFree=66934464/67108860
[pid=6050] ppid=6047 vsize=10659884 memory=40500 CPUtime=0.46 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 9352 0 0 0 42 4 0 0 20 0 15 0 414342140 10915721216 10125 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2664971 10125 3008 1 0 2627468 0
[pid=6050/tid=6052] ppid=6047 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) R 6047 6050 5027 0 -1 4202560 6269 0 0 0 27 3 0 0 20 0 15 0 414342140 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642971215968 140642967004317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10659884 memory=4211973856589458826 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10659884 memory=140130384673315 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10659884 memory=140130287467981 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10659884 memory=140130287472079 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10659884 memory=140130384673346 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10659884 memory=140130287481295 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414342142 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642068964128 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10659884 memory=280260574953360 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414342143 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642067911792 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10659884 memory=280260574951024 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10659884 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 442 0 0 0 4 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0.08 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) R 6047 6050 5027 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642063697936 140642945815888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10659884 memory=140130384668288 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342145 10915721216 10125 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40500 KiB

[startup+0.700779 s]
/proc/loadavg: 1.90 0.98 0.43 3/228 6065
/proc/meminfo: memFree=30874036/32770624 swapFree=66934464/67108860
[pid=6050] ppid=6047 vsize=10661932 memory=63700 CPUtime=1.09 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 12922 0 0 0 104 5 0 0 20 0 15 0 414342140 10917818368 15925 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2665483 15925 3072 1 0 2627980 0
[pid=6050/tid=6052] ppid=6047 vsize=10661932 memory=3932 CPUtime=0.67 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) R 6047 6050 5027 0 -1 4202560 8836 0 0 0 63 4 0 0 20 0 15 0 414342140 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642971214416 140642967004317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342142 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414342142 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642068964128 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414342143 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642067911792 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10661932 memory=345 CPUtime=0.1 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 891 0 0 0 10 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10661932 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) R 6047 6050 5027 0 -1 4202560 662 0 0 0 10 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642064755184 140642951882570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10661932 memory=26446 CPUtime=0.18 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 1173 0 0 0 18 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10661932 memory=280260575137264 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342145 10917818368 15925 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63700 KiB

[startup+1.50077 s]
/proc/loadavg: 1.90 0.98 0.43 3/228 6065
/proc/meminfo: memFree=30857968/32770624 swapFree=66934464/67108860
[pid=6050] ppid=6047 vsize=10663980 memory=75472 CPUtime=1.99 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 16684 0 0 0 193 6 0 0 20 0 15 0 414342140 10919915520 18868 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2665995 18868 3092 1 0 2628492 0
[pid=6050/tid=6052] ppid=6047 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) R 6047 6050 5027 0 -1 4202560 11597 0 0 0 143 5 0 0 20 0 15 0 414342140 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642971214416 140642951062878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10663980 memory=-6305718286698570368 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414342141 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10663980 memory=4947937137919368832 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414342141 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10663980 memory=-6152018833316210532 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414342142 10919915520 18868 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0

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

[startup+428.801 s]
/proc/loadavg: 1.96 1.74 1.00 3/229 6107
/proc/meminfo: memFree=30677056/32770624 swapFree=66934472/67108860
[pid=6050] ppid=6047 vsize=10746276 memory=243296 CPUtime=431.21 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 46112 0 0 0 43101 20 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2686569 60824 3366 1 0 2646705 0
[pid=6050/tid=6052] ppid=6047 vsize=10746276 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) S 6047 6050 5027 0 -1 1077944384 13201 0 0 0 179 6 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642971225264 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10746276 memory=-7003737579269690708 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10746276 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10746276 memory=243296 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 918 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10746276 memory=3932 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10746276 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 955 0 0 0 1 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642068964192 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10746276 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414342143 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642067911808 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10746276 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10746276 memory=6944656592455359580 CPUtime=0.89 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 6526 0 0 0 88 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10746276 memory=6944656575208382560 CPUtime=0.75 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 4933 0 0 0 74 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10746276 memory=804 CPUtime=0.55 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 5851 0 0 0 55 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10746276 memory=916 CPUtime=0.08 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 627 0 0 0 4 4 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6066] ppid=6047 vsize=10746276 memory=3848 CPUtime=426.87 cores=1,3,5,7
/proc/6050/task/6066/stat : 6066 (java) R 6047 6050 5027 0 -1 4202560 9921 0 0 0 42683 4 0 0 20 0 16 0 414342327 11004186624 60824 33554432000 4194304 4196468 140727202318624 140641602309120 140642609940430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 431.21 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 243296 KiB

[startup+430.401 s]
/proc/loadavg: 1.96 1.74 1.00 3/229 6108
/proc/meminfo: memFree=30677112/32770624 swapFree=66934472/67108860
[pid=6050] ppid=6047 vsize=10746276 memory=243296 CPUtime=432.81 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 46113 0 0 0 43261 20 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2686569 60824 3366 1 0 2646705 0
[pid=6050/tid=6052] ppid=6047 vsize=10746276 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) S 6047 6050 5027 0 -1 1077944384 13201 0 0 0 179 6 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642971225264 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10746276 memory=8296 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10746276 memory=5952 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10746276 memory=1124 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 918 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10746276 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10746276 memory=11928 CPUtime=0.01 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 955 0 0 0 1 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10746276 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642068964192 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10746276 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414342143 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642067911808 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10746276 memory=976 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10746276 memory=772 CPUtime=0.89 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 6526 0 0 0 88 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10746276 memory=3932 CPUtime=0.75 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 4933 0 0 0 74 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10746276 memory=2832 CPUtime=0.55 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 5851 0 0 0 55 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10746276 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 627 0 0 0 4 4 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6066] ppid=6047 vsize=10746276 memory=243296 CPUtime=428.47 cores=1,3,5,7
/proc/6050/task/6066/stat : 6066 (java) R 6047 6050 5027 0 -1 4202560 9922 0 0 0 42843 4 0 0 20 0 16 0 414342327 11004186624 60824 33554432000 4194304 4196468 140727202318624 140641602309120 140642609940416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 432.81 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 243296 KiB

[startup+431.201 s]
/proc/loadavg: 1.96 1.74 1.00 3/229 6108
/proc/meminfo: memFree=30677112/32770624 swapFree=66934472/67108860
[pid=6050] ppid=6047 vsize=10746276 memory=243296 CPUtime=433.61 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 46113 0 0 0 43341 20 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2686569 60824 3366 1 0 2646705 0
[pid=6050/tid=6052] ppid=6047 vsize=10746276 memory=2532 CPUtime=1.85 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) S 6047 6050 5027 0 -1 1077944384 13201 0 0 0 179 6 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642971225264 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10746276 memory=1440 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10746276 memory=808 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10746276 memory=243296 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 918 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10746276 memory=3620 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10746276 memory=22092 CPUtime=0.01 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 955 0 0 0 1 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642068964192 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10746276 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414342143 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642067911808 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10746276 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10746276 memory=243296 CPUtime=0.89 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 6526 0 0 0 88 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10746276 memory=1056 CPUtime=0.75 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 4933 0 0 0 74 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10746276 memory=1548 CPUtime=0.55 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 5851 0 0 0 55 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10746276 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10746276 memory=744 CPUtime=0.08 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 627 0 0 0 4 4 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6066] ppid=6047 vsize=10746276 memory=8296 CPUtime=429.27 cores=1,3,5,7
/proc/6050/task/6066/stat : 6066 (java) R 6047 6050 5027 0 -1 4202560 9922 0 0 0 42923 4 0 0 20 0 16 0 414342327 11004186624 60824 33554432000 4194304 4196468 140727202318624 140641602309120 140642609902916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 433.61 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 243296 KiB

[startup+431.401 s]
/proc/loadavg: 1.96 1.74 1.00 3/229 6108
/proc/meminfo: memFree=30677112/32770624 swapFree=66934472/67108860
[pid=6050] ppid=6047 vsize=10746276 memory=243296 CPUtime=433.81 cores=1,3,5,7
/proc/6050/stat : 6050 (java) S 6047 6050 5027 0 -1 1077944320 46113 0 0 0 43361 20 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140727202301168 140642966982391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
/proc/6050/statm: 2686569 60824 3366 1 0 2646705 0
[pid=6050/tid=6052] ppid=6047 vsize=10746276 memory=976 CPUtime=1.85 cores=1,3,5,7
/proc/6050/task/6052/stat : 6052 (java) S 6047 6050 5027 0 -1 1077944384 13201 0 0 0 179 6 0 0 20 0 16 0 414342140 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642971225264 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6053] ppid=6047 vsize=10746276 memory=772 CPUtime=0.03 cores=1,3,5,7
/proc/6050/task/6053/stat : 6053 (java) S 6047 6050 5027 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642573986704 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6054] ppid=6047 vsize=10746276 memory=3932 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6054/stat : 6054 (java) S 6047 6050 5027 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642572933904 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6055] ppid=6047 vsize=10746276 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6055/stat : 6055 (java) S 6047 6050 5027 0 -1 1077944384 918 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642571881616 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6056] ppid=6047 vsize=10746276 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/6050/task/6056/stat : 6056 (java) S 6047 6050 5027 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 16 0 414342141 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642570828816 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6057] ppid=6047 vsize=10746276 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/6050/task/6057/stat : 6057 (java) S 6047 6050 5027 0 -1 1077944384 955 0 0 0 1 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642070018160 140642966993538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6058] ppid=6047 vsize=10746276 memory=744 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6058/stat : 6058 (java) S 6047 6050 5027 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414342142 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642068964192 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6059] ppid=6047 vsize=10746276 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6059/stat : 6059 (java) S 6047 6050 5027 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414342143 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642067911808 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6060] ppid=6047 vsize=10746276 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6060/stat : 6060 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642066860112 140642967000987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6061] ppid=6047 vsize=10746276 memory=1124 CPUtime=0.89 cores=1,3,5,7
/proc/6050/task/6061/stat : 6061 (java) S 6047 6050 5027 0 -1 1077944384 6526 0 0 0 88 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642065807984 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6062] ppid=6047 vsize=10746276 memory=14008 CPUtime=0.75 cores=1,3,5,7
/proc/6050/task/6062/stat : 6062 (java) S 6047 6050 5027 0 -1 1077944384 4933 0 0 0 74 1 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642064755184 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6063] ppid=6047 vsize=10746276 memory=11928 CPUtime=0.55 cores=1,3,5,7
/proc/6050/task/6063/stat : 6063 (java) S 6047 6050 5027 0 -1 1077944384 5851 0 0 0 55 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642063702896 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6064] ppid=6047 vsize=10746276 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/6050/task/6064/stat : 6064 (java) S 6047 6050 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642062650336 140642966992597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6065] ppid=6047 vsize=10746276 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/6050/task/6065/stat : 6065 (java) S 6047 6050 5027 0 -1 1077944384 627 0 0 0 4 4 0 0 20 0 16 0 414342145 11004186624 60824 33554432000 4194304 4196468 140727202318624 140642061597104 140642966993538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
[pid=6050/tid=6066] ppid=6047 vsize=10746276 memory=1772 CPUtime=429.47 cores=1,3,5,7
/proc/6050/task/6066/stat : 6066 (java) R 6047 6050 5027 0 -1 4202560 9922 0 0 0 42943 4 0 0 20 0 16 0 414342327 11004186624 60824 33554432000 4194304 4196468 140727202318624 140641602309120 140642609940324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140727202325515 140727202325618 140727202325618 140727202328527 0
Current children cumulated CPU time: 433.81 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 243296 KiB

Child status: 0
Real time (s): 431.423
CPU time (s): 433.86
CPU user time (s): 433.654
CPU system time (s): 0.206053
CPU usage (%): 100.565
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 243296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 433.654
system time used= 0.206053
maximum resident set size= 243460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12388
involuntary context switches= 205


# summary of solver processes directly reported to runsolver:
#   pid: 6050
#   total CPU time (s): 433.86
#   total CPU user time (s): 433.654
#   total CPU system time (s): 0.206053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45293 second user time and 3.54373 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 15:17:48
IDJOB=4390697
IDBENCH=124268
IDSOLVER=2832
FILE ID=node151/4390697-1568380707
RUNJOBID= node151-1568380476-5059
PBS_JOBID= 21701820
Free space on /tmp= 56992 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-45.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390697-1568380707/watcher-4390697-1568380707 -o /tmp/evaluation-result-4390697-1568380707/solver-4390697-1568380707 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390697-1568380707.xml -cm

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

MD5SUM BENCH= c29e6924973099ab0a0c802e448a5f67
RANDOM SEED=1562995413

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30914028 kB
MemAvailable:   31628136 kB
Buffers:          152596 kB
Cached:           851284 kB
SwapCached:        71752 kB
Active:           748492 kB
Inactive:         556380 kB
Active(anon):     236068 kB
Inactive(anon):    96860 kB
Active(file):     512424 kB
Inactive(file):   459520 kB
Unevictable:      110832 kB
Mlocked:          110832 kB
SwapTotal:      67108860 kB
SwapFree:       66934464 kB
Dirty:              8736 kB
Writeback:             0 kB
AnonPages:        436664 kB
Mapped:            48592 kB
Shmem:             23704 kB
Slab:             145016 kB
SReclaimable:     116000 kB
SUnreclaim:        29016 kB
KernelStack:        4064 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1234976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56984 MiB
End job on node151 at 2019-09-13 15:24:59