Trace number 4390516

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 110.359 108.64

DiagnosticValue
WRONG_DECISIONS422585

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K05-P02.xml
MD5SUM803795f7a37fd3a40686e408980b1bff
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 benchmark0.274715
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints27
Number of domains2
Minimum domain size25
Maximum domain size26
Distribution of domain sizes[{"size":25,"count":25},{"size":26,"count":10}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":30},{"degree":2,"count":25},{"degree":6,"count":10}]
Minimum constraint arity3
Maximum constraint arity25
Distribution of constraint arities[{"arity":3,"count":25},{"arity":10,"count":1},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

2.57/2.41	
2.57/2.41	AbsCon 2 
2.57/2.43	
2.77/2.58	  Instance
2.77/2.58	    name=instance-4390516-1568380517, framework=CSP
2.77/2.58	
2.77/2.58	  Loading variables...
2.97/2.62	  Loading constraints...
2.97/2.66	
2.97/2.66	  Domains
2.97/2.66	    nTypes=2, nValues=885, sizes=[25#25,26#10]
2.97/2.66	  Variables
2.97/2.66	    count=35, degrees=[2#25,6#10]
2.97/2.66	  Constraints
2.97/2.66	    count=27, nSpecific=2, arities=[3#25,10#1,25#1]
2.97/2.66	    distribution=[AllDifferent#2,CtrIntension#25]
2.97/2.66	    nIntStructures=(1,shared:24)
2.97/2.66	    wck=0.277, cpu=2.066, mem=18M585
2.97/2.66	  Solver SolverBacktrack being built...
2.97/2.66	
2.97/2.69	
2.97/2.69	  Solver
2.97/2.69	    guaranteedGAC=true
2.97/2.69	    wck=0.308, cpu=2.096, mem=31M870
3.19/2.70	
3.19/2.70	  Preprocessing
3.19/2.70	    filters=0, revisions=(75,useless=75), ccks=16875, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.19/2.70	    wck=0.009, cpu=2.106, mem=31M870
3.19/2.70	
3.19/2.73	    num=0, depth=4..4, filters=275, revisions=(734,useless=434), ccks=121508, wck=0.044, mem=31M870
3.19/2.73	    decisions=24, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.19/2.73	    
3.19/2.75	    num=1, depth=4..5, filters=632, revisions=(1509,useless=852), ccks=227762, wck=0.064, mem=31M870
3.19/2.75	    decisions=53, wrong=22, backtracks=1, failedAssignments=21, nogoods=14
3.19/2.75	    
3.19/2.77	    num=2, depth=5..7, filters=1253, revisions=(2759,useless=1457), ccks=316087, wck=0.082, mem=31M870
3.19/2.77	    decisions=86, wrong=36, backtracks=3, failedAssignments=33, nogoods=19
3.19/2.77	    
3.19/2.79	    num=3, depth=4..5, filters=1703, revisions=(3909,useless=2133), ccks=421848, wck=0.101, mem=31M870
3.19/2.79	    decisions=121, wrong=51, backtracks=5, failedAssignments=46, nogoods=23
3.19/2.79	    
3.54/2.81	    num=4, depth=4..5, filters=2145, revisions=(4912,useless=2661), ccks=518480, wck=0.118, mem=31M870
3.54/2.81	    decisions=159, wrong=68, backtracks=8, failedAssignments=60, nogoods=26
3.54/2.81	    
3.54/2.82	    num=5, depth=4..5, filters=2790, revisions=(6211,useless=3276), ccks=616841, wck=0.135, mem=31M870
3.54/2.82	    decisions=198, wrong=85, backtracks=9, failedAssignments=76, nogoods=32
3.54/2.82	    
3.54/2.85	    num=6, depth=4..5, filters=3341, revisions=(7270,useless=3776), ccks=719613, wck=0.163, mem=31M870
3.54/2.85	    decisions=239, wrong=103, backtracks=10, failedAssignments=93, nogoods=38
3.54/2.85	    
3.54/2.87	    num=7, depth=4..6, filters=4117, revisions=(8783,useless=4478), ccks=831316, wck=0.181, mem=31M870
3.54/2.87	    decisions=286, wrong=124, backtracks=12, failedAssignments=112, nogoods=47
3.54/2.87	    
3.54/2.89	    num=8, depth=4..5, filters=4823, revisions=(10106,useless=5071), ccks=968873, wck=0.2, mem=31M870
3.54/2.89	    decisions=337, wrong=147, backtracks=14, failedAssignments=133, nogoods=56
3.54/2.89	    
3.81/2.91	    num=9, depth=5..7, filters=5849, revisions=(11990,useless=5886), ccks=1084984, wck=0.218, mem=31M870
3.81/2.91	    decisions=397, wrong=174, backtracks=18, failedAssignments=156, nogoods=61
3.81/2.91	    
3.81/2.93	    num=10, depth=4..5, filters=6848, revisions=(13971,useless=6758), ccks=1249367, wck=0.242, mem=31M870
3.81/2.93	    decisions=465, wrong=206, backtracks=25, failedAssignments=181, nogoods=71
3.81/2.93	    
3.81/2.95	    num=11, depth=4..6, filters=8071, revisions=(16182,useless=7639), ccks=1406320, wck=0.265, mem=31M870
3.81/2.95	    decisions=536, wrong=239, backtracks=30, failedAssignments=209, nogoods=79
3.81/2.95	    
3.81/2.98	    num=12, depth=4..5, filters=9290, revisions=(18412,useless=8555), ccks=1563903, wck=0.287, mem=31M870
3.81/2.98	    decisions=609, wrong=273, backtracks=33, failedAssignments=240, nogoods=88
3.81/2.98	    
3.81/3.00	    num=13, depth=4..6, filters=10729, revisions=(20965,useless=9546), ccks=1718870, wck=0.31, mem=31M870
3.81/3.00	    decisions=694, wrong=313, backtracks=39, failedAssignments=274, nogoods=94
3.81/3.00	    
4.06/3.02	    num=14, depth=4..5, filters=12051, revisions=(23733,useless=10878), ccks=1902456, wck=0.336, mem=31M870
4.06/3.02	    decisions=787, wrong=357, backtracks=46, failedAssignments=311, nogoods=104
4.06/3.02	    
4.06/3.05	    num=15, depth=4..5, filters=13574, revisions=(26391,useless=11935), ccks=2054235, wck=0.358, mem=31M870
4.06/3.05	    decisions=884, wrong=403, backtracks=51, failedAssignments=352, nogoods=115
4.06/3.05	    
4.06/3.07	    num=16, depth=4..6, filters=14878, revisions=(28632,useless=12809), ccks=2209202, wck=0.38, mem=34M512
4.06/3.07	    decisions=987, wrong=452, backtracks=55, failedAssignments=397, nogoods=129
4.06/3.07	    
4.06/3.10	    num=17, depth=3..5, filters=16282, revisions=(31586,useless=14174), ccks=2430701, wck=0.409, mem=34M512
4.06/3.10	    decisions=1098, wrong=505, backtracks=59, failedAssignments=447, nogoods=140
4.06/3.10	    
4.17/3.13	    num=18, depth=3..6, filters=17986, revisions=(34750,useless=15488), ccks=2641654, wck=0.438, mem=34M512
4.17/3.13	    decisions=1230, wrong=568, backtracks=67, failedAssignments=502, nogoods=147
4.17/3.13	    
4.17/3.16	    num=19, depth=3..5, filters=20269, revisions=(39028,useless=17335), ccks=2864733, wck=0.47, mem=34M512
4.17/3.16	    decisions=1383, wrong=642, backtracks=80, failedAssignments=563, nogoods=154
4.17/3.16	    
4.28/3.20	    num=20, depth=3..6, filters=22595, revisions=(43337,useless=19073), ccks=3150084, wck=0.509, mem=34M512
4.28/3.20	    decisions=1543, wrong=720, backtracks=91, failedAssignments=630, nogoods=158
4.28/3.20	    
4.28/3.23	    num=21, depth=4..6, filters=25078, revisions=(47512,useless=20624), ccks=3391346, wck=0.543, mem=34M512
4.28/3.23	    decisions=1723, wrong=807, backtracks=105, failedAssignments=704, nogoods=167
4.28/3.23	    
4.28/3.27	    num=22, depth=3..6, filters=27129, revisions=(51467,useless=22320), ccks=3657989, wck=0.579, mem=34M512
4.28/3.27	    decisions=1904, wrong=895, backtracks=114, failedAssignments=785, nogoods=175
4.28/3.27	    
4.40/3.31	    num=23, depth=3..6, filters=29801, revisions=(56178,useless=24150), ccks=3993967, wck=0.623, mem=34M512
4.40/3.31	    decisions=2115, wrong=998, backtracks=128, failedAssignments=874, nogoods=187
4.40/3.31	    
4.40/3.36	    num=24, depth=3..6, filters=33244, revisions=(61850,useless=26177), ccks=4306258, wck=0.668, mem=34M512
4.40/3.36	    decisions=2356, wrong=1116, backtracks=148, failedAssignments=972, nogoods=199
4.40/3.36	    
4.50/3.41	    num=25, depth=3..7, filters=37033, revisions=(68264,useless=28525), ccks=4686098, wck=0.721, mem=37M155
4.50/3.41	    decisions=2621, wrong=1246, backtracks=170, failedAssignments=1080, nogoods=214
4.50/3.41	    
4.50/3.46	    num=26, depth=3..6, filters=40969, revisions=(74903,useless=30900), ccks=5015689, wck=0.77, mem=37M155
4.50/3.46	    decisions=2898, wrong=1382, backtracks=187, failedAssignments=1199, nogoods=225
4.50/3.46	    
4.61/3.52	    num=27, depth=3..7, filters=45043, revisions=(81869,useless=33497), ccks=5422713, wck=0.827, mem=37M155
4.61/3.52	    decisions=3209, wrong=1535, backtracks=209, failedAssignments=1330, nogoods=241
4.61/3.52	    
4.61/3.58	    num=28, depth=3..6, filters=51063, revisions=(92106,useless=37211), ccks=5797906, wck=0.889, mem=37M155
4.61/3.58	    decisions=3558, wrong=1707, backtracks=238, failedAssignments=1474, nogoods=247
4.61/3.58	    
4.72/3.65	    num=29, depth=4..6, filters=56058, revisions=(101557,useless=41046), ccks=6279393, wck=0.958, mem=39M797
4.72/3.65	    decisions=3926, wrong=1889, backtracks=262, failedAssignments=1632, nogoods=269
4.72/3.65	    
4.82/3.71	    num=30, depth=3..6, filters=61345, revisions=(111447,useless=45092), ccks=6726832, wck=1.025, mem=39M797
4.82/3.71	    decisions=4331, wrong=2089, backtracks=288, failedAssignments=1806, nogoods=281
4.82/3.71	    
4.82/3.78	    num=31, depth=3..6, filters=67305, revisions=(121806,useless=49014), ccks=7207690, wck=1.091, mem=39M797
4.82/3.78	    decisions=4753, wrong=2298, backtracks=308, failedAssignments=1997, nogoods=301
4.82/3.78	    
4.97/3.86	    num=32, depth=3..6, filters=73761, revisions=(134411,useless=54460), ccks=7812695, wck=1.172, mem=39M797
4.97/3.86	    decisions=5234, wrong=2536, backtracks=335, failedAssignments=2208, nogoods=318
4.97/3.86	    
5.08/3.94	    num=33, depth=3..6, filters=81570, revisions=(148220,useless=59824), ccks=8383203, wck=1.255, mem=42M440
5.08/3.94	    decisions=5791, wrong=2812, backtracks=379, failedAssignments=2440, nogoods=331
5.08/3.94	    
5.19/4.03	    num=34, depth=3..6, filters=90046, revisions=(162948,useless=65288), ccks=8982148, wck=1.339, mem=42M440
5.19/4.03	    decisions=6394, wrong=3111, backtracks=423, failedAssignments=2695, nogoods=350
5.19/4.03	    
5.31/4.13	    num=35, depth=3..5, filters=98711, revisions=(179234,useless=72147), ccks=9672758, wck=1.437, mem=45M82
5.31/4.13	    decisions=7067, wrong=3445, backtracks=476, failedAssignments=2976, nogoods=365
5.31/4.13	    
5.40/4.24	    num=36, depth=3..6, filters=109094, revisions=(197921,useless=79607), ccks=10561100, wck=1.557, mem=45M82
5.40/4.24	    decisions=7800, wrong=3809, backtracks=532, failedAssignments=3285, nogoods=374
5.40/4.24	    
5.50/4.38	    num=37, depth=3..6, filters=120994, revisions=(220414,useless=88708), ccks=11543458, wck=1.691, mem=47M724
5.50/4.38	    decisions=8625, wrong=4219, backtracks=602, failedAssignments=3625, nogoods=384
5.50/4.38	    
5.60/4.49	    num=38, depth=3..6, filters=132042, revisions=(239862,useless=96184), ccks=12308629, wck=1.799, mem=47M724
5.60/4.49	    decisions=9475, wrong=4642, backtracks=656, failedAssignments=3999, nogoods=397
5.60/4.49	    
5.80/4.65	    num=39, depth=3..6, filters=147752, revisions=(268089,useless=106965), ccks=13420516, wck=1.959, mem=50M367
5.80/4.65	    decisions=10449, wrong=5127, backtracks=734, failedAssignments=4410, nogoods=421
5.80/4.65	    
5.92/4.79	    num=40, depth=3..6, filters=161576, revisions=(291090,useless=115065), ccks=14366855, wck=2.091, mem=50M367
5.92/4.79	    decisions=11486, wrong=5643, backtracks=798, failedAssignments=4862, nogoods=444
5.92/4.79	    
6.15/4.93	    num=41, depth=3..6, filters=177379, revisions=(318254,useless=125238), ccks=15458988, wck=2.243, mem=53M9
6.15/4.93	    decisions=12648, wrong=6222, backtracks=886, failedAssignments=5359, nogoods=464
6.15/4.93	    
6.37/5.11	    num=42, depth=3..5, filters=194154, revisions=(348821,useless=137765), ccks=16680643, wck=2.419, mem=55M652
6.37/5.11	    decisions=13951, wrong=6871, backtracks=988, failedAssignments=5906, nogoods=479
6.37/5.11	    
6.46/5.28	    num=43, depth=3..7, filters=217008, revisions=(386711,useless=150918), ccks=17753659, wck=2.595, mem=58M294
6.46/5.28	    decisions=15374, wrong=7580, backtracks=1103, failedAssignments=6508, nogoods=511
6.46/5.28	    
6.66/5.49	    num=44, depth=3..7, filters=238719, revisions=(424627,useless=165080), ccks=19194340, wck=2.804, mem=60M937
6.66/5.49	    decisions=16923, wrong=8352, backtracks=1214, failedAssignments=7170, nogoods=532
6.66/5.49	    
6.99/5.71	    num=45, depth=3..7, filters=261470, revisions=(464078,useless=179855), ccks=20746388, wck=3.022, mem=63M579
6.99/5.71	    decisions=18604, wrong=9190, backtracks=1336, failedAssignments=7898, nogoods=548
6.99/5.71	    
7.19/5.96	    num=46, depth=3..7, filters=288214, revisions=(509279,useless=195960), ccks=22444796, wck=3.268, mem=66M222
7.19/5.96	    decisions=20497, wrong=10134, backtracks=1479, failedAssignments=8699, nogoods=584
7.19/5.96	    
7.49/6.25	    num=47, depth=3..6, filters=316184, revisions=(559514,useless=215802), ccks=24461547, wck=3.558, mem=68M864
7.49/6.25	    decisions=22619, wrong=11193, backtracks=1657, failedAssignments=9580, nogoods=604
7.49/6.25	    
7.79/6.57	    num=48, depth=3..6, filters=350308, revisions=(619351,useless=237866), ccks=26709563, wck=3.879, mem=74M149
7.79/6.57	    decisions=24998, wrong=12380, backtracks=1875, failedAssignments=10550, nogoods=627
7.79/6.57	    
8.19/6.91	    num=49, depth=3..6, filters=385560, revisions=(680766,useless=260405), ccks=29079442, wck=4.22, mem=76M791
8.19/6.91	    decisions=27522, wrong=13640, backtracks=2069, failedAssignments=11617, nogoods=647
8.19/6.91	    
8.49/7.26	    num=50, depth=3..6, filters=419576, revisions=(743121,useless=285576), ccks=31629871, wck=4.569, mem=82M76
8.49/7.26	    decisions=30261, wrong=15007, backtracks=2282, failedAssignments=12790, nogoods=665
8.49/7.26	    
8.89/7.65	    num=51, depth=3..6, filters=460089, revisions=(815259,useless=313122), ccks=34375996, wck=4.962, mem=84M719
8.89/7.65	    decisions=33302, wrong=16525, backtracks=2514, failedAssignments=14081, nogoods=693
8.89/7.65	    
9.31/8.04	    num=52, depth=3..7, filters=504426, revisions=(890289,useless=340054), ccks=37017843, wck=5.354, mem=90M4
9.31/8.04	    decisions=36669, wrong=18206, backtracks=2776, failedAssignments=15501, nogoods=713
9.31/8.04	    
9.80/8.54	    num=53, depth=2..7, filters=553786, revisions=(979991,useless=374849), ccks=40607131, wck=5.853, mem=95M288
9.80/8.54	    decisions=40362, wrong=20050, backtracks=3067, failedAssignments=17063, nogoods=727
9.80/8.54	    
10.31/9.08	    num=54, depth=2..6, filters=612112, revisions=(1081646,useless=412184), ccks=44335343, wck=6.393, mem=103M216
10.31/9.08	    decisions=44525, wrong=22129, backtracks=3434, failedAssignments=18781, nogoods=731
10.31/9.08	    
10.90/9.69	    num=55, depth=2..6, filters=673133, revisions=(1193247,useless=455949), ccks=48609189, wck=7.0, mem=108M501
10.90/9.69	    decisions=49033, wrong=24381, backtracks=3806, failedAssignments=20671, nogoods=748
10.90/9.69	    
11.60/10.38	    num=56, depth=2..6, filters=751342, revisions=(1326874,useless=503258), ccks=53244952, wck=7.689, mem=116M428
11.60/10.38	    decisions=54178, wrong=26951, backtracks=4311, failedAssignments=22750, nogoods=763
11.60/10.38	    
12.41/11.12	    num=57, depth=2..7, filters=835534, revisions=(1472562,useless=556305), ccks=58274964, wck=8.436, mem=126M998
12.41/11.12	    decisions=59809, wrong=29764, backtracks=4840, failedAssignments=25037, nogoods=776
12.41/11.12	    
13.10/11.83	    num=58, depth=3..7, filters=925100, revisions=(1621654,useless=607992), ccks=62703611, wck=9.138, mem=134M925
13.10/11.83	    decisions=65712, wrong=32713, backtracks=5286, failedAssignments=27553, nogoods=808
13.10/11.83	    
14.04/12.71	    num=59, depth=2..7, filters=1025288, revisions=(1793164,useless=669404), ccks=68542258, wck=10.018, mem=22M330
14.04/12.71	    decisions=72433, wrong=36071, backtracks=5892, failedAssignments=30321, nogoods=829
14.04/12.71	    
15.14/13.83	    num=60, depth=2..6, filters=1135443, revisions=(1997768,useless=750906), ccks=76550934, wck=11.137, mem=35M410
15.14/13.83	    decisions=79781, wrong=39743, backtracks=6527, failedAssignments=33365, nogoods=848
15.14/13.83	    
16.24/14.91	    num=61, depth=2..7, filters=1251422, revisions=(2204278,useless=829089), ccks=84174511, wck=12.223, mem=48M490
16.24/14.91	    decisions=87950, wrong=43825, backtracks=7281, failedAssignments=36714, nogoods=877
16.24/14.91	    
17.24/15.99	    num=62, depth=3..7, filters=1392435, revisions=(2436588,useless=908481), ccks=90905124, wck=13.306, mem=64M186
17.24/15.99	    decisions=96911, wrong=48303, backtracks=8119, failedAssignments=40398, nogoods=898
17.24/15.99	    
18.45/17.15	    num=63, depth=3..7, filters=1542943, revisions=(2687098,useless=995399), ccks=98155327, wck=14.464, mem=79M882
18.45/17.15	    decisions=106714, wrong=53202, backtracks=8996, failedAssignments=44450, nogoods=920
18.45/17.15	    
19.75/18.43	    num=64, depth=3..7, filters=1708024, revisions=(2967547,useless=1094487), ccks=106082805, wck=15.742, mem=98M194
19.75/18.43	    decisions=117385, wrong=58535, backtracks=9919, failedAssignments=48907, nogoods=961
19.75/18.43	    
21.69/20.36	    num=65, depth=2..6, filters=1877621, revisions=(3284041,useless=1223901), ccks=120189626, wck=17.671, mem=116M506
21.69/20.36	    decisions=129060, wrong=64370, backtracks=10851, failedAssignments=53810, nogoods=999
21.69/20.36	    
23.59/22.25	    num=66, depth=2..7, filters=2079779, revisions=(3645458,useless=1360978), ccks=133006347, wck=19.559, mem=140M50
23.59/22.25	    decisions=142178, wrong=70926, backtracks=12035, failedAssignments=59204, nogoods=1029
23.59/22.25	    
25.43/24.07	    num=67, depth=3..7, filters=2313854, revisions=(4031549,useless=1490524), ccks=144291652, wck=21.387, mem=30M191
25.43/24.07	    decisions=157046, wrong=78358, backtracks=13598, failedAssignments=65137, nogoods=1062
25.43/24.07	    
27.33/25.94	    num=68, depth=3..7, filters=2558395, revisions=(4440625,useless=1631478), ccks=155761697, wck=23.249, mem=56M443
27.33/25.94	    decisions=172785, wrong=86225, backtracks=15035, failedAssignments=71663, nogoods=1099
27.33/25.94	    
29.63/28.22	    num=69, depth=2..7, filters=2828155, revisions=(4909917,useless=1802110), ccks=170885388, wck=25.531, mem=85M321
29.63/28.22	    decisions=190396, wrong=95028, backtracks=16732, failedAssignments=78842, nogoods=1139
29.63/28.22	    
31.94/30.52	    num=70, depth=3..7, filters=3130170, revisions=(5416937,useless=1977278), ccks=185088007, wck=27.834, mem=116M823
31.94/30.52	    decisions=209347, wrong=104501, backtracks=18413, failedAssignments=86739, nogoods=1168
31.94/30.52	    
34.36/32.99	    num=71, depth=3..7, filters=3452223, revisions=(5966980,useless=2173707), ccks=200256580, wck=30.297, mem=148M326
34.36/32.99	    decisions=230313, wrong=114982, backtracks=20335, failedAssignments=95426, nogoods=1228
34.36/32.99	    
37.19/35.70	    num=72, depth=3..7, filters=3814965, revisions=(6572748,useless=2381179), ccks=216744231, wck=33.013, mem=53M937
37.19/35.70	    decisions=253394, wrong=126520, backtracks=22446, failedAssignments=104981, nogoods=1283
37.19/35.70	    
40.09/38.62	    num=73, depth=2..7, filters=4210638, revisions=(7249585,useless=2623686), ccks=234107620, wck=35.93, mem=96M37
40.09/38.62	    decisions=278702, wrong=139171, backtracks=24705, failedAssignments=115492, nogoods=1325
40.09/38.62	    
43.50/42.04	    num=74, depth=2..7, filters=4644338, revisions=(7994671,useless=2890130), ccks=255704817, wck=39.353, mem=140M768
43.50/42.04	    decisions=306642, wrong=153138, backtracks=27219, failedAssignments=127054, nogoods=1365
43.50/42.04	    
47.42/45.91	    num=75, depth=2..8, filters=5111014, revisions=(8810990,useless=3191786), ccks=280791145, wck=43.224, mem=56M37
47.42/45.91	    decisions=337440, wrong=168534, backtracks=30044, failedAssignments=139772, nogoods=1423
47.42/45.91	    
52.13/50.65	    num=76, depth=2..7, filters=5684418, revisions=(9787301,useless=3535170), ccks=311577884, wck=47.959, mem=113M90
52.13/50.65	    decisions=373073, wrong=186348, backtracks=34016, failedAssignments=153762, nogoods=1472
52.13/50.65	    
57.16/55.62	    num=77, depth=2..7, filters=6238958, revisions=(10776722,useless=3913028), ccks=345072678, wck=52.935, mem=42M749
57.16/55.62	    decisions=410162, wrong=204890, backtracks=37326, failedAssignments=169151, nogoods=1523
57.16/55.62	    
62.06/60.57	    num=78, depth=2..7, filters=6859829, revisions=(11847465,useless=4300990), ccks=376424520, wck=57.879, mem=106M598
62.06/60.57	    decisions=450776, wrong=225194, backtracks=40880, failedAssignments=186079, nogoods=1549
62.06/60.57	    
67.61/66.07	    num=79, depth=2..7, filters=7528703, revisions=(13025069,useless=4741669), ccks=411809469, wck=63.384, mem=47M414
67.61/66.07	    decisions=495695, wrong=247651, backtracks=45022, failedAssignments=204700, nogoods=1573
67.61/66.07	    
73.80/72.21	    num=80, depth=2..7, filters=8293548, revisions=(14352583,useless=5227813), ccks=450979399, wck=69.521, mem=127M851
73.80/72.21	    decisions=545268, wrong=272435, backtracks=49558, failedAssignments=225184, nogoods=1609
73.80/72.21	    
80.12/78.56	    num=81, depth=2..7, filters=9146443, revisions=(15779106,useless=5723817), ccks=488796879, wck=75.873, mem=89M34
80.12/78.56	    decisions=599795, wrong=299696, backtracks=54565, failedAssignments=247716, nogoods=1650
80.12/78.56	    
87.36/85.76	    num=82, depth=2..7, filters=10099231, revisions=(17401806,useless=6301376), ccks=532191540, wck=83.076, mem=61M99
87.36/85.76	    decisions=660142, wrong=329867, backtracks=60217, failedAssignments=272501, nogoods=1704
87.36/85.76	    
95.19/93.57	    num=83, depth=2..7, filters=11141271, revisions=(19168058,useless=6922245), ccks=579258782, wck=90.885, mem=46M53
95.19/93.57	    decisions=726302, wrong=362945, backtracks=66316, failedAssignments=299765, nogoods=1754
95.19/93.57	    
104.89/103.29	    num=84, depth=2..7, filters=12322709, revisions=(21206504,useless=7659527), ccks=641900580, wck=100.604, mem=43M360
104.89/103.29	    decisions=800585, wrong=400084, backtracks=73816, failedAssignments=329755, nogoods=1765
104.89/103.29	    
110.31/108.63	    num=85, depth=2..34, filters=13034576, revisions=(22405234,useless=8076616), ccks=673662746, wck=105.94, mem=117M662
110.31/108.63	    decisions=845593, wrong=422585, backtracks=77909, failedAssignments=348342, nogoods=1765, foundSolutions=1
110.31/108.63	    
110.31/108.63	  Global
110.31/108.63	    filters=13034576, revisions=(22405234,useless=8076616), ccks=673662746, nogoods=1765
110.31/108.63	    Stop=REACHED_GOAL, wrong=422585, foundSolutions=1, firstSolCpu=107.943
110.31/108.63	    wck=106.249, cpu=107.95, mem=117M662
110.31/108.63	
110.31/108.63	v <instantiation id='sol1' type='solution'>  <list> cn[][] ce[][][] cie[][] </list>  <values> 3 1 23 6 14 19 25 0 18 4 * 2 20 3 11 * * 22 5 13 * * * 17 9 * * * * 8 * * * * * * 6 19 1 15 * * 25 7 21 * * * 18 4 * * * * 14 * * * * * 16 24 23 12 10 </values>  </instantiation>
110.31/108.63	s SATISFIABLE
110.31/108.63	
110.31/108.63	d WRONG_DECISIONS 422585

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390516-1568380517/watcher-4390516-1568380517 -o /tmp/evaluation-result-4390516-1568380517/solver-4390516-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25455 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390516-1568380517.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=25482, runsolver pid=25477
Current StackSize limit: 8192 KiB


[startup+0.100205 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 25487
/proc/meminfo: memFree=31631988/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 1724 0 0 0 0 0 0 0 20 0 2 0 414310126 114274304 1401 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 27899 1401 1062 1 0 16810 0
[pid=25482/tid=25486] ppid=25477 vsize=111596 memory=7100839852556125036 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) D 25477 25482 25423 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414310132 114274304 1401 33554432000 4194304 4196468 140731974035808 140014371217640 140014359655797 0 4 0 16784584 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.209839 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 25501
/proc/meminfo: memFree=31610152/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10260324 memory=21424 CPUtime=0.04 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 4276 0 0 0 3 1 0 0 20 0 9 0 414310126 10506571776 5356 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2565081 5356 2156 1 0 2527622 0
[pid=25482/tid=25486] ppid=25477 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) D 25477 25482 25423 0 -1 1077944384 2923 0 0 0 3 0 0 0 20 0 9 0 414310132 10506571776 5356 33554432000 4194304 4196468 140731974035808 140014371204408 140014359655957 0 4 0 16800971 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10260324 memory=345 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10260324 memory=140180646086874 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10260324 memory=140180646061696 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013670290208 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5356 33554432000 4194304 4196468 140731974035808 140013669237872 140014366987989 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 21424 KiB

[startup+0.310097 s]*
/proc/loadavg: 0.00 0.01 0.05 3/225 25511
/proc/meminfo: memFree=31609344/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10659708 memory=23804 CPUtime=0.05 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 4912 0 0 0 4 1 0 0 20 0 15 0 414310126 10915540992 5951 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2664927 5951 2613 1 0 2627468 0
[pid=25482/tid=25486] ppid=25477 vsize=10659708 memory=8317482817917895235 CPUtime=0.04 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) R 25477 25482 25423 0 -1 4202560 3040 0 0 0 4 0 0 0 20 0 15 0 414310132 10915540992 5951 33554432000 4194304 4196468 140731974035808 140014371220064 140014351058270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10659708 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310142 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013670290208 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013669237872 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 414310154 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10659708 memory=140180646061696 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) R 25477 25482 25423 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 15 0 414310155 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013665028976 140014345522705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310155 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10659708 memory=140180646061696 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310158 10915540992 5951 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10659708 KiB
Current children cumulated memory: 23804 KiB

[startup+0.700782 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 25513
/proc/meminfo: memFree=31586268/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10659884 memory=46888 CPUtime=0.68 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 10847 0 0 0 65 3 0 0 20 0 15 0 414310126 10915721216 11722 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2664971 11722 3057 1 0 2627468 0
[pid=25482/tid=25486] ppid=25477 vsize=10659884 memory=3624 CPUtime=0.41 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) R 25477 25482 25423 0 -1 4202560 7389 0 0 0 39 2 0 0 20 0 15 0 414310132 10915721216 11722 33554432000 4194304 4196468 140731974035808 140014371209744 140014347253597 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10659884 memory=140180646061695 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10659884 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10659884 memory=-8412656567318647667 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10659884 memory=8514701219730522529 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013670290208 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10659884 memory=-8707038579349950309 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013669237872 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10659884 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10659884 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 923 0 0 0 7 0 0 0 20 0 15 0 414310154 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10659884 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 15 0 414310154 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10659884 memory=2116 CPUtime=0.12 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 15 0 414310155 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10659884 memory=516 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310155 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10659884 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310158 10915721216 11722 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 46888 KiB

[startup+1.50069 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 25513
/proc/meminfo: memFree=31535084/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10663980 memory=69636 CPUtime=1.63 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 15017 0 0 0 158 5 0 0 20 0 15 0 414310126 10919915520 17409 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2665995 17409 3085 1 0 2628492 0
[pid=25482/tid=25486] ppid=25477 vsize=10663980 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) R 25477 25482 25423 0 -1 4202560 10907 0 0 0 116 4 0 0 20 0 15 0 414310132 10919915520 17409 33554432000 4194304 4196468 140731974035808 140014371194720 140014344995024 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10663980 memory=-6439256384331812956 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10663980 memory=7450449400446426234 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10663980 memory=7305771232486530939 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10663980 memory=7305771399818405947 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10663980 memory=7234276781403498043 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10663980 memory=4498971368391483269 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013670290208 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10663980 memory=4137293581110450563 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013669237872 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10663980 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10663980 memory=23836 CPUtime=0.14 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 1363 0 0 0 14 0 0 0 20 0 15 0 414310154 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10663980 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 398 0 0 0 8 0 0 0 20 0 15 0 414310154 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10663980 memory=2016 CPUtime=0.18 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 985 0 0 0 18 0 0 0 20 0 15 0 414310155 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310155 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10663980 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310158 10919915520 17409 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 69636 KiB

[startup+3.11034 s]
/proc/loadavg: 0.24 0.06 0.06 5/229 25515
/proc/meminfo: memFree=31339140/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10746276 memory=155000 CPUtime=4.17 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 24905 0 6 0 405 12 0 0 20 0 16 0 414310126 11004186624 38750 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2686569 38750 3341 1 0 2646705 0
[pid=25482/tid=25486] ppid=25477 vsize=10746276 memory=56 CPUtime=1.86 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) S 25477 25482 25423 0 -1 1077944384 13983 0 6 0 180 6 0 0 20 0 16 0 414310132 11004186624 38750 33554432000 4194304 4196468 140731974035808 140014371220656 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 16 0 414310140 11004186624 38750 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10746276 memory=516 CPUtime=0.01 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 414310140 11004186624 38750 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10746276 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414310140 11004186624 38750 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414310140 11004186624 38750 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10746276 memory=1899429 CPUtime=0.01 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 677 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 38750 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0

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

[startup+107.201 s]
/proc/loadavg: 1.60 0.59 0.25 3/229 25601
/proc/meminfo: memFree=30775324/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10746276 memory=234848 CPUtime=108.9 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 43222 0 6 0 10872 18 0 0 20 0 16 0 414310126 11004186624 58712 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2686569 58712 3366 1 0 2646705 0
[pid=25482/tid=25486] ppid=25477 vsize=10746276 memory=234848 CPUtime=1.86 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) S 25477 25482 25423 0 -1 1077944384 13983 0 6 0 180 6 0 0 20 0 16 0 414310132 11004186624 58712 33554432000 4194304 4196468 140731974035808 140014371220656 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10746276 memory=23836 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 1285 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10746276 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 1946 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10746276 memory=1548 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1315 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10746276 memory=7148 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 1249 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10746276 memory=4000 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 1899 0 0 0 2 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10746276 memory=616 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013670290272 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10746276 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013669237888 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10746276 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10746276 memory=6791534058613427641 CPUtime=0.75 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 4163 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10746276 memory=1624 CPUtime=0.68 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 3085 0 0 0 68 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10746276 memory=1136 CPUtime=0.47 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 4414 0 0 0 46 1 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10746276 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10746276 memory=5932 CPUtime=0.01 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 423 0 0 0 0 1 0 0 20 0 16 0 414310158 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25514] ppid=25477 vsize=10746276 memory=784 CPUtime=104.63 cores=1,3,5,7
/proc/25482/task/25514/stat : 25514 (java) R 25477 25482 25423 0 -1 4202560 8021 0 0 0 10460 3 0 0 20 0 16 0 414310367 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013002828800 140014008997568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 108.9 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234848 KiB

