Trace number 4390716

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 64.9451 61.8927

DiagnosticValue
WRONG_DECISIONS204551

General information on the benchmark

NameRandom/Random-m1-7-40-8t/
rand-7-40-8-40-22500-0.xml
MD5SUMbec643ae272751fbe4415f184f63255d
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 benchmark64.9451
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints40
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":40}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":4},{"degree":4,"count":2},{"degree":5,"count":1},{"degree":6,"count":8},{"degree":7,"count":8},{"degree":8,"count":8},{"degree":9,"count":4},{"degree":11,"count":2},{"degree":13,"count":1},{"degree":14,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":40}]
Number of extensional constraints40
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":40}]
Optimization problemNO
Type of objective

Solver Data 

2.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
5.16/3.96	  Instance
5.16/3.96	    name=instance-4390716-1568380523, framework=CSP
5.16/3.96	
5.16/3.96	  Loading variables...
5.41/4.03	  Loading constraints...
6.11/4.42	
6.11/4.42	  Domains
6.11/4.42	    nTypes=1, nValues=320, sizes=[8#40]
6.11/4.42	  Variables
6.11/4.42	    count=40, degrees=[2#1,3#4,4#2,5#1...9#4,11#2,13#1,14#1]
6.11/4.42	  Constraints
6.11/4.42	    count=40, nSpecific=40, arities=[7#40]
6.11/4.42	    distribution=[CtrExtensionCT-Table#40]
6.11/4.42	    tables=[22500#40], nTotalTuples=900000
6.11/4.42	    nExtStructures=(40,shared:0)
6.11/4.42	    wck=2.574, cpu=3.68, mem=489M812
6.11/4.43	  Solver SolverBacktrack being built...
6.11/4.43	
6.11/4.45	
6.11/4.45	  Solver
6.11/4.45	    guaranteedGAC=true
6.11/4.45	    wck=2.612, cpu=3.717, mem=497M812
6.11/4.46	
6.11/4.46	  Preprocessing
6.11/4.46	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
6.11/4.46	    wck=0.003, cpu=3.722, mem=497M812
6.11/4.46	
6.11/4.47	    num=0, depth=9..10, filters=195, wck=0.021, mem=497M812
6.11/4.47	    decisions=35, wrong=13, backtracks=3, failedAssignments=10, nogoods=5
6.11/4.47	    nFilterCalls=799, avgTableProportion=0.9999555555555456, avgTableSize=22499.0
6.11/4.47	    
6.11/4.48	    num=1, depth=6..7, filters=444, wck=0.03, mem=497M812
6.11/4.48	    decisions=73, wrong=29, backtracks=8, failedAssignments=21, nogoods=10
6.11/4.48	    nFilterCalls=1881, avgTableProportion=0.9999555555555287, avgTableSize=22499.0
6.11/4.48	    
6.11/4.49	    num=2, depth=4..5, filters=618, wck=0.04, mem=497M812
6.11/4.49	    decisions=103, wrong=42, backtracks=9, failedAssignments=33, nogoods=17
6.11/4.49	    nFilterCalls=2600, avgTableProportion=0.9999555555555253, avgTableSize=22499.0
6.11/4.49	    
6.39/4.51	    num=3, depth=4..6, filters=897, wck=0.053, mem=497M812
6.39/4.51	    decisions=147, wrong=62, backtracks=16, failedAssignments=46, nogoods=19
6.39/4.51	    nFilterCalls=3727, avgTableProportion=0.9999555555555225, avgTableSize=22499.0
6.39/4.51	    
6.39/4.52	    num=4, depth=4..7, filters=1141, wck=0.067, mem=497M812
6.39/4.52	    decisions=190, wrong=81, backtracks=22, failedAssignments=60, nogoods=23
6.39/4.52	    nFilterCalls=4951, avgTableProportion=0.9999555555555995, avgTableSize=22499.0
6.39/4.52	    
6.39/4.55	    num=5, depth=4..6, filters=1421, wck=0.098, mem=506M367
6.39/4.55	    decisions=238, wrong=103, backtracks=28, failedAssignments=76, nogoods=29
6.39/4.55	    nFilterCalls=6289, avgTableProportion=0.9999555555556785, avgTableSize=22499.0
6.39/4.55	    
6.39/4.56	    num=6, depth=4..8, filters=1643, wck=0.111, mem=506M367
6.39/4.56	    decisions=281, wrong=122, backtracks=33, failedAssignments=93, nogoods=38
6.39/4.56	    nFilterCalls=7459, avgTableProportion=0.9999555555557244, avgTableSize=22499.0
6.39/4.56	    
6.39/4.58	    num=7, depth=3..7, filters=2168, wck=0.131, mem=506M367
6.39/4.58	    decisions=348, wrong=153, backtracks=47, failedAssignments=112, nogoods=43
6.39/4.58	    nFilterCalls=9381, avgTableProportion=0.9999555555556596, avgTableSize=22499.0
6.39/4.58	    
6.68/4.60	    num=8, depth=3..5, filters=2563, wck=0.147, mem=506M367
6.68/4.60	    decisions=411, wrong=183, backtracks=57, failedAssignments=133, nogoods=44
6.68/4.60	    nFilterCalls=11021, avgTableProportion=0.9999555555555706, avgTableSize=22499.0
6.68/4.60	    
6.68/4.63	    num=9, depth=3..6, filters=3158, wck=0.173, mem=506M367
6.68/4.63	    decisions=486, wrong=218, backtracks=69, failedAssignments=156, nogoods=48
6.68/4.63	    nFilterCalls=13389, avgTableProportion=0.9999555555554805, avgTableSize=22499.0
6.68/4.63	    
6.68/4.64	    num=10, depth=3..6, filters=3581, wck=0.189, mem=506M367
6.68/4.64	    decisions=559, wrong=252, backtracks=78, failedAssignments=181, nogoods=50
6.68/4.64	    nFilterCalls=15139, avgTableProportion=0.9999555555554321, avgTableSize=22499.0
6.68/4.64	    
6.68/4.67	    num=11, depth=3..6, filters=4122, wck=0.216, mem=506M367
6.68/4.67	    decisions=647, wrong=294, backtracks=92, failedAssignments=209, nogoods=57
6.68/4.67	    nFilterCalls=17776, avgTableProportion=0.9999555555553772, avgTableSize=22499.0
6.68/4.67	    
6.93/4.70	    num=12, depth=3..7, filters=4810, wck=0.244, mem=506M367
6.93/4.70	    decisions=743, wrong=340, backtracks=112, failedAssignments=240, nogoods=66
6.93/4.70	    nFilterCalls=20664, avgTableProportion=0.9999555555553331, avgTableSize=22499.0
6.93/4.70	    
6.93/4.71	    num=13, depth=4..7, filters=5365, wck=0.256, mem=506M367
6.93/4.71	    decisions=838, wrong=385, backtracks=123, failedAssignments=274, nogoods=75
6.93/4.71	    nFilterCalls=23042, avgTableProportion=0.999955555555305, avgTableSize=22499.0
6.93/4.71	    
6.93/4.73	    num=14, depth=3..7, filters=6099, wck=0.273, mem=506M367
6.93/4.73	    decisions=946, wrong=437, backtracks=139, failedAssignments=311, nogoods=84
6.93/4.73	    nFilterCalls=25901, avgTableProportion=0.9999555555552782, avgTableSize=22499.0
6.93/4.73	    
6.93/4.74	    num=15, depth=3..7, filters=6938, wck=0.292, mem=506M367
6.93/4.74	    decisions=1062, wrong=493, backtracks=158, failedAssignments=352, nogoods=92
6.93/4.74	    nFilterCalls=29434, avgTableProportion=0.9999555555552522, avgTableSize=22499.0
6.93/4.74	    
6.93/4.77	    num=16, depth=3..7, filters=7901, wck=0.316, mem=506M367
6.93/4.77	    decisions=1204, wrong=562, backtracks=186, failedAssignments=397, nogoods=102
6.93/4.77	    nFilterCalls=33625, avgTableProportion=0.9999555555552285, avgTableSize=22499.0
6.93/4.77	    
6.93/4.79	    num=17, depth=3..7, filters=8778, wck=0.336, mem=506M367
6.93/4.79	    decisions=1345, wrong=631, backtracks=206, failedAssignments=447, nogoods=104
6.93/4.79	    nFilterCalls=37558, avgTableProportion=0.999955555555211, avgTableSize=22499.0
6.93/4.79	    
7.06/4.81	    num=18, depth=3..7, filters=9983, wck=0.359, mem=506M367
7.06/4.81	    decisions=1512, wrong=713, backtracks=239, failedAssignments=502, nogoods=106
7.06/4.81	    nFilterCalls=42327, avgTableProportion=0.9999555555551941, avgTableSize=22499.0
7.06/4.81	    
7.06/4.84	    num=19, depth=3..7, filters=11038, wck=0.385, mem=506M367
7.06/4.84	    decisions=1683, wrong=797, backtracks=265, failedAssignments=563, nogoods=109
7.06/4.84	    nFilterCalls=47021, avgTableProportion=0.9999555555551809, avgTableSize=22499.0
7.06/4.84	    
7.06/4.87	    num=20, depth=3..7, filters=12329, wck=0.415, mem=506M367
7.06/4.87	    decisions=1873, wrong=890, backtracks=297, failedAssignments=630, nogoods=116
7.06/4.87	    nFilterCalls=52362, avgTableProportion=0.9999555555551687, avgTableSize=22499.0
7.06/4.87	    
7.28/4.91	    num=21, depth=3..7, filters=14052, wck=0.455, mem=506M367
7.28/4.91	    decisions=2100, wrong=1002, backtracks=342, failedAssignments=704, nogoods=122
7.28/4.91	    nFilterCalls=59127, avgTableProportion=0.9999555555551565, avgTableSize=22499.0
7.28/4.91	    
7.28/4.94	    num=22, depth=3..7, filters=15820, wck=0.49, mem=506M367
7.28/4.94	    decisions=2351, wrong=1125, backtracks=390, failedAssignments=785, nogoods=132
7.28/4.94	    nFilterCalls=66407, avgTableProportion=0.999955555555146, avgTableSize=22499.0
7.28/4.94	    
7.28/4.98	    num=23, depth=3..7, filters=17794, wck=0.531, mem=506M367
7.28/4.98	    decisions=2611, wrong=1253, backtracks=435, failedAssignments=874, nogoods=149
7.28/4.98	    nFilterCalls=74641, avgTableProportion=0.9999555555551367, avgTableSize=22499.0
7.28/4.98	    
7.40/5.02	    num=24, depth=3..8, filters=19569, wck=0.569, mem=506M367
7.40/5.02	    decisions=2896, wrong=1393, backtracks=483, failedAssignments=972, nogoods=157
7.40/5.02	    nFilterCalls=82442, avgTableProportion=0.9999555555551296, avgTableSize=22499.0
7.40/5.02	    
7.40/5.06	    num=25, depth=3..6, filters=21529, wck=0.611, mem=506M367
7.40/5.06	    decisions=3200, wrong=1543, backtracks=532, failedAssignments=1080, nogoods=169
7.40/5.06	    nFilterCalls=91056, avgTableProportion=0.9999555555551232, avgTableSize=22499.0
7.40/5.06	    
7.51/5.11	    num=26, depth=3..7, filters=23843, wck=0.659, mem=506M367
7.51/5.11	    decisions=3537, wrong=1709, backtracks=589, failedAssignments=1199, nogoods=178
7.51/5.11	    nFilterCalls=100485, avgTableProportion=0.9999555555551173, avgTableSize=22499.0
7.51/5.11	    
7.51/5.16	    num=27, depth=3..7, filters=26418, wck=0.71, mem=506M367
7.51/5.16	    decisions=3910, wrong=1894, backtracks=649, failedAssignments=1330, nogoods=183
7.51/5.16	    nFilterCalls=111293, avgTableProportion=0.999955555555112, avgTableSize=22499.0
7.51/5.16	    
7.63/5.22	    num=28, depth=3..7, filters=29329, wck=0.768, mem=506M367
7.63/5.22	    decisions=4334, wrong=2103, backtracks=718, failedAssignments=1474, nogoods=197
7.63/5.22	    nFilterCalls=123590, avgTableProportion=0.9999555555551068, avgTableSize=22499.0
7.63/5.22	    
7.63/5.28	    num=29, depth=3..7, filters=32618, wck=0.83, mem=506M367
7.63/5.28	    decisions=4801, wrong=2335, backtracks=803, failedAssignments=1632, nogoods=215
7.63/5.28	    nFilterCalls=137501, avgTableProportion=0.9999555555557821, avgTableSize=22499.0
7.63/5.28	    
7.73/5.36	    num=30, depth=3..6, filters=36285, wck=0.903, mem=506M367
7.73/5.36	    decisions=5295, wrong=2580, backtracks=881, failedAssignments=1806, nogoods=235
7.73/5.36	    nFilterCalls=151777, avgTableProportion=0.999955555557083, avgTableSize=22499.0
7.73/5.36	    
7.83/5.44	    num=31, depth=3..7, filters=40209, wck=0.986, mem=506M367
7.83/5.44	    decisions=5871, wrong=2866, backtracks=986, failedAssignments=1997, nogoods=248
7.83/5.44	    nFilterCalls=168997, avgTableProportion=0.9999555555583598, avgTableSize=22499.0
7.83/5.44	    
7.93/5.54	    num=32, depth=2..7, filters=45312, wck=1.085, mem=506M367
7.93/5.54	    decisions=6514, wrong=3186, backtracks=1118, failedAssignments=2208, nogoods=260
7.93/5.54	    nFilterCalls=188591, avgTableProportion=0.999955555559529, avgTableSize=22499.0
7.93/5.54	    
8.04/5.65	    num=33, depth=2..8, filters=50049, wck=1.195, mem=506M367
8.04/5.65	    decisions=7235, wrong=3544, backtracks=1258, failedAssignments=2440, nogoods=264
8.04/5.65	    nFilterCalls=210382, avgTableProportion=0.9999555555605735, avgTableSize=22499.0
8.04/5.65	    
8.14/5.77	    num=34, depth=2..6, filters=55611, wck=1.312, mem=514M921
8.14/5.77	    decisions=7981, wrong=3915, backtracks=1398, failedAssignments=2695, nogoods=271
8.14/5.77	    nFilterCalls=233136, avgTableProportion=0.9999555555614558, avgTableSize=22499.0
8.14/5.77	    
8.25/5.85	    num=35, depth=3..7, filters=60126, wck=1.401, mem=514M921
8.25/5.85	    decisions=8734, wrong=4289, backtracks=1502, failedAssignments=2976, nogoods=288
8.25/5.85	    nFilterCalls=252152, avgTableProportion=0.999955555562071, avgTableSize=22499.0
8.25/5.85	    
8.47/6.01	    num=36, depth=2..7, filters=67111, wck=1.554, mem=514M921
8.47/6.01	    decisions=9674, wrong=4757, backtracks=1688, failedAssignments=3285, nogoods=304
8.47/6.01	    nFilterCalls=281531, avgTableProportion=0.9999555555608551, avgTableSize=22499.0
8.47/6.01	    
8.63/6.14	    num=37, depth=2..7, filters=74015, wck=1.683, mem=514M921
8.63/6.14	    decisions=10672, wrong=5254, backtracks=1868, failedAssignments=3625, nogoods=317
8.63/6.14	    nFilterCalls=309923, avgTableProportion=0.9999555555589913, avgTableSize=22499.0
8.63/6.14	    
8.83/6.31	    num=38, depth=2..7, filters=82489, wck=1.854, mem=514M921
8.83/6.31	    decisions=11802, wrong=5817, backtracks=2087, failedAssignments=3999, nogoods=330
8.83/6.31	    nFilterCalls=345046, avgTableProportion=0.99995555555711, avgTableSize=22499.0
8.83/6.31	    
8.96/6.47	    num=39, depth=2..7, filters=90842, wck=2.02, mem=514M921
8.96/6.47	    decisions=13024, wrong=6426, backtracks=2333, failedAssignments=4410, nogoods=339
8.96/6.47	    nFilterCalls=381510, avgTableProportion=0.9999555555555234, avgTableSize=22499.0
8.96/6.47	    
9.15/6.65	    num=40, depth=2..7, filters=100808, wck=2.193, mem=514M921
9.15/6.65	    decisions=14388, wrong=7106, backtracks=2594, failedAssignments=4862, nogoods=346
9.15/6.65	    nFilterCalls=420652, avgTableProportion=0.9999555555541263, avgTableSize=22499.0
9.15/6.65	    
9.35/6.84	    num=41, depth=2..7, filters=110132, wck=2.387, mem=523M351
9.35/6.84	    decisions=15824, wrong=7822, backtracks=2847, failedAssignments=5359, nogoods=355
9.35/6.84	    nFilterCalls=460782, avgTableProportion=0.9999555555529404, avgTableSize=22499.0
9.35/6.84	    
9.57/7.08	    num=42, depth=2..7, filters=122094, wck=2.63, mem=523M351
9.57/7.08	    decisions=17489, wrong=8653, backtracks=3190, failedAssignments=5906, nogoods=372
9.57/7.08	    nFilterCalls=511464, avgTableProportion=0.9999555555517086, avgTableSize=22499.0
9.57/7.08	    
9.86/7.30	    num=43, depth=2..7, filters=133706, wck=2.848, mem=523M351
9.86/7.30	    decisions=19216, wrong=9514, backtracks=3480, failedAssignments=6508, nogoods=386
9.86/7.30	    nFilterCalls=559404, avgTableProportion=0.999955555550749, avgTableSize=22499.0
9.86/7.30	    
10.16/7.61	    num=44, depth=2..7, filters=147608, wck=3.152, mem=523M351
10.16/7.61	    decisions=21156, wrong=10482, backtracks=3835, failedAssignments=7170, nogoods=397
10.16/7.61	    nFilterCalls=619431, avgTableProportion=0.9999555555497567, avgTableSize=22499.0
10.16/7.61	    
10.89/8.03	    num=45, depth=2..7, filters=164488, wck=3.582, mem=222M952
10.89/8.03	    decisions=23392, wrong=11598, backtracks=4324, failedAssignments=7898, nogoods=413
10.89/8.03	    nFilterCalls=686892, avgTableProportion=0.9999555555488485, avgTableSize=22499.0
10.89/8.03	    
11.18/8.36	    num=46, depth=2..7, filters=180398, wck=3.909, mem=222M952
11.18/8.36	    decisions=25706, wrong=12753, backtracks=4741, failedAssignments=8699, nogoods=430
11.18/8.36	    nFilterCalls=754584, avgTableProportion=0.9999555555481004, avgTableSize=22499.0
11.18/8.36	    
11.59/8.76	    num=47, depth=1..7, filters=199230, wck=4.311, mem=222M952
11.59/8.76	    decisions=28370, wrong=14083, backtracks=5276, failedAssignments=9580, nogoods=442
11.59/8.76	    nFilterCalls=835189, avgTableProportion=0.9999555555473678, avgTableSize=22499.0
11.59/8.76	    
12.00/9.14	    num=48, depth=2..7, filters=219374, wck=4.687, mem=222M952
12.00/9.14	    decisions=31240, wrong=15516, backtracks=5820, failedAssignments=10550, nogoods=456
12.00/9.14	    nFilterCalls=916265, avgTableProportion=0.999955555546761, avgTableSize=22499.0
12.00/9.14	    
12.49/9.64	    num=49, depth=2..8, filters=242041, wck=5.182, mem=222M952
12.49/9.64	    decisions=34376, wrong=17082, backtracks=6405, failedAssignments=11617, nogoods=475
12.49/9.64	    nFilterCalls=1015648, avgTableProportion=0.9999555555461492, avgTableSize=22499.0
12.49/9.64	    
12.90/10.09	    num=50, depth=2..7, filters=264961, wck=5.64, mem=238M13
12.90/10.09	    decisions=37830, wrong=18807, backtracks=7057, failedAssignments=12790, nogoods=494
12.90/10.09	    nFilterCalls=1112511, avgTableProportion=0.9999555555523436, avgTableSize=22499.0
12.90/10.09	    
13.49/10.63	    num=51, depth=1..7, filters=293778, wck=6.174, mem=238M13
13.49/10.63	    decisions=41791, wrong=20786, backtracks=7870, failedAssignments=14081, nogoods=515
13.49/10.63	    nFilterCalls=1228337, avgTableProportion=0.9999555555622051, avgTableSize=22499.0
13.49/10.63	    
14.09/11.21	    num=52, depth=1..7, filters=322151, wck=6.751, mem=238M13
14.09/11.21	    decisions=46002, wrong=22890, backtracks=8696, failedAssignments=15501, nogoods=525
14.09/11.21	    nFilterCalls=1352200, avgTableProportion=0.9999555555708816, avgTableSize=22499.0
14.09/11.21	    
14.79/11.91	    num=53, depth=1..7, filters=356959, wck=7.459, mem=238M13
14.79/11.91	    decisions=50735, wrong=25255, backtracks=9667, failedAssignments=17063, nogoods=534
14.79/11.91	    nFilterCalls=1497738, avgTableProportion=0.9999555555792425, avgTableSize=22499.0
14.79/11.91	    
15.49/12.62	    num=54, depth=1..7, filters=394904, wck=8.172, mem=253M74
15.49/12.62	    decisions=55923, wrong=27847, backtracks=10737, failedAssignments=18781, nogoods=549
15.49/12.62	    nFilterCalls=1650293, avgTableProportion=0.9999555555864236, avgTableSize=22499.0
15.49/12.62	    
16.39/13.50	    num=55, depth=1..7, filters=436905, wck=9.043, mem=253M74
16.39/13.50	    decisions=61643, wrong=30705, backtracks=11883, failedAssignments=20671, nogoods=569
16.39/13.50	    nFilterCalls=1828449, avgTableProportion=0.9999555555932929, avgTableSize=22499.0
16.39/13.50	    
17.19/14.35	    num=56, depth=1..7, filters=480468, wck=9.893, mem=268M134
17.19/14.35	    decisions=67849, wrong=33806, backtracks=13086, failedAssignments=22750, nogoods=580
17.19/14.35	    nFilterCalls=2014609, avgTableProportion=0.9999555555991728, avgTableSize=22499.0
17.19/14.35	    
18.09/15.29	    num=57, depth=1..7, filters=529324, wck=10.836, mem=268M134
18.09/15.29	    decisions=74779, wrong=37269, backtracks=14488, failedAssignments=25037, nogoods=599
18.09/15.29	    nFilterCalls=2217541, avgTableProportion=0.9999555555918275, avgTableSize=22499.0
18.09/15.29	    
19.19/16.37	    num=58, depth=1..8, filters=583285, wck=11.915, mem=283M195
19.19/16.37	    decisions=82427, wrong=41091, backtracks=16045, failedAssignments=27553, nogoods=613
19.19/16.37	    nFilterCalls=2443923, avgTableProportion=0.9999555555762902, avgTableSize=22499.0
19.19/16.37	    
20.49/17.68	    num=59, depth=1..7, filters=645915, wck=13.224, mem=283M195
20.49/17.68	    decisions=90988, wrong=45369, backtracks=17838, failedAssignments=30321, nogoods=630
20.49/17.68	    nFilterCalls=2710751, avgTableProportion=0.9999555555613091, avgTableSize=22499.0
20.49/17.68	    
21.69/18.89	    num=60, depth=1..7, filters=707130, wck=14.437, mem=298M256
21.69/18.89	    decisions=100129, wrong=49938, backtracks=19607, failedAssignments=33365, nogoods=651
21.69/18.89	    nFilterCalls=2973586, avgTableProportion=0.9999555555491807, avgTableSize=22499.0
21.69/18.89	    
23.30/20.44	    num=61, depth=1..7, filters=782087, wck=15.985, mem=313M317
23.30/20.44	    decisions=110342, wrong=55043, backtracks=21695, failedAssignments=36714, nogoods=665
23.30/20.44	    nFilterCalls=3289526, avgTableProportion=0.9999555555371669, avgTableSize=22499.0
23.30/20.44	    
25.04/22.12	    num=62, depth=1..7, filters=864540, wck=17.67, mem=328M377
25.04/22.12	    decisions=121560, wrong=60650, backtracks=23967, failedAssignments=40398, nogoods=680
25.04/22.12	    nFilterCalls=3639401, avgTableProportion=0.9999555555262966, avgTableSize=22499.0
25.04/22.12	    
26.53/23.66	    num=63, depth=1..7, filters=944417, wck=19.206, mem=328M377
26.53/23.66	    decisions=133648, wrong=66692, backtracks=26263, failedAssignments=44450, nogoods=702
26.53/23.66	    nFilterCalls=3981211, avgTableProportion=0.9999555555175219, avgTableSize=22499.0
26.53/23.66	    
28.43/25.59	    num=64, depth=1..8, filters=1043323, wck=21.134, mem=343M438
28.43/25.59	    decisions=147326, wrong=73529, backtracks=29158, failedAssignments=48907, nogoods=721
28.43/25.59	    nFilterCalls=4390147, avgTableProportion=0.9999555555088192, avgTableSize=22499.0
28.43/25.59	    
30.79/27.89	    num=65, depth=0..7, filters=1154554, wck=23.432, mem=373M560
30.79/27.89	    decisions=162610, wrong=81170, backtracks=32500, failedAssignments=53810, nogoods=743
30.79/27.89	    nFilterCalls=4867061, avgTableProportion=0.9999555555005172, avgTableSize=22499.0
30.79/27.89	    
33.19/30.24	    num=66, depth=0..7, filters=1271533, wck=25.792, mem=388M621
33.19/30.24	    decisions=179209, wrong=89467, backtracks=36018, failedAssignments=59204, nogoods=757
33.19/30.24	    nFilterCalls=5359489, avgTableProportion=0.9999555554934955, avgTableSize=22499.0
33.19/30.24	    
35.70/32.79	    num=67, depth=1..7, filters=1401376, wck=28.339, mem=418M791
35.70/32.79	    decisions=197147, wrong=98434, backtracks=39622, failedAssignments=65137, nogoods=770
35.70/32.79	    nFilterCalls=5902981, avgTableProportion=0.9999555554871057, avgTableSize=22499.0
35.70/32.79	    
38.52/35.52	    num=68, depth=1..8, filters=1536660, wck=31.066, mem=433M852
38.52/35.52	    decisions=217179, wrong=108448, backtracks=43839, failedAssignments=71663, nogoods=795
38.52/35.52	    nFilterCalls=6474507, avgTableProportion=0.9999555554815435, avgTableSize=22499.0
38.52/35.52	    
41.04/38.05	    num=69, depth=1..8, filters=1681536, wck=33.602, mem=463M974
41.04/38.05	    decisions=238771, wrong=119242, backtracks=48245, failedAssignments=78842, nogoods=811
41.04/38.05	    nFilterCalls=7072509, avgTableProportion=0.9999555554766859, avgTableSize=22499.0
41.04/38.05	    
44.63/41.69	    num=70, depth=0..7, filters=1863682, wck=37.235, mem=494M95
44.63/41.69	    decisions=263708, wrong=131709, backtracks=53842, failedAssignments=86739, nogoods=828
44.63/41.69	    nFilterCalls=7842289, avgTableProportion=0.9999555554715236, avgTableSize=22499.0
44.63/41.69	    
48.33/45.33	    num=71, depth=0..8, filters=2053383, wck=40.881, mem=509M156
48.33/45.33	    decisions=290366, wrong=145036, backtracks=59561, failedAssignments=95426, nogoods=845
48.33/45.33	    nFilterCalls=8624816, avgTableProportion=0.9999555554672204, avgTableSize=22499.0
48.33/45.33	    
52.33/49.36	    num=72, depth=0..7, filters=2260147, wck=44.91, mem=554M339
52.33/49.36	    decisions=319816, wrong=159759, backtracks=65855, failedAssignments=104981, nogoods=868
52.33/49.36	    nFilterCalls=9490986, avgTableProportion=0.9999555554632846, avgTableSize=22499.0
52.33/49.36	    
57.05/54.01	    num=73, depth=0..7, filters=2490947, wck=49.558, mem=584M460
57.05/54.01	    decisions=352813, wrong=176256, backtracks=73243, failedAssignments=115492, nogoods=886
57.05/54.01	    nFilterCalls=10467721, avgTableProportion=0.9999555554596278, avgTableSize=22499.0
57.05/54.01	    
62.05/59.08	    num=74, depth=0..7, filters=2744406, wck=54.627, mem=614M582
62.05/59.08	    decisions=389334, wrong=194515, backtracks=81430, failedAssignments=127054, nogoods=897
62.05/59.08	    nFilterCalls=11551790, avgTableProportion=0.9999555554562931, avgTableSize=22499.0
62.05/59.08	    
64.84/61.88	    num=75, depth=0..7, filters=2881945, wck=57.423, mem=644M703
64.84/61.88	    decisions=409404, wrong=204551, backtracks=86260, failedAssignments=133261, nogoods=897
64.84/61.88	    nFilterCalls=12142134, avgTableProportion=0.9999555554547276, avgTableSize=22499.0
64.84/61.88	    
64.84/61.88	  Global
64.84/61.88	    filters=2881945, nogoods=897
64.84/61.88	    Stop=FULL_EXPLORATION, wrong=204551, wck=60.036, cpu=61.031, mem=644M703
64.84/61.88	
64.84/61.88	s UNSATISFIABLE
64.84/61.88	
64.84/61.88	d WRONG_DECISIONS 204551

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390716-1568380523/watcher-4390716-1568380523 -o /tmp/evaluation-result-4390716-1568380523/solver-4390716-1568380523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568380476-12475 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390716-1568380523.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=12596, runsolver pid=12593
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.16 0.05 0.06 4/229 12611
/proc/meminfo: memFree=28102660/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10659884 memory=28972 CPUtime=0.13 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 5763 0 0 0 12 1 0 0 20 0 15 0 414321186 10915721216 7243 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2664971 7243 2899 1 0 2627468 0
[pid=12596/tid=12598] ppid=12593 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) R 12593 12596 12443 0 -1 4202560 3229 0 0 0 8 1 0 0 20 0 15 0 414321186 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216928627928 140216924409238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216092079648 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321189 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216091026800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0.02 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) R 12593 12596 12443 0 -1 4202560 571 0 0 0 2 0 0 0 20 0 15 0 414321191 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216086813192 140216903796063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321192 10915721216 7309 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28972 KiB

[startup+0.210839 s]*
/proc/loadavg: 0.16 0.05 0.06 3/229 12611
/proc/meminfo: memFree=28092088/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10659884 memory=37000 CPUtime=0.33 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 8992 0 0 0 30 3 0 0 20 0 15 0 414321186 10915721216 9250 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2664971 9250 2989 1 0 2627468 0
[pid=12596/tid=12598] ppid=12593 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) R 12593 12596 12443 0 -1 4202560 6094 0 0 0 18 2 0 0 20 0 15 0 414321186 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216928623664 140216924419229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10659884 memory=140703343401196 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216092079648 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321189 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216091026800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 776 0 0 0 3 0 0 0 20 0 15 0 414321191 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 414321191 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0.05 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 621 0 0 0 5 0 0 0 20 0 15 0 414321191 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321192 10915721216 9250 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37000 KiB

[startup+0.31023 s]*
/proc/loadavg: 0.16 0.05 0.06 4/229 12611
/proc/meminfo: memFree=28089544/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10659884 memory=39804 CPUtime=0.47 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 9221 0 0 0 44 3 0 0 20 0 15 0 414321186 10915721216 9951 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2664971 9951 3015 1 0 2627468 0
[pid=12596/tid=12598] ppid=12593 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) R 12593 12596 12443 0 -1 4202560 6245 0 0 0 27 3 0 0 20 0 15 0 414321186 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216928636288 140216924419229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10659884 memory=1946931 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10659884 memory=140703343401177 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321188 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216092079648 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321189 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216091026800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 817 0 0 0 5 0 0 0 20 0 15 0 414321191 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 150 0 0 0 3 0 0 0 20 0 15 0 414321191 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0.08 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) R 12593 12596 12443 0 -1 4202560 652 0 0 0 8 0 0 0 20 0 15 0 414321191 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216086816880 140216924409238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10659884 memory=140703340340864 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321192 10915721216 9951 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39804 KiB

[startup+0.700802 s]
/proc/loadavg: 0.16 0.05 0.06 3/229 12611
/proc/meminfo: memFree=28079524/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10661932 memory=63480 CPUtime=1.11 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 12891 0 0 0 105 6 0 0 20 0 15 0 414321186 10917818368 15870 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2665483 15870 3064 1 0 2627980 0
[pid=12596/tid=12598] ppid=12593 vsize=10661932 memory=21736 CPUtime=0.68 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) R 12593 12596 12443 0 -1 4202560 8799 0 0 0 64 4 0 0 20 0 15 0 414321186 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216928629328 140216908477790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10661932 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321187 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10661932 memory=524 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10661932 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10661932 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321188 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414321188 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216092079648 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10661932 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414321189 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216091026800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10661932 memory=816 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10661932 memory=6153431502485415268 CPUtime=0.12 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 1079 0 0 0 12 0 0 0 20 0 15 0 414321191 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10661932 memory=7453282923461503316 CPUtime=0.1 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) R 12593 12596 12443 0 -1 4202560 538 0 0 0 10 0 0 0 20 0 15 0 414321191 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216087869680 140216909501776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 1117 0 0 0 18 0 0 0 20 0 15 0 414321191 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414321191 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321192 10917818368 15870 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63480 KiB

