Trace number 4390688

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 139.782 137.251

DiagnosticValue
WRONG_DECISIONS300584

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-12-sum.xml
MD5SUM72f076078db8222856487e1257170ccd
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 benchmark4.44533
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints27
Number of domains1
Minimum domain size144
Maximum domain size144
Distribution of domain sizes[{"size":144,"count":144}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":120},{"degree":4,"count":24}]
Minimum constraint arity12
Maximum constraint arity144
Distribution of constraint arities[{"arity":12,"count":26},{"arity":144,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":26}]
Optimization problemNO
Type of objective

Solver Data 

2.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.89	
2.63/2.00	  Instance
2.63/2.00	    name=instance-4390688-1568383150, framework=CSP
2.63/2.00	
2.63/2.00	  Loading variables...
2.92/2.03	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee2c290
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d23b36
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38dc11bc
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f6b78a
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6611ba
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1a0408
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1054f
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adf9b8f
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3632ffa2
2.92/2.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696fe290
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f1508cf
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66523f8
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e391c85
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52398231
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d93266d
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbdb59b
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c939e3
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6244b2
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4854c24d
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1392b06b
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47363024
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4af4787b
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633b4c87
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a15d98e
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
2.92/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
2.92/2.08	
2.92/2.08	
2.92/2.08	  Domains
2.92/2.08	    nTypes=1, nValues=20736, sizes=[144#144]
2.92/2.08	  Variables
2.92/2.08	    count=144, degrees=[3#120,4#24]
2.92/2.08	  Constraints
2.92/2.08	    count=27, nSpecific=27, arities=[12#26,144#1]
2.92/2.08	    distribution=[AllDifferent#1,SumSimpleEQ#26]
2.92/2.08	    wck=0.242, cpu=2.056, mem=21M227
2.92/2.09	  Solver SolverBacktrack being built...
2.92/2.09	
3.18/2.12	
3.18/2.12	  Solver
3.18/2.12	    guaranteedGAC=false
3.18/2.12	    wck=0.278, cpu=2.089, mem=31M953
3.18/2.13	
3.18/2.13	  Preprocessing
3.18/2.13	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.18/2.13	    wck=0.013, cpu=2.104, mem=31M953
3.18/2.13	
3.18/2.18	    num=0, depth=6..7, filters=32, wck=0.062, mem=31M953
3.18/2.18	    decisions=28, wrong=11, backtracks=1, failedAssignments=10, nogoods=7
3.18/2.18	    
3.43/2.21	    num=1, depth=12..13, filters=75, wck=0.097, mem=31M953
3.43/2.21	    decisions=64, wrong=23, backtracks=2, failedAssignments=21, nogoods=14
3.43/2.21	    
3.43/2.24	    num=2, depth=11..12, filters=116, wck=0.12, mem=31M953
3.43/2.24	    decisions=101, wrong=36, backtracks=3, failedAssignments=33, nogoods=23
3.43/2.24	    
3.43/2.26	    num=3, depth=6..7, filters=156, wck=0.139, mem=31M953
3.43/2.26	    decisions=136, wrong=50, backtracks=4, failedAssignments=46, nogoods=33
3.43/2.26	    
3.43/2.28	    num=4, depth=6..7, filters=198, wck=0.157, mem=31M953
3.43/2.28	    decisions=173, wrong=65, backtracks=5, failedAssignments=60, nogoods=44
3.43/2.28	    
3.73/2.30	    num=5, depth=6..7, filters=247, wck=0.185, mem=31M953
3.73/2.30	    decisions=215, wrong=83, backtracks=7, failedAssignments=76, nogoods=54
3.73/2.30	    
3.73/2.32	    num=6, depth=6..7, filters=300, wck=0.202, mem=31M953
3.73/2.32	    decisions=260, wrong=102, backtracks=9, failedAssignments=93, nogoods=65
3.73/2.32	    
3.73/2.34	    num=7, depth=6..7, filters=357, wck=0.22, mem=31M953
3.73/2.34	    decisions=309, wrong=123, backtracks=11, failedAssignments=112, nogoods=78
3.73/2.34	    
3.73/2.36	    num=8, depth=6..8, filters=420, wck=0.24, mem=31M953
3.73/2.36	    decisions=363, wrong=146, backtracks=13, failedAssignments=133, nogoods=93
3.73/2.36	    
3.73/2.38	    num=9, depth=6..8, filters=491, wck=0.262, mem=34M595
3.73/2.38	    decisions=423, wrong=173, backtracks=17, failedAssignments=156, nogoods=104
3.73/2.38	    
3.91/2.40	    num=10, depth=6..8, filters=566, wck=0.287, mem=34M595
3.91/2.40	    decisions=487, wrong=202, backtracks=21, failedAssignments=181, nogoods=117
3.91/2.40	    
3.91/2.43	    num=11, depth=6..8, filters=649, wck=0.313, mem=34M595
3.91/2.43	    decisions=558, wrong=234, backtracks=25, failedAssignments=209, nogoods=133
3.91/2.43	    
3.91/2.46	    num=12, depth=6..8, filters=741, wck=0.34, mem=34M595
3.91/2.46	    decisions=636, wrong=270, backtracks=30, failedAssignments=240, nogoods=149
3.91/2.46	    
3.91/2.49	    num=13, depth=6..8, filters=841, wck=0.369, mem=34M595
3.91/2.49	    decisions=721, wrong=309, backtracks=35, failedAssignments=274, nogoods=168
3.91/2.49	    
4.13/2.52	    num=14, depth=6..8, filters=948, wck=0.399, mem=34M595
4.13/2.52	    decisions=813, wrong=351, backtracks=40, failedAssignments=311, nogoods=190
4.13/2.52	    
4.13/2.55	    num=15, depth=6..8, filters=1068, wck=0.433, mem=34M595
4.13/2.55	    decisions=915, wrong=399, backtracks=47, failedAssignments=352, nogoods=210
4.13/2.55	    
4.13/2.59	    num=16, depth=6..8, filters=1198, wck=0.469, mem=34M595
4.13/2.59	    decisions=1026, wrong=451, backtracks=54, failedAssignments=397, nogoods=234
4.13/2.59	    
4.24/2.63	    num=17, depth=6..8, filters=1343, wck=0.508, mem=34M595
4.24/2.63	    decisions=1149, wrong=509, backtracks=62, failedAssignments=447, nogoods=260
4.24/2.63	    
4.24/2.67	    num=18, depth=6..8, filters=1504, wck=0.552, mem=34M595
4.24/2.67	    decisions=1285, wrong=574, backtracks=72, failedAssignments=502, nogoods=285
4.24/2.67	    
4.36/2.72	    num=19, depth=6..8, filters=1682, wck=0.599, mem=34M595
4.36/2.72	    decisions=1435, wrong=646, backtracks=83, failedAssignments=563, nogoods=313
4.36/2.72	    
4.36/2.77	    num=20, depth=6..8, filters=1875, wck=0.651, mem=34M595
4.36/2.77	    decisions=1599, wrong=724, backtracks=94, failedAssignments=630, nogoods=347
4.36/2.77	    
4.46/2.82	    num=21, depth=6..8, filters=2089, wck=0.707, mem=34M595
4.46/2.82	    decisions=1780, wrong=811, backtracks=107, failedAssignments=704, nogoods=382
4.46/2.82	    
4.46/2.89	    num=22, depth=6..8, filters=2325, wck=0.77, mem=37M238
4.46/2.89	    decisions=1979, wrong=907, backtracks=122, failedAssignments=785, nogoods=418
4.46/2.89	    
4.56/2.96	    num=23, depth=6..8, filters=2583, wck=0.838, mem=37M238
4.56/2.96	    decisions=2197, wrong=1012, backtracks=138, failedAssignments=874, nogoods=459
4.56/2.96	    
4.67/3.03	    num=24, depth=6..8, filters=2870, wck=0.913, mem=37M238
4.67/3.03	    decisions=2438, wrong=1129, backtracks=157, failedAssignments=972, nogoods=501
4.67/3.03	    
4.78/3.11	    num=25, depth=6..8, filters=3188, wck=0.996, mem=37M238
4.78/3.11	    decisions=2704, wrong=1258, backtracks=178, failedAssignments=1080, nogoods=544
4.78/3.11	    
4.87/3.21	    num=26, depth=6..8, filters=3541, wck=1.087, mem=37M238
4.87/3.21	    decisions=2998, wrong=1401, backtracks=202, failedAssignments=1199, nogoods=587
4.87/3.21	    
4.97/3.31	    num=27, depth=6..8, filters=3931, wck=1.189, mem=39M880
4.97/3.31	    decisions=3322, wrong=1559, backtracks=229, failedAssignments=1330, nogoods=631
4.97/3.31	    
5.08/3.42	    num=28, depth=6..8, filters=4360, wck=1.299, mem=39M880
5.08/3.42	    decisions=3678, wrong=1733, backtracks=259, failedAssignments=1474, nogoods=677
5.08/3.42	    
5.18/3.56	    num=29, depth=6..9, filters=4931, wck=1.445, mem=39M880
5.18/3.56	    decisions=4115, wrong=1947, backtracks=316, failedAssignments=1632, nogoods=700
5.18/3.56	    
5.38/3.70	    num=30, depth=6..9, filters=5477, wck=1.584, mem=39M880
5.38/3.70	    decisions=4556, wrong=2164, backtracks=359, failedAssignments=1806, nogoods=743
5.38/3.70	    
5.48/3.86	    num=31, depth=6..9, filters=6102, wck=1.742, mem=42M522
5.48/3.86	    decisions=5050, wrong=2407, backtracks=411, failedAssignments=1997, nogoods=786
5.48/3.86	    
5.69/4.03	    num=32, depth=6..9, filters=6789, wck=1.916, mem=42M522
5.69/4.03	    decisions=5595, wrong=2676, backtracks=469, failedAssignments=2208, nogoods=841
5.69/4.03	    
5.89/4.22	    num=33, depth=6..9, filters=7544, wck=2.107, mem=45M165
5.89/4.22	    decisions=6194, wrong=2972, backtracks=533, failedAssignments=2440, nogoods=901
5.89/4.22	    
6.11/4.44	    num=34, depth=6..9, filters=8378, wck=2.318, mem=45M165
6.11/4.44	    decisions=6855, wrong=3298, backtracks=605, failedAssignments=2695, nogoods=955
6.11/4.44	    
6.33/4.67	    num=35, depth=6..9, filters=9309, wck=2.553, mem=47M807
6.33/4.67	    decisions=7588, wrong=3661, backtracks=688, failedAssignments=2976, nogoods=1005
6.33/4.67	    
6.63/4.94	    num=36, depth=6..9, filters=10382, wck=2.824, mem=47M807
6.63/4.94	    decisions=8423, wrong=4075, backtracks=798, failedAssignments=3285, nogoods=1062
6.63/4.94	    
6.99/5.24	    num=37, depth=6..9, filters=11559, wck=3.122, mem=50M450
6.99/5.24	    decisions=9340, wrong=4530, backtracks=920, failedAssignments=3625, nogoods=1113
6.99/5.24	    
7.29/5.57	    num=38, depth=6..9, filters=12871, wck=3.451, mem=53M92
7.29/5.57	    decisions=10356, wrong=5034, backtracks=1057, failedAssignments=3999, nogoods=1164
7.29/5.57	    
7.74/5.93	    num=39, depth=6..9, filters=14311, wck=3.812, mem=53M92
7.74/5.93	    decisions=11470, wrong=5587, backtracks=1205, failedAssignments=4410, nogoods=1220
7.74/5.93	    
8.15/6.33	    num=40, depth=6..9, filters=15901, wck=4.208, mem=55M735
8.15/6.33	    decisions=12699, wrong=6198, backtracks=1371, failedAssignments=4862, nogoods=1274
8.15/6.33	    
8.55/6.76	    num=41, depth=6..9, filters=17642, wck=4.643, mem=58M377
8.55/6.76	    decisions=14051, wrong=6870, backtracks=1552, failedAssignments=5359, nogoods=1338
8.55/6.76	    
9.06/7.27	    num=42, depth=6..9, filters=19683, wck=5.153, mem=61M20
9.06/7.27	    decisions=15584, wrong=7633, backtracks=1779, failedAssignments=5906, nogoods=1394
9.06/7.27	    
9.66/7.82	    num=43, depth=6..9, filters=21881, wck=5.702, mem=66M304
9.66/7.82	    decisions=17264, wrong=8469, backtracks=2021, failedAssignments=6508, nogoods=1458
9.66/7.82	    
10.28/8.42	    num=44, depth=6..19, filters=24308, wck=6.303, mem=68M947
10.28/8.42	    decisions=19106, wrong=9381, backtracks=2286, failedAssignments=7170, nogoods=1547
10.28/8.42	    
10.90/9.06	    num=45, depth=7..10, filters=26950, wck=6.946, mem=71M589
10.90/9.06	    decisions=21098, wrong=10373, backtracks=2559, failedAssignments=7898, nogoods=1603
10.90/9.06	    
11.59/9.76	    num=46, depth=6..19, filters=29799, wck=7.647, mem=76M874
11.59/9.76	    decisions=23292, wrong=11461, backtracks=2855, failedAssignments=8699, nogoods=1709
11.59/9.76	    
12.42/10.52	    num=47, depth=7..19, filters=32936, wck=8.406, mem=82M159
12.42/10.52	    decisions=25674, wrong=12643, backtracks=3171, failedAssignments=9580, nogoods=1831
12.42/10.52	    
13.25/11.35	    num=48, depth=7..20, filters=36377, wck=9.235, mem=84M802
13.25/11.35	    decisions=28300, wrong=13947, backtracks=3523, failedAssignments=10550, nogoods=1953
13.25/11.35	    
14.17/12.24	    num=49, depth=7..30, filters=40076, wck=10.12, mem=90M86
14.17/12.24	    decisions=31172, wrong=15369, backtracks=3894, failedAssignments=11617, nogoods=2101
14.17/12.24	    
15.17/13.24	    num=50, depth=7..21, filters=44265, wck=11.121, mem=98M14
15.17/13.24	    decisions=34360, wrong=16953, backtracks=4322, failedAssignments=12790, nogoods=2242
15.17/13.24	    
16.18/14.26	    num=51, depth=7..31, filters=48743, wck=12.144, mem=103M299
16.18/14.26	    decisions=37839, wrong=18678, backtracks=4767, failedAssignments=14081, nogoods=2421
16.18/14.26	    
17.38/15.47	    num=52, depth=7..21, filters=53894, wck=13.348, mem=111M226
17.38/15.47	    decisions=41748, wrong=20623, backtracks=5326, failedAssignments=15501, nogoods=2562
17.38/15.47	    
18.68/16.75	    num=53, depth=7..31, filters=59593, wck=14.628, mem=119M153
18.68/16.75	    decisions=46038, wrong=22753, backtracks=5912, failedAssignments=17063, nogoods=2747
18.68/16.75	    
20.08/18.18	    num=54, depth=7..21, filters=65773, wck=16.067, mem=127M81
20.08/18.18	    decisions=50763, wrong=25106, backtracks=6584, failedAssignments=18781, nogoods=2907
20.08/18.18	    
21.58/19.60	    num=55, depth=7..42, filters=72650, wck=17.483, mem=135M8
21.58/19.60	    decisions=55970, wrong=27689, backtracks=7309, failedAssignments=20671, nogoods=3147
21.58/19.60	    
23.08/21.12	    num=56, depth=7..32, filters=79463, wck=18.999, mem=142M778
23.08/21.12	    decisions=61524, wrong=30451, backtracks=8019, failedAssignments=22750, nogoods=3371
23.08/21.12	    
24.81/22.88	    num=57, depth=7..42, filters=87951, wck=20.766, mem=34M42
24.81/22.88	    decisions=67887, wrong=33613, backtracks=8934, failedAssignments=25037, nogoods=3606
24.81/22.88	    
26.62/24.68	    num=58, depth=7..32, filters=96258, wck=22.562, mem=44M506
26.62/24.68	    decisions=74689, wrong=36999, backtracks=9830, failedAssignments=27553, nogoods=3825
26.62/24.68	    
28.62/26.65	    num=59, depth=7..66, filters=106424, wck=24.537, mem=57M586
28.62/26.65	    decisions=82383, wrong=40813, backtracks=10930, failedAssignments=30321, nogoods=4116
28.62/26.65	    
30.83/28.85	    num=60, depth=7..43, filters=116796, wck=26.731, mem=70M666
30.83/28.85	    decisions=90631, wrong=44916, backtracks=12038, failedAssignments=33365, nogoods=4434
30.83/28.85	    
33.23/31.27	    num=61, depth=7..42, filters=128229, wck=29.152, mem=83M746
33.23/31.27	    decisions=99755, wrong=49458, backtracks=13284, failedAssignments=36714, nogoods=4719
33.23/31.27	    
35.83/33.88	    num=62, depth=7..42, filters=140907, wck=31.763, mem=99M442
35.83/33.88	    decisions=109833, wrong=54477, backtracks=14674, failedAssignments=40398, nogoods=4999
35.83/33.88	    
38.76/36.79	    num=63, depth=7..42, filters=155173, wck=34.675, mem=120M370
38.76/36.79	    decisions=120996, wrong=60039, backtracks=16232, failedAssignments=44450, nogoods=5266
38.76/36.79	    
42.01/39.93	    num=64, depth=7..42, filters=171281, wck=37.808, mem=138M682
42.01/39.93	    decisions=133468, wrong=66255, backtracks=18068, failedAssignments=48907, nogoods=5562
42.01/39.93	    
45.27/43.19	    num=65, depth=8..42, filters=188986, wck=41.069, mem=29M206
45.27/43.19	    decisions=146814, wrong=72908, backtracks=19876, failedAssignments=53810, nogoods=5858
45.27/43.19	    
48.86/46.75	    num=66, depth=7..42, filters=207955, wck=44.627, mem=52M834
48.86/46.75	    decisions=161536, wrong=80249, backtracks=21889, failedAssignments=59204, nogoods=6150
48.86/46.75	    
52.68/50.51	    num=67, depth=9..42, filters=228012, wck=48.393, mem=76M461
52.68/50.51	    decisions=177466, wrong=88194, backtracks=23939, failedAssignments=65137, nogoods=6434
52.68/50.51	    
57.49/55.35	    num=68, depth=10..42, filters=252781, wck=53.237, mem=110M589
57.49/55.35	    decisions=195857, wrong=97369, backtracks=26689, failedAssignments=71663, nogoods=6761
57.49/55.35	    
62.45/60.20	    num=69, depth=7..58, filters=280205, wck=58.087, mem=144M717
62.45/60.20	    decisions=216245, wrong=107535, backtracks=29819, failedAssignments=78842, nogoods=7158
62.45/60.20	    
68.37/66.01	    num=70, depth=7..60, filters=320820, wck=63.891, mem=53M233
68.37/66.01	    decisions=237736, wrong=118253, backtracks=32735, failedAssignments=86739, nogoods=7619
68.37/66.01	    
71.66/69.35	    num=71, depth=8..90, filters=352337, wck=67.233, mem=74M283
71.66/69.35	    decisions=260637, wrong=129660, backtracks=35538, failedAssignments=95426, nogoods=8110
71.66/69.35	    
76.76/74.46	    num=72, depth=10..57, filters=387882, wck=72.346, mem=111M121
76.76/74.46	    decisions=287375, wrong=143002, backtracks=39450, failedAssignments=104981, nogoods=8485
76.76/74.46	    
84.30/81.91	    num=73, depth=12..43, filters=429019, wck=79.796, mem=32M392
84.30/81.91	    decisions=317506, wrong=158047, backtracks=44221, failedAssignments=115492, nogoods=8751
84.30/81.91	    
92.00/89.69	    num=74, depth=7..57, filters=490457, wck=87.57, mem=81M665
92.00/89.69	    decisions=349224, wrong=173880, backtracks=48644, failedAssignments=127054, nogoods=9083
92.00/89.69	    
100.52/98.15	    num=75, depth=8..86, filters=582741, wck=96.036, mem=143M905
100.52/98.15	    decisions=388686, wrong=193570, backtracks=56412, failedAssignments=139772, nogoods=9642
100.52/98.15	    
106.94/104.54	    num=76, depth=7..78, filters=635978, wck=102.426, mem=55M474
106.94/104.54	    decisions=427968, wrong=213173, backtracks=62194, failedAssignments=153762, nogoods=10186
106.94/104.54	    
114.24/111.82	    num=77, depth=7..102, filters=770702, wck=109.7, mem=121M877
114.24/111.82	    decisions=468411, wrong=233347, backtracks=67104, failedAssignments=169151, nogoods=10645
114.24/111.82	    
121.17/118.74	    num=78, depth=8..102, filters=904255, wck=116.624, mem=50M283
121.17/118.74	    decisions=518567, wrong=258378, backtracks=75609, failedAssignments=186079, nogoods=11116
121.17/118.74	    
133.38/130.94	    num=79, depth=13..99, filters=1159832, wck=128.824, mem=110M611
133.38/130.94	    decisions=569394, wrong=283745, backtracks=82604, failedAssignments=204700, nogoods=11515
133.38/130.94	    
139.72/137.23	    num=80, depth=17..143, filters=1225082, ccks=53, wck=135.112, mem=25M335
139.72/137.23	    decisions=603183, wrong=300584, backtracks=87522, failedAssignments=216880, nogoods=11515, foundSolutions=1
139.72/137.23	    
139.72/137.23	  Global
139.72/137.23	    filters=1225082, ccks=53, nogoods=11515
139.72/137.23	    Stop=REACHED_GOAL, wrong=300584, foundSolutions=1, firstSolCpu=137.128
139.72/137.23	    wck=135.391, cpu=137.136, mem=25M335
139.72/137.23	
139.72/137.23	v <instantiation id='sol1' type='solution'>  <list> x[][] </list>  <values> 6 135 138 10 136 20 112 137 9 3 25 139 15 16 12 144 81 5 141 140 17 143 142 14 127 4 52 24 128 129 124 126 8 125 2 21 13 113 122 7 29 119 123 22 133 33 35 121 67 36 101 102 109 37 85 31 95 32 103 72 116 82 55 90 66 114 11 53 28 77 107 71 38 96 98 99 23 80 111 45 131 30 19 100 118 68 78 74 48 60 40 108 26 83 105 62 120 91 56 50 43 59 1 64 130 87 104 65 117 86 47 84 61 75 39 49 27 110 106 69 115 46 57 92 70 79 42 51 132 89 34 63 18 97 54 94 76 93 41 44 134 58 88 73 </values>  </instantiation>
139.72/137.23	s SATISFIABLE
139.72/137.23	
139.72/137.23	d WRONG_DECISIONS 300584

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390688-1568383150/watcher-4390688-1568383150 -o /tmp/evaluation-result-4390688-1568383150/solver-4390688-1568383150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29502 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390688-1568383150.xml -cm 

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

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

solver pid=30730, runsolver pid=30727

[startup+0.107494 s]*
/proc/loadavg: 1.99 1.77 1.61 4/228 30745
/proc/meminfo: memFree=31128132/32770624 swapFree=66994804/67108860
[pid=30730] ppid=30727 vsize=10659884 memory=30232 CPUtime=0.16 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 6060 0 0 0 15 1 0 0 20 0 15 0 414566446 10915721216 7558 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2664971 7558 2921 1 0 2627468 0
[pid=30730/tid=30732] ppid=30727 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) R 30727 30730 29470 0 -1 4202560 3274 0 0 0 9 0 0 0 20 0 15 0 414566446 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305952475088 140305948263581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10659884 memory=139726713215836 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566448 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305438323488 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305437271152 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 691 0 0 0 1 0 0 0 20 0 15 0 414566451 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0.03 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) R 30727 30730 29470 0 -1 4202560 689 0 0 0 3 0 0 0 20 0 15 0 414566451 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305433060656 140305932322142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566452 10915721216 7558 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30232 KiB

[startup+0.211012 s]*
/proc/loadavg: 1.99 1.77 1.61 3/228 30745
/proc/meminfo: memFree=31121000/32770624 swapFree=66994804/67108860
[pid=30730] ppid=30727 vsize=10659884 memory=35088 CPUtime=0.32 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 6940 0 0 0 31 1 0 0 20 0 15 0 414566446 10915721216 8772 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2664971 8772 2987 1 0 2627468 0
[pid=30730/tid=30732] ppid=30727 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) R 30727 30730 29470 0 -1 4202560 3888 0 0 0 19 1 0 0 20 0 15 0 414566446 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305952473696 140305948263581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10659884 memory=3545097397412636320 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566448 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305438323488 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305437271152 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 746 0 0 0 3 0 0 0 20 0 15 0 414566451 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 15 0 414566451 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0.05 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 414566451 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566452 10915721216 8772 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35088 KiB

[startup+0.310051 s]*
/proc/loadavg: 1.99 1.77 1.61 4/228 30745
/proc/meminfo: memFree=31113096/32770624 swapFree=66994804/67108860
[pid=30730] ppid=30727 vsize=10659884 memory=40520 CPUtime=0.48 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 9499 0 0 0 45 3 0 0 20 0 15 0 414566446 10915721216 10130 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2664971 10130 3000 1 0 2627468 0
[pid=30730/tid=30732] ppid=30727 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) R 30727 30730 29470 0 -1 4202560 6368 0 0 0 28 2 0 0 20 0 15 0 414566446 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305952480480 140305948263581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10659884 memory=4297776180 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10659884 memory=4122678552064763552 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566447 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566448 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305438323488 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414566449 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305437271152 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 754 0 0 0 4 0 0 0 20 0 15 0 414566451 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) R 30727 30730 29470 0 -1 1077944384 272 0 0 0 4 0 0 0 20 0 15 0 414566451 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0.08 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) R 30727 30730 29470 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 414566451 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305433062256 140305927199562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10659884 memory=139726710187648 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566452 10915721216 10130 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40520 KiB

[startup+0.700794 s]
/proc/loadavg: 1.99 1.77 1.61 3/228 30745
/proc/meminfo: memFree=31105556/32770624 swapFree=66994804/67108860
[pid=30730] ppid=30727 vsize=10661932 memory=62100 CPUtime=1.1 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 12682 0 0 0 105 5 0 0 20 0 15 0 414566446 10917818368 15525 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2665483 15525 3059 1 0 2627980 0
[pid=30730/tid=30732] ppid=30727 vsize=10661932 memory=19996 CPUtime=0.68 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) R 30727 30730 29470 0 -1 4202560 8913 0 0 0 65 3 0 0 20 0 15 0 414566446 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305952473680 140305928513392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566447 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566448 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10661932 memory=19 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414566449 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305438323488 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10661932 memory=24 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414566449 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305437271152 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10661932 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 832 0 0 0 9 0 0 0 20 0 15 0 414566451 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10661932 memory=968 CPUtime=0.11 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) R 30727 30730 29470 0 -1 4202560 482 0 0 0 11 0 0 0 20 0 15 0 414566451 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305434114544 140305925836457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10661932 memory=66631 CPUtime=0.18 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 1095 0 0 0 18 0 0 0 20 0 15 0 414566451 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414566451 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566452 10917818368 15525 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62100 KiB