[startup+108.001 s]*
/proc/loadavg: 1.63 0.61 0.26 3/229 25601
/proc/meminfo: memFree=30775292/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10746276 memory=234848 CPUtime=109.71 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 43222 0 6 0 10953 18 0 0 20 0 16 0 414310126 11004186624 58712 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2686569 58712 3366 1 0 2646705 0
[pid=25482/tid=25486] ppid=25477 vsize=10746276 memory=8317482817917895235 CPUtime=1.86 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) S 25477 25482 25423 0 -1 1077944384 13983 0 6 0 180 6 0 0 20 0 16 0 414310132 11004186624 58712 33554432000 4194304 4196468 140731974035808 140014371220656 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10746276 memory=4872558044660077418 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 1285 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10746276 memory=23836 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 1946 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10746276 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1315 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10746276 memory=2016 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 1249 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10746276 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 1899 0 0 0 2 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10746276 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013670290272 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10746276 memory=7148 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013669237888 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10746276 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10746276 memory=616 CPUtime=0.75 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 4163 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10746276 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 3085 0 0 0 68 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10746276 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 4414 0 0 0 46 1 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 16 0 414310158 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25514] ppid=25477 vsize=10746276 memory=0 CPUtime=105.44 cores=1,3,5,7
/proc/25482/task/25514/stat : 25514 (java) R 25477 25482 25423 0 -1 4202560 8021 0 0 0 10541 3 0 0 20 0 16 0 414310367 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013002828800 140014008952455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 109.71 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234848 KiB