[startup+1.50076 s]
/proc/loadavg: 0.16 0.05 0.06 3/229 12611
/proc/meminfo: memFree=28062712/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10663980 memory=75440 CPUtime=2.01 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 17084 0 0 0 194 7 0 0 20 0 15 0 414321186 10919915520 18860 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2665995 18860 3094 1 0 2628492 0
[pid=12596/tid=12598] ppid=12593 vsize=10663980 memory=6378026435766 CPUtime=1.48 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) R 12593 12596 12443 0 -1 4202560 11787 0 0 0 143 5 0 0 20 0 15 0 414321186 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216928629328 140216917493723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414321187 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414321187 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414321188 10919915520 18860 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0

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

[startup+59.2008 s]
/proc/loadavg: 1.23 0.37 0.17 3/229 12615
/proc/meminfo: memFree=27291264/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10746276 memory=777332 CPUtime=62.24 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 41350 0 0 0 6162 62 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2686569 194333 3371 1 0 2646705 0
[pid=12596/tid=12598] ppid=12593 vsize=10746276 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) S 12593 12596 12443 0 -1 1077944384 13760 0 0 0 179 7 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216928640176 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10746276 memory=281406391981224 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 460 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10746276 memory=-6876588461455810464 CPUtime=0.22 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1516 0 0 0 13 9 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10746276 memory=-7966001734603266090 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 549 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10746276 memory=6791534058613427641 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 622 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10746276 memory=39644 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 1460 0 0 0 1 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216092079712 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10746276 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414321189 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216091026816 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10746276 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10746276 memory=4160 CPUtime=1.21 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 4776 0 0 0 120 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10746276 memory=1056 CPUtime=1.1 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 3403 0 0 0 109 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10746276 memory=1204 CPUtime=0.56 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 4016 0 0 0 55 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10746276 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10746276 memory=9592 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 248 0 0 0 0 1 0 0 20 0 16 0 414321192 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12612] ppid=12593 vsize=10746276 memory=2828 CPUtime=56.47 cores=1,3,5,7
/proc/12596/task/12612/stat : 12612 (java) R 12593 12596 12443 0 -1 4202560 9112 0 0 0 5639 8 0 0 20 0 16 0 414321373 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216068042496 140216544825395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 62.24 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 777332 KiB

