Trace number 4390539

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 73.2573 71.7201

DiagnosticValue
WRONG_DECISIONS59985

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K03-P07.xml
MD5SUMda29a6dd83857351367aad9031227a75
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 benchmark5.04114
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":21}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":42},{"degree":2,"count":39},{"degree":4,"count":6},{"degree":5,"count":15}]
Minimum constraint arity3
Maximum constraint arity39
Distribution of constraint arities[{"arity":3,"count":39},{"arity":21,"count":1},{"arity":39,"count":1}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

2.62/2.41	
2.62/2.41	AbsCon 2 
2.62/2.43	
2.81/2.57	  Instance
2.81/2.57	    name=instance-4390539-1568380517, framework=CSP
2.81/2.57	
2.81/2.57	  Loading variables...
3.02/2.62	  Loading constraints...
3.02/2.67	
3.02/2.67	  Domains
3.02/2.67	    nTypes=2, nValues=2361, sizes=[39#39,40#21]
3.02/2.67	  Variables
3.02/2.67	    count=60, degrees=[2#39,4#6,5#15]
3.02/2.67	  Constraints
3.02/2.67	    count=41, nSpecific=2, arities=[3#39,21#1,39#1]
3.02/2.67	    distribution=[AllDifferent#2,CtrIntension#39]
3.02/2.67	    nIntStructures=(1,shared:38)
3.02/2.67	    wck=0.292, cpu=2.113, mem=21M227
3.02/2.68	  Solver SolverBacktrack being built...
3.02/2.68	
3.26/2.70	
3.26/2.70	  Solver
3.26/2.70	    guaranteedGAC=true
3.26/2.70	    wck=0.324, cpu=2.143, mem=31M870
3.26/2.72	
3.26/2.72	  Preprocessing
3.26/2.72	    filters=0, revisions=(117,useless=117), ccks=62361, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.26/2.72	    wck=0.018, cpu=2.162, mem=31M870
3.26/2.72	
3.26/2.79	    num=0, depth=2..2, filters=212, revisions=(558,useless=339), ccks=311324, wck=0.086, mem=31M870
3.26/2.79	    decisions=22, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.26/2.79	    
3.57/2.89	    num=1, depth=6..9, filters=927, revisions=(2258,useless=1296), ccks=964461, wck=0.187, mem=31M870
3.57/2.89	    decisions=56, wrong=23, backtracks=2, failedAssignments=21, nogoods=17
3.57/2.89	    
4.05/3.02	    num=2, depth=8..11, filters=1685, revisions=(4813,useless=2912), ccks=2038654, wck=0.319, mem=31M870
4.05/3.02	    decisions=96, wrong=38, backtracks=5, failedAssignments=33, nogoods=20
4.05/3.02	    
4.23/3.11	    num=3, depth=11..12, filters=2415, revisions=(6725,useless=4031), ccks=2737302, wck=0.405, mem=31M870
4.23/3.11	    decisions=134, wrong=51, backtracks=5, failedAssignments=46, nogoods=33
4.23/3.11	    
4.23/3.19	    num=4, depth=12..13, filters=3214, revisions=(8523,useless=5009), ccks=3368498, wck=0.485, mem=31M870
4.23/3.19	    decisions=177, wrong=66, backtracks=6, failedAssignments=60, nogoods=47
4.23/3.19	    
4.44/3.30	    num=5, depth=9..9, filters=4142, revisions=(10759,useless=6321), ccks=4133093, wck=0.594, mem=34M512
4.44/3.30	    decisions=218, wrong=82, backtracks=6, failedAssignments=76, nogoods=63
4.44/3.30	    
4.44/3.37	    num=6, depth=10..12, filters=4889, revisions=(12827,useless=7537), ccks=4684854, wck=0.663, mem=34M512
4.44/3.37	    decisions=268, wrong=101, backtracks=8, failedAssignments=93, nogoods=71
4.44/3.37	    
4.55/3.45	    num=7, depth=10..11, filters=5607, revisions=(14675,useless=8587), ccks=5370685, wck=0.749, mem=34M512
4.55/3.45	    decisions=317, wrong=120, backtracks=8, failedAssignments=112, nogoods=90
4.55/3.45	    
4.65/3.53	    num=8, depth=7..8, filters=6584, revisions=(17070,useless=9941), ccks=5941967, wck=0.822, mem=34M512
4.65/3.53	    decisions=377, wrong=146, backtracks=13, failedAssignments=133, nogoods=100
4.65/3.53	    
4.65/3.59	    num=9, depth=7..7, filters=7377, revisions=(18684,useless=10761), ccks=6398047, wck=0.883, mem=34M512
4.65/3.59	    decisions=430, wrong=169, backtracks=13, failedAssignments=156, nogoods=123
4.65/3.59	    
4.76/3.68	    num=10, depth=5..9, filters=8572, revisions=(21311,useless=12092), ccks=7123040, wck=0.974, mem=34M512
4.76/3.68	    decisions=493, wrong=196, backtracks=15, failedAssignments=181, nogoods=136
4.76/3.68	    
4.86/3.78	    num=11, depth=8..11, filters=9969, revisions=(24634,useless=13836), ccks=7991584, wck=1.081, mem=34M512
4.86/3.78	    decisions=583, wrong=236, backtracks=28, failedAssignments=209, nogoods=143
4.86/3.78	    
4.96/3.89	    num=12, depth=8..11, filters=11387, revisions=(27796,useless=15437), ccks=8865367, wck=1.184, mem=34M512
4.96/3.89	    decisions=667, wrong=273, backtracks=34, failedAssignments=240, nogoods=151
4.96/3.89	    
5.07/3.96	    num=13, depth=11..13, filters=13320, revisions=(31204,useless=16798), ccks=9447708, wck=1.26, mem=34M512
5.07/3.96	    decisions=768, wrong=318, backtracks=46, failedAssignments=274, nogoods=169
5.07/3.96	    
5.18/4.03	    num=14, depth=10..14, filters=15048, revisions=(34365,useless=18141), ccks=9918368, wck=1.325, mem=37M155
5.18/4.03	    decisions=871, wrong=364, backtracks=55, failedAssignments=311, nogoods=172
5.18/4.03	    
5.18/4.10	    num=15, depth=8..12, filters=16558, revisions=(37263,useless=19469), ccks=10459220, wck=1.394, mem=37M155
5.18/4.10	    decisions=976, wrong=411, backtracks=62, failedAssignments=352, nogoods=198
5.18/4.10	    
5.30/4.18	    num=16, depth=9..11, filters=18219, revisions=(40713,useless=21092), ccks=11142530, wck=1.479, mem=37M155
5.30/4.18	    decisions=1094, wrong=465, backtracks=71, failedAssignments=397, nogoods=205
5.30/4.18	    
5.51/4.33	    num=17, depth=8..9, filters=20646, revisions=(46254,useless=23740), ccks=12275619, wck=1.623, mem=37M155
5.51/4.33	    decisions=1211, wrong=519, backtracks=75, failedAssignments=447, nogoods=213
5.51/4.33	    
5.71/4.53	    num=18, depth=7..9, filters=23700, revisions=(54162,useless=27940), ccks=13825318, wck=1.827, mem=39M797
5.71/4.53	    decisions=1333, wrong=576, backtracks=77, failedAssignments=502, nogoods=231
5.71/4.53	    
5.91/4.79	    num=19, depth=8..10, filters=25343, revisions=(57775,useless=29814), ccks=14701620, wck=1.935, mem=39M797
5.91/4.79	    decisions=1470, wrong=640, backtracks=80, failedAssignments=563, nogoods=267
5.91/4.79	    
5.91/4.79	    num=20, depth=7..12, filters=28169, revisions=(63836,useless=32768), ccks=15495439, wck=2.038, mem=39M797
5.91/4.79	    decisions=1652, wrong=726, backtracks=99, failedAssignments=630, nogoods=280
5.91/4.79	    
6.02/4.83	    num=21, depth=5..6, filters=29659, revisions=(67179,useless=34724), ccks=16192814, wck=2.13, mem=39M797
6.02/4.83	    decisions=1810, wrong=802, backtracks=101, failedAssignments=704, nogoods=298
6.02/4.83	    
6.12/4.93	    num=22, depth=3..13, filters=31759, revisions=(71715,useless=36887), ccks=16962722, wck=2.227, mem=42M440
6.12/4.93	    decisions=2003, wrong=893, backtracks=111, failedAssignments=785, nogoods=343
6.12/4.93	    
6.24/5.05	    num=23, depth=10..12, filters=34885, revisions=(78187,useless=39850), ccks=17906572, wck=2.35, mem=42M440
6.24/5.05	    decisions=2228, wrong=1000, backtracks=129, failedAssignments=874, nogoods=348
6.24/5.05	    
6.35/5.19	    num=24, depth=9..14, filters=38281, revisions=(85080,useless=43006), ccks=18912294, wck=2.482, mem=42M440
6.35/5.19	    decisions=2452, wrong=1107, backtracks=141, failedAssignments=972, nogoods=370
6.35/5.19	    
6.54/5.34	    num=25, depth=9..13, filters=41846, revisions=(92650,useless=46585), ccks=20161605, wck=2.639, mem=45M82
6.54/5.34	    decisions=2712, wrong=1232, backtracks=160, failedAssignments=1080, nogoods=381
6.54/5.34	    
6.84/5.60	    num=26, depth=5..10, filters=45734, revisions=(101508,useless=51238), ccks=22397812, wck=2.901, mem=45M82
6.84/5.60	    decisions=2989, wrong=1367, backtracks=179, failedAssignments=1199, nogoods=390
6.84/5.60	    
6.94/5.76	    num=27, depth=10..13, filters=50963, revisions=(111691,useless=55794), ccks=23469682, wck=3.058, mem=47M724
6.94/5.76	    decisions=3319, wrong=1527, backtracks=209, failedAssignments=1330, nogoods=408
6.94/5.76	    
7.04/5.84	    num=28, depth=6..11, filters=52774, revisions=(114074,useless=56625), ccks=24062459, wck=3.139, mem=47M724
7.04/5.84	    decisions=3623, wrong=1676, backtracks=214, failedAssignments=1474, nogoods=421
7.04/5.84	    
7.26/6.04	    num=29, depth=3..12, filters=59860, revisions=(126446,useless=61584), ccks=25539179, wck=3.337, mem=47M724
7.26/6.04	    decisions=4049, wrong=1885, backtracks=277, failedAssignments=1632, nogoods=435
7.26/6.04	    
7.65/6.44	    num=30, depth=6..8, filters=66054, revisions=(140292,useless=68424), ccks=28614473, wck=3.737, mem=50M367
7.65/6.44	    decisions=4414, wrong=2064, backtracks=282, failedAssignments=1806, nogoods=460
7.65/6.44	    
8.15/6.93	    num=31, depth=7..8, filters=73884, revisions=(159498,useless=78793), ccks=32484047, wck=4.225, mem=53M9
8.15/6.93	    decisions=4828, wrong=2267, backtracks=294, failedAssignments=1997, nogoods=478
8.15/6.93	    
8.55/7.32	    num=32, depth=5..13, filters=80566, revisions=(174438,useless=86422), ccks=35742948, wck=4.617, mem=55M652
8.55/7.32	    decisions=5306, wrong=2500, backtracks=317, failedAssignments=2208, nogoods=527
8.55/7.32	    
8.76/7.58	    num=33, depth=6..13, filters=86907, revisions=(187283,useless=92264), ccks=37838230, wck=4.881, mem=58M294
8.76/7.58	    decisions=5837, wrong=2760, backtracks=345, failedAssignments=2440, nogoods=582
8.76/7.58	    
9.09/7.83	    num=34, depth=6..9, filters=91427, revisions=(199381,useless=99379), ccks=39796401, wck=5.13, mem=60M937
9.09/7.83	    decisions=6378, wrong=3027, backtracks=357, failedAssignments=2695, nogoods=597
9.09/7.83	    
9.91/8.62	    num=35, depth=4..8, filters=100767, revisions=(220501,useless=110099), ccks=46230494, wck=5.913, mem=63M579
9.91/8.62	    decisions=6962, wrong=3316, backtracks=367, failedAssignments=2976, nogoods=647
9.91/8.62	    
10.42/9.14	    num=36, depth=4..13, filters=113667, revisions=(246731,useless=121963), ccks=50399607, wck=6.432, mem=66M222
10.42/9.14	    decisions=7699, wrong=3679, backtracks=429, failedAssignments=3285, nogoods=722
10.42/9.14	    
10.92/9.64	    num=37, depth=6..14, filters=125713, revisions=(270963,useless=132983), ccks=54298936, wck=6.938, mem=68M864
10.92/9.64	    decisions=8479, wrong=4063, backtracks=477, failedAssignments=3625, nogoods=783
10.92/9.64	    
11.62/10.36	    num=38, depth=7..9, filters=139756, revisions=(302301,useless=147865), ccks=59975252, wck=7.658, mem=74M149
11.62/10.36	    decisions=9291, wrong=4465, backtracks=505, failedAssignments=3999, nogoods=791
11.62/10.36	    
11.92/10.67	    num=39, depth=9..13, filters=152305, revisions=(327786,useless=159049), ccks=62266606, wck=7.97, mem=76M791
11.92/10.67	    decisions=10275, wrong=4951, backtracks=588, failedAssignments=4410, nogoods=817
11.92/10.67	    
12.57/11.20	    num=40, depth=7..11, filters=164460, revisions=(353114,useless=171134), ccks=66283219, wck=8.5, mem=82M76
12.57/11.20	    decisions=11249, wrong=5434, backtracks=619, failedAssignments=4862, nogoods=823
12.57/11.20	    
13.38/12.02	    num=41, depth=6..11, filters=182381, revisions=(391181,useless=188457), ccks=72281357, wck=9.314, mem=87M361
13.38/12.02	    decisions=12312, wrong=5962, backtracks=650, failedAssignments=5359, nogoods=859
13.38/12.02	    
14.19/12.86	    num=42, depth=8..13, filters=203608, revisions=(435702,useless=208534), ccks=78687688, wck=10.159, mem=95M288
14.19/12.86	    decisions=13563, wrong=6583, backtracks=726, failedAssignments=5906, nogoods=902
14.19/12.86	    
14.69/13.31	    num=43, depth=4..13, filters=219946, revisions=(467567,useless=222515), ccks=81935401, wck=10.611, mem=97M931
14.69/13.31	    decisions=14903, wrong=7248, backtracks=797, failedAssignments=6508, nogoods=965
14.69/13.31	    
15.11/13.79	    num=44, depth=9..13, filters=241289, revisions=(506968,useless=238309), ccks=84927305, wck=11.088, mem=105M858
15.11/13.79	    decisions=16393, wrong=7987, backtracks=874, failedAssignments=7170, nogoods=1001
15.11/13.79	    
15.61/14.25	    num=45, depth=10..15, filters=274919, revisions=(558692,useless=253906), ccks=87141610, wck=11.542, mem=111M143
15.61/14.25	    decisions=18309, wrong=8939, backtracks=1112, failedAssignments=7898, nogoods=1011
15.61/14.25	    
18.61/17.24	    num=46, depth=6..12, filters=311242, revisions=(640923,useless=297277), ccks=112176210, wck=14.541, mem=121M713
18.61/17.24	    decisions=20039, wrong=9799, backtracks=1172, failedAssignments=8699, nogoods=1076
18.61/17.24	    
19.51/18.13	    num=47, depth=8..14, filters=348996, revisions=(707420,useless=321739), ccks=118017575, wck=15.424, mem=129M640
19.51/18.13	    decisions=22240, wrong=10893, backtracks=1394, failedAssignments=9580, nogoods=1092
19.51/18.13	    
20.43/19.09	    num=48, depth=8..14, filters=379139, revisions=(769464,useless=350066), ccks=125288914, wck=16.391, mem=140M210
20.43/19.09	    decisions=24493, wrong=12015, backtracks=1551, failedAssignments=10550, nogoods=1116
20.43/19.09	    
21.14/19.74	    num=49, depth=9..15, filters=416267, revisions=(828390,useless=369131), ccks=128905812, wck=17.041, mem=25M241
21.14/19.74	    decisions=26952, wrong=13239, backtracks=1716, failedAssignments=11617, nogoods=1143
21.14/19.74	    
21.94/20.56	    num=50, depth=9..14, filters=464837, revisions=(904146,useless=392363), ccks=133074046, wck=17.855, mem=35M705
21.94/20.56	    decisions=29822, wrong=14668, backtracks=1983, failedAssignments=12790, nogoods=1182
21.94/20.56	    
22.84/21.47	    num=51, depth=7..11, filters=490589, revisions=(955088,useless=416144), ccks=139038038, wck=18.767, mem=48M785
22.84/21.47	    decisions=32554, wrong=16030, backtracks=2054, failedAssignments=14081, nogoods=1203
22.84/21.47	    
24.34/23.00	    num=52, depth=7..13, filters=544452, revisions=(1067958,useless=467564), ccks=149609488, wck=20.298, mem=61M865
24.34/23.00	    decisions=36176, wrong=17836, backtracks=2456, failedAssignments=15501, nogoods=1230
24.34/23.00	    
27.64/26.22	    num=53, depth=4..7, filters=592573, revisions=(1168987,useless=514278), ccks=172411373, wck=23.512, mem=77M561
27.64/26.22	    decisions=39407, wrong=19449, backtracks=2508, failedAssignments=17063, nogoods=1266
27.64/26.22	    
29.75/28.35	    num=54, depth=5..9, filters=628402, revisions=(1259073,useless=567930), ccks=188413209, wck=25.647, mem=95M873
29.75/28.35	    decisions=43059, wrong=21272, backtracks=2613, failedAssignments=18781, nogoods=1285
29.75/28.35	    
31.25/29.85	    num=55, depth=6..15, filters=696000, revisions=(1391203,useless=623759), ccks=198291330, wck=27.148, mem=112M890
31.25/29.85	    decisions=47638, wrong=23557, backtracks=3066, failedAssignments=20671, nogoods=1322
31.25/29.85	    
39.25/37.83	    num=56, depth=4..9, filters=796138, revisions=(1643321,useless=754768), ccks=255577864, wck=35.123, mem=139M50
39.25/37.83	    decisions=51989, wrong=25730, backtracks=3162, failedAssignments=22750, nogoods=1361
39.25/37.83	    
41.27/39.89	    num=57, depth=9..14, filters=886379, revisions=(1810242,useless=819652), ccks=268540421, wck=37.19, mem=25M249
41.27/39.89	    decisions=57757, wrong=28608, backtracks=3785, failedAssignments=25037, nogoods=1385
41.27/39.89	    
45.38/43.93	    num=58, depth=4..13, filters=986642, revisions=(2009901,useless=910360), ccks=299594627, wck=41.231, mem=51M409
45.38/43.93	    decisions=63945, wrong=31697, backtracks=4466, failedAssignments=27553, nogoods=1426
45.38/43.93	    
51.59/50.12	    num=59, depth=4..9, filters=1087516, revisions=(2229953,useless=1014192), ccks=346730933, wck=47.412, mem=85M417
51.59/50.12	    decisions=69921, wrong=34683, backtracks=4684, failedAssignments=30321, nogoods=1447
51.59/50.12	    
53.78/52.30	    num=60, depth=8..14, filters=1197992, revisions=(2424520,useless=1087458), ccks=360077984, wck=49.6, mem=108M961
53.78/52.30	    decisions=77156, wrong=38295, backtracks=5272, failedAssignments=33365, nogoods=1482
53.78/52.30	    
60.28/58.82	    num=61, depth=4..13, filters=1321763, revisions=(2692059,useless=1212341), ccks=409803620, wck=56.112, mem=148M201
60.28/58.82	    decisions=84314, wrong=41869, backtracks=5501, failedAssignments=36714, nogoods=1584
60.28/58.82	    
64.83/63.31	    num=62, depth=6..14, filters=1436695, revisions=(2921998,useless=1309985), ccks=442652454, wck=60.602, mem=48M928
64.83/63.31	    decisions=92422, wrong=45920, backtracks=5876, failedAssignments=40398, nogoods=1623
64.83/63.31	    
68.23/66.76	    num=63, depth=8..15, filters=1604980, revisions=(3233807,useless=1435087), ccks=465532553, wck=64.059, mem=85M681
68.23/66.76	    decisions=103167, wrong=51287, backtracks=7240, failedAssignments=44450, nogoods=1653
68.23/66.76	    
71.33/69.86	    num=64, depth=8..15, filters=1776401, revisions=(3509043,useless=1529545), ccks=483717732, wck=67.157, mem=122M434
71.33/69.86	    decisions=114097, wrong=56746, backtracks=8322, failedAssignments=48907, nogoods=1676
71.33/69.86	    
73.24/71.70	    num=65, depth=7..59, filters=1870118, revisions=(3669046,useless=1587974), ccks=495569098, wck=68.994, mem=141M670
73.24/71.70	    decisions=120587, wrong=59985, backtracks=8987, failedAssignments=51549, nogoods=1676, foundSolutions=1
73.24/71.70	    
73.24/71.70	  Global
73.24/71.70	    filters=1870118, revisions=(3669046,useless=1587974), ccks=495569098, nogoods=1676
73.24/71.70	    Stop=REACHED_GOAL, wrong=59985, foundSolutions=1, firstSolCpu=71.09
73.24/71.70	    wck=69.319, cpu=71.098, mem=141M670
73.24/71.70	
73.24/71.70	v <instantiation id='sol1' type='solution'>  <list> cn[][] ce[][][] cie[][] </list>  <values> 9 21 32 38 13 4 0 33 26 39 12 2 3 7 1 6 22 36 37 5 18 * 12 23 * * 11 * * * * 25 34 * * 9 * * * * 33 26 * * 7 * * * * 27 37 * * 10 * * * * 4 2 * * 6 * * * * 16 30 * * 14 * * * * 32 19 * * 13 * * * 29 8 28 38 20 22 39 21 24 36 5 1 3 15 35 31 17 18 </values>  </instantiation>
73.24/71.70	s SATISFIABLE
73.24/71.70	
73.24/71.70	d WRONG_DECISIONS 59985

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-4390539-1568380517/watcher-4390539-1568380517 -o /tmp/evaluation-result-4390539-1568380517/solver-4390539-1568380517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390539-1568380517.xml -cm 

running on 4 cores: 0,2,4,6

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


[startup+0.10013 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 25487
/proc/meminfo: memFree=31631988/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=111596 memory=5604 CPUtime=0 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 414310126 114274304 1401 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 27899 1401 1062 1 0 16810 0
[pid=25483/tid=25487] ppid=25476 vsize=111596 memory=-8617482348318186131 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) D 25476 25483 25423 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414310132 114274304 1401 33554432000 4194304 4196468 140724778064400 140576521994472 140576510432629 0 4 0 16784584 18446744072101613092 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.209832 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 25501
/proc/meminfo: memFree=31610152/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10260324 memory=20164 CPUtime=0.04 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 3963 0 0 0 3 1 0 0 20 0 9 0 414310126 10506571776 5041 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2565081 5041 2156 1 0 2527622 0
[pid=25483/tid=25487] ppid=25476 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) R 25476 25483 25423 0 -1 4202560 2611 0 0 0 3 0 0 0 20 0 9 0 414310132 10506571776 5041 33554432000 4194304 4196468 140724778064400 140576521981240 140576510432629 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10260324 memory=345 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5041 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10260324 memory=140595776637146 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5041 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5041 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310140 10506571776 5041 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10260324 memory=140595776611968 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5041 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5041 33554432000 4194304 4196468 140724778064400 140575873360800 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414310142 10506571776 5041 33554432000 4194304 4196468 140724778064400 140575872308208 140576517764821 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20164 KiB

[startup+0.310152 s]*
/proc/loadavg: 0.00 0.01 0.05 3/226 25512
/proc/meminfo: memFree=31609344/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10659884 memory=23068 CPUtime=0.07 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 4777 0 0 0 6 1 0 0 20 0 15 0 414310126 10915721216 5767 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2664971 5767 2686 1 0 2627468 0
[pid=25483/tid=25487] ppid=25476 vsize=10659884 memory=7022364594140610616 CPUtime=0.05 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) R 25476 25483 25423 0 -1 4202560 2890 0 0 0 5 0 0 0 20 0 15 0 414310132 10915721216 5826 33554432000 4194304 4196468 140724778064400 140576521994800 140576501835132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 5826 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10659884 memory=140595776637146 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 5826 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10659884 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 5826 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10659884 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 5826 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10659884 memory=140595776614579 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575873360800 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575872308208 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10659884 memory=140595776611968 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10659884 memory=140595776611968 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310157 10915721216 5826 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 23068 KiB

[startup+0.700709 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 25513
/proc/meminfo: memFree=31586268/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10659884 memory=48004 CPUtime=0.73 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 11183 0 0 0 68 5 0 0 20 0 15 0 414310126 10915721216 12001 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2664971 12001 3057 1 0 2627468 0
[pid=25483/tid=25487] ppid=25476 vsize=10659884 memory=1804 CPUtime=0.42 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) R 25476 25483 25423 0 -1 4202560 7447 0 0 0 39 3 0 0 20 0 15 0 414310132 10915721216 12001 33554432000 4194304 4196468 140724778064400 140576521977472 140576500941445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10659884 memory=916 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 12001 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10659884 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 12001 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10659884 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 12001 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10659884 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10915721216 12001 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10659884 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10659884 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575873360800 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10659884 memory=2388 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575872308208 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10659884 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10659884 memory=37048 CPUtime=0.08 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 920 0 0 0 8 0 0 0 20 0 15 0 414310154 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10659884 memory=35296 CPUtime=0.07 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 575 0 0 0 7 0 0 0 20 0 15 0 414310154 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10659884 memory=1160 CPUtime=0.12 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 414310154 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10659884 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10659884 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310157 10915721216 12001 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 48004 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=25483] ppid=25476 vsize=10663980 memory=70572 CPUtime=1.67 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 16343 0 0 0 160 7 0 0 20 0 15 0 414310126 10919915520 17643 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2665995 17643 3080 1 0 2628492 0
[pid=25483/tid=25487] ppid=25476 vsize=10663980 memory=6791534058613427641 CPUtime=1.21 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) R 25476 25483 25423 0 -1 4202560 11896 0 0 0 116 5 0 0 20 0 15 0 414310132 10919915520 17643 33554432000 4194304 4196468 140724778064400 140576521985672 140576498030486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17643 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17643 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17643 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414310140 10919915520 17643 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10663980 memory=164 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575873360800 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414310142 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575872308208 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10663980 memory=6943526294502006880 CPUtime=0.12 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 414310154 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10663980 memory=6944656592387989600 CPUtime=0.12 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 1096 0 0 0 12 0 0 0 20 0 15 0 414310154 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10663980 memory=6944656592455359580 CPUtime=0.19 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 1046 0 0 0 19 0 0 0 20 0 15 0 414310154 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414310154 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 414310157 10919915520 17643 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 70572 KiB

[startup+3.1103 s]
/proc/loadavg: 0.24 0.06 0.06 5/229 25515
/proc/meminfo: memFree=31339140/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10746276 memory=151676 CPUtime=4.23 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 25209 0 2 0 410 13 0 0 20 0 16 0 414310126 11004186624 37919 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2686569 37919 3349 1 0 2646705 0
[pid=25483/tid=25487] ppid=25476 vsize=10746276 memory=82700 CPUtime=1.89 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) S 25476 25483 25423 0 -1 1077944384 15346 0 2 0 182 7 0 0 20 0 16 0 414310132 11004186624 37919 33554432000 4194304 4196468 140724778064400 140576521997488 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10746276 memory=14 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414310140 11004186624 37919 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414310140 11004186624 37919 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414310140 11004186624 37919 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10746276 memory=66764 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 16 0 414310140 11004186624 37919 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10746276 memory=2404 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 1082 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 37919 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0

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