[startup+108.401 s]
/proc/loadavg: 1.63 0.61 0.26 3/229 25601
/proc/meminfo: memFree=30775292/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10746276 memory=234848 CPUtime=110.11 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 43222 0 6 0 10993 18 0 0 20 0 16 0 414310126 11004186624 58712 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2686569 58712 3366 1 0 2646705 0
[pid=25482/tid=25486] ppid=25477 vsize=10746276 memory=4104 CPUtime=1.86 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) S 25477 25482 25423 0 -1 1077944384 13983 0 6 0 180 6 0 0 20 0 16 0 414310132 11004186624 58712 33554432000 4194304 4196468 140731974035808 140014371220656 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10746276 memory=1804 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 1285 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10746276 memory=916 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 1946 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10746276 memory=3804 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1315 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10746276 memory=2304 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 1249 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10746276 memory=-8486080722631693414 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 1899 0 0 0 2 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10746276 memory=312437439719538982 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013670290272 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10746276 memory=140180485514096 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013669237888 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10746276 memory=303993190418219302 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10746276 memory=15821084087813537 CPUtime=0.75 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 4163 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10746276 memory=-8412652160765825907 CPUtime=0.68 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 3085 0 0 0 68 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10746276 memory=-8634980985311628903 CPUtime=0.47 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 4414 0 0 0 46 1 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10746276 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10746276 memory=7897517683652307531 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 16 0 414310158 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25514] ppid=25477 vsize=10746276 memory=2314885530816953062 CPUtime=105.83 cores=1,3,5,7
/proc/25482/task/25514/stat : 25514 (java) R 25477 25482 25423 0 -1 4202560 8021 0 0 0 10580 3 0 0 20 0 16 0 414310367 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013002828800 140014009199897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 110.11 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234848 KiB