[startup+60.8007 s]
/proc/loadavg: 1.23 0.37 0.17 3/229 12616
/proc/meminfo: memFree=27290644/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10746276 memory=777332 CPUtime=63.84 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 41412 0 0 0 6322 62 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2686569 194333 3371 1 0 2646705 0
[pid=12596/tid=12598] ppid=12593 vsize=10746276 memory=988 CPUtime=1.86 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) S 12593 12596 12443 0 -1 1077944384 13760 0 0 0 179 7 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216928640176 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10746276 memory=2024 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 460 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10746276 memory=1428 CPUtime=0.22 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1516 0 0 0 13 9 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10746276 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 549 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10746276 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 622 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 1479 0 0 0 1 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216092079712 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10746276 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414321189 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216091026816 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10746276 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10746276 memory=9592 CPUtime=1.21 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 4776 0 0 0 120 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10746276 memory=2828 CPUtime=1.1 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 3403 0 0 0 109 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10746276 memory=777332 CPUtime=0.56 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 4016 0 0 0 55 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10746276 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10746276 memory=780 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 250 0 0 0 0 1 0 0 20 0 16 0 414321192 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12612] ppid=12593 vsize=10746276 memory=620 CPUtime=58.07 cores=1,3,5,7
/proc/12596/task/12612/stat : 12612 (java) R 12593 12596 12443 0 -1 4202560 9153 0 0 0 5799 8 0 0 20 0 16 0 414321373 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216068047856 140216544824003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 777332 KiB

