Trace number 4390633

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-23UNSAT 13.2742 10.3932

DiagnosticValue
WRONG_DECISIONS22004

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-29.xml
MD5SUM91ee56688d10982c4440a8b03ad88e11
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.38861
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree109
Maximum variable degree120
Distribution of variable degrees[{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":1},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":5},{"degree":116,"count":4},{"degree":117,"count":1},{"degree":119,"count":1},{"degree":120,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
Optimization problemNO
Type of objective

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
3.66/2.33	  Instance
3.66/2.33	    name=instance-4390633-1568381085, framework=CSP
3.66/2.33	
3.66/2.33	  Loading variables...
3.96/2.48	  Loading constraints...
4.99/3.19	
4.99/3.19	  Domains
4.99/3.19	    nTypes=1, nValues=42, sizes=[2#21]
4.99/3.20	  Variables
4.99/3.20	    count=21, degrees=[109#1,110#1,111#1,112#4...116#4,117#1,119#1,120#1]
4.99/3.20	  Constraints
4.99/3.20	    count=133, nSpecific=133, arities=[18#133]
4.99/3.20	    distribution=[CtrExtensionCT-Table#133]
4.99/3.20	    tables=[57992#133], nTotalTuples=7712936
4.99/3.20	    nExtStructures=(1,shared:132)
4.99/3.20	    wck=1.355, cpu=3.157, mem=165M630
5.39/3.32	  Solver SolverBacktrack being built...
5.39/3.32	
5.39/3.35	
5.39/3.35	  Solver
5.39/3.35	    guaranteedGAC=true
5.39/3.35	    wck=1.507, cpu=3.269, mem=130M248
5.88/3.52	
5.88/3.52	  Preprocessing
5.88/3.52	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.88/3.52	    wck=0.011, cpu=3.281, mem=130M248
5.88/3.52	
5.88/3.52	    num=0, depth=9..15, filters=88, wck=0.049, mem=130M248
5.88/3.52	    decisions=49, wrong=19, backtracks=14, failedAssignments=10, nogoods=2
5.88/3.52	    nFilterCalls=4704, avgTableProportion=0.9999827562423098, avgTableSize=57991.0
5.88/3.52	    
5.88/3.52	    num=1, depth=9..14, filters=207, wck=0.119, mem=130M248
5.88/3.52	    decisions=111, wrong=45, backtracks=34, failedAssignments=21, nogoods=5
5.88/3.52	    nFilterCalls=9915, avgTableProportion=0.9999827562423512, avgTableSize=57991.0
5.88/3.52	    
5.88/3.52	    num=2, depth=8..13, filters=306, wck=0.134, mem=130M248
5.88/3.52	    decisions=163, wrong=66, backtracks=51, failedAssignments=33, nogoods=7
5.88/3.52	    nFilterCalls=14438, avgTableProportion=0.999982756242363, avgTableSize=57991.0
5.88/3.52	    
5.88/3.52	    num=3, depth=8..14, filters=417, wck=0.175, mem=130M248
5.88/3.52	    decisions=219, wrong=90, backtracks=70, failedAssignments=46, nogoods=8
5.88/3.52	    nFilterCalls=18705, avgTableProportion=0.9999827562423689, avgTableSize=57991.0
5.88/3.52	    
5.88/3.54	    num=4, depth=8..13, filters=564, wck=0.189, mem=130M248
5.88/3.54	    decisions=290, wrong=121, backtracks=96, failedAssignments=60, nogoods=10
5.88/3.54	    nFilterCalls=24671, avgTableProportion=0.9999827562423736, avgTableSize=57991.0
5.88/3.54	    
5.88/3.56	    num=5, depth=8..13, filters=682, wck=0.215, mem=130M248
5.88/3.56	    decisions=356, wrong=149, backtracks=118, failedAssignments=76, nogoods=13
5.88/3.56	    nFilterCalls=30402, avgTableProportion=0.9999827562423765, avgTableSize=57991.0
5.88/3.56	    
5.88/3.58	    num=6, depth=8..14, filters=848, wck=0.234, mem=130M248
5.88/3.58	    decisions=439, wrong=186, backtracks=150, failedAssignments=93, nogoods=16
5.88/3.58	    nFilterCalls=37727, avgTableProportion=0.9999827562423789, avgTableSize=57991.0
5.88/3.58	    
6.00/3.62	    num=7, depth=7..13, filters=1020, wck=0.27, mem=130M248
6.00/3.62	    decisions=526, wrong=226, backtracks=185, failedAssignments=112, nogoods=17
6.00/3.62	    nFilterCalls=44820, avgTableProportion=0.9999827562423804, avgTableSize=57991.0
6.00/3.62	    
6.00/3.64	    num=8, depth=7..13, filters=1216, wck=0.29, mem=130M248
6.00/3.64	    decisions=617, wrong=267, backtracks=217, failedAssignments=133, nogoods=20
6.00/3.64	    nFilterCalls=52224, avgTableProportion=0.9999827562423816, avgTableSize=57991.0
6.00/3.64	    
6.00/3.68	    num=9, depth=7..13, filters=1419, wck=0.337, mem=131M569
6.00/3.68	    decisions=715, wrong=311, backtracks=252, failedAssignments=156, nogoods=23
6.00/3.68	    nFilterCalls=60908, avgTableProportion=0.9999827562423826, avgTableSize=57991.0
6.00/3.68	    
6.18/3.71	    num=10, depth=7..14, filters=1646, wck=0.36, mem=131M569
6.18/3.71	    decisions=827, wrong=362, backtracks=292, failedAssignments=181, nogoods=26
6.18/3.71	    nFilterCalls=70397, avgTableProportion=0.9999827562423835, avgTableSize=57991.0
6.18/3.71	    
6.18/3.73	    num=11, depth=7..14, filters=1890, wck=0.386, mem=131M569
6.18/3.73	    decisions=942, wrong=415, backtracks=336, failedAssignments=209, nogoods=30
6.18/3.73	    nFilterCalls=79925, avgTableProportion=0.9999827562423841, avgTableSize=57991.0
6.18/3.73	    
6.18/3.76	    num=12, depth=7..13, filters=2166, wck=0.411, mem=131M569
6.18/3.76	    decisions=1073, wrong=476, backtracks=387, failedAssignments=240, nogoods=33
6.18/3.76	    nFilterCalls=90756, avgTableProportion=0.9999827562423846, avgTableSize=57991.0
6.18/3.76	    
6.18/3.79	    num=13, depth=7..14, filters=2480, wck=0.443, mem=131M569
6.18/3.79	    decisions=1220, wrong=545, backtracks=443, failedAssignments=274, nogoods=37
6.18/3.79	    nFilterCalls=102685, avgTableProportion=0.9999827562423852, avgTableSize=57991.0
6.18/3.79	    
6.30/3.81	    num=14, depth=7..13, filters=2845, wck=0.468, mem=131M569
6.30/3.81	    decisions=1373, wrong=618, backtracks=505, failedAssignments=311, nogoods=40
6.30/3.81	    nFilterCalls=114411, avgTableProportion=0.9999827562423855, avgTableSize=57991.0
6.30/3.81	    
6.30/3.84	    num=15, depth=7..14, filters=3226, wck=0.497, mem=131M569
6.30/3.84	    decisions=1547, wrong=701, backtracks=574, failedAssignments=352, nogoods=45
6.30/3.84	    nFilterCalls=128467, avgTableProportion=0.9999827562423859, avgTableSize=57991.0
6.30/3.84	    
6.30/3.88	    num=16, depth=7..14, filters=3617, wck=0.533, mem=131M569
6.30/3.88	    decisions=1728, wrong=788, backtracks=646, failedAssignments=397, nogoods=50
6.30/3.88	    nFilterCalls=142444, avgTableProportion=0.9999827562423862, avgTableSize=57991.0
6.30/3.88	    
6.42/3.92	    num=17, depth=6..14, filters=4047, wck=0.571, mem=131M569
6.42/3.92	    decisions=1928, wrong=883, backtracks=729, failedAssignments=447, nogoods=54
6.42/3.92	    nFilterCalls=158519, avgTableProportion=0.9999827562423865, avgTableSize=57991.0
6.42/3.92	    
6.42/3.96	    num=18, depth=6..14, filters=4553, wck=0.614, mem=131M569
6.42/3.96	    decisions=2159, wrong=995, backtracks=826, failedAssignments=502, nogoods=56
6.42/3.96	    nFilterCalls=176760, avgTableProportion=0.9999827562423867, avgTableSize=57991.0
6.42/3.96	    
6.42/4.00	    num=19, depth=6..14, filters=5080, wck=0.65, mem=131M569
6.42/4.00	    decisions=2409, wrong=1116, backtracks=931, failedAssignments=563, nogoods=60
6.42/4.00	    nFilterCalls=195411, avgTableProportion=0.999982756242387, avgTableSize=57991.0
6.42/4.00	    
6.55/4.06	    num=20, depth=6..14, filters=5665, wck=0.711, mem=131M569
6.55/4.06	    decisions=2673, wrong=1244, backtracks=1047, failedAssignments=630, nogoods=63
6.55/4.06	    nFilterCalls=217070, avgTableProportion=0.9999827562423871, avgTableSize=57991.0
6.55/4.06	    
6.55/4.10	    num=21, depth=6..13, filters=6336, wck=0.757, mem=131M569
6.55/4.10	    decisions=2974, wrong=1390, backtracks=1172, failedAssignments=704, nogoods=68
6.55/4.10	    nFilterCalls=240989, avgTableProportion=0.9999827562423873, avgTableSize=57991.0
6.55/4.10	    
6.65/4.16	    num=22, depth=6..13, filters=7010, wck=0.816, mem=131M569
6.65/4.16	    decisions=3283, wrong=1541, backtracks=1303, failedAssignments=785, nogoods=73
6.65/4.16	    nFilterCalls=265979, avgTableProportion=0.9999827562419683, avgTableSize=57991.0
6.65/4.16	    
6.78/4.22	    num=23, depth=5..14, filters=7801, wck=0.87, mem=131M569
6.78/4.22	    decisions=3648, wrong=1720, backtracks=1464, failedAssignments=874, nogoods=76
6.78/4.22	    nFilterCalls=293922, avgTableProportion=0.9999827562392415, avgTableSize=57991.0
6.78/4.22	    
6.78/4.28	    num=24, depth=6..14, filters=8602, wck=0.932, mem=131M569
6.78/4.28	    decisions=4010, wrong=1897, backtracks=1622, failedAssignments=972, nogoods=81
6.78/4.28	    nFilterCalls=322503, avgTableProportion=0.9999827562369411, avgTableSize=57991.0
6.78/4.28	    
6.88/4.36	    num=25, depth=5..14, filters=9561, wck=1.011, mem=131M569
6.88/4.36	    decisions=4435, wrong=2106, backtracks=1807, failedAssignments=1080, nogoods=84
6.88/4.36	    nFilterCalls=357820, avgTableProportion=0.9999827562346063, avgTableSize=57991.0
6.88/4.36	    
7.03/4.42	    num=26, depth=5..14, filters=10515, wck=1.073, mem=131M569
7.03/4.42	    decisions=4875, wrong=2323, backtracks=1992, failedAssignments=1199, nogoods=87
7.03/4.42	    nFilterCalls=393541, avgTableProportion=0.999982756232671, avgTableSize=57991.0
7.03/4.42	    
7.03/4.48	    num=27, depth=5..14, filters=11606, wck=1.138, mem=131M569
7.03/4.48	    decisions=5382, wrong=2572, backtracks=2211, failedAssignments=1330, nogoods=90
7.03/4.48	    nFilterCalls=433852, avgTableProportion=0.9999827562308697, avgTableSize=57991.0
7.03/4.48	    
7.23/4.61	    num=28, depth=5..14, filters=12888, wck=1.264, mem=131M569
7.23/4.61	    decisions=5968, wrong=2861, backtracks=2467, failedAssignments=1474, nogoods=95
7.23/4.61	    nFilterCalls=479307, avgTableProportion=0.9999827562292021, avgTableSize=57991.0
7.23/4.61	    
7.23/4.69	    num=29, depth=5..14, filters=14201, wck=1.349, mem=131M569
7.23/4.69	    decisions=6567, wrong=3157, backtracks=2726, failedAssignments=1632, nogoods=100
7.23/4.69	    nFilterCalls=523927, avgTableProportion=0.9999827562278465, avgTableSize=57991.0
7.23/4.69	    
7.33/4.79	    num=30, depth=4..13, filters=15728, wck=1.443, mem=131M569
7.33/4.79	    decisions=7259, wrong=3499, backtracks=3019, failedAssignments=1806, nogoods=102
7.33/4.79	    nFilterCalls=579347, avgTableProportion=0.9999827562264536, avgTableSize=57991.0
7.33/4.79	    
7.56/4.95	    num=31, depth=4..14, filters=17377, wck=1.599, mem=131M569
7.56/4.95	    decisions=8007, wrong=3869, backtracks=3343, failedAssignments=1997, nogoods=107
7.56/4.95	    nFilterCalls=640504, avgTableProportion=0.9999827562251962, avgTableSize=57991.0
7.56/4.95	    
7.73/5.08	    num=32, depth=4..13, filters=19171, wck=1.733, mem=131M569
7.73/5.08	    decisions=8811, wrong=4268, backtracks=3690, failedAssignments=2208, nogoods=111
7.73/5.08	    nFilterCalls=705331, avgTableProportion=0.9999827562241015, avgTableSize=57991.0
7.73/5.08	    
7.92/5.23	    num=33, depth=4..13, filters=21137, wck=1.881, mem=131M569
7.92/5.23	    decisions=9708, wrong=4713, backtracks=4067, failedAssignments=2440, nogoods=117
7.92/5.23	    nFilterCalls=775713, avgTableProportion=0.99998275622312, avgTableSize=57991.0
7.92/5.23	    
8.05/5.35	    num=34, depth=4..13, filters=23195, wck=2.0, mem=131M569
8.05/5.35	    decisions=10676, wrong=5195, backtracks=4495, failedAssignments=2695, nogoods=126
8.05/5.35	    nFilterCalls=853866, avgTableProportion=0.9999827562222199, avgTableSize=57991.0
8.05/5.35	    
8.26/5.54	    num=35, depth=4..14, filters=25495, wck=2.189, mem=131M569
8.26/5.54	    decisions=11715, wrong=5711, backtracks=4959, failedAssignments=2976, nogoods=130
8.26/5.54	    nFilterCalls=935099, avgTableProportion=0.9999827562214437, avgTableSize=57991.0
8.26/5.54	    
8.46/5.70	    num=36, depth=3..14, filters=27923, wck=2.356, mem=131M569
8.46/5.70	    decisions=12852, wrong=6276, backtracks=5454, failedAssignments=3285, nogoods=136
8.46/5.70	    nFilterCalls=1023638, avgTableProportion=0.9999827562207381, avgTableSize=57991.0
8.46/5.70	    
8.56/5.87	    num=37, depth=3..14, filters=30744, wck=2.521, mem=131M569
8.56/5.87	    decisions=14168, wrong=6930, backtracks=6033, failedAssignments=3625, nogoods=141
8.56/5.87	    nFilterCalls=1124878, avgTableProportion=0.999982756227962, avgTableSize=57991.0
8.56/5.87	    
8.77/6.05	    num=38, depth=3..13, filters=33841, wck=2.701, mem=131M569
8.77/6.05	    decisions=15590, wrong=7639, backtracks=6667, failedAssignments=3999, nogoods=146
8.77/6.05	    nFilterCalls=1237399, avgTableProportion=0.9999827562372134, avgTableSize=57991.0
8.77/6.05	    
9.06/6.35	    num=39, depth=3..14, filters=37134, wck=3.002, mem=131M569
9.06/6.35	    decisions=17077, wrong=8379, backtracks=7335, failedAssignments=4410, nogoods=151
9.06/6.35	    nFilterCalls=1356523, avgTableProportion=0.9999827562453352, avgTableSize=57991.0
9.06/6.35	    
9.27/6.54	    num=40, depth=3..14, filters=40784, wck=3.196, mem=131M569
9.27/6.54	    decisions=18759, wrong=9218, backtracks=8087, failedAssignments=4862, nogoods=157
9.27/6.54	    nFilterCalls=1484475, avgTableProportion=0.9999827562526069, avgTableSize=57991.0
9.27/6.54	    
9.47/6.79	    num=41, depth=2..14, filters=44650, wck=3.443, mem=131M569
9.47/6.79	    decisions=20568, wrong=10119, backtracks=8899, failedAssignments=5359, nogoods=162
9.47/6.79	    nFilterCalls=1625354, avgTableProportion=0.9999827562592891, avgTableSize=57991.0
9.47/6.79	    
9.78/7.07	    num=42, depth=2..13, filters=49073, wck=3.72, mem=134M165
9.78/7.07	    decisions=22637, wrong=11150, backtracks=9805, failedAssignments=5906, nogoods=166
9.78/7.07	    nFilterCalls=1786176, avgTableProportion=0.9999827562656287, avgTableSize=57991.0
9.78/7.07	    
10.17/7.40	    num=43, depth=2..12, filters=54189, wck=4.055, mem=134M165
10.17/7.40	    decisions=24931, wrong=12294, backtracks=10823, failedAssignments=6508, nogoods=171
10.17/7.40	    nFilterCalls=1968572, avgTableProportion=0.9999827562715652, avgTableSize=57991.0
10.17/7.40	    
10.57/7.87	    num=44, depth=2..13, filters=59211, wck=4.524, mem=134M165
10.57/7.87	    decisions=27296, wrong=13474, backtracks=11899, failedAssignments=7170, nogoods=178
10.57/7.87	    nFilterCalls=2147280, avgTableProportion=0.999982756270972, avgTableSize=57991.0
10.57/7.87	    
10.97/8.24	    num=45, depth=1..14, filters=65011, wck=4.889, mem=134M165
10.97/8.24	    decisions=29993, wrong=14820, backtracks=13106, failedAssignments=7898, nogoods=183
10.97/8.24	    nFilterCalls=2353151, avgTableProportion=0.9999827562557403, avgTableSize=57991.0
10.97/8.24	    
11.38/8.67	    num=46, depth=2..13, filters=71269, wck=5.322, mem=134M165
11.38/8.67	    decisions=32916, wrong=16280, backtracks=14407, failedAssignments=8699, nogoods=192
11.38/8.67	    nFilterCalls=2583112, avgTableProportion=0.9999827562415968, avgTableSize=57991.0
11.38/8.67	    
11.79/9.05	    num=47, depth=1..12, filters=78321, wck=5.707, mem=134M165
11.79/9.05	    decisions=36168, wrong=17903, backtracks=15872, failedAssignments=9580, nogoods=197
11.79/9.05	    nFilterCalls=2841398, avgTableProportion=0.999982756228441, avgTableSize=57991.0
11.79/9.05	    
12.67/9.81	    num=48, depth=0..13, filters=85958, wck=6.463, mem=134M165
12.67/9.81	    decisions=39692, wrong=19662, backtracks=17455, failedAssignments=10550, nogoods=201
12.67/9.81	    nFilterCalls=3117065, avgTableProportion=0.9999827562168051, avgTableSize=57991.0
12.67/9.81	    
13.07/10.28	    num=49, depth=0..11, filters=94336, wck=6.939, mem=134M165
13.07/10.28	    decisions=43585, wrong=21607, backtracks=19214, failedAssignments=11617, nogoods=207
13.07/10.28	    nFilterCalls=3415147, avgTableProportion=0.9999827562063368, avgTableSize=57991.0
13.07/10.28	    
13.17/10.38	    num=50, depth=0..9, filters=96034, wck=7.033, mem=134M165
13.17/10.38	    decisions=44377, wrong=22004, backtracks=19566, failedAssignments=11830, nogoods=207
13.17/10.38	    nFilterCalls=3476478, avgTableProportion=0.9999827562044057, avgTableSize=57991.0
13.17/10.38	    
13.17/10.38	  Global
13.17/10.38	    filters=96034, nogoods=207
13.17/10.38	    Stop=FULL_EXPLORATION, wrong=22004, wck=8.542, cpu=10.303, mem=134M165
13.17/10.38	
13.17/10.38	s UNSATISFIABLE
13.17/10.38	
13.17/10.38	d WRONG_DECISIONS 22004

Verifier Data


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

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

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

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


[startup+0.10285 s]*
/proc/loadavg: 1.88 1.56 0.86 4/229 32615
/proc/meminfo: memFree=26435108/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10659884 memory=28216 CPUtime=0.14 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 5509 0 0 0 14 0 0 0 20 0 15 0 414022375 10915721216 7054 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2664971 7054 2910 1 0 2627468 0
[pid=32600/tid=32602] ppid=32597 vsize=10659884 memory=-8197568871503271041 CPUtime=0.09 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) R 32597 32600 32084 0 -1 4202560 3213 0 0 0 9 0 0 0 20 0 15 0 414022375 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648907688848 139648896175703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022377 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648461480992 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648460428144 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) R 32597 32600 32084 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 15 0 414022380 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) R 32597 32600 32084 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648457272048 139648883319225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0.02 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) R 32597 32600 32084 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 414022380 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648456219248 139648887539038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022381 10915721216 7054 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28216 KiB

[startup+0.211532 s]*
/proc/loadavg: 1.88 1.56 0.86 3/229 32615
/proc/meminfo: memFree=26427356/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10659884 memory=35372 CPUtime=0.33 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 6977 0 0 0 32 1 0 0 20 0 15 0 414022375 10915721216 8843 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2664971 8843 2989 1 0 2627468 0
[pid=32600/tid=32602] ppid=32597 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) R 32597 32600 32084 0 -1 4202560 3872 0 0 0 20 0 0 0 20 0 15 0 414022375 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648907690640 139648903480477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10659884 memory=140364614123549 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022377 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648461480992 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648460428144 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 722 0 0 0 3 0 0 0 20 0 15 0 414022380 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) S 32597 32600 32084 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 414022380 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648457272048 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 414022380 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022381 10915721216 8843 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35372 KiB

[startup+0.309864 s]*
/proc/loadavg: 1.88 1.56 0.86 3/229 32615
/proc/meminfo: memFree=26419140/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10659884 memory=40772 CPUtime=0.47 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 9638 0 0 0 45 2 0 0 20 0 15 0 414022375 10915721216 10193 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2664971 10193 3002 1 0 2627468 0
[pid=32600/tid=32602] ppid=32597 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) R 32597 32600 32084 0 -1 4202560 6463 0 0 0 28 2 0 0 20 0 15 0 414022375 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648907678704 139648529707413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10659884 memory=288230596118052887 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10659884 memory=140364614122589 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022376 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022377 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648461480992 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414022378 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648460428144 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) R 32597 32600 32084 0 -1 1077944384 764 0 0 0 4 0 0 0 20 0 15 0 414022380 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) R 32597 32600 32084 0 -1 4202560 318 0 0 0 3 0 0 0 20 0 15 0 414022380 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648457272048 139648883316432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0.08 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) R 32597 32600 32084 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 414022380 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648456219248 139648882423600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10659884 memory=140364614092416 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022381 10915721216 10193 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40772 KiB