[startup+1.5008 s]
/proc/loadavg: 1.99 1.77 1.61 3/228 30745
/proc/meminfo: memFree=31089984/32770624 swapFree=66994804/67108860
[pid=30730] ppid=30727 vsize=10663980 memory=74616 CPUtime=1.99 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 18222 0 0 0 194 5 0 0 20 0 15 0 414566446 10919915520 18654 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2665995 18654 3090 1 0 2628492 0
[pid=30730/tid=30732] ppid=30727 vsize=10663980 memory=19996 CPUtime=1.48 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) R 30727 30730 29470 0 -1 4202560 13165 0 0 0 144 4 0 0 20 0 15 0 414566446 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305952473680 140305588315079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414566447 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414566447 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414566448 10919915520 18654 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0

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

[startup+134.401 s]
/proc/loadavg: 2.00 1.85 1.66 3/230 30764
/proc/meminfo: memFree=30924048/32770624 swapFree=66994816/67108860
[pid=30730] ppid=30727 vsize=10746276 memory=234360 CPUtime=136.88 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 49936 0 0 0 13671 17 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2686569 58590 3378 1 0 2646705 0
[pid=30730/tid=30732] ppid=30727 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) S 30727 30730 29470 0 -1 1077944384 15396 0 0 0 180 5 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305952484528 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10746276 memory=928 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1094 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10746276 memory=1604 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 246 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10746276 memory=1980 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 2098 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10746276 memory=234360 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 1300 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10746276 memory=4051464180187098180 CPUtime=0.01 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2271 0 0 0 1 0 0 0 20 0 16 0 414566448 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10746276 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305438323552 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10746276 memory=20020 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305437271168 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10746276 memory=3918243161926021152 CPUtime=0.75 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 5630 0 0 0 75 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10746276 memory=7598811100138176585 CPUtime=0.97 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 6814 0 0 0 97 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10746276 memory=2809602 CPUtime=0.48 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 4283 0 0 0 47 1 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10746276 memory=234344 CPUtime=0.02 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 351 0 0 0 0 2 0 0 20 0 16 0 414566452 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30746] ppid=30727 vsize=10746276 memory=6220 CPUtime=132.43 cores=1,3,5,7
/proc/30730/task/30746/stat : 30746 (java) R 30727 30730 29470 0 -1 4202560 9019 0 0 0 13240 3 0 0 20 0 16 0 414566633 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305414286416 140305590673093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 136.88 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234360 KiB