[startup+108.601 s]
/proc/loadavg: 1.63 0.61 0.26 3/229 25601
/proc/meminfo: memFree=30775292/32770624 swapFree=66936292/67108860
[pid=25482] ppid=25477 vsize=10746276 memory=234848 CPUtime=110.31 cores=1,3,5,7
/proc/25482/stat : 25482 (java) S 25477 25482 25423 0 -1 1077944320 43222 0 6 0 11013 18 0 0 20 0 16 0 414310126 11004186624 58712 33554432000 4194304 4196468 140731974035808 140731974018352 140014366977783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
/proc/25482/statm: 2686569 58712 3366 1 0 2646705 0
[pid=25482/tid=25486] ppid=25477 vsize=10746276 memory=1899488 CPUtime=1.86 cores=1,3,5,7
/proc/25482/task/25486/stat : 25486 (java) S 25477 25482 25423 0 -1 1077944384 13983 0 6 0 180 6 0 0 20 0 16 0 414310132 11004186624 58712 33554432000 4194304 4196468 140731974035808 140014371220656 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25488] ppid=25477 vsize=10746276 memory=3905805283703932066 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25488/stat : 25488 (java) S 25477 25482 25423 0 -1 1077944384 1285 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013973986192 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25489] ppid=25477 vsize=10746276 memory=-1189914978686163229 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25489/stat : 25489 (java) S 25477 25482 25423 0 -1 1077944384 1946 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013972933392 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25490] ppid=25477 vsize=10746276 memory=3690472511310682266 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25490/stat : 25490 (java) S 25477 25482 25423 0 -1 1077944384 1315 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013971881104 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25491] ppid=25477 vsize=10746276 memory=-6737208495982354336 CPUtime=0.09 cores=1,3,5,7
/proc/25482/task/25491/stat : 25491 (java) S 25477 25482 25423 0 -1 1077944384 1249 0 0 0 9 0 0 0 20 0 16 0 414310140 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013970828304 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25496] ppid=25477 vsize=10746276 memory=7088773812221943410 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25496/stat : 25496 (java) S 25477 25482 25423 0 -1 1077944384 1899 0 0 0 2 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013671344240 140014366988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25498] ppid=25477 vsize=10746276 memory=5495740422247797458 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25498/stat : 25498 (java) S 25477 25482 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013670290272 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25500] ppid=25477 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25500/stat : 25500 (java) S 25477 25482 25423 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013669237888 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25507] ppid=25477 vsize=10746276 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25507/stat : 25507 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013668186192 140014366996379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25508] ppid=25477 vsize=10746276 memory=6944652177228980320 CPUtime=0.75 cores=1,3,5,7
/proc/25482/task/25508/stat : 25508 (java) S 25477 25482 25423 0 -1 1077944384 4163 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013667134064 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25509] ppid=25477 vsize=10746276 memory=6944656592455097440 CPUtime=0.68 cores=1,3,5,7
/proc/25482/task/25509/stat : 25509 (java) S 25477 25482 25423 0 -1 1077944384 3085 0 0 0 68 0 0 0 20 0 16 0 414310154 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013666081264 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25510] ppid=25477 vsize=10746276 memory=6944652177228980320 CPUtime=0.47 cores=1,3,5,7
/proc/25482/task/25510/stat : 25510 (java) S 25477 25482 25423 0 -1 1077944384 4414 0 0 0 46 1 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013665028976 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25511] ppid=25477 vsize=10746276 memory=-3395018486312292237 CPUtime=0 cores=1,3,5,7
/proc/25482/task/25511/stat : 25511 (java) S 25477 25482 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310155 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013663976416 140014366987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25513] ppid=25477 vsize=10746276 memory=7161660631110660138 CPUtime=0.02 cores=1,3,5,7
/proc/25482/task/25513/stat : 25513 (java) S 25477 25482 25423 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 16 0 414310158 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013662923184 140014366988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
[pid=25482/tid=25514] ppid=25477 vsize=10746276 memory=6944656575208382560 CPUtime=106.03 cores=1,3,5,7
/proc/25482/task/25514/stat : 25514 (java) R 25477 25482 25423 0 -1 4202560 8021 0 0 0 10600 3 0 0 20 0 16 0 414310367 11004186624 58712 33554432000 4194304 4196468 140731974035808 140013002828800 140014009160512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37285888 140731974042635 140731974042738 140731974042738 140731974045647 0
Current children cumulated CPU time: 110.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234848 KiB

