Trace number 4390751

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 203.099 199.918

DiagnosticValue
WRONG_DECISIONS77617

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-164.xml
MD5SUMb2fe288f8dde57e646dfc9c4f090c29d
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 benchmark118.733
Satisfiable
(Un)Satisfiability was proved
Number of variables328
Number of constraints172
Number of domains2
Minimum domain size164
Maximum domain size26896
Distribution of domain sizes[{"size":164,"count":164},{"size":26896,"count":164}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":164},{"degree":4,"count":163},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity164
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":164},{"arity":82,"count":6},{"arity":164,"count":1}]
Number of extensional constraints0
Number of intensional constraints165
Distribution of constraint types[{"type":"intension","count":165},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

2.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.89	
2.91/2.03	  Instance
2.91/2.03	    name=instance-4390751-1568380531, framework=CSP
2.91/2.03	
2.91/2.03	  Loading variables...
2.91/2.10	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3690b9
3.14/2.11	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b44cdc
3.42/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fba5f8
3.42/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5777952b
3.42/2.27	
3.42/2.27	
3.42/2.27	  Domains
3.42/2.27	    nTypes=2, nValues=4437840, sizes=[164#164,26896#164]
3.42/2.27	  Variables
3.42/2.27	    count=328, degrees=[2#164,4#163,5#1]
3.42/2.27	  Constraints
3.42/2.27	    count=172, nSpecific=7, arities=[1#1,2#164,82#6,164#1]
3.42/2.27	    distribution=[AllDifferent#1,CtrIntension#165,OrderedLT#2,SumSimpleEQ#4]
3.42/2.27	    nIntStructures=(2,shared:163)
3.42/2.27	    wck=0.431, cpu=2.242, mem=120M108
3.42/2.28	  Solver SolverBacktrack being built...
3.42/2.28	
3.67/2.38	
3.67/2.38	  Solver
3.67/2.38	    guaranteedGAC=false
3.67/2.38	    wck=0.538, cpu=2.294, mem=167M376
33.80/32.08	
33.80/32.08	  Preprocessing
33.80/32.08	    filters=169, revisions=(330,useless=164), ccks=363324943, nACremovedValues=4410944, nTotalRemovedValues=4410944, inconcistency=false
33.80/32.08	    wck=29.703, cpu=31.997, mem=169M992
33.80/32.08	
34.21/32.25	    num=0, depth=39..39, filters=4327, revisions=(4428,useless=233), ccks=363697176, wck=29.874, mem=169M992
34.21/32.25	    decisions=59, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
34.21/32.25	    
34.21/32.28	    num=1, depth=0..1, filters=4980, revisions=(5044,useless=233), ccks=363797219, wck=29.899, mem=169M992
34.21/32.28	    decisions=82, wrong=21, backtracks=0, failedAssignments=21, nogoods=20
34.21/32.28	    
34.48/32.31	    num=2, depth=0..1, filters=5710, revisions=(5773,useless=277), ccks=363922014, wck=29.931, mem=169M992
34.48/32.31	    decisions=107, wrong=33, backtracks=0, failedAssignments=33, nogoods=28
34.48/32.31	    
34.48/32.34	    num=3, depth=0..2, filters=6360, revisions=(6356,useless=278), ccks=364041146, wck=29.963, mem=169M992
34.48/32.34	    decisions=134, wrong=46, backtracks=0, failedAssignments=46, nogoods=35
34.48/32.34	    
34.48/32.36	    num=4, depth=2..2, filters=7206, revisions=(7154,useless=278), ccks=364142916, wck=29.986, mem=169M992
34.48/32.36	    decisions=164, wrong=60, backtracks=0, failedAssignments=60, nogoods=49
34.48/32.36	    
34.80/32.40	    num=5, depth=1..2, filters=8247, revisions=(8147,useless=317), ccks=364255716, wck=30.015, mem=169M992
34.80/32.40	    decisions=199, wrong=77, backtracks=1, failedAssignments=76, nogoods=65
34.80/32.40	    
34.80/32.42	    num=6, depth=0..0, filters=8638, revisions=(8471,useless=318), ccks=364284225, wck=30.047, mem=169M992
34.80/32.42	    decisions=233, wrong=94, backtracks=1, failedAssignments=93, nogoods=65
34.80/32.42	    
35.02/32.54	    num=7, depth=0..1, filters=10061, revisions=(10239,useless=817), ccks=364957120, wck=30.161, mem=169M992
35.02/32.54	    decisions=274, wrong=114, backtracks=2, failedAssignments=112, nogoods=70
35.02/32.54	    
35.02/32.59	    num=8, depth=1..9, filters=11672, revisions=(11810,useless=916), ccks=365241782, wck=30.212, mem=169M992
35.02/32.59	    decisions=319, wrong=135, backtracks=2, failedAssignments=133, nogoods=91
35.02/32.59	    
35.17/32.63	    num=9, depth=1..5, filters=12524, revisions=(12578,useless=957), ccks=365430473, wck=30.248, mem=169M992
35.17/32.63	    decisions=367, wrong=158, backtracks=2, failedAssignments=156, nogoods=114
35.17/32.63	    
35.17/32.66	    num=10, depth=1..3, filters=13256, revisions=(13204,useless=973), ccks=365645875, wck=30.285, mem=169M992
35.17/32.66	    decisions=419, wrong=183, backtracks=2, failedAssignments=181, nogoods=139
35.17/32.66	    
35.28/32.70	    num=11, depth=1..3, filters=14044, revisions=(13896,useless=986), ccks=365857697, wck=30.32, mem=169M992
35.28/32.70	    decisions=477, wrong=211, backtracks=2, failedAssignments=209, nogoods=167
35.28/32.70	    
35.28/32.80	    num=12, depth=6..17, filters=18916, revisions=(18600,useless=1117), ccks=366360982, wck=30.418, mem=169M992
35.28/32.80	    decisions=575, wrong=257, backtracks=19, failedAssignments=240, nogoods=178
35.28/32.80	    
35.52/32.91	    num=13, depth=2..11, filters=23778, revisions=(23683,useless=1734), ccks=366862320, wck=30.531, mem=169M992
35.52/32.91	    decisions=666, wrong=301, backtracks=42, failedAssignments=274, nogoods=183
35.52/32.91	    
35.52/32.96	    num=14, depth=1..2, filters=24614, revisions=(24393,useless=1793), ccks=367039833, wck=30.581, mem=169M992
35.52/32.96	    decisions=742, wrong=338, backtracks=42, failedAssignments=311, nogoods=220
35.52/32.96	    
35.64/33.08	    num=15, depth=4..14, filters=30675, revisions=(30631,useless=2424), ccks=367517531, wck=30.704, mem=169M992
35.64/33.08	    decisions=852, wrong=391, backtracks=76, failedAssignments=352, nogoods=223
35.64/33.08	    
35.87/33.21	    num=16, depth=0..6, filters=32339, revisions=(32661,useless=3041), ccks=368001064, wck=30.829, mem=169M992
35.87/33.21	    decisions=945, wrong=436, backtracks=76, failedAssignments=397, nogoods=247
35.87/33.21	    
36.17/33.54	    num=17, depth=0..7, filters=37423, revisions=(41936,useless=8018), ccks=368716967, wck=31.164, mem=169M992
36.17/33.54	    decisions=1056, wrong=490, backtracks=87, failedAssignments=447, nogoods=274
36.17/33.54	    
36.68/34.06	    num=18, depth=0..4, filters=42772, revisions=(50145,useless=11695), ccks=369487244, wck=31.681, mem=169M992
36.68/34.06	    decisions=1167, wrong=545, backtracks=87, failedAssignments=502, nogoods=324
36.68/34.06	    
36.88/34.22	    num=19, depth=0..6, filters=45399, revisions=(54289,useless=13666), ccks=370056229, wck=31.843, mem=169M992
36.88/34.22	    decisions=1294, wrong=608, backtracks=93, failedAssignments=563, nogoods=361
36.88/34.22	    
36.88/34.28	    num=20, depth=1..4, filters=47355, revisions=(56158,useless=13884), ccks=370327593, wck=31.906, mem=169M992
36.88/34.28	    decisions=1433, wrong=676, backtracks=96, failedAssignments=630, nogoods=399
36.88/34.28	    
37.18/34.53	    num=21, depth=1..8, filters=52921, revisions=(63556,useless=16429), ccks=370971191, wck=32.152, mem=169M992
37.18/34.53	    decisions=1601, wrong=759, backtracks=117, failedAssignments=704, nogoods=445
37.18/34.53	    
37.39/34.77	    num=22, depth=1..11, filters=59294, revisions=(72802,useless=20233), ccks=371723958, wck=32.388, mem=169M992
37.39/34.77	    decisions=1787, wrong=849, backtracks=147, failedAssignments=785, nogoods=478
37.39/34.77	    
37.50/34.85	    num=23, depth=1..8, filters=62783, revisions=(76244,useless=20709), ccks=372056729, wck=32.474, mem=169M992
37.50/34.85	    decisions=1980, wrong=943, backtracks=155, failedAssignments=874, nogoods=517
37.50/34.85	    
38.58/35.83	    num=24, depth=0..12, filters=74075, revisions=(94571,useless=29586), ccks=372853333, wck=33.452, mem=169M992
38.58/35.83	    decisions=2185, wrong=1045, backtracks=169, failedAssignments=972, nogoods=589
38.58/35.83	    
39.39/36.62	    num=25, depth=0..16, filters=83601, revisions=(108759,useless=35714), ccks=373692157, wck=34.246, mem=169M992
39.39/36.62	    decisions=2406, wrong=1154, backtracks=177, failedAssignments=1080, nogoods=663
39.39/36.62	    
39.49/36.76	    num=26, depth=2..6, filters=90987, revisions=(116874,useless=37372), ccks=374194687, wck=34.381, mem=169M992
39.49/36.76	    decisions=2678, wrong=1288, backtracks=195, failedAssignments=1199, nogoods=708
39.49/36.76	    
40.39/37.64	    num=27, depth=0..17, filters=103590, revisions=(134063,useless=43766), ccks=375275817, wck=35.266, mem=169M992
40.39/37.64	    decisions=2959, wrong=1427, backtracks=221, failedAssignments=1330, nogoods=780
40.39/37.64	    
41.40/38.64	    num=28, depth=0..16, filters=118256, revisions=(157089,useless=54430), ccks=376365827, wck=36.267, mem=169M992
41.40/38.64	    decisions=3270, wrong=1581, backtracks=257, failedAssignments=1474, nogoods=876
41.40/38.64	    
41.71/38.98	    num=29, depth=3..14, filters=129040, revisions=(171178,useless=59312), ccks=377451962, wck=36.605, mem=169M992
41.71/38.98	    decisions=3643, wrong=1765, backtracks=349, failedAssignments=1632, nogoods=902
41.71/38.98	    
41.92/39.13	    num=30, depth=1..6, filters=134695, revisions=(176252,useless=59670), ccks=378004190, wck=36.757, mem=169M992
41.92/39.13	    decisions=4011, wrong=1948, backtracks=362, failedAssignments=1806, nogoods=949
41.92/39.13	    
42.41/39.68	    num=31, depth=1..8, filters=147135, revisions=(192974,useless=65603), ccks=379424174, wck=37.305, mem=169M992
42.41/39.68	    decisions=4425, wrong=2154, backtracks=411, failedAssignments=1997, nogoods=995
42.41/39.68	    
42.61/39.87	    num=32, depth=1..12, filters=155550, revisions=(200721,useless=66156), ccks=380035121, wck=37.495, mem=169M992
42.61/39.87	    decisions=4871, wrong=2376, backtracks=434, failedAssignments=2208, nogoods=1025
42.61/39.87	    
43.01/40.20	    num=33, depth=1..11, filters=168582, revisions=(213386,useless=67467), ccks=381373856, wck=37.827, mem=169M992
43.01/40.20	    decisions=5379, wrong=2629, backtracks=506, failedAssignments=2440, nogoods=1043
43.01/40.20	    
43.83/41.08	    num=34, depth=1..13, filters=187118, revisions=(240278,useless=78836), ccks=382646207, wck=38.702, mem=169M992
43.83/41.08	    decisions=5954, wrong=2915, backtracks=587, failedAssignments=2695, nogoods=1123
43.83/41.08	    
45.54/42.73	    num=35, depth=0..18, filters=211014, revisions=(271370,useless=89458), ccks=384751474, wck=40.356, mem=169M992
45.54/42.73	    decisions=6552, wrong=3213, backtracks=648, failedAssignments=2976, nogoods=1197
45.54/42.73	    
46.34/43.51	    num=36, depth=0..9, filters=230033, revisions=(293777,useless=95853), ccks=386651610, wck=41.136, mem=169M992
46.34/43.51	    decisions=7235, wrong=3553, backtracks=699, failedAssignments=3285, nogoods=1212
46.34/43.51	    
47.27/44.48	    num=37, depth=1..13, filters=252640, revisions=(322948,useless=105626), ccks=388435497, wck=42.099, mem=169M992
47.27/44.48	    decisions=7966, wrong=3918, backtracks=789, failedAssignments=3625, nogoods=1220
47.27/44.48	    
49.28/46.47	    num=38, depth=1..19, filters=290794, revisions=(377031,useless=127591), ccks=391289074, wck=44.091, mem=169M992
49.28/46.47	    decisions=8855, wrong=4360, backtracks=950, failedAssignments=3999, nogoods=1340
49.28/46.47	    
52.33/49.49	    num=39, depth=0..19, filters=326545, revisions=(423886,useless=144435), ccks=393537367, wck=47.108, mem=169M992
52.33/49.49	    decisions=9715, wrong=4789, backtracks=1003, failedAssignments=4410, nogoods=1359
52.33/49.49	    
52.73/49.84	    num=40, depth=1..8, filters=342932, revisions=(438521,useless=145150), ccks=394564143, wck=47.466, mem=169M992
52.73/49.84	    decisions=10648, wrong=5254, backtracks=1031, failedAssignments=4862, nogoods=1442
52.73/49.84	    
54.08/51.11	    num=41, depth=0..14, filters=373913, revisions=(476850,useless=157465), ccks=396468132, wck=48.732, mem=169M992
54.08/51.11	    decisions=11760, wrong=5809, backtracks=1123, failedAssignments=5359, nogoods=1459
54.08/51.11	    
55.48/52.51	    num=42, depth=1..21, filters=400831, revisions=(509715,useless=168208), ccks=397919470, wck=50.136, mem=169M992
55.48/52.51	    decisions=12872, wrong=6364, backtracks=1145, failedAssignments=5906, nogoods=1564
55.48/52.51	    
57.88/54.94	    num=43, depth=0..26, filters=438607, revisions=(558479,useless=185230), ccks=399855907, wck=52.561, mem=169M992
57.88/54.94	    decisions=14094, wrong=6974, backtracks=1177, failedAssignments=6508, nogoods=1599
57.88/54.94	    
58.58/55.67	    num=44, depth=1..15, filters=479831, revisions=(600930,useless=191349), ccks=401830538, wck=53.295, mem=169M992
58.58/55.67	    decisions=15595, wrong=7720, backtracks=1321, failedAssignments=7170, nogoods=1701
58.58/55.67	    
60.09/57.15	    num=45, depth=0..16, filters=522229, revisions=(652146,useless=206917), ccks=404488824, wck=54.772, mem=169M992
60.09/57.15	    decisions=17230, wrong=8536, backtracks=1534, failedAssignments=7898, nogoods=1802
60.09/57.15	    
60.68/57.70	    num=46, depth=1..19, filters=555962, revisions=(682430,useless=209907), ccks=405558521, wck=55.325, mem=169M992
60.68/57.70	    decisions=19072, wrong=9456, backtracks=1813, failedAssignments=8699, nogoods=1901
60.68/57.70	    
63.68/60.71	    num=47, depth=0..18, filters=617589, revisions=(760098,useless=235430), ccks=409024174, wck=58.332, mem=169M992
63.68/60.71	    decisions=20914, wrong=10375, backtracks=1921, failedAssignments=9580, nogoods=2078
63.68/60.71	    
65.58/62.67	    num=48, depth=0..18, filters=678774, revisions=(827688,useless=250865), ccks=412852202, wck=60.293, mem=169M992
65.58/62.67	    decisions=22995, wrong=11412, backtracks=2082, failedAssignments=10550, nogoods=2138
65.58/62.67	    
67.99/65.01	    num=49, depth=0..18, filters=780288, revisions=(929202,useless=260361), ccks=424355337, wck=62.631, mem=169M992
67.99/65.01	    decisions=25637, wrong=12732, backtracks=2683, failedAssignments=11617, nogoods=2207
67.99/65.01	    
70.78/67.87	    num=50, depth=1..20, filters=896764, revisions=(1056883,useless=286343), ccks=430594911, wck=65.496, mem=169M992
70.78/67.87	    decisions=28322, wrong=14073, backtracks=2976, failedAssignments=12790, nogoods=2288
70.78/67.87	    
73.09/70.19	    num=51, depth=1..19, filters=1010449, revisions=(1173091,useless=299987), ccks=438754834, wck=67.816, mem=169M992
73.09/70.19	    decisions=31313, wrong=15566, backtracks=3751, failedAssignments=14081, nogoods=2304
73.09/70.19	    
76.59/73.69	    num=52, depth=1..24, filters=1155970, revisions=(1325348,useless=321393), ccks=446304805, wck=71.31, mem=169M992
76.59/73.69	    decisions=34518, wrong=17165, backtracks=4261, failedAssignments=15501, nogoods=2412
76.59/73.69	    
77.89/74.93	    num=53, depth=1..16, filters=1232591, revisions=(1394551,useless=325686), ccks=449634047, wck=72.548, mem=172M609
77.89/74.93	    decisions=37925, wrong=18866, backtracks=4513, failedAssignments=17063, nogoods=2469
77.89/74.93	    
82.80/79.80	    num=54, depth=1..15, filters=1353283, revisions=(1551808,useless=380313), ccks=460725427, wck=77.427, mem=172M609
82.80/79.80	    decisions=41798, wrong=20800, backtracks=5118, failedAssignments=18781, nogoods=2598
82.80/79.80	    
85.41/82.44	    num=55, depth=1..20, filters=1482678, revisions=(1678534,useless=399300), ccks=465633521, wck=80.063, mem=172M609
85.41/82.44	    decisions=46008, wrong=22902, backtracks=5580, failedAssignments=20671, nogoods=2722
85.41/82.44	    
91.01/88.02	    num=56, depth=0..21, filters=1642346, revisions=(1853410,useless=445113), ccks=477395124, wck=85.646, mem=172M609
91.01/88.02	    decisions=50666, wrong=25229, backtracks=6231, failedAssignments=22750, nogoods=2873
91.01/88.02	    
96.61/93.66	    num=57, depth=2..18, filters=1903938, revisions=(2118357,useless=483607), ccks=489093602, wck=91.278, mem=172M609
96.61/93.66	    decisions=56392, wrong=28089, backtracks=7375, failedAssignments=25037, nogoods=3001
96.61/93.66	    
98.21/95.20	    num=58, depth=1..23, filters=2025908, revisions=(2223219,useless=493202), ccks=491120307, wck=92.826, mem=172M609
98.21/95.20	    decisions=62693, wrong=31236, backtracks=8666, failedAssignments=27553, nogoods=3178
98.21/95.20	    
109.31/106.36	    num=59, depth=1..25, filters=2368576, revisions=(2562525,useless=533444), ccks=522599746, wck=103.981, mem=172M609
109.31/106.36	    decisions=69504, wrong=34638, backtracks=10315, failedAssignments=30321, nogoods=3288
109.31/106.36	    
112.71/109.74	    num=60, depth=1..29, filters=2550532, revisions=(2739421,useless=557293), ccks=530928119, wck=107.359, mem=172M609
112.71/109.74	    decisions=76437, wrong=38102, backtracks=11144, failedAssignments=33365, nogoods=3411
112.71/109.74	    
120.92/117.95	    num=61, depth=0..17, filters=2808426, revisions=(3053612,useless=656461), ccks=546371434, wck=115.569, mem=172M609
120.92/117.95	    decisions=84260, wrong=42011, backtracks=12258, failedAssignments=36714, nogoods=3623
120.92/117.95	    
133.03/130.04	    num=62, depth=1..21, filters=3159984, revisions=(3422419,useless=725310), ccks=577731855, wck=127.664, mem=172M609
133.03/130.04	    decisions=92913, wrong=46334, backtracks=13844, failedAssignments=40398, nogoods=3731
133.03/130.04	    
146.73/143.78	    num=63, depth=0..24, filters=3620536, revisions=(3898682,useless=805012), ccks=617154425, wck=141.402, mem=172M609
146.73/143.78	    decisions=103227, wrong=51486, backtracks=16220, failedAssignments=44450, nogoods=3836
146.73/143.78	    
156.97/153.93	    num=64, depth=2..21, filters=3925879, revisions=(4251086,useless=901320), ccks=637057633, wck=151.549, mem=172M609
156.97/153.93	    decisions=113438, wrong=56590, backtracks=17377, failedAssignments=48907, nogoods=3946
156.97/153.93	    
166.68/163.62	    num=65, depth=1..24, filters=4517720, revisions=(4820286,useless=957501), ccks=665257593, wck=161.245, mem=172M609
166.68/163.62	    decisions=125295, wrong=62514, backtracks=19535, failedAssignments=53810, nogoods=4052
166.68/163.62	    
184.28/181.23	    num=66, depth=0..24, filters=5006599, revisions=(5447962,useless=1182110), ccks=693774616, wck=178.856, mem=172M609
184.28/181.23	    decisions=138242, wrong=68985, backtracks=21833, failedAssignments=59204, nogoods=4291
184.28/181.23	    
202.09/199.07	    num=67, depth=1..28, filters=5731228, revisions=(6123712,useless=1227138), ccks=744146083, wck=196.69, mem=172M609
202.09/199.07	    decisions=152573, wrong=76147, backtracks=25320, failedAssignments=65137, nogoods=4302
202.09/199.07	    
202.88/199.86	    num=68, depth=2..327, filters=5787410, revisions=(6175865,useless=1233011), ccks=745791493, wck=197.486, mem=175M225
202.88/199.86	    decisions=155522, wrong=77617, backtracks=26298, failedAssignments=66168, nogoods=4302, foundSolutions=1
202.88/199.86	    
202.88/199.86	  Global
202.88/199.86	    filters=5787410, revisions=(6175865,useless=1233011), ccks=745791493, nogoods=4302
202.88/199.86	    Stop=REACHED_GOAL, wrong=77617, foundSolutions=1, firstSolCpu=199.76
202.88/199.86	    wck=198.025, cpu=199.768, mem=175M225
203.07/199.91	
203.07/199.91	v <instantiation id='sol1' type='solution'>  <list> x[] y[] cx[] cy[] </list>  <values> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 77 79 80 81 82 83 85 86 87 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 159 162 164 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 78 84 88 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 160 161 163 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 529 5929 6241 6400 6561 6724 6889 7225 7396 7569 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 25281 26244 26896 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625 5776 6084 7056 7744 18496 18769 19044 19321 19600 19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336 24649 24964 25600 25921 26569 </values>  </instantiation>
203.07/199.91	s SATISFIABLE
203.07/199.91	
203.07/199.91	d WRONG_DECISIONS 77617

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390751-1568380531/watcher-4390751-1568380531 -o /tmp/evaluation-result-4390751-1568380531/solver-4390751-1568380531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10475 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390751-1568380531.xml -cm 

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

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


[startup+0.100058 s]*
/proc/loadavg: 0.30 0.08 0.07 4/233 10692
/proc/meminfo: memFree=30723880/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10659884 memory=27828 CPUtime=0.14 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 5455 0 0 0 13 1 0 0 20 0 15 0 414302676 10915721216 6957 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2664971 6957 2875 1 0 2627468 0
[pid=10677/tid=10679] ppid=10674 vsize=10659884 memory=-8269626465541067643 CPUtime=0.09 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10674 10677 10443 0 -1 4202560 3258 0 0 0 9 0 0 0 20 0 15 0 414302676 10915721216 6957 33554432000 4194304 4196468 140731491908912 139670351932320 139669937451365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 6957 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 6957 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 6957 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 6957 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302678 10915721216 6957 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 6957 33554432000 4194304 4196468 140731491908912 139669853431456 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 6957 33554432000 4194304 4196468 140731491908912 139669852378352 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302681 10915721216 6957 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 414302681 10915721216 7023 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 414302681 10915721216 7023 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0.02 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) R 10674 10677 10443 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 15 0 414302681 10915721216 7023 33554432000 4194304 4196468 140731491908912 139669848168432 139670326078838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 7023 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 7023 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27828 KiB

[startup+0.210967 s]*
/proc/loadavg: 0.30 0.08 0.07 3/233 10692
/proc/meminfo: memFree=30716376/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10659884 memory=35296 CPUtime=0.33 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 6922 0 0 0 31 2 0 0 20 0 15 0 414302676 10915721216 8824 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2664971 8824 2991 1 0 2627468 0
[pid=10677/tid=10679] ppid=10674 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10674 10677 10443 0 -1 4202560 3874 0 0 0 19 1 0 0 20 0 15 0 414302676 10915721216 8824 33554432000 4194304 4196468 140731491908912 139670351936560 139670347732125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 8824 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10659884 memory=140617556827094 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 8824 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 8824 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 8824 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302678 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669853431456 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669852378352 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302681 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 414302681 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 414302681 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0.05 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 414302681 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 8824 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35296 KiB

[startup+0.310413 s]*
/proc/loadavg: 0.30 0.08 0.07 3/233 10692
/proc/meminfo: memFree=30708680/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10659884 memory=40404 CPUtime=0.47 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 9464 0 0 0 44 3 0 0 20 0 15 0 414302676 10915721216 10101 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2664971 10101 3003 1 0 2627468 0
[pid=10677/tid=10679] ppid=10674 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10674 10677 10443 0 -1 4202560 6341 0 0 0 28 2 0 0 20 0 15 0 414302676 10915721216 10101 33554432000 4194304 4196468 140731491908912 139670351935776 139670331790686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 10101 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10659884 memory=140617556827093 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 10101 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 10101 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10915721216 10101 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302678 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669853431456 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414302679 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669852378352 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302681 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 414302681 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 625 0 0 0 4 0 0 0 20 0 15 0 414302681 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0.08 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 414302681 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10659884 memory=140617553766016 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302682 10915721216 10101 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40404 KiB

[startup+0.700766 s]
/proc/loadavg: 0.30 0.08 0.07 3/233 10692
/proc/meminfo: memFree=30701012/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10661932 memory=62808 CPUtime=1.1 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 12825 0 0 0 104 6 0 0 20 0 15 0 414302676 10917818368 15702 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2665483 15702 3074 1 0 2627980 0
[pid=10677/tid=10679] ppid=10674 vsize=10661932 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10674 10677 10443 0 -1 4202560 8891 0 0 0 64 4 0 0 20 0 15 0 414302676 10917818368 15702 33554432000 4194304 4196468 140731491908912 139670351942224 139670347732125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10661932 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10917818368 15702 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10661932 memory=716 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302677 10917818368 15702 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10917818368 15702 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10661932 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10917818368 15702 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302678 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10661932 memory=9328 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414302679 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669853431456 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10661932 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414302679 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669852378352 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10661932 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302681 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10661932 memory=4639098309541126757 CPUtime=0.09 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 646 0 0 0 9 0 0 0 20 0 15 0 414302681 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10661932 memory=7955443078088779376 CPUtime=0.1 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) R 10674 10677 10443 0 -1 4202560 813 0 0 0 10 0 0 0 20 0 15 0 414302681 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669849221488 139670326956089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10661932 memory=5865188000529146989 CPUtime=0.19 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 1121 0 0 0 19 0 0 0 20 0 15 0 414302681 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414302682 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302682 10917818368 15702 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62808 KiB

[startup+1.50079 s]
/proc/loadavg: 0.30 0.08 0.07 3/233 10692
/proc/meminfo: memFree=30684304/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10663980 memory=75248 CPUtime=1.99 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 18404 0 0 0 193 6 0 0 20 0 15 0 414302676 10919915520 18812 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2665995 18812 3097 1 0 2628492 0
[pid=10677/tid=10679] ppid=10674 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10674 10677 10443 0 -1 4202560 13082 0 0 0 144 4 0 0 20 0 15 0 414302676 10919915520 18812 33554432000 4194304 4196468 140731491908912 139670351942528 139670347732125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10919915520 18812 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10663980 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414302677 10919915520 18812 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10663980 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10919915520 18812 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414302677 10919915520 18812 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414302678 10919915520 18812 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0

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

[startup+199.201 s]
/proc/loadavg: 1.91 1.00 0.43 3/233 10707
/proc/meminfo: memFree=30451500/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10748324 memory=341356 CPUtime=202.28 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 47669 0 0 0 20199 29 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2687081 85339 3371 1 0 2647217 0
[pid=10677/tid=10679] ppid=10674 vsize=10748324 memory=341348 CPUtime=1.86 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) S 10674 10677 10443 0 -1 1077944384 15321 0 0 0 180 6 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670351953072 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10748324 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 279 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10748324 memory=111632 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10748324 memory=800 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10748324 memory=1632 CPUtime=0.05 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 138 0 0 0 2 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 1474 0 0 0 1 0 0 0 20 0 16 0 414302678 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10748324 memory=341348 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669853431520 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669852378368 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10748324 memory=2048 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10748324 memory=1240 CPUtime=1.06 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 4581 0 0 0 105 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10748324 memory=6791534058613427641 CPUtime=1.13 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 5950 0 0 0 112 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10748324 memory=1216 CPUtime=0.64 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 7455 0 0 0 63 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10748324 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10748324 memory=7984 CPUtime=0.03 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 768 0 0 0 2 1 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10693] ppid=10674 vsize=10748324 memory=1560 CPUtime=197.22 cores=1,3,5,7
/proc/10677/task/10693/stat : 10693 (java) R 10674 10677 10443 0 -1 4202560 10038 0 0 0 19718 4 0 0 20 0 16 0 414302863 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669829399552 139669943467476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 202.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 341356 KiB

[startup+199.601 s]
/proc/loadavg: 1.91 1.00 0.43 3/233 10707
/proc/meminfo: memFree=30451500/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10748324 memory=341356 CPUtime=202.68 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 47669 0 0 0 20239 29 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2687081 85339 3371 1 0 2647217 0
[pid=10677/tid=10679] ppid=10674 vsize=10748324 memory=21932 CPUtime=1.86 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) S 10674 10677 10443 0 -1 1077944384 15321 0 0 0 180 6 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670351953072 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10748324 memory=984 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 279 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10748324 memory=2048 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10748324 memory=1240 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10748324 memory=3428 CPUtime=0.05 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 138 0 0 0 2 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10748324 memory=716 CPUtime=0.01 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 1474 0 0 0 1 0 0 0 20 0 16 0 414302678 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669853431520 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10748324 memory=341348 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669852378368 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10748324 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10748324 memory=7248 CPUtime=1.06 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 4581 0 0 0 105 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10748324 memory=2120 CPUtime=1.13 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 5950 0 0 0 112 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10748324 memory=13948 CPUtime=0.64 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 7455 0 0 0 63 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10748324 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10748324 memory=500 CPUtime=0.03 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 768 0 0 0 2 1 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10693] ppid=10674 vsize=10748324 memory=932 CPUtime=197.62 cores=1,3,5,7
/proc/10677/task/10693/stat : 10693 (java) R 10674 10677 10443 0 -1 4202560 10038 0 0 0 19758 4 0 0 20 0 16 0 414302863 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669829399552 139669944177253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 202.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 341356 KiB