[startup+0.700741 s]
/proc/loadavg: 1.88 1.56 0.86 3/229 32615
/proc/meminfo: memFree=26410420/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10661932 memory=64144 CPUtime=1.11 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 13141 0 0 0 107 4 0 0 20 0 15 0 414022375 10917818368 16036 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2665483 16036 3073 1 0 2627980 0
[pid=32600/tid=32602] ppid=32597 vsize=10661932 memory=1368 CPUtime=0.67 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) R 32597 32600 32084 0 -1 4202560 8891 0 0 0 64 3 0 0 20 0 15 0 414022375 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648907690576 139648903472415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10661932 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10661932 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10661932 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022376 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10661932 memory=732 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022377 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414022378 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648461480992 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414022378 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648460428144 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10661932 memory=7739276948478127207 CPUtime=0.11 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 1061 0 0 0 11 0 0 0 20 0 15 0 414022380 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10661932 memory=5865188000529146989 CPUtime=0.12 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) R 32597 32600 32084 0 -1 4202560 591 0 0 0 12 0 0 0 20 0 15 0 414022380 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648457272048 139648888584818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 1239 0 0 0 18 0 0 0 20 0 15 0 414022380 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414022380 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022381 10917818368 16036 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64144 KiB

[startup+1.50074 s]
/proc/loadavg: 1.88 1.56 0.86 3/229 32615
/proc/meminfo: memFree=26394228/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10663980 memory=76068 CPUtime=2.01 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 18799 0 0 0 196 5 0 0 20 0 15 0 414022375 10919915520 19017 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2665995 19017 3095 1 0 2628492 0
[pid=32600/tid=32602] ppid=32597 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) R 32597 32600 32084 0 -1 4202560 13177 0 0 0 144 4 0 0 20 0 15 0 414022375 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648907690576 139648887539038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10663980 memory=6155685578397870182 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10663980 memory=7811043120814189401 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10663980 memory=7884513591136183914 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414022376 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10663980 memory=7883947321492137814 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414022376 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10663980 memory=7523657268308569426 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414022377 10919915520 19017 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0

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