[startup+61.6007 s]
/proc/loadavg: 1.23 0.37 0.17 3/229 12616
/proc/meminfo: memFree=27295000/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10746276 memory=777332 CPUtime=64.64 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 41420 0 0 0 6402 62 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2686569 194333 3371 1 0 2646705 0
[pid=12596/tid=12598] ppid=12593 vsize=10746276 memory=780 CPUtime=1.86 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) S 12593 12596 12443 0 -1 1077944384 13760 0 0 0 179 7 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216928640176 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10746276 memory=620 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 460 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10746276 memory=1712 CPUtime=0.22 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1516 0 0 0 13 9 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10746276 memory=1052 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 549 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10746276 memory=1804 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 622 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10746276 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 1479 0 0 0 1 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10746276 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216092079712 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10746276 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414321189 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216091026816 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10746276 memory=2616 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10746276 memory=1408 CPUtime=1.21 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 4776 0 0 0 120 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10746276 memory=2788 CPUtime=1.1 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 3403 0 0 0 109 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10746276 memory=39644 CPUtime=0.56 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 4016 0 0 0 55 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10746276 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10746276 memory=2024 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 250 0 0 0 0 1 0 0 20 0 16 0 414321192 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12612] ppid=12593 vsize=10746276 memory=1428 CPUtime=58.87 cores=1,3,5,7
/proc/12596/task/12612/stat : 12612 (java) R 12593 12596 12443 0 -1 4202560 9161 0 0 0 5879 8 0 0 20 0 16 0 414321373 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216068047856 140216545268432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 64.64 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 777332 KiB