[startup+70.4007 s]
/proc/loadavg: 1.37 0.43 0.19 4/229 25521
/proc/meminfo: memFree=31171716/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10746276 memory=239260 CPUtime=71.93 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 41352 0 2 0 7175 18 0 0 20 0 16 0 414310126 11004186624 59815 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2686569 59815 3366 1 0 2646705 0
[pid=25483/tid=25487] ppid=25476 vsize=10746276 memory=6791534058613427641 CPUtime=1.89 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) S 25476 25483 25423 0 -1 1077944384 15346 0 2 0 182 7 0 0 20 0 16 0 414310132 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576521997488 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10746276 memory=23836 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10746276 memory=984 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1840 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10746276 memory=2016 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10746276 memory=239252 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 1071 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10746276 memory=281191241702384 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 1847 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10746276 memory=-7025994870846939764 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575873360864 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10746276 memory=4947655658748878208 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575872308224 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10746276 memory=7740953716946593636 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10746276 memory=7588684550706915689 CPUtime=0.66 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 4095 0 0 0 66 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10746276 memory=784 CPUtime=0.75 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 4550 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10746276 memory=1060 CPUtime=0.48 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 3060 0 0 0 48 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10746276 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10746276 memory=10404 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 205 0 0 0 0 1 0 0 20 0 16 0 414310157 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25515] ppid=25476 vsize=10746276 memory=14056 CPUtime=67.88 cores=0,2,4,6
/proc/25483/task/25515/stat : 25515 (java) R 25476 25483 25423 0 -1 4202560 7258 0 0 0 6785 3 0 0 20 0 16 0 414310368 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575849323648 140576113347253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 71.93 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239260 KiB