[startup+136.001 s]*
/proc/loadavg: 2.00 1.85 1.66 3/230 30764
/proc/meminfo: memFree=30924108/32770624 swapFree=66994816/67108860
[pid=30730] ppid=30727 vsize=10746276 memory=234360 CPUtime=138.49 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 49936 0 0 0 13832 17 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2686569 58590 3378 1 0 2646705 0
[pid=30730/tid=30732] ppid=30727 vsize=10746276 memory=1440 CPUtime=1.85 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) S 30727 30730 29470 0 -1 1077944384 15396 0 0 0 180 5 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305952484528 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10746276 memory=820 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1094 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10746276 memory=8317482817917895235 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 246 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10746276 memory=521920 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 2098 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10746276 memory=1404 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 1300 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10746276 memory=3044 CPUtime=0.01 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2271 0 0 0 1 0 0 0 20 0 16 0 414566448 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10746276 memory=234360 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305438323552 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10746276 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305437271168 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10746276 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10746276 memory=1384 CPUtime=0.75 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 5630 0 0 0 75 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10746276 memory=776 CPUtime=0.97 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 6814 0 0 0 97 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10746276 memory=1564 CPUtime=0.48 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 4283 0 0 0 47 1 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10746276 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10746276 memory=1052 CPUtime=0.02 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 351 0 0 0 0 2 0 0 20 0 16 0 414566452 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30746] ppid=30727 vsize=10746276 memory=6791534058613427641 CPUtime=134.04 cores=1,3,5,7
/proc/30730/task/30746/stat : 30746 (java) R 30727 30730 29470 0 -1 4202560 9019 0 0 0 13401 3 0 0 20 0 16 0 414566633 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305414286416 140305590672929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 138.49 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234360 KiB