[startup+9.60079 s]
/proc/loadavg: 1.89 1.57 0.87 3/230 32616
/proc/meminfo: memFree=26151188/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10746276 memory=310768 CPUtime=12.47 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 31575 0 0 0 1224 23 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2686569 77692 3374 1 0 2646705 0
[pid=32600/tid=32602] ppid=32597 vsize=10746276 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) S 32597 32600 32084 0 -1 1077944384 15401 0 0 0 179 5 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648907701424 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10746276 memory=280366875213491 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10746276 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10746276 memory=288230574492221466 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10746276 memory=288230617509003574 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 382 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10746276 memory=15252640887999028 CPUtime=0.01 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 16 0 414022377 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648461481056 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10746276 memory=14955 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648460428160 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10746276 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10746276 memory=310568 CPUtime=1.08 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 2971 0 0 0 108 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10746276 memory=2020 CPUtime=1 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) S 32597 32600 32084 0 -1 1077944384 2798 0 0 0 100 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648457272048 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10746276 memory=988 CPUtime=0.59 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 2443 0 0 0 58 1 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10746276 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10746276 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414022381 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32616] ppid=32597 vsize=10746276 memory=1712 CPUtime=7.64 cores=1,3,5,7
/proc/32600/task/32616/stat : 32616 (java) R 32597 32600 32084 0 -1 4202560 4594 0 0 0 761 3 0 0 20 0 16 0 414022562 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648369270016 139648535936322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 310768 KiB