[startup+61.8007 s]
/proc/loadavg: 1.23 0.37 0.17 3/229 12616
/proc/meminfo: memFree=27295000/32770624 swapFree=66998528/67108860
[pid=12596] ppid=12593 vsize=10746276 memory=777332 CPUtime=64.84 cores=1,3,5,7
/proc/12596/stat : 12596 (java) S 12593 12596 12443 0 -1 1077944320 41424 0 0 0 6422 62 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140732900437376 140216924397303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
/proc/12596/statm: 2686569 194333 3371 1 0 2646705 0
[pid=12596/tid=12598] ppid=12593 vsize=10746276 memory=1056 CPUtime=1.86 cores=1,3,5,7
/proc/12596/task/12598/stat : 12598 (java) S 12593 12596 12443 0 -1 1077944384 13760 0 0 0 179 7 0 0 20 0 16 0 414321186 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216928640176 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12599] ppid=12593 vsize=10746276 memory=1204 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12599/stat : 12599 (java) S 12593 12596 12443 0 -1 1077944384 460 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216861088400 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12600] ppid=12593 vsize=10746276 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/12596/task/12600/stat : 12600 (java) S 12593 12596 12443 0 -1 1077944384 1516 0 0 0 13 9 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216860035600 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12601] ppid=12593 vsize=10746276 memory=3536 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12601/stat : 12601 (java) S 12593 12596 12443 0 -1 1077944384 549 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216858982800 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12602] ppid=12593 vsize=10746276 memory=1976 CPUtime=0.23 cores=1,3,5,7
/proc/12596/task/12602/stat : 12602 (java) S 12593 12596 12443 0 -1 1077944384 622 0 0 0 13 10 0 0 20 0 16 0 414321187 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216528398608 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12603] ppid=12593 vsize=10746276 memory=2408 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12603/stat : 12603 (java) S 12593 12596 12443 0 -1 1077944384 1479 0 0 0 1 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216093133680 140216924408450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12604] ppid=12593 vsize=10746276 memory=816 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12604/stat : 12604 (java) S 12593 12596 12443 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414321188 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216092079712 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12605] ppid=12593 vsize=10746276 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12605/stat : 12605 (java) S 12593 12596 12443 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414321189 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216091026816 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12606] ppid=12593 vsize=10746276 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12606/stat : 12606 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216089975120 140216924415899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12607] ppid=12593 vsize=10746276 memory=111632 CPUtime=1.21 cores=1,3,5,7
/proc/12596/task/12607/stat : 12607 (java) S 12593 12596 12443 0 -1 1077944384 4776 0 0 0 120 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216088922480 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12608] ppid=12593 vsize=10746276 memory=800 CPUtime=1.1 cores=1,3,5,7
/proc/12596/task/12608/stat : 12608 (java) S 12593 12596 12443 0 -1 1077944384 3403 0 0 0 109 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216087869680 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12609] ppid=12593 vsize=10746276 memory=4104 CPUtime=0.56 cores=1,3,5,7
/proc/12596/task/12609/stat : 12609 (java) S 12593 12596 12443 0 -1 1077944384 4016 0 0 0 55 1 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216086816880 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12610] ppid=12593 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/12596/task/12610/stat : 12610 (java) S 12593 12596 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414321191 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216085764320 140216924407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12611] ppid=12593 vsize=10746276 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/12596/task/12611/stat : 12611 (java) S 12593 12596 12443 0 -1 1077944384 252 0 0 0 0 1 0 0 20 0 16 0 414321192 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216084712624 140216924408450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
[pid=12596/tid=12612] ppid=12593 vsize=10746276 memory=3804 CPUtime=59.07 cores=1,3,5,7
/proc/12596/task/12612/stat : 12612 (java) R 12593 12596 12443 0 -1 4202560 9163 0 0 0 5899 8 0 0 20 0 16 0 414321373 11004186624 194333 33554432000 4194304 4196468 140732900454832 140216068047856 140216545269311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28483584 140732900463627 140732900463730 140732900463730 140732900466639 0
Current children cumulated CPU time: 64.84 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 777332 KiB