[startup+136.801 s]
/proc/loadavg: 2.00 1.85 1.66 3/230 30764
/proc/meminfo: memFree=30924108/32770624 swapFree=66994816/67108860
[pid=30730] ppid=30727 vsize=10746276 memory=234360 CPUtime=139.28 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 49936 0 0 0 13911 17 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2686569 58590 3378 1 0 2646705 0
[pid=30730/tid=30732] ppid=30727 vsize=10746276 memory=6220 CPUtime=1.85 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) S 30727 30730 29470 0 -1 1077944384 15396 0 0 0 180 5 0 0 20 0 16 0 414566446 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305952484528 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10746276 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1094 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10746276 memory=288230621803970871 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 246 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10746276 memory=14136632290839084 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 2098 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10746276 memory=1808 CPUtime=0.06 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 1300 0 0 0 6 0 0 0 20 0 16 0 414566447 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10746276 memory=234360 CPUtime=0.01 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2271 0 0 0 1 0 0 0 20 0 16 0 414566448 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10746276 memory=234360 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305438323552 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10746276 memory=20020 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305437271168 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10746276 memory=2016 CPUtime=0.75 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 5630 0 0 0 75 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10746276 memory=1384 CPUtime=0.97 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 6814 0 0 0 97 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10746276 memory=776 CPUtime=0.48 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 4283 0 0 0 47 1 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10746276 memory=234360 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10746276 memory=1764 CPUtime=0.02 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 351 0 0 0 0 2 0 0 20 0 16 0 414566452 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30746] ppid=30727 vsize=10746276 memory=111632 CPUtime=134.83 cores=1,3,5,7
/proc/30730/task/30746/stat : 30746 (java) R 30727 30730 29470 0 -1 4202560 9019 0 0 0 13480 3 0 0 20 0 16 0 414566633 11004186624 58590 33554432000 4194304 4196468 140734454027664 140305414286416 140305590670806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 139.28 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234360 KiB