[startup+10.0007 s]*
/proc/loadavg: 1.90 1.57 0.87 3/230 32616
/proc/meminfo: memFree=26151188/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10746276 memory=310768 CPUtime=12.88 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 31577 0 0 0 1265 23 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2686569 77692 3374 1 0 2646705 0
[pid=32600/tid=32602] ppid=32597 vsize=10746276 memory=7956005031678667109 CPUtime=1.84 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) S 32597 32600 32084 0 -1 1077944384 15401 0 0 0 179 5 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648907701424 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10746276 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10746276 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10746276 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10746276 memory=1368 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 382 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10746276 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 16 0 414022377 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10746276 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648461481056 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10746276 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648460428160 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10746276 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10746276 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 2971 0 0 0 108 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10746276 memory=0 CPUtime=1 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) S 32597 32600 32084 0 -1 1077944384 2798 0 0 0 100 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648457272048 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10746276 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 2443 0 0 0 58 1 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10746276 memory=479 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414022381 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32616] ppid=32597 vsize=10746276 memory=33 CPUtime=8.05 cores=1,3,5,7
/proc/32600/task/32616/stat : 32616 (java) R 32597 32600 32084 0 -1 4202560 4596 0 0 0 802 3 0 0 20 0 16 0 414022562 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648369270016 139648535445767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 12.88 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 310768 KiB