[startup+71.2007 s]
/proc/loadavg: 1.37 0.43 0.19 4/229 25521
/proc/meminfo: memFree=31171716/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10746276 memory=239260 CPUtime=72.73 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 41352 0 2 0 7255 18 0 0 20 0 16 0 414310126 11004186624 59815 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2686569 59815 3366 1 0 2646705 0
[pid=25483/tid=25487] ppid=25476 vsize=10746276 memory=23836 CPUtime=1.89 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) S 25476 25483 25423 0 -1 1077944384 15346 0 2 0 182 7 0 0 20 0 16 0 414310132 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576521997488 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10746276 memory=984 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10746276 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1840 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10746276 memory=23836 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10746276 memory=239252 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 1071 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59815 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10746276 memory=2016 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 1847 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10746276 memory=239260 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575873360864 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575872308224 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10746276 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10746276 memory=516 CPUtime=0.66 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 4095 0 0 0 66 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10746276 memory=1556 CPUtime=0.75 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 4550 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10746276 memory=928 CPUtime=0.48 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 3060 0 0 0 48 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10746276 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10746276 memory=1548 CPUtime=0.02 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 205 0 0 0 1 1 0 0 20 0 16 0 414310157 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25515] ppid=25476 vsize=10746276 memory=7148 CPUtime=68.68 cores=0,2,4,6
/proc/25483/task/25515/stat : 25515 (java) R 25476 25483 25423 0 -1 4202560 7258 0 0 0 6865 3 0 0 20 0 16 0 414310368 11004186624 59815 33554432000 4194304 4196468 140724778064400 140575849323648 140576112963656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 72.73 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239260 KiB