[startup+137.201 s]
/proc/loadavg: 2.00 1.85 1.66 3/230 30764
/proc/meminfo: memFree=30915916/32770624 swapFree=66994816/67108860
[pid=30730] ppid=30727 vsize=10746276 memory=242552 CPUtime=139.72 cores=1,3,5,7
/proc/30730/stat : 30730 (java) S 30727 30730 29470 0 -1 1077944320 49957 0 0 0 13954 18 0 0 20 0 16 0 414566446 11004186624 60638 33554432000 4194304 4196468 140734454027664 140734454010208 140305948241655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
/proc/30730/statm: 2686569 60638 3378 1 0 2646705 0
[pid=30730/tid=30732] ppid=30727 vsize=10746276 memory=820 CPUtime=1.85 cores=1,3,5,7
/proc/30730/task/30732/stat : 30732 (java) S 30727 30730 29470 0 -1 1077944384 15396 0 0 0 180 5 0 0 20 0 16 0 414566446 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305952484528 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30733] ppid=30727 vsize=10746276 memory=1764 CPUtime=0.07 cores=1,3,5,7
/proc/30730/task/30733/stat : 30733 (java) S 30727 30730 29470 0 -1 1077944384 1097 0 0 0 7 0 0 0 20 0 16 0 414566447 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305555446672 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30734] ppid=30727 vsize=10746276 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/30730/task/30734/stat : 30734 (java) S 30727 30730 29470 0 -1 1077944384 251 0 0 0 7 0 0 0 20 0 16 0 414566447 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305554393872 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30735] ppid=30727 vsize=10746276 memory=808 CPUtime=0.07 cores=1,3,5,7
/proc/30730/task/30735/stat : 30735 (java) S 30727 30730 29470 0 -1 1077944384 2103 0 0 0 7 0 0 0 20 0 16 0 414566447 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305553341584 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30736] ppid=30727 vsize=10746276 memory=1808 CPUtime=0.07 cores=1,3,5,7
/proc/30730/task/30736/stat : 30736 (java) S 30727 30730 29470 0 -1 1077944384 1303 0 0 0 7 0 0 0 20 0 16 0 414566447 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305552288784 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30737] ppid=30727 vsize=10746276 memory=3044 CPUtime=0.01 cores=1,3,5,7
/proc/30730/task/30737/stat : 30737 (java) S 30727 30730 29470 0 -1 1077944384 2274 0 0 0 1 0 0 0 20 0 16 0 414566448 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305439377520 140305948252802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30738] ppid=30727 vsize=10746276 memory=238436 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30738/stat : 30738 (java) S 30727 30730 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305438323552 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30739] ppid=30727 vsize=10746276 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30739/stat : 30739 (java) S 30727 30730 29470 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414566449 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305437271168 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30740] ppid=30727 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30740/stat : 30740 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305436219472 140305948260251 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30741] ppid=30727 vsize=10746276 memory=271695336239127 CPUtime=0.75 cores=1,3,5,7
/proc/30730/task/30741/stat : 30741 (java) S 30727 30730 29470 0 -1 1077944384 5630 0 0 0 75 0 0 0 20 0 16 0 414566451 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305435167344 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30742] ppid=30727 vsize=10746276 memory=271695336239128 CPUtime=0.97 cores=1,3,5,7
/proc/30730/task/30742/stat : 30742 (java) S 30727 30730 29470 0 -1 1077944384 6814 0 0 0 97 0 0 0 20 0 16 0 414566451 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305434114544 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30743] ppid=30727 vsize=10746276 memory=234360 CPUtime=0.48 cores=1,3,5,7
/proc/30730/task/30743/stat : 30743 (java) S 30727 30730 29470 0 -1 1077944384 4283 0 0 0 47 1 0 0 20 0 16 0 414566451 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305433062256 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30744] ppid=30727 vsize=10746276 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/30730/task/30744/stat : 30744 (java) S 30727 30730 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414566451 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305432009696 140305948251861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30745] ppid=30727 vsize=10746276 memory=2940 CPUtime=0.02 cores=1,3,5,7
/proc/30730/task/30745/stat : 30745 (java) S 30727 30730 29470 0 -1 1077944384 351 0 0 0 0 2 0 0 20 0 16 0 414566452 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305430956464 140305948252802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
[pid=30730/tid=30746] ppid=30727 vsize=10746276 memory=2940 CPUtime=135.22 cores=1,3,5,7
/proc/30730/task/30746/stat : 30746 (java) R 30727 30730 29470 0 -1 4202560 9021 0 0 0 13519 3 0 0 20 0 16 0 414566633 11004186624 60638 33554432000 4194304 4196468 140734454027664 140305414294768 140305590661895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29839360 140734454035467 140734454035570 140734454035570 140734454038479 0
Current children cumulated CPU time: 139.72 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 242552 KiB