Child status: 0
Real time (s): 61.8927
CPU time (s): 64.9451
CPU user time (s): 64.3092
CPU system time (s): 0.63595
CPU usage (%): 104.932
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 777332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.3091
system time used= 0.63595
maximum resident set size= 777372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4101
involuntary context switches= 81


# summary of solver processes directly reported to runsolver:
#   pid: 12596
#   total CPU time (s): 64.9451
#   total CPU user time (s): 64.3092
#   total CPU system time (s): 0.63595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390239 second user time and 0.629416 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 15:14:43
IDJOB=4390716
IDBENCH=121212
IDSOLVER=2832
FILE ID=node127/4390716-1568380523
RUNJOBID= node127-1568380476-12475
PBS_JOBID= 21701837
Free space on /tmp= 58800 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-22500-0.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390716-1568380523/watcher-4390716-1568380523 -o /tmp/evaluation-result-4390716-1568380523/solver-4390716-1568380523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568380476-12475 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390716-1568380523.xml -cm

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

MD5SUM BENCH= bec643ae272751fbe4415f184f63255d
RANDOM SEED=1895445107

node127.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.55
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.55
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.55
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.55
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:        28118392 kB
MemAvailable:   31623952 kB
Buffers:          152072 kB
Cached:          3607188 kB
SwapCached:         6772 kB
Active:          2274516 kB
Inactive:        1734012 kB
Active(anon):     242444 kB
Inactive(anon):    48364 kB
Active(file):    2032072 kB
Inactive(file):  1685648 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             22188 kB
Writeback:             0 kB
AnonPages:        353688 kB
Mapped:            56536 kB
Shmem:             32700 kB
Slab:             237072 kB
SReclaimable:     207348 kB
SUnreclaim:        29724 kB
KernelStack:        3744 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1298724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 58792 MiB
End job on node127 at 2019-09-13 15:15:45