[startup+71.6007 s]
/proc/loadavg: 1.37 0.43 0.19 4/229 25521
/proc/meminfo: memFree=31171716/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10746276 memory=239268 CPUtime=73.13 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 41565 0 2 0 7295 18 0 0 20 0 16 0 414310126 11004186624 59817 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2686569 59817 3367 1 0 2646705 0
[pid=25483/tid=25487] ppid=25476 vsize=10746276 memory=2016 CPUtime=1.89 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) S 25476 25483 25423 0 -1 1077944384 15346 0 2 0 182 7 0 0 20 0 16 0 414310132 11004186624 59817 33554432000 4194304 4196468 140724778064400 140576521997488 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10746276 memory=1412 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59817 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10746276 memory=1548 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1840 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59817 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10746276 memory=7148 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59817 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10746276 memory=516 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 1071 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59817 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10746276 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 1847 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10746276 memory=928 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575873360864 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10746276 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575872308224 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10746276 memory=904 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10746276 memory=1444 CPUtime=0.66 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) S 25476 25483 25423 0 -1 1077944384 4095 0 0 0 66 0 0 0 20 0 16 0 414310154 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10746276 memory=1976 CPUtime=0.75 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 4550 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10746276 memory=2436 CPUtime=0.49 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) S 25476 25483 25423 0 -1 1077944384 3273 0 0 0 49 0 0 0 20 0 16 0 414310154 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575868099312 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10746276 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10746276 memory=111632 CPUtime=0.02 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 205 0 0 0 1 1 0 0 20 0 16 0 414310157 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25515] ppid=25476 vsize=10746276 memory=804 CPUtime=69.08 cores=0,2,4,6
/proc/25483/task/25515/stat : 25515 (java) R 25476 25483 25423 0 -1 4202560 7258 0 0 0 6905 3 0 0 20 0 16 0 414310368 11004186624 59817 33554432000 4194304 4196468 140724778064400 140575849331960 140576113208577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 73.13 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239268 KiB