[startup+10.2007 s]
/proc/loadavg: 1.90 1.57 0.87 3/230 32616
/proc/meminfo: memFree=26151188/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10746276 memory=310768 CPUtime=13.07 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 31582 0 0 0 1284 23 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2686569 77692 3374 1 0 2646705 0
[pid=32600/tid=32602] ppid=32597 vsize=10746276 memory=301741394966618876 CPUtime=1.84 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) S 32597 32600 32084 0 -1 1077944384 15401 0 0 0 179 5 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648907701424 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10746276 memory=3978425814810376372 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10746276 memory=6944656592455359580 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10746276 memory=6944656592455359580 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10746276 memory=6944656575208382560 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 382 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10746276 memory=4206186544037388384 CPUtime=0.01 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 16 0 414022377 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10746276 memory=-3472574513799858002 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648461481056 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10746276 memory=7883944108232294500 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648460428160 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10746276 memory=5859271421085237344 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10746276 memory=7235402664094228560 CPUtime=1.08 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 2971 0 0 0 108 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10746276 memory=7235402664094228560 CPUtime=1 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) S 32597 32600 32084 0 -1 1077944384 2798 0 0 0 100 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648457272048 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10746276 memory=140364614092288 CPUtime=0.59 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 2443 0 0 0 58 1 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10746276 memory=3539886710277027376 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414022381 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32616] ppid=32597 vsize=10746276 memory=0 CPUtime=8.24 cores=1,3,5,7
/proc/32600/task/32616/stat : 32616 (java) R 32597 32600 32084 0 -1 4202560 4596 0 0 0 821 3 0 0 20 0 16 0 414022562 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648369270016 139648535448343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 13.07 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 310768 KiB