[startup+199.801 s]
/proc/loadavg: 1.91 1.00 0.43 3/233 10707
/proc/meminfo: memFree=30451500/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10748324 memory=341356 CPUtime=202.88 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 47669 0 0 0 20259 29 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2687081 85339 3371 1 0 2647217 0
[pid=10677/tid=10679] ppid=10674 vsize=10748324 memory=1448 CPUtime=1.86 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) S 10674 10677 10443 0 -1 1077944384 15321 0 0 0 180 6 0 0 20 0 16 0 414302676 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670351953072 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10748324 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 279 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10748324 memory=2832 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10748324 memory=9328 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10748324 memory=1716 CPUtime=0.05 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 138 0 0 0 2 3 0 0 20 0 16 0 414302677 11006283776 85339 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10748324 memory=1216 CPUtime=0.01 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 1474 0 0 0 1 0 0 0 20 0 16 0 414302678 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10748324 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669853431520 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10748324 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669852378368 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10748324 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10748324 memory=14008 CPUtime=1.06 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 4581 0 0 0 105 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10748324 memory=7248 CPUtime=1.13 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10674 10677 10443 0 -1 1077944384 5950 0 0 0 112 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669849221488 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10748324 memory=2120 CPUtime=0.64 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 7455 0 0 0 63 1 0 0 20 0 16 0 414302681 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10748324 memory=2832 CPUtime=0.03 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 768 0 0 0 2 1 0 0 20 0 16 0 414302682 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10693] ppid=10674 vsize=10748324 memory=9328 CPUtime=197.82 cores=1,3,5,7
/proc/10677/task/10693/stat : 10693 (java) R 10674 10677 10443 0 -1 4202560 10038 0 0 0 19778 4 0 0 20 0 16 0 414302863 11006283776 85339 33554432000 4194304 4196468 140731491908912 139669829399552 139669943467262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 202.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 341356 KiB