[startup+71.7007 s]
/proc/loadavg: 1.37 0.43 0.19 4/229 25521
/proc/meminfo: memFree=31171716/32770624 swapFree=66936292/67108860
[pid=25483] ppid=25476 vsize=10746276 memory=239348 CPUtime=73.24 cores=0,2,4,6
/proc/25483/stat : 25483 (java) S 25476 25483 25423 0 -1 1077944320 43382 0 2 0 7306 18 0 0 20 0 16 0 414310126 11004186624 59837 33554432000 4194304 4196468 140724778064400 140724778046944 140576517754615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
/proc/25483/statm: 2686569 59837 3367 1 0 2646705 0
[pid=25483/tid=25487] ppid=25476 vsize=10746276 memory=239252 CPUtime=1.89 cores=0,2,4,6
/proc/25483/task/25487/stat : 25487 (java) S 25476 25483 25423 0 -1 1077944384 15346 0 2 0 182 7 0 0 20 0 16 0 414310132 11004186624 59837 33554432000 4194304 4196468 140724778064400 140576521997488 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25492] ppid=25476 vsize=10746276 memory=239260 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25492/stat : 25492 (java) S 25476 25483 25423 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59837 33554432000 4194304 4196468 140724778064400 140576443829008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25493] ppid=25476 vsize=10746276 memory=239268 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25493/stat : 25493 (java) S 25476 25483 25423 0 -1 1077944384 1840 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59837 33554432000 4194304 4196468 140724778064400 140576442776464 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25494] ppid=25476 vsize=10746276 memory=239220 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25494/stat : 25494 (java) S 25476 25483 25423 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59837 33554432000 4194304 4196468 140724778064400 140576441723920 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25495] ppid=25476 vsize=10746276 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25483/task/25495/stat : 25495 (java) S 25476 25483 25423 0 -1 1077944384 1071 0 0 0 3 0 0 0 20 0 16 0 414310140 11004186624 59837 33554432000 4194304 4196468 140724778064400 140576440671376 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25497] ppid=25476 vsize=10746276 memory=239252 CPUtime=0.01 cores=0,2,4,6
/proc/25483/task/25497/stat : 25497 (java) S 25476 25483 25423 0 -1 1077944384 1847 0 0 0 1 0 0 0 20 0 16 0 414310142 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575874414576 140576517765762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25499] ppid=25476 vsize=10746276 memory=239252 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25499/stat : 25499 (java) S 25476 25483 25423 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575873360864 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25501] ppid=25476 vsize=10746276 memory=239220 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25501/stat : 25501 (java) S 25476 25483 25423 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414310142 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575872308224 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25502] ppid=25476 vsize=10746276 memory=239220 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25502/stat : 25502 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575871256784 140576517773211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25503] ppid=25476 vsize=10746276 memory=2 CPUtime=0.66 cores=0,2,4,6
/proc/25483/task/25503/stat : 25503 (java) R 25476 25483 25423 0 -1 4202560 4097 0 0 0 66 0 0 0 20 0 16 0 414310154 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575870204400 140576517765762 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25504] ppid=25476 vsize=10746276 memory=2 CPUtime=0.75 cores=0,2,4,6
/proc/25483/task/25504/stat : 25504 (java) S 25476 25483 25423 0 -1 1077944384 4552 0 0 0 74 1 0 0 20 0 16 0 414310154 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575869151856 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25505] ppid=25476 vsize=10746276 memory=3624 CPUtime=0.49 cores=0,2,4,6
/proc/25483/task/25505/stat : 25505 (java) R 25476 25483 25423 0 -1 4202560 3468 0 0 0 49 0 0 0 20 0 16 0 414310154 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575868099312 140576503449681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25506] ppid=25476 vsize=10746276 memory=23836 CPUtime=0 cores=0,2,4,6
/proc/25483/task/25506/stat : 25506 (java) S 25476 25483 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414310154 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575867047008 140576517764821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25512] ppid=25476 vsize=10746276 memory=239252 CPUtime=0.02 cores=0,2,4,6
/proc/25483/task/25512/stat : 25512 (java) S 25476 25483 25423 0 -1 1077944384 205 0 0 0 1 1 0 0 20 0 16 0 414310157 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575865993520 140576517765762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
[pid=25483/tid=25515] ppid=25476 vsize=10746276 memory=10404 CPUtime=69.18 cores=0,2,4,6
/proc/25483/task/25515/stat : 25515 (java) R 25476 25483 25423 0 -1 4202560 8893 0 0 0 6915 3 0 0 20 0 16 0 414310368 11004186624 59837 33554432000 4194304 4196468 140724778064400 140575849328656 140576501798245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140724778066955 140724778067058 140724778067058 140724778069967 0
Current children cumulated CPU time: 73.24 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 239348 KiB

Child status: 0
Real time (s): 71.7201
CPU time (s): 73.2573
CPU user time (s): 73.0681
CPU system time (s): 0.189277
CPU usage (%): 102.143
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 239348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0681
system time used= 0.189277
maximum resident set size= 239452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44223
page faults= 2
swaps= 0
block input operations= 11288
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4470
involuntary context switches= 317


# summary of solver processes directly reported to runsolver:
#   pid: 25483
#   total CPU time (s): 73.2573
#   total CPU user time (s): 73.0681
#   total CPU system time (s): 0.189277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.436419 second user time and 0.686398 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= da29a6dd83857351367aad9031227a75
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:           249220 kB
Inactive:         327032 kB
Active(anon):      11140 kB
Inactive(anon):    89760 kB
Active(file):     238080 kB
Inactive(file):   237272 kB
Unevictable:      111220 kB
Mlocked:          111220 kB
SwapTotal:      67108860 kB
SwapFree:       66936292 kB
Dirty:             17084 kB
Writeback:             0 kB
AnonPages:        112984 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:     493332 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:14:54