[startup+10.3007 s]
/proc/loadavg: 1.90 1.57 0.87 3/230 32616
/proc/meminfo: memFree=26151188/32770624 swapFree=66957012/67108860
[pid=32600] ppid=32597 vsize=10746276 memory=310768 CPUtime=13.17 cores=1,3,5,7
/proc/32600/stat : 32600 (java) S 32597 32600 32084 0 -1 1077944320 31582 0 0 0 1294 23 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 140729138139408 139648903458551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
/proc/32600/statm: 2686569 77692 3374 1 0 2646705 0
[pid=32600/tid=32602] ppid=32597 vsize=10746276 memory=310740 CPUtime=1.84 cores=1,3,5,7
/proc/32600/task/32602/stat : 32602 (java) S 32597 32600 32084 0 -1 1077944384 15401 0 0 0 179 5 0 0 20 0 16 0 414022375 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648907701424 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32603] ppid=32597 vsize=10746276 memory=310736 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32603/stat : 32603 (java) S 32597 32600 32084 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648856079504 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32604] ppid=32597 vsize=10746276 memory=310688 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32604/stat : 32604 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648855026704 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32605] ppid=32597 vsize=10746276 memory=6944656575208382560 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32605/stat : 32605 (java) S 32597 32600 32084 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648853973904 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32606] ppid=32597 vsize=10746276 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/32600/task/32606/stat : 32606 (java) S 32597 32600 32084 0 -1 1077944384 382 0 0 0 3 2 0 0 20 0 16 0 414022376 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648852921104 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32607] ppid=32597 vsize=10746276 memory=310736 CPUtime=0.01 cores=1,3,5,7
/proc/32600/task/32607/stat : 32607 (java) S 32597 32600 32084 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 16 0 414022377 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648462535024 139648903469698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32608] ppid=32597 vsize=10746276 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32608/stat : 32608 (java) S 32597 32600 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648461481056 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32609] ppid=32597 vsize=10746276 memory=-7887927021948682183 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32609/stat : 32609 (java) S 32597 32600 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414022378 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648460428160 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32610] ppid=32597 vsize=10746276 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32610/stat : 32610 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648459376464 139648903477147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32611] ppid=32597 vsize=10746276 memory=57 CPUtime=1.08 cores=1,3,5,7
/proc/32600/task/32611/stat : 32611 (java) S 32597 32600 32084 0 -1 1077944384 2971 0 0 0 108 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648458324848 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32612] ppid=32597 vsize=10746276 memory=0 CPUtime=1 cores=1,3,5,7
/proc/32600/task/32612/stat : 32612 (java) S 32597 32600 32084 0 -1 1077944384 2798 0 0 0 100 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648457272048 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32613] ppid=32597 vsize=10746276 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/32600/task/32613/stat : 32613 (java) S 32597 32600 32084 0 -1 1077944384 2443 0 0 0 58 1 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648456219248 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32614] ppid=32597 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32614/stat : 32614 (java) S 32597 32600 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414022380 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648455166688 139648903468757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32615] ppid=32597 vsize=10746276 memory=280366875213500 CPUtime=0 cores=1,3,5,7
/proc/32600/task/32615/stat : 32615 (java) S 32597 32600 32084 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414022381 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648454113968 139648903469698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
[pid=32600/tid=32616] ppid=32597 vsize=10746276 memory=280366875213501 CPUtime=8.34 cores=1,3,5,7
/proc/32600/task/32616/stat : 32616 (java) R 32597 32600 32084 0 -1 4202560 4596 0 0 0 831 3 0 0 20 0 16 0 414022562 11004186624 77692 33554432000 4194304 4196468 140729138156864 139648369270016 139648536043648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26853376 140729138160651 140729138160754 140729138160754 140729138163663 0
Current children cumulated CPU time: 13.17 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 310768 KiB