[startup+199.901 s]
/proc/loadavg: 1.91 1.00 0.43 3/233 10707
/proc/meminfo: memFree=30451500/32770624 swapFree=66967092/67108860
[pid=10677] ppid=10674 vsize=10748324 memory=341552 CPUtime=203.07 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10674 10677 10443 0 -1 1077944320 50511 0 0 0 20278 29 0 0 20 0 16 0 414302676 11006283776 85388 33554432000 4194304 4196468 140731491908912 140731491891456 139670347710199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
/proc/10677/statm: 2687081 85388 3371 1 0 2647217 0
[pid=10677/tid=10679] ppid=10674 vsize=10748324 memory=341348 CPUtime=1.86 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) S 10674 10677 10443 0 -1 1077944384 15321 0 0 0 180 6 0 0 20 0 16 0 414302676 11006283776 85388 33554432000 4194304 4196468 140731491908912 139670351953072 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10680] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10680/stat : 10680 (java) S 10674 10677 10443 0 -1 1077944384 279 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85388 33554432000 4194304 4196468 140731491908912 139670273784336 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10681] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10681/stat : 10681 (java) S 10674 10677 10443 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85388 33554432000 4194304 4196468 140731491908912 139670272731792 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10682] ppid=10674 vsize=10748324 memory=1240 CPUtime=0.06 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10674 10677 10443 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 16 0 414302677 11006283776 85388 33554432000 4194304 4196468 140731491908912 139670271678736 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10683] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.05 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10674 10677 10443 0 -1 1077944384 138 0 0 0 2 3 0 0 20 0 16 0 414302677 11006283776 85388 33554432000 4194304 4196468 140731491908912 139670270626192 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10684] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.01 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10674 10677 10443 0 -1 1077944384 1474 0 0 0 1 0 0 0 20 0 16 0 414302678 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669922581232 139670347721346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10685] ppid=10674 vsize=10748324 memory=341356 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10674 10677 10443 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669853431520 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10686] ppid=10674 vsize=10748324 memory=341348 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10674 10677 10443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414302679 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669852378368 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10687] ppid=10674 vsize=10748324 memory=341348 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302681 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669851326928 139670347728795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10688] ppid=10674 vsize=10748324 memory=341348 CPUtime=1.09 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10674 10677 10443 0 -1 1077944384 4912 0 0 0 108 1 0 0 20 0 16 0 414302681 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669850274032 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10689] ppid=10674 vsize=10748324 memory=341348 CPUtime=1.17 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) R 10674 10677 10443 0 -1 4202560 6714 0 0 0 116 1 0 0 20 0 16 0 414302681 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669849208000 139670327946358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10690] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.66 cores=1,3,5,7
/proc/10677/task/10690/stat : 10690 (java) S 10674 10677 10443 0 -1 1077944384 8400 0 0 0 65 1 0 0 20 0 16 0 414302681 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669848168432 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10691] ppid=10674 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10691/stat : 10691 (java) S 10674 10677 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414302682 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669847116128 139670347720405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10692] ppid=10674 vsize=10748324 memory=341348 CPUtime=0.03 cores=1,3,5,7
/proc/10677/task/10692/stat : 10692 (java) S 10674 10677 10443 0 -1 1077944384 768 0 0 0 2 1 0 0 20 0 16 0 414302682 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669846064176 139670347721346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
[pid=10677/tid=10693] ppid=10674 vsize=10748324 memory=21932 CPUtime=197.92 cores=1,3,5,7
/proc/10677/task/10693/stat : 10693 (java) R 10674 10677 10443 0 -1 4202560 10841 0 0 0 19788 4 0 0 20 0 16 0 414302863 11006283776 85388 33554432000 4194304 4196468 140731491908912 139669829400336 139669944503720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18616320 140731491914763 140731491914866 140731491914866 140731491917775 0
Current children cumulated CPU time: 203.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 341552 KiB