Child status: 0
Real time (s): 108.64
CPU time (s): 110.359
CPU user time (s): 110.171
CPU system time (s): 0.188206
CPU usage (%): 101.582
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 239932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.171
system time used= 0.188206
maximum resident set size= 239940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44910
page faults= 6
swaps= 0
block input operations= 20680
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5207
involuntary context switches= 140


# summary of solver processes directly reported to runsolver:
#   pid: 25482
#   total CPU time (s): 110.359
#   total CPU user time (s): 110.171
#   total CPU system time (s): 0.188206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.676116 second user time and 0.949422 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-13 14:13:42
IDJOB=4390516
IDBENCH=120720
IDSOLVER=2832
FILE ID=node105/4390516-1568380517
RUNJOBID= node105-1568376822-25455
PBS_JOBID= 21701849
Free space on /tmp= 54372 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K05-P02.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390516-1568380517/watcher-4390516-1568380517 -o /tmp/evaluation-result-4390516-1568380517/solver-4390516-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25455 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390516-1568380517.xml -cm

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

MD5SUM BENCH= 803795f7a37fd3a40686e408980b1bff
RANDOM SEED=608469750

node105.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.00
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.00
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.00
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.00
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:        31635284 kB
MemAvailable:   31855688 kB
Buffers:          141624 kB
Cached:           366840 kB
SwapCached:        68416 kB
Active:           251040 kB
Inactive:         325472 kB
Active(anon):      11400 kB
Inactive(anon):    89760 kB
Active(file):     239640 kB
Inactive(file):   235712 kB
Unevictable:      111220 kB
Mlocked:          111220 kB
SwapTotal:      67108860 kB
SwapFree:       66936292 kB
Dirty:             17084 kB
Writeback:             0 kB
AnonPages:        113372 kB
Mapped:            35396 kB
Shmem:             23944 kB
Slab:             149756 kB
SReclaimable:     121772 kB
SUnreclaim:        27984 kB
KernelStack:        3280 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     494480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54352 MiB
End job on node105 at 2019-09-13 14:15:31