Child status: 0
Real time (s): 10.3932
CPU time (s): 13.2742
CPU user time (s): 13.031
CPU system time (s): 0.243221
CPU usage (%): 127.72
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 310768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.031
system time used= 0.243221
maximum resident set size= 311024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3156
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 32600
#   total CPU time (s): 13.2742
#   total CPU user time (s): 13.031
#   total CPU system time (s): 0.243221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08361 second user time and 0.152019 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 15:24:02
IDJOB=4390633
IDBENCH=126013
IDSOLVER=2832
FILE ID=node147/4390633-1568381085
RUNJOBID= node147-1568380472-32116
PBS_JOBID= 21701824
Free space on /tmp= 56536 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-29.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390633-1568381085/watcher-4390633-1568381085 -o /tmp/evaluation-result-4390633-1568381085/solver-4390633-1568381085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390633-1568381085.xml -cm

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

MD5SUM BENCH= 91ee56688d10982c4440a8b03ad88e11
RANDOM SEED=1622232527

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26450940 kB
MemAvailable:   31635344 kB
Buffers:          160120 kB
Cached:          5237996 kB
SwapCached:        48500 kB
Active:          2344172 kB
Inactive:        3285072 kB
Active(anon):     182988 kB
Inactive(anon):    89348 kB
Active(file):    2161184 kB
Inactive(file):  3195724 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:             10480 kB
Writeback:             0 kB
AnonPages:        284204 kB
Mapped:            56856 kB
Shmem:             32768 kB
Slab:             285092 kB
SReclaimable:     255956 kB
SUnreclaim:        29136 kB
KernelStack:        3840 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1160052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56528 MiB
End job on node147 at 2019-09-13 15:24:13