Child status: 0
Real time (s): 137.251
CPU time (s): 139.782
CPU user time (s): 139.594
CPU system time (s): 0.187178
CPU usage (%): 101.844
Max. virtual memory (cumulated for all children) (KiB): 10747300
Max. memory (cumulated for all children) (KiB): 242552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.594
system time used= 0.187178
maximum resident set size= 242692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5690
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 30730
#   total CPU time (s): 139.782
#   total CPU user time (s): 139.594
#   total CPU system time (s): 0.187178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.770102 second user time and 1.23216 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-13 15:58:25
IDJOB=4390688
IDBENCH=133229
IDSOLVER=2832
FILE ID=node102/4390688-1568383150
RUNJOBID= node102-1568380472-29502
PBS_JOBID= 21701852
Free space on /tmp= 56896 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-12-sum.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390688-1568383150/watcher-4390688-1568383150 -o /tmp/evaluation-result-4390688-1568383150/solver-4390688-1568383150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29502 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390688-1568383150.xml -cm

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

MD5SUM BENCH= 72f076078db8222856487e1257170ccd
RANDOM SEED=546819354

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31144420 kB
MemAvailable:   31407024 kB
Buffers:          139952 kB
Cached:           413292 kB
SwapCached:        10184 kB
Active:           764508 kB
Inactive:         314104 kB
Active(anon):     522340 kB
Inactive(anon):    33616 kB
Active(file):     242168 kB
Inactive(file):   280488 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66994804 kB
Dirty:              8692 kB
Writeback:             0 kB
AnonPages:        333548 kB
Mapped:            46476 kB
Shmem:             21836 kB
Slab:             139828 kB
SReclaimable:     111564 kB
SUnreclaim:        28264 kB
KernelStack:        4048 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1408068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56888 MiB
End job on node102 at 2019-09-13 16:00:42