Child status: 0
Real time (s): 199.918
CPU time (s): 203.099
CPU user time (s): 202.797
CPU system time (s): 0.30223
CPU usage (%): 101.591
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 344336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.797
system time used= 0.30223
maximum resident set size= 344336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7565
involuntary context switches= 212


# summary of solver processes directly reported to runsolver:
#   pid: 10677
#   total CPU time (s): 203.099
#   total CPU user time (s): 202.797
#   total CPU system time (s): 0.30223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49211 second user time and 1.4151 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-13 15:14:51
IDJOB=4390751
IDBENCH=122900
IDSOLVER=2832
FILE ID=node135/4390751-1568380531
RUNJOBID= node135-1568380475-10475
PBS_JOBID= 21701833
Free space on /tmp= 59120 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-164.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390751-1568380531/watcher-4390751-1568380531 -o /tmp/evaluation-result-4390751-1568380531/solver-4390751-1568380531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10475 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390751-1568380531.xml -cm

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

MD5SUM BENCH= b2fe288f8dde57e646dfc9c4f090c29d
RANDOM SEED=1413853537

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30739400 kB
MemAvailable:   31622280 kB
Buffers:          132220 kB
Cached:          1017372 kB
SwapCached:        35168 kB
Active:           702476 kB
Inactive:         730312 kB
Active(anon):     255416 kB
Inactive(anon):    59664 kB
Active(file):     447060 kB
Inactive(file):   670648 kB
Unevictable:      110032 kB
Mlocked:          110032 kB
SwapTotal:      67108860 kB
SwapFree:       66967092 kB
Dirty:              8832 kB
Writeback:             0 kB
AnonPages:        338060 kB
Mapped:            48036 kB
Shmem:             23512 kB
Slab:             192576 kB
SReclaimable:     162016 kB
SUnreclaim:        30560 kB
KernelStack:        4112 kB
PageTables:         6252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1297572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 59108 MiB
End job on node135 at 2019-09-13 15:18:11