Trace number 4390859

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23OPT105 8.56384 3.8874

DiagnosticValue
WRONG_DECISIONS1997

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-7-5-20-1.xml
MD5SUMe35b04ec576605d811ffb09e6056798d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark1.03722
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints757
Number of domains57
Minimum domain size2
Maximum domain size35
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":18},{"size":5,"count":10},{"size":15,"count":6},{"size":16,"count":4},{"size":17,"count":4},{"size":18,"count":5},{"size":19,"count":1},{"size":34,"count":20},{"size":35,"count":35}]
Minimum variable degree2
Maximum variable degree36
Distribution of variable degrees[{"degree":2,"count":55},{"degree":22,"count":34},{"degree":23,"count":1},{"degree":36,"count":20}]
Minimum constraint arity1
Maximum constraint arity35
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":755},{"arity":35,"count":1}]
Number of extensional constraints55
Number of intensional constraints701
Distribution of constraint types[{"type":"extension","count":55},{"type":"intension","count":701},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.38/1.89	
2.38/1.89	AbsCon 2 
2.66/1.91	
3.23/2.14	  Instance
3.23/2.14	    name=instance-4390859-1568381747, framework=COP, bounds=-infty..+infty
3.23/2.14	
3.23/2.14	  Loading variables...
3.23/2.17	  Loading constraints...
4.66/2.51	
4.66/2.51	  Domains
4.66/2.51	    nTypes=57, nValues=2378, sizes=[2#1,3#6,4#18,5#10...18#5,19#1,34#20,35#35]
4.66/2.51	  Variables
4.66/2.51	    count=110, degrees=[2#55,22#34,23#1,36#20]
4.66/2.51	  Objectives
4.66/2.51	    way=min, type=SumSimpleLE
4.66/2.51	  Constraints
4.66/2.51	    count=758, nSpecific=2, arities=[1#1,2#755,35#1,55#1]
4.66/2.51	    distribution=[Circuit#1,CtrExtensionV-Bits#55,CtrIntension#701,SumSimpleLE#1]
4.66/2.51	    nExtStructures=(55,shared:0), nIntStructures=(36,shared:665), nCftStructures=(90,shared:665,unbuilt:3)
4.66/2.51	    wck=0.636, cpu=2.471, mem=68M791
4.66/2.51	  Solver SolverBacktrack being built...
4.66/2.51	
4.66/2.53	
4.66/2.53	  Solver
4.66/2.53	    guaranteedGAC=false
4.66/2.53	    wck=0.669, cpu=2.503, mem=82M76
4.66/2.55	
4.66/2.55	  Preprocessing
4.66/2.55	    filters=37, revisions=(72,useless=35), ccks=41653, nACremovedValues=1076, nTotalRemovedValues=1076, inconcistency=false
4.66/2.55	    wck=0.013, cpu=2.517, mem=82M76
4.66/2.55	
4.66/2.57	o 254
4.66/2.58	    num=0, depth=111..109, filters=1104, revisions=(1586,useless=514), ccks=43112, wck=0.042, mem=82M76
4.66/2.58	    decisions=32, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=254
4.66/2.58	    
4.99/2.60	o 253
4.99/2.61	    num=1, depth=111..109, filters=1830, revisions=(3012,useless=1246), ccks=44558, wck=0.071, mem=82M76
4.99/2.61	    decisions=79, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=253
4.99/2.61	    
4.99/2.62	o 252
4.99/2.62	    num=2, depth=111..109, filters=2602, revisions=(4453,useless=1946), ccks=45857, wck=0.084, mem=82M76
4.99/2.62	    decisions=128, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=252
4.99/2.62	    
4.99/2.63	o 251
4.99/2.63	    num=3, depth=111..109, filters=3330, revisions=(5879,useless=2677), ccks=47095, wck=0.096, mem=82M76
4.99/2.63	    decisions=175, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=4, bestBound=251
4.99/2.63	    
4.99/2.64	o 245
4.99/2.64	    num=4, depth=111..109, filters=4103, revisions=(7320,useless=3376), ccks=48371, wck=0.108, mem=82M76
4.99/2.64	    decisions=224, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=5, bestBound=245
4.99/2.64	    
4.99/2.65	o 244
4.99/2.65	    num=5, depth=111..109, filters=4831, revisions=(8760,useless=4120), ccks=49609, wck=0.119, mem=82M76
4.99/2.65	    decisions=269, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=6, bestBound=244
4.99/2.65	    
4.99/2.66	o 241
4.99/2.66	    num=6, depth=111..109, filters=5603, revisions=(10201,useless=4820), ccks=50884, wck=0.129, mem=82M76
4.99/2.66	    decisions=318, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=7, bestBound=241
4.99/2.66	    
4.99/2.67	o 240
4.99/2.67	    num=7, depth=111..109, filters=6336, revisions=(11639,useless=5558), ccks=52120, wck=0.138, mem=82M76
4.99/2.67	    decisions=364, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=8, bestBound=240
4.99/2.67	    
4.99/2.68	o 237
4.99/2.68	    num=8, depth=111..109, filters=7110, revisions=(13082,useless=6258), ccks=53394, wck=0.148, mem=82M76
4.99/2.68	    decisions=413, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=9, bestBound=237
4.99/2.68	    
4.99/2.69	o 236
4.99/2.69	    num=9, depth=111..109, filters=7834, revisions=(14520,useless=7003), ccks=54631, wck=0.157, mem=82M76
4.99/2.69	    decisions=458, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=10, bestBound=236
4.99/2.69	    
5.33/2.70	o 233
5.33/2.70	    num=10, depth=111..109, filters=8610, revisions=(15964,useless=7703), ccks=55906, wck=0.167, mem=82M76
5.33/2.70	    decisions=507, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=11, bestBound=233
5.33/2.70	    
5.33/2.71	o 232
5.33/2.71	    num=11, depth=111..109, filters=9336, revisions=(17396,useless=8441), ccks=57142, wck=0.176, mem=82M76
5.33/2.71	    decisions=553, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=12, bestBound=232
5.33/2.71	    
5.33/2.72	o 230
5.33/2.72	    num=12, depth=111..109, filters=10113, revisions=(18841,useless=9141), ccks=58416, wck=0.186, mem=84M719
5.33/2.72	    decisions=602, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=13, bestBound=230
5.33/2.72	    
5.33/2.73	o 229
5.33/2.73	    num=13, depth=111..109, filters=10836, revisions=(20277,useless=9886), ccks=59653, wck=0.195, mem=84M719
5.33/2.73	    decisions=647, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=14, bestBound=229
5.33/2.73	    
5.33/2.74	o 227
5.33/2.74	    num=14, depth=111..109, filters=11610, revisions=(21726,useless=10592), ccks=60927, wck=0.205, mem=84M719
5.33/2.74	    decisions=695, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=15, bestBound=227
5.33/2.74	    
5.33/2.75	o 224
5.33/2.75	    num=15, depth=111..109, filters=12347, revisions=(23155,useless=11317), ccks=62161, wck=0.214, mem=84M719
5.33/2.75	    decisions=743, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=16, bestBound=224
5.33/2.75	    
5.33/2.75	o 223
5.33/2.76	    num=16, depth=111..109, filters=13124, revisions=(24606,useless=12023), ccks=63433, wck=0.224, mem=84M719
5.33/2.76	    decisions=791, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=17, bestBound=223
5.33/2.76	    
5.33/2.76	o 221
5.33/2.76	    num=17, depth=111..109, filters=13858, revisions=(26034,useless=12750), ccks=64668, wck=0.233, mem=84M719
5.33/2.76	    decisions=839, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=18, bestBound=221
5.33/2.76	    
5.33/2.78	o 220
5.33/2.78	    num=18, depth=111..109, filters=14636, revisions=(27486,useless=13456), ccks=65941, wck=0.243, mem=84M719
5.33/2.78	    decisions=887, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=19, bestBound=220
5.33/2.78	    
5.33/2.78	o 218
5.33/2.78	    num=19, depth=111..109, filters=15373, revisions=(28917,useless=14183), ccks=67175, wck=0.252, mem=84M719
5.33/2.78	    decisions=935, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=20, bestBound=218
5.33/2.78	    
5.33/2.79	o 217
5.33/2.79	    num=20, depth=111..109, filters=16148, revisions=(30374,useless=14896), ccks=68446, wck=0.262, mem=84M719
5.33/2.79	    decisions=982, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=21, bestBound=217
5.33/2.79	    
5.65/2.80	o 216
5.65/2.80	    num=21, depth=111..109, filters=16885, revisions=(31816,useless=15634), ccks=69679, wck=0.271, mem=84M719
5.65/2.80	    decisions=1028, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=22, bestBound=216
5.65/2.80	    
5.65/2.81	o 215
5.65/2.81	    num=22, depth=111..109, filters=17663, revisions=(33268,useless=16340), ccks=70950, wck=0.281, mem=84M719
5.65/2.81	    decisions=1076, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=23, bestBound=215
5.65/2.81	    
5.65/2.82	o 213
5.65/2.82	    num=23, depth=111..109, filters=18399, revisions=(34704,useless=17073), ccks=72184, wck=0.291, mem=84M719
5.65/2.82	    decisions=1123, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=24, bestBound=213
5.65/2.82	    
5.65/2.83	o 212
5.65/2.83	    num=24, depth=111..109, filters=19179, revisions=(36157,useless=17779), ccks=73456, wck=0.3, mem=84M719
5.65/2.83	    decisions=1171, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=25, bestBound=212
5.65/2.83	    
5.65/2.84	o 211
5.65/2.84	    num=25, depth=111..109, filters=19917, revisions=(37600,useless=18518), ccks=74688, wck=0.309, mem=84M719
5.65/2.84	    decisions=1217, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=26, bestBound=211
5.65/2.84	    
5.65/2.85	o 209
5.65/2.85	    num=26, depth=111..109, filters=20694, revisions=(39052,useless=19225), ccks=75957, wck=0.319, mem=84M719
5.65/2.85	    decisions=1265, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=27, bestBound=209
5.65/2.85	    
5.65/2.86	o 208
5.65/2.86	    num=27, depth=111..109, filters=21435, revisions=(40510,useless=19975), ccks=77189, wck=0.328, mem=84M719
5.65/2.86	    decisions=1309, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=28, bestBound=208
5.65/2.86	    
5.65/2.87	o 207
5.65/2.87	    num=28, depth=111..109, filters=22216, revisions=(41964,useless=20681), ccks=78459, wck=0.338, mem=84M719
5.65/2.87	    decisions=1357, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=29, bestBound=207
5.65/2.87	    
5.65/2.88	o 206
5.65/2.88	    num=29, depth=111..109, filters=22956, revisions=(43422,useless=21432), ccks=79692, wck=0.347, mem=84M719
5.65/2.88	    decisions=1401, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=30, bestBound=206
5.65/2.88	    
5.65/2.89	o 204
5.65/2.89	    num=30, depth=111..109, filters=23740, revisions=(44880,useless=22139), ccks=80962, wck=0.356, mem=84M719
5.65/2.89	    decisions=1449, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=31, bestBound=204
5.65/2.89	    
5.95/2.90	o 203
5.95/2.90	    num=31, depth=111..109, filters=24493, revisions=(46337,useless=22878), ccks=82193, wck=0.366, mem=87M362
5.95/2.90	    decisions=1495, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=32, bestBound=203
5.95/2.90	    
5.95/2.91	o 202
5.95/2.91	    num=32, depth=111..109, filters=25282, revisions=(47798,useless=23584), ccks=83462, wck=0.375, mem=87M362
5.95/2.91	    decisions=1543, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=33, bestBound=202
5.95/2.91	    
5.95/2.91	o 201
5.95/2.92	    num=33, depth=111..109, filters=26042, revisions=(49260,useless=24322), ccks=84693, wck=0.384, mem=87M362
5.95/2.92	    decisions=1589, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=34, bestBound=201
5.95/2.92	    
5.95/2.92	o 199
5.95/2.92	    num=34, depth=111..109, filters=26839, revisions=(50723,useless=25022), ccks=85962, wck=0.393, mem=87M362
5.95/2.92	    decisions=1638, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=35, bestBound=199
5.95/2.92	    
5.95/2.93	o 198
5.95/2.93	    num=35, depth=111..109, filters=27598, revisions=(52197,useless=25773), ccks=87194, wck=0.402, mem=87M362
5.95/2.93	    decisions=1682, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=36, bestBound=198
5.95/2.93	    
5.95/2.94	o 196
5.95/2.94	    num=36, depth=111..109, filters=28387, revisions=(53661,useless=26480), ccks=88463, wck=0.411, mem=87M362
5.95/2.94	    decisions=1730, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=37, bestBound=196
5.95/2.94	    
5.95/2.95	o 195
5.95/2.95	    num=37, depth=111..109, filters=29144, revisions=(55135,useless=27232), ccks=89694, wck=0.42, mem=87M362
5.95/2.95	    decisions=1774, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=38, bestBound=195
5.95/2.95	    
5.95/2.96	o 193
5.95/2.96	    num=38, depth=111..109, filters=29927, revisions=(56600,useless=27945), ccks=90963, wck=0.429, mem=87M362
5.95/2.96	    decisions=1821, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=39, bestBound=193
5.95/2.96	    
5.95/2.97	o 191
5.95/2.97	    num=39, depth=111..109, filters=30689, revisions=(58060,useless=28678), ccks=92193, wck=0.438, mem=87M362
5.95/2.97	    decisions=1868, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=40, bestBound=191
5.95/2.97	    
5.95/2.98	o 190
5.95/2.98	    num=40, depth=111..109, filters=31472, revisions=(59542,useless=29409), ccks=93461, wck=0.447, mem=87M362
5.95/2.98	    decisions=1912, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=41, bestBound=190
5.95/2.98	    
5.95/2.99	o 189
5.95/2.99	    num=41, depth=111..109, filters=32225, revisions=(61031,useless=30178), ccks=94690, wck=0.455, mem=87M362
5.95/2.99	    decisions=1953, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=42, bestBound=189
5.95/2.99	    
5.95/2.99	o 188
5.95/2.99	    num=42, depth=111..109, filters=33007, revisions=(62518,useless=30915), ccks=95958, wck=0.463, mem=87M362
5.95/2.99	    decisions=1996, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=43, bestBound=188
5.95/2.99	    
5.95/3.00	o 187
5.95/3.00	    num=43, depth=111..109, filters=33751, revisions=(63999,useless=31685), ccks=97188, wck=0.471, mem=87M362
5.95/3.00	    decisions=2037, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=44, bestBound=187
5.95/3.00	    
6.27/3.01	o 184
6.27/3.01	    num=44, depth=111..109, filters=34544, revisions=(65466,useless=32392), ccks=98456, wck=0.478, mem=87M362
6.27/3.01	    decisions=2085, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=45, bestBound=184
6.27/3.01	    
6.27/3.02	o 183
6.27/3.02	    num=45, depth=111..109, filters=35270, revisions=(66943,useless=33174), ccks=99687, wck=0.484, mem=87M362
6.27/3.02	    decisions=2124, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=46, bestBound=183
6.27/3.02	    
6.27/3.02	o 181
6.27/3.02	    num=46, depth=111..109, filters=36054, revisions=(68409,useless=33887), ccks=100956, wck=0.491, mem=87M362
6.27/3.02	    decisions=2171, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=47, bestBound=181
6.27/3.02	    
6.27/3.03	o 180
6.27/3.03	    num=47, depth=111..109, filters=36816, revisions=(69900,useless=34651), ccks=102186, wck=0.498, mem=87M362
6.27/3.03	    decisions=2213, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=48, bestBound=180
6.27/3.03	    
6.27/3.04	o 179
6.27/3.04	    num=48, depth=111..109, filters=37601, revisions=(71372,useless=35371), ccks=103453, wck=0.504, mem=87M362
6.27/3.04	    decisions=2259, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=49, bestBound=179
6.27/3.04	    
6.27/3.04	o 177
6.27/3.04	    num=49, depth=111..109, filters=38370, revisions=(72838,useless=36104), ccks=104680, wck=0.511, mem=87M362
6.27/3.04	    decisions=2306, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=50, bestBound=177
6.27/3.04	    
6.27/3.05	o 176
6.27/3.05	    num=50, depth=111..109, filters=39149, revisions=(74323,useless=36842), ccks=105945, wck=0.517, mem=87M362
6.27/3.05	    decisions=2349, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=51, bestBound=176
6.27/3.05	    
6.27/3.06	o 175
6.27/3.06	    num=51, depth=111..109, filters=39916, revisions=(75825,useless=37611), ccks=107174, wck=0.524, mem=90M4
6.27/3.06	    decisions=2390, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=52, bestBound=175
6.27/3.06	    
6.27/3.06	o 173
6.27/3.06	    num=52, depth=111..109, filters=40701, revisions=(77299,useless=38331), ccks=108441, wck=0.531, mem=90M4
6.27/3.06	    decisions=2436, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=53, bestBound=173
6.27/3.06	    
6.27/3.07	o 172
6.27/3.07	    num=53, depth=111..109, filters=41457, revisions=(78798,useless=39107), ccks=109670, wck=0.538, mem=90M4
6.27/3.07	    decisions=2476, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=54, bestBound=172
6.27/3.07	    
6.27/3.07	o 170
6.27/3.08	    num=54, depth=111..109, filters=42248, revisions=(80265,useless=39815), ccks=110937, wck=0.544, mem=90M4
6.27/3.08	    decisions=2524, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=55, bestBound=170
6.27/3.08	    
6.27/3.08	o 169
6.27/3.08	    num=55, depth=111..109, filters=42993, revisions=(81759,useless=40597), ccks=112166, wck=0.55, mem=90M4
6.27/3.08	    decisions=2563, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=56, bestBound=169
6.27/3.08	    
6.27/3.09	o 167
6.27/3.09	    num=56, depth=111..109, filters=43781, revisions=(83229,useless=41311), ccks=113433, wck=0.556, mem=90M4
6.27/3.09	    decisions=2610, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=57, bestBound=167
6.27/3.09	    
6.27/3.09	o 166
6.27/3.09	    num=57, depth=111..109, filters=44522, revisions=(84713,useless=42087), ccks=114662, wck=0.562, mem=90M4
6.27/3.09	    decisions=2650, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=58, bestBound=166
6.27/3.09	    
6.27/3.10	o 165
6.27/3.10	    num=58, depth=111..109, filters=45312, revisions=(86191,useless=42808), ccks=115928, wck=0.568, mem=90M4
6.27/3.10	    decisions=2696, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=59, bestBound=165
6.27/3.10	    
6.27/3.10	o 164
6.27/3.11	    num=59, depth=111..109, filters=46049, revisions=(87684,useless=43596), ccks=117157, wck=0.574, mem=90M4
6.27/3.11	    decisions=2734, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=60, bestBound=164
6.27/3.11	    
6.60/3.11	o 162
6.60/3.11	    num=60, depth=111..109, filters=46836, revisions=(89161,useless=44317), ccks=118424, wck=0.579, mem=90M4
6.60/3.11	    decisions=2780, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=61, bestBound=162
6.60/3.11	    
6.60/3.12	o 161
6.60/3.12	    num=61, depth=111..109, filters=47593, revisions=(90667,useless=45099), ccks=119651, wck=0.585, mem=90M4
6.60/3.12	    decisions=2819, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=62, bestBound=161
6.60/3.12	    
6.60/3.12	o 160
6.60/3.12	    num=62, depth=111..109, filters=48385, revisions=(92160,useless=45832), ccks=120915, wck=0.59, mem=90M4
6.60/3.12	    decisions=2863, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=63, bestBound=160
6.60/3.12	    
6.60/3.13	o 159
6.60/3.13	    num=63, depth=111..109, filters=49134, revisions=(93665,useless=46620), ccks=122141, wck=0.596, mem=90M4
6.60/3.13	    decisions=2901, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=64, bestBound=159
6.60/3.13	    
6.60/3.13	o 158
6.60/3.13	    num=64, depth=111..109, filters=49924, revisions=(95167,useless=47365), ccks=123406, wck=0.602, mem=90M4
6.60/3.13	    decisions=2943, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=65, bestBound=158
6.60/3.13	    
6.60/3.14	o 157
6.60/3.14	    num=65, depth=111..109, filters=50670, revisions=(96668,useless=48153), ccks=124634, wck=0.607, mem=90M4
6.60/3.14	    decisions=2981, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=66, bestBound=157
6.60/3.14	    
6.60/3.14	o 156
6.60/3.14	    num=66, depth=111..109, filters=51459, revisions=(98182,useless=48910), ccks=125899, wck=0.613, mem=90M4
6.60/3.14	    decisions=3021, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=67, bestBound=156
6.60/3.14	    
6.60/3.15	o 155
6.60/3.15	    num=67, depth=111..109, filters=52205, revisions=(99689,useless=49704), ccks=127126, wck=0.618, mem=90M4
6.60/3.15	    decisions=3058, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=68, bestBound=155
6.60/3.15	    
6.60/3.16	o 154
6.60/3.16	    num=68, depth=111..109, filters=53000, revisions=(101177,useless=50431), ccks=128391, wck=0.624, mem=90M4
6.60/3.16	    decisions=3103, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=69, bestBound=154
6.60/3.16	    
6.60/3.16	o 153
6.60/3.16	    num=69, depth=111..109, filters=53751, revisions=(102684,useless=51222), ccks=129617, wck=0.63, mem=90M4
6.60/3.16	    decisions=3141, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=70, bestBound=153
6.60/3.16	    
6.60/3.17	o 151
6.60/3.17	    num=70, depth=111..109, filters=54544, revisions=(104172,useless=51949), ccks=130883, wck=0.635, mem=90M4
6.60/3.17	    decisions=3186, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=71, bestBound=151
6.60/3.17	    
6.60/3.17	o 150
6.60/3.17	    num=71, depth=111..109, filters=55318, revisions=(105702,useless=52737), ccks=132102, wck=0.641, mem=90M4
6.60/3.17	    decisions=3226, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=72, bestBound=150
6.60/3.17	    
6.60/3.18	o 149
6.60/3.18	    num=72, depth=111..109, filters=56128, revisions=(107235,useless=53494), ccks=133365, wck=0.647, mem=90M4
6.60/3.18	    decisions=3266, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=73, bestBound=149
6.60/3.18	    
6.60/3.18	o 148
6.60/3.18	    num=73, depth=111..109, filters=56884, revisions=(108774,useless=54304), ccks=134577, wck=0.653, mem=90M4
6.60/3.18	    decisions=3304, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=74, bestBound=148
6.60/3.18	    
6.60/3.19	o 147
6.60/3.19	    num=74, depth=111..109, filters=57697, revisions=(110286,useless=55037), ccks=135841, wck=0.658, mem=92M647
6.60/3.19	    decisions=3348, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=75, bestBound=147
6.60/3.19	    
6.60/3.20	o 146
6.60/3.20	    num=75, depth=111..109, filters=58448, revisions=(111871,useless=55896), ccks=137062, wck=0.664, mem=92M647
6.60/3.20	    decisions=3384, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=76, bestBound=146
6.60/3.20	    
6.88/3.20	o 145
6.88/3.20	    num=76, depth=111..109, filters=59274, revisions=(113400,useless=56635), ccks=138327, wck=0.67, mem=92M647
6.88/3.20	    decisions=3427, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=77, bestBound=145
6.88/3.20	    
6.88/3.21	o 144
6.88/3.21	    num=77, depth=111..109, filters=59997, revisions=(114995,useless=57528), ccks=139569, wck=0.676, mem=92M647
6.88/3.21	    decisions=3461, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=78, bestBound=144
6.88/3.21	    
6.88/3.21	o 143
6.88/3.21	    num=78, depth=111..109, filters=60815, revisions=(116529,useless=58279), ccks=140837, wck=0.682, mem=92M647
6.88/3.21	    decisions=3502, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=79, bestBound=143
6.88/3.21	    
6.88/3.22	o 142
6.88/3.22	    num=79, depth=111..109, filters=61527, revisions=(118148,useless=59208), ccks=142079, wck=0.687, mem=92M647
6.88/3.22	    decisions=3534, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=80, bestBound=142
6.88/3.22	    
6.88/3.22	o 141
6.88/3.22	    num=80, depth=111..109, filters=62347, revisions=(119702,useless=59976), ccks=143346, wck=0.693, mem=92M647
6.88/3.22	    decisions=3573, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=81, bestBound=141
6.88/3.22	    
6.88/3.23	o 140
6.88/3.23	    num=81, depth=111..109, filters=63057, revisions=(121318,useless=60904), ccks=144570, wck=0.698, mem=92M647
6.88/3.23	    decisions=3605, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=82, bestBound=140
6.88/3.23	    
6.88/3.24	o 139
6.88/3.24	    num=82, depth=111..109, filters=63872, revisions=(122868,useless=61669), ccks=145833, wck=0.704, mem=92M647
6.88/3.24	    decisions=3646, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=83, bestBound=139
6.88/3.24	    
6.88/3.24	o 138
6.88/3.24	    num=83, depth=111..109, filters=64582, revisions=(124508,useless=62625), ccks=147061, wck=0.709, mem=92M647
6.88/3.24	    decisions=3677, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=84, bestBound=138
6.88/3.24	    
6.88/3.25	o 137
6.88/3.25	    num=84, depth=111..109, filters=65387, revisions=(126081,useless=63422), ccks=148317, wck=0.714, mem=92M647
6.88/3.25	    decisions=3715, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=85, bestBound=137
6.88/3.25	    
6.88/3.25	o 136
6.88/3.25	    num=85, depth=20..109, filters=66557, revisions=(128811,useless=65036), ccks=150132, wck=0.723, mem=92M647
6.88/3.25	    decisions=3757, wrong=7, backtracks=4, failedAssignments=3, nogoods=2, foundSolutions=86, bestBound=136
6.88/3.25	    
6.88/3.27	    num=86, depth=3..10, filters=68280, revisions=(132105,useless=66700), ccks=152225, wck=0.734, mem=92M647
6.88/3.27	    decisions=3800, wrong=24, backtracks=12, failedAssignments=14, nogoods=5, foundSolutions=86, bestBound=136
6.88/3.27	    
6.88/3.27	    num=87, depth=4..11, filters=69182, revisions=(134307,useless=68068), ccks=153567, wck=0.743, mem=92M647
6.88/3.27	    decisions=3848, wrong=45, backtracks=22, failedAssignments=25, nogoods=7, foundSolutions=86, bestBound=136
6.88/3.27	    
6.88/3.28	    num=88, depth=1..8, filters=70252, revisions=(136505,useless=69274), ccks=154991, wck=0.752, mem=92M647
6.88/3.28	    decisions=3888, wrong=63, backtracks=30, failedAssignments=37, nogoods=10, foundSolutions=86, bestBound=136
6.88/3.28	    
6.88/3.29	    num=89, depth=1..6, filters=71789, revisions=(139501,useless=70812), ccks=156831, wck=0.762, mem=92M647
6.88/3.29	    decisions=3933, wrong=83, backtracks=39, failedAssignments=50, nogoods=12, foundSolutions=86, bestBound=136
6.88/3.29	    
7.18/3.30	    num=90, depth=2..6, filters=73076, revisions=(142682,useless=72809), ccks=158670, wck=0.771, mem=92M647
7.18/3.30	    decisions=3984, wrong=107, backtracks=50, failedAssignments=64, nogoods=18, foundSolutions=86, bestBound=136
7.18/3.30	    
7.18/3.31	    num=91, depth=1..5, filters=74623, revisions=(145647,useless=74336), ccks=160604, wck=0.779, mem=92M647
7.18/3.31	    decisions=4035, wrong=131, backtracks=63, failedAssignments=80, nogoods=22, foundSolutions=86, bestBound=136
7.18/3.31	    
7.18/3.32	    num=92, depth=2..8, filters=76433, revisions=(149133,useless=76132), ccks=162805, wck=0.787, mem=92M647
7.18/3.32	    decisions=4089, wrong=155, backtracks=72, failedAssignments=97, nogoods=25, foundSolutions=86, bestBound=136
7.18/3.32	    
7.18/3.33	    num=93, depth=2..7, filters=79530, revisions=(154685,useless=78768), ccks=166371, wck=0.798, mem=92M647
7.18/3.33	    decisions=4153, wrong=186, backtracks=89, failedAssignments=116, nogoods=28, foundSolutions=86, bestBound=136
7.18/3.33	    
7.18/3.34	    num=94, depth=2..11, filters=83293, revisions=(161077,useless=81617), ccks=170819, wck=0.811, mem=92M647
7.18/3.34	    decisions=4242, wrong=229, backtracks=116, failedAssignments=137, nogoods=32, foundSolutions=86, bestBound=136
7.18/3.34	    
7.18/3.35	    num=95, depth=1..11, filters=85248, revisions=(166171,useless=84913), ccks=173791, wck=0.822, mem=92M647
7.18/3.35	    decisions=4325, wrong=268, backtracks=143, failedAssignments=160, nogoods=35, foundSolutions=86, bestBound=136
7.18/3.35	    
7.18/3.37	    num=96, depth=1..9, filters=90002, revisions=(174143,useless=88374), ccks=179110, wck=0.835, mem=92M647
7.18/3.37	    decisions=4405, wrong=307, backtracks=167, failedAssignments=185, nogoods=39, foundSolutions=86, bestBound=136
7.18/3.37	    
7.18/3.38	o 134
7.18/3.38	    num=97, depth=3..109, filters=92228, revisions=(179149,useless=91254), ccks=182661, wck=0.845, mem=92M647
7.18/3.38	    decisions=4464, wrong=327, backtracks=176, failedAssignments=199, nogoods=46, foundSolutions=87, bestBound=134
7.18/3.38	    
7.18/3.39	    num=98, depth=2..12, filters=95291, revisions=(185154,useless=94380), ccks=186326, wck=0.858, mem=92M647
7.18/3.39	    decisions=4567, wrong=376, backtracks=204, failedAssignments=230, nogoods=53, foundSolutions=87, bestBound=134
7.18/3.39	    
7.18/3.39	    num=99, depth=1..13, filters=95679, revisions=(186230,useless=95095), ccks=186868, wck=0.861, mem=92M647
7.18/3.39	    decisions=4597, wrong=387, backtracks=204, failedAssignments=241, nogoods=64, foundSolutions=87, bestBound=134
7.18/3.39	    
7.50/3.40	    num=100, depth=4..10, filters=96517, revisions=(188143,useless=96238), ccks=188087, wck=0.866, mem=92M647
7.50/3.40	    decisions=4643, wrong=407, backtracks=216, failedAssignments=253, nogoods=70, foundSolutions=87, bestBound=134
7.50/3.40	    
7.50/3.40	    num=101, depth=2..9, filters=98133, revisions=(190961,useless=97508), ccks=189874, wck=0.872, mem=92M647
7.50/3.40	    decisions=4674, wrong=421, backtracks=218, failedAssignments=266, nogoods=83, foundSolutions=87, bestBound=134
7.50/3.40	    
7.50/3.41	    num=102, depth=0..5, filters=98960, revisions=(194295,useless=100104), ccks=191486, wck=0.877, mem=92M647
7.50/3.41	    decisions=4722, wrong=443, backtracks=231, failedAssignments=280, nogoods=85, foundSolutions=87, bestBound=134
7.50/3.41	    
7.50/3.41	    num=103, depth=1..7, filters=99777, revisions=(196814,useless=101890), ccks=192897, wck=0.881, mem=92M647
7.50/3.41	    decisions=4772, wrong=467, backtracks=243, failedAssignments=296, nogoods=90, foundSolutions=87, bestBound=134
7.50/3.41	    
7.50/3.42	    num=104, depth=2..8, filters=101701, revisions=(200847,useless=104125), ccks=195414, wck=0.888, mem=95M289
7.50/3.42	    decisions=4832, wrong=495, backtracks=258, failedAssignments=313, nogoods=97, foundSolutions=87, bestBound=134
7.50/3.42	    
7.50/3.43	    num=105, depth=1..18, filters=102963, revisions=(203899,useless=105997), ccks=196927, wck=0.895, mem=95M289
7.50/3.43	    decisions=4888, wrong=519, backtracks=265, failedAssignments=332, nogoods=114, foundSolutions=87, bestBound=134
7.50/3.43	    
7.50/3.43	    num=106, depth=2..8, filters=104997, revisions=(208401,useless=108624), ccks=199736, wck=0.902, mem=95M289
7.50/3.43	    decisions=4954, wrong=551, backtracks=281, failedAssignments=353, nogoods=117, foundSolutions=87, bestBound=134
7.50/3.43	    
7.50/3.44	    num=107, depth=3..14, filters=106715, revisions=(211912,useless=110482), ccks=201564, wck=0.909, mem=95M289
7.50/3.44	    decisions=5014, wrong=578, backtracks=293, failedAssignments=376, nogoods=129, foundSolutions=87, bestBound=134
7.50/3.44	    
7.50/3.45	    num=108, depth=2..10, filters=109593, revisions=(218183,useless=114080), ccks=205496, wck=0.921, mem=95M289
7.50/3.45	    decisions=5113, wrong=626, backtracks=322, failedAssignments=401, nogoods=135, foundSolutions=87, bestBound=134
7.50/3.45	    
7.50/3.46	    num=109, depth=0..6, filters=112362, revisions=(224085,useless=117357), ccks=208989, wck=0.931, mem=95M289
7.50/3.46	    decisions=5197, wrong=667, backtracks=345, failedAssignments=429, nogoods=141, foundSolutions=87, bestBound=134
7.50/3.46	    
7.50/3.47	    num=110, depth=5..18, filters=114142, revisions=(227528,useless=119110), ccks=211050, wck=0.939, mem=95M289
7.50/3.47	    decisions=5276, wrong=704, backtracks=367, failedAssignments=460, nogoods=143, foundSolutions=87, bestBound=134
7.50/3.47	    
7.50/3.48	    num=111, depth=0..13, filters=116863, revisions=(233789,useless=122856), ccks=214999, wck=0.949, mem=95M289
7.50/3.48	    decisions=5393, wrong=759, backtracks=393, failedAssignments=494, nogoods=156, foundSolutions=87, bestBound=134
7.50/3.48	    
7.50/3.49	o 133
7.50/3.49	    num=112, depth=3..109, filters=119478, revisions=(239685,useless=126223), ccks=218761, wck=0.959, mem=95M289
7.50/3.49	    decisions=5443, wrong=778, backtracks=405, failedAssignments=507, nogoods=164, foundSolutions=88, bestBound=133
7.50/3.49	    
7.81/3.50	o 132
7.81/3.50	    num=113, depth=4..109, filters=123077, revisions=(248224,useless=131289), ccks=223532, wck=0.973, mem=95M289
7.81/3.50	    decisions=5550, wrong=824, backtracks=431, failedAssignments=543, nogoods=173, foundSolutions=89, bestBound=132
7.81/3.50	    
7.81/3.51	    num=114, depth=2..8, filters=124818, revisions=(252105,useless=133529), ccks=225584, wck=0.979, mem=95M289
7.81/3.51	    decisions=5591, wrong=842, backtracks=444, failedAssignments=554, nogoods=177, foundSolutions=89, bestBound=132
7.81/3.51	    
7.81/3.51	    num=115, depth=0..5, filters=125743, revisions=(254516,useless=135089), ccks=226944, wck=0.982, mem=95M289
7.81/3.51	    decisions=5625, wrong=859, backtracks=454, failedAssignments=565, nogoods=177, foundSolutions=89, bestBound=132
7.81/3.51	    
7.81/3.52	    num=116, depth=2..14, filters=126338, revisions=(256157,useless=136173), ccks=227827, wck=0.985, mem=95M289
7.81/3.52	    decisions=5660, wrong=873, backtracks=456, failedAssignments=577, nogoods=189, foundSolutions=89, bestBound=132
7.81/3.52	    
7.81/3.52	    num=117, depth=0..9, filters=127533, revisions=(259252,useless=138173), ccks=229592, wck=0.99, mem=95M289
7.81/3.52	    decisions=5711, wrong=898, backtracks=472, failedAssignments=590, nogoods=190, foundSolutions=89, bestBound=132
7.81/3.52	    
7.81/3.53	    num=118, depth=3..12, filters=130061, revisions=(263472,useless=139945), ccks=232230, wck=0.997, mem=95M289
7.81/3.53	    decisions=5771, wrong=925, backtracks=490, failedAssignments=604, nogoods=193, foundSolutions=89, bestBound=132
7.81/3.53	    
7.81/3.54	    num=119, depth=0..10, filters=131985, revisions=(267839,useless=142491), ccks=234551, wck=1.004, mem=95M289
7.81/3.54	    decisions=5834, wrong=955, backtracks=509, failedAssignments=620, nogoods=196, foundSolutions=89, bestBound=132
7.81/3.54	    
7.81/3.54	    num=120, depth=4..14, filters=133946, revisions=(271224,useless=143972), ccks=236451, wck=1.01, mem=95M289
7.81/3.54	    decisions=5884, wrong=975, backtracks=518, failedAssignments=637, nogoods=204, foundSolutions=89, bestBound=132
7.81/3.54	    
7.81/3.55	    num=121, depth=1..12, filters=135263, revisions=(274840,useless=146372), ccks=238548, wck=1.016, mem=95M289
7.81/3.55	    decisions=5940, wrong=1000, backtracks=529, failedAssignments=656, nogoods=214, foundSolutions=89, bestBound=132
7.81/3.55	    
7.81/3.56	    num=122, depth=1..6, filters=137952, revisions=(280321,useless=149298), ccks=242019, wck=1.024, mem=95M289
7.81/3.56	    decisions=6004, wrong=1031, backtracks=549, failedAssignments=677, nogoods=221, foundSolutions=89, bestBound=132
7.81/3.56	    
7.81/3.57	    num=123, depth=0..10, filters=143766, revisions=(290669,useless=154024), ccks=248573, wck=1.037, mem=95M289
7.81/3.57	    decisions=6076, wrong=1066, backtracks=576, failedAssignments=700, nogoods=223, foundSolutions=89, bestBound=132
7.81/3.57	    
7.81/3.58	    num=124, depth=1..9, filters=145906, revisions=(296013,useless=157359), ccks=251198, wck=1.045, mem=95M289
7.81/3.58	    decisions=6155, wrong=1102, backtracks=599, failedAssignments=725, nogoods=230, foundSolutions=89, bestBound=132
7.81/3.58	    
7.81/3.59	o 131
7.81/3.59	    num=125, depth=3..109, filters=150690, revisions=(305481,useless=162193), ccks=257353, wck=1.057, mem=95M289
7.81/3.59	    decisions=6234, wrong=1135, backtracks=618, failedAssignments=746, nogoods=243, foundSolutions=90, bestBound=131
7.81/3.59	    
7.81/3.60	o 130
7.81/3.60	    num=126, depth=4..109, filters=152532, revisions=(310148,useless=165106), ccks=260337, wck=1.064, mem=95M289
7.81/3.60	    decisions=6298, wrong=1159, backtracks=628, failedAssignments=766, nogoods=257, foundSolutions=91, bestBound=130
7.81/3.60	    
8.10/3.60	    num=127, depth=2..13, filters=152947, revisions=(311451,useless=166025), ccks=260940, wck=1.067, mem=95M289
8.10/3.60	    decisions=6330, wrong=1173, backtracks=636, failedAssignments=777, nogoods=261, foundSolutions=91, bestBound=130
8.10/3.60	    
8.10/3.60	    num=128, depth=3..8, filters=154642, revisions=(314641,useless=167608), ccks=263012, wck=1.071, mem=95M289
8.10/3.60	    decisions=6369, wrong=1191, backtracks=650, failedAssignments=788, nogoods=267, foundSolutions=91, bestBound=130
8.10/3.60	    
8.10/3.61	    num=129, depth=1..13, filters=155127, revisions=(316034,useless=168552), ccks=263571, wck=1.074, mem=95M289
8.10/3.61	    decisions=6399, wrong=1204, backtracks=651, failedAssignments=800, nogoods=279, foundSolutions=91, bestBound=130
8.10/3.61	    
8.10/3.61	    num=130, depth=0..6, filters=157014, revisions=(320053,useless=170784), ccks=265968, wck=1.079, mem=95M289
8.10/3.61	    decisions=6451, wrong=1228, backtracks=667, failedAssignments=813, nogoods=282, foundSolutions=91, bestBound=130
8.10/3.61	    
8.10/3.62	    num=131, depth=0..6, filters=158869, revisions=(323886,useless=172858), ccks=268070, wck=1.084, mem=95M289
8.10/3.62	    decisions=6490, wrong=1246, backtracks=679, failedAssignments=827, nogoods=283, foundSolutions=91, bestBound=130
8.10/3.62	    
8.10/3.62	    num=132, depth=0..16, filters=160149, revisions=(326347,useless=174096), ccks=269408, wck=1.089, mem=95M289
8.10/3.62	    decisions=6542, wrong=1269, backtracks=689, failedAssignments=843, nogoods=292, foundSolutions=91, bestBound=130
8.10/3.62	    
8.10/3.63	    num=133, depth=1..12, filters=162894, revisions=(331189,useless=176289), ccks=272242, wck=1.096, mem=95M289
8.10/3.63	    decisions=6602, wrong=1295, backtracks=703, failedAssignments=860, nogoods=302, foundSolutions=91, bestBound=130
8.10/3.63	    
8.10/3.63	    num=134, depth=6..24, filters=164327, revisions=(334086,useless=177811), ccks=273617, wck=1.102, mem=97M932
8.10/3.63	    decisions=6663, wrong=1318, backtracks=712, failedAssignments=879, nogoods=315, foundSolutions=91, bestBound=130
8.10/3.63	    
8.10/3.64	    num=135, depth=3..9, filters=166876, revisions=(339999,useless=181313), ccks=276845, wck=1.109, mem=97M932
8.10/3.64	    decisions=6725, wrong=1347, backtracks=727, failedAssignments=900, nogoods=321, foundSolutions=91, bestBound=130
8.10/3.64	    
8.10/3.64	o 129
8.10/3.64	    num=136, depth=6..109, filters=167672, revisions=(341925,useless=182471), ccks=278343, wck=1.112, mem=97M932
8.10/3.64	    decisions=6754, wrong=1352, backtracks=727, failedAssignments=905, nogoods=326, foundSolutions=92, bestBound=129
8.10/3.64	    
8.10/3.65	    num=137, depth=5..12, filters=170144, revisions=(348337,useless=186521), ccks=281274, wck=1.12, mem=97M932
8.10/3.65	    decisions=6839, wrong=1392, backtracks=749, failedAssignments=930, nogoods=332, foundSolutions=92, bestBound=129
8.10/3.65	    
8.10/3.66	o 128
8.10/3.66	    num=138, depth=1..109, filters=171449, revisions=(351475,useless=188396), ccks=283637, wck=1.125, mem=97M932
8.10/3.66	    decisions=6865, wrong=1399, backtracks=752, failedAssignments=935, nogoods=335, foundSolutions=93, bestBound=128
8.10/3.66	    
8.10/3.66	o 127
8.10/3.66	    num=139, depth=7..109, filters=172224, revisions=(353773,useless=189935), ccks=285166, wck=1.13, mem=97M932
8.10/3.66	    decisions=6894, wrong=1405, backtracks=753, failedAssignments=940, nogoods=340, foundSolutions=94, bestBound=127
8.10/3.66	    
8.10/3.66	    num=140, depth=3..14, filters=172691, revisions=(354935,useless=190659), ccks=285656, wck=1.132, mem=97M932
8.10/3.66	    decisions=6926, wrong=1419, backtracks=761, failedAssignments=951, nogoods=344, foundSolutions=94, bestBound=127
8.10/3.66	    
8.10/3.67	    num=141, depth=0..5, filters=175415, revisions=(359881,useless=192984), ccks=288423, wck=1.139, mem=97M932
8.10/3.67	    decisions=6963, wrong=1437, backtracks=771, failedAssignments=962, nogoods=345, foundSolutions=94, bestBound=127
8.10/3.67	    
8.10/3.67	    num=142, depth=3..17, filters=176044, revisions=(361233,useless=193737), ccks=289025, wck=1.142, mem=97M932
8.10/3.67	    decisions=6995, wrong=1449, backtracks=771, failedAssignments=974, nogoods=357, foundSolutions=94, bestBound=127
8.10/3.67	    
8.10/3.68	    num=143, depth=2..9, filters=177360, revisions=(364156,useless=195432), ccks=290710, wck=1.146, mem=97M932
8.10/3.68	    decisions=7040, wrong=1470, backtracks=786, failedAssignments=987, nogoods=360, foundSolutions=94, bestBound=127
8.10/3.68	    
8.10/3.68	    num=144, depth=0..8, filters=180327, revisions=(369369,useless=197795), ccks=293896, wck=1.152, mem=97M932
8.10/3.68	    decisions=7092, wrong=1493, backtracks=799, failedAssignments=1001, nogoods=364, foundSolutions=94, bestBound=127
8.10/3.68	    
8.10/3.69	    num=145, depth=3..15, filters=181994, revisions=(372842,useless=199676), ccks=295752, wck=1.158, mem=97M932
8.10/3.69	    decisions=7139, wrong=1513, backtracks=807, failedAssignments=1017, nogoods=374, foundSolutions=94, bestBound=127
8.10/3.69	    
8.10/3.69	    num=146, depth=1..10, filters=183371, revisions=(376347,useless=201907), ccks=297338, wck=1.163, mem=97M932
8.10/3.69	    decisions=7202, wrong=1544, backtracks=831, failedAssignments=1034, nogoods=376, foundSolutions=94, bestBound=127
8.10/3.69	    
8.29/3.70	    num=147, depth=0..11, filters=186248, revisions=(381579,useless=204383), ccks=300464, wck=1.171, mem=97M932
8.29/3.70	    decisions=7277, wrong=1578, backtracks=848, failedAssignments=1053, nogoods=382, foundSolutions=94, bestBound=127
8.29/3.70	    
8.29/3.71	    num=148, depth=0..7, filters=189773, revisions=(388010,useless=207449), ccks=304179, wck=1.179, mem=97M932
8.29/3.71	    decisions=7345, wrong=1611, backtracks=870, failedAssignments=1074, nogoods=384, foundSolutions=94, bestBound=127
8.29/3.71	    
8.29/3.72	    num=149, depth=3..17, filters=191652, revisions=(391575,useless=209226), ccks=306095, wck=1.186, mem=97M932
8.29/3.72	    decisions=7422, wrong=1645, backtracks=890, failedAssignments=1097, nogoods=395, foundSolutions=94, bestBound=127
8.29/3.72	    
8.29/3.73	o 126
8.29/3.73	    num=150, depth=3..109, filters=195126, revisions=(398514,useless=212780), ccks=310655, wck=1.195, mem=97M932
8.29/3.73	    decisions=7486, wrong=1670, backtracks=905, failedAssignments=1115, nogoods=405, foundSolutions=95, bestBound=126
8.29/3.73	    
8.29/3.73	o 125
8.29/3.73	    num=151, depth=5..109, filters=195966, revisions=(400822,useless=214269), ccks=312248, wck=1.199, mem=97M932
8.29/3.73	    decisions=7509, wrong=1675, backtracks=906, failedAssignments=1119, nogoods=409, foundSolutions=96, bestBound=125
8.29/3.73	    
8.29/3.74	o 124
8.29/3.74	    num=152, depth=4..109, filters=197417, revisions=(404226,useless=216257), ccks=314584, wck=1.204, mem=97M932
8.29/3.74	    decisions=7545, wrong=1684, backtracks=911, failedAssignments=1125, nogoods=414, foundSolutions=97, bestBound=124
8.29/3.74	    
8.29/3.74	o 123
8.29/3.74	    num=153, depth=111..109, filters=198050, revisions=(406240,useless=217645), ccks=315996, wck=1.207, mem=97M932
8.29/3.74	    decisions=7558, wrong=1684, backtracks=911, failedAssignments=1125, nogoods=414, foundSolutions=98, bestBound=123
8.29/3.74	    
8.29/3.74	o 122
8.29/3.74	    num=154, depth=4..109, filters=198854, revisions=(408303,useless=218911), ccks=317455, wck=1.21, mem=97M932
8.29/3.74	    decisions=7584, wrong=1687, backtracks=913, failedAssignments=1126, nogoods=415, foundSolutions=99, bestBound=122
8.29/3.74	    
8.29/3.75	    num=155, depth=4..9, filters=200708, revisions=(412771,useless=221609), ccks=319724, wck=1.216, mem=97M932
8.29/3.75	    decisions=7631, wrong=1708, backtracks=927, failedAssignments=1137, nogoods=420, foundSolutions=99, bestBound=122
8.29/3.75	    
8.29/3.75	    num=156, depth=0..7, filters=203753, revisions=(418319,useless=224215), ccks=322882, wck=1.222, mem=97M932
8.29/3.75	    decisions=7676, wrong=1730, backtracks=946, failedAssignments=1148, nogoods=421, foundSolutions=99, bestBound=122
8.29/3.75	    
8.29/3.76	    num=157, depth=2..8, filters=206564, revisions=(423497,useless=226640), ccks=325723, wck=1.228, mem=97M932
8.29/3.76	    decisions=7710, wrong=1746, backtracks=957, failedAssignments=1160, nogoods=427, foundSolutions=99, bestBound=122
8.29/3.76	    
8.29/3.76	    num=158, depth=0..15, filters=207357, revisions=(424922,useless=227306), ccks=326381, wck=1.231, mem=97M932
8.29/3.76	    decisions=7746, wrong=1760, backtracks=959, failedAssignments=1173, nogoods=438, foundSolutions=99, bestBound=122
8.29/3.76	    
8.29/3.77	    num=159, depth=2..10, filters=209118, revisions=(429011,useless=229738), ccks=328579, wck=1.237, mem=97M932
8.29/3.77	    decisions=7797, wrong=1784, backtracks=977, failedAssignments=1187, nogoods=443, foundSolutions=99, bestBound=122
8.29/3.77	    
8.29/3.77	o 121
8.29/3.77	    num=160, depth=1..109, filters=210348, revisions=(432152,useless=231679), ccks=330724, wck=1.241, mem=97M932
8.29/3.77	    decisions=7821, wrong=1791, backtracks=982, failedAssignments=1192, nogoods=445, foundSolutions=100, bestBound=121
8.29/3.77	    
8.29/3.78	o 120
8.29/3.78	    num=161, depth=3..109, filters=211830, revisions=(435983,useless=234038), ccks=332979, wck=1.245, mem=97M932
8.29/3.78	    decisions=7845, wrong=1797, backtracks=986, failedAssignments=1195, nogoods=447, foundSolutions=101, bestBound=120
8.29/3.78	    
8.29/3.78	o 119
8.29/3.78	    num=162, depth=3..109, filters=212555, revisions=(437991,useless=235335), ccks=334415, wck=1.249, mem=100M575
8.29/3.78	    decisions=7865, wrong=1799, backtracks=986, failedAssignments=1197, nogoods=449, foundSolutions=102, bestBound=119
8.29/3.78	    
8.29/3.78	o 118
8.29/3.78	    num=163, depth=111..109, filters=213198, revisions=(440040,useless=236742), ccks=335817, wck=1.251, mem=100M575
8.29/3.78	    decisions=7877, wrong=1799, backtracks=986, failedAssignments=1197, nogoods=449, foundSolutions=103, bestBound=118
8.29/3.78	    
8.29/3.79	o 117
8.29/3.79	    num=164, depth=111..109, filters=213878, revisions=(442038,useless=238059), ccks=337202, wck=1.254, mem=100M575
8.29/3.79	    decisions=7891, wrong=1799, backtracks=986, failedAssignments=1197, nogoods=449, foundSolutions=104, bestBound=117
8.29/3.79	    
8.29/3.79	o 116
8.29/3.79	    num=165, depth=111..109, filters=214503, revisions=(444127,useless=239525), ccks=338544, wck=1.257, mem=100M575
8.29/3.79	    decisions=7901, wrong=1799, backtracks=986, failedAssignments=1197, nogoods=449, foundSolutions=105, bestBound=116
8.29/3.79	    
8.29/3.79	o 115
8.29/3.79	    num=166, depth=111..109, filters=215158, revisions=(446192,useless=240937), ccks=339890, wck=1.26, mem=100M575
8.29/3.79	    decisions=7913, wrong=1799, backtracks=986, failedAssignments=1197, nogoods=449, foundSolutions=106, bestBound=115
8.29/3.79	    
8.44/3.80	    num=167, depth=2..6, filters=218334, revisions=(452237,useless=243927), ccks=343298, wck=1.268, mem=100M575
8.44/3.80	    decisions=7955, wrong=1818, backtracks=997, failedAssignments=1208, nogoods=452, foundSolutions=106, bestBound=115
8.44/3.80	    
8.44/3.80	o 114
8.44/3.80	    num=168, depth=2..109, filters=219185, revisions=(454761,useless=245609), ccks=344884, wck=1.271, mem=100M575
8.44/3.80	    decisions=7972, wrong=1823, backtracks=998, failedAssignments=1212, nogoods=456, foundSolutions=107, bestBound=114
8.44/3.80	    
8.44/3.81	    num=169, depth=0..6, filters=220969, revisions=(458850,useless=248020), ccks=346798, wck=1.276, mem=100M575
8.44/3.81	    decisions=8019, wrong=1845, backtracks=1017, failedAssignments=1224, nogoods=458, foundSolutions=107, bestBound=114
8.44/3.81	    
8.44/3.81	    num=170, depth=5..17, filters=221814, revisions=(460264,useless=248621), ccks=347495, wck=1.28, mem=100M575
8.44/3.81	    decisions=8051, wrong=1856, backtracks=1017, failedAssignments=1235, nogoods=469, foundSolutions=107, bestBound=114
8.44/3.81	    
8.44/3.81	    num=171, depth=0..6, filters=222857, revisions=(462546,useless=249935), ccks=348634, wck=1.283, mem=100M575
8.44/3.81	    decisions=8090, wrong=1875, backtracks=1029, failedAssignments=1247, nogoods=471, foundSolutions=107, bestBound=114
8.44/3.81	    
8.44/3.82	    num=172, depth=0..20, filters=223889, revisions=(464615,useless=251030), ccks=349720, wck=1.287, mem=100M575
8.44/3.82	    decisions=8140, wrong=1898, backtracks=1046, failedAssignments=1260, nogoods=474, foundSolutions=107, bestBound=114
8.44/3.82	    
8.44/3.83	o 113
8.44/3.83	    num=173, depth=0..109, filters=227284, revisions=(471303,useless=254401), ccks=353885, wck=1.296, mem=100M575
8.44/3.83	    decisions=8205, wrong=1924, backtracks=1066, failedAssignments=1273, nogoods=479, foundSolutions=108, bestBound=113
8.44/3.83	    
8.44/3.84	    num=174, depth=0..13, filters=230859, revisions=(477671,useless=257324), ccks=357601, wck=1.304, mem=100M575
8.44/3.84	    decisions=8271, wrong=1955, backtracks=1091, failedAssignments=1289, nogoods=482, foundSolutions=108, bestBound=113
8.44/3.84	    
8.44/3.84	o 112
8.44/3.84	    num=175, depth=2..109, filters=231561, revisions=(479739,useless=258697), ccks=359128, wck=1.307, mem=100M575
8.44/3.84	    decisions=8286, wrong=1958, backtracks=1092, failedAssignments=1291, nogoods=484, foundSolutions=109, bestBound=112
8.44/3.84	    
8.44/3.84	o 111
8.44/3.84	    num=176, depth=3..109, filters=232292, revisions=(481980,useless=260208), ccks=360620, wck=1.31, mem=100M575
8.44/3.84	    decisions=8302, wrong=1960, backtracks=1092, failedAssignments=1293, nogoods=486, foundSolutions=110, bestBound=111
8.44/3.84	    
8.44/3.84	o 110
8.44/3.84	    num=177, depth=6..109, filters=232993, revisions=(484061,useless=261586), ccks=361886, wck=1.312, mem=100M575
8.44/3.84	    decisions=8316, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=111, bestBound=110
8.44/3.84	    
8.44/3.85	o 109
8.44/3.85	    num=178, depth=111..109, filters=233665, revisions=(486177,useless=263026), ccks=363137, wck=1.315, mem=100M575
8.44/3.85	    decisions=8326, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=112, bestBound=109
8.44/3.85	    
8.44/3.85	o 108
8.44/3.85	    num=179, depth=111..109, filters=234322, revisions=(488264,useless=264456), ccks=364390, wck=1.318, mem=100M575
8.44/3.85	    decisions=8337, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=113, bestBound=108
8.44/3.85	    
8.44/3.85	o 107
8.44/3.85	    num=180, depth=111..109, filters=234994, revisions=(490342,useless=265866), ccks=365662, wck=1.321, mem=100M575
8.44/3.85	    decisions=8349, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=114, bestBound=107
8.44/3.85	    
8.44/3.85	o 106
8.44/3.86	    num=181, depth=111..109, filters=235636, revisions=(492451,useless=267335), ccks=366890, wck=1.323, mem=100M575
8.44/3.86	    decisions=8359, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=115, bestBound=106
8.44/3.86	    
8.44/3.86	o 105
8.44/3.86	    num=182, depth=111..109, filters=236270, revisions=(494651,useless=268891), ccks=368097, wck=1.326, mem=100M575
8.44/3.86	    decisions=8367, wrong=1961, backtracks=1092, failedAssignments=1294, nogoods=487, foundSolutions=116, bestBound=105
8.44/3.86	    
8.44/3.86	    num=183, depth=0..6, filters=239288, revisions=(500634,useless=271953), ccks=371237, wck=1.333, mem=100M575
8.44/3.86	    decisions=8410, wrong=1982, backtracks=1105, failedAssignments=1305, nogoods=491, foundSolutions=116, bestBound=105
8.44/3.86	    
8.44/3.87	
8.44/3.87	  New Bounds: 105..104
8.44/3.87	    num=184, depth=0..5, filters=243067, revisions=(506706,useless=274325), ccks=375177, wck=1.339, mem=100M575
8.44/3.87	    decisions=8438, wrong=1997, backtracks=1116, failedAssignments=1310, foundSolutions=116, bestBound=105
8.44/3.87	    
8.44/3.87	  Global
8.44/3.87	    filters=243067, revisions=(506706,useless=274325), ccks=375177
8.44/3.87	    Stop=FULL_EXPLORATION, wrong=1997, bestBound=105, bestBoundWck=1.996, bestBoundCpu=3.826, foundSolutions=116, firstSolCpu=2.536
8.44/3.87	    wck=2.009, cpu=3.839, mem=100M575
8.44/3.87	
8.44/3.87	v <instantiation id='sol116' type='solution' cost='105'>  <list> s[] d[] l[] c[] </list>  <values> 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 18 19 26 20 21 22 23 17 25 27 34 28 29 30 24 31 32 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 4 9 0 0 0 0 2 0 1 2 0 0 0 5 8 12 7 19 24 26 18 27 24 17 33 31 17 17 24 26 18 27 19 33 24 17 18 4 4 4 1 2 2 2 1 4 1 3 5 2 4 1 1 2 1 1 5 </values>  </instantiation>
8.44/3.87	s OPTIMUM FOUND
8.44/3.87	
8.44/3.87	d WRONG_DECISIONS 1997
8.44/3.87	d NUMBER_SOLUTIONS 116

Verifier Data 

OK	105

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

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

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

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


[startup+0.100591 s]*
/proc/loadavg: 1.84 1.87 1.41 3/229 892
/proc/meminfo: memFree=26275000/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10659884 memory=27948 CPUtime=0.13 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 5452 0 0 0 12 1 0 0 20 0 15 0 414088561 10915721216 6987 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2664971 6987 2878 1 0 2627468 0
[pid=874/tid=876] ppid=871 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) R 871 874 32084 0 -1 4202560 3228 0 0 0 8 1 0 0 20 0 15 0 414088561 10915721216 7053 33554432000 4194304 4196468 140721662804800 140252851682848 140252442341186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 7053 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10659884 memory=3547064653571245728 CPUtime=0 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 7053 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 7053 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 7053 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088563 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251880186656 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251879134320 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) S 871 874 32084 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 414088566 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251877030512 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251875977712 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0.02 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) R 871 874 32084 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 414088566 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251874923216 140252839697214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088567 10915721216 7053 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27948 KiB

[startup+0.210724 s]*
/proc/loadavg: 1.84 1.87 1.41 3/229 892
/proc/meminfo: memFree=26267744/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10659884 memory=35160 CPUtime=0.33 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 6960 0 0 0 31 2 0 0 20 0 15 0 414088561 10915721216 8790 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2664971 8790 2989 1 0 2627468 0
[pid=874/tid=876] ppid=871 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) R 871 874 32084 0 -1 4202560 3879 0 0 0 19 1 0 0 20 0 15 0 414088561 10915721216 8790 33554432000 4194304 4196468 140721662804800 140252851686448 140252847482013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 8790 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10659884 memory=3547064653571245728 CPUtime=0 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 8790 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 8790 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 8790 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088563 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251880186656 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251879134320 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) S 871 874 32084 0 -1 1077944384 947 0 0 0 4 0 0 0 20 0 15 0 414088566 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251877030512 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) S 871 874 32084 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 414088566 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251875977712 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0.05 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 414088566 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088567 10915721216 8790 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35160 KiB

[startup+0.310338 s]*
/proc/loadavg: 1.84 1.87 1.41 3/229 892
/proc/meminfo: memFree=26260520/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10659884 memory=40224 CPUtime=0.47 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 9457 0 0 0 43 4 0 0 20 0 15 0 414088561 10915721216 10056 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2664971 10056 3001 1 0 2627468 0
[pid=874/tid=876] ppid=871 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) R 871 874 32084 0 -1 4202560 6321 0 0 0 27 3 0 0 20 0 15 0 414088561 10915721216 10071 33554432000 4194304 4196468 140721662804800 140252851692496 140252831540574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10659884 memory=4294976243 CPUtime=0 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 10071 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10659884 memory=3977997341062153888 CPUtime=0 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 10071 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 10071 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088562 10915721216 10071 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088563 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251880186656 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414088564 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251879134320 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) S 871 874 32084 0 -1 1077944384 963 0 0 0 4 0 0 0 20 0 15 0 414088566 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251877030512 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) S 871 874 32084 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 15 0 414088566 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251875977712 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0.07 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) R 871 874 32084 0 -1 4202560 709 0 0 0 7 0 0 0 20 0 15 0 414088566 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251874925424 140252826595864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10659884 memory=139960861673088 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088567 10915721216 10071 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40224 KiB

[startup+0.700822 s]
/proc/loadavg: 1.84 1.87 1.41 3/229 892
/proc/meminfo: memFree=26250872/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10661932 memory=61888 CPUtime=1.1 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 13170 0 0 0 104 6 0 0 20 0 15 0 414088561 10917818368 15472 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2665483 15472 3074 1 0 2627980 0
[pid=874/tid=876] ppid=871 vsize=10661932 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) R 871 874 32084 0 -1 4202560 8854 0 0 0 63 5 0 0 20 0 15 0 414088561 10917818368 15472 33554432000 4194304 4196468 140721662804800 140252851683024 140252847482013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10917818368 15472 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10661932 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10917818368 15472 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10661932 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10917818368 15472 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10661932 memory=52144 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088562 10917818368 15472 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088563 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10661932 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414088564 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251880186656 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10661932 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414088564 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251879134320 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10661932 memory=492 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10661932 memory=1560 CPUtime=0.1 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) S 871 874 32084 0 -1 1077944384 1303 0 0 0 10 0 0 0 20 0 15 0 414088566 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251877030512 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10661932 memory=932 CPUtime=0.11 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) S 871 874 32084 0 -1 1077944384 451 0 0 0 11 0 0 0 20 0 15 0 414088566 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251875977712 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10661932 memory=1768 CPUtime=0.18 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 1203 0 0 0 18 0 0 0 20 0 15 0 414088566 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414088566 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10661932 memory=896 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088567 10917818368 15472 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61888 KiB

[startup+1.5008 s]
/proc/loadavg: 1.84 1.87 1.41 3/229 892
/proc/meminfo: memFree=26235672/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10663980 memory=76020 CPUtime=2.01 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 17382 0 0 0 194 7 0 0 20 0 15 0 414088561 10919915520 19005 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2665995 19005 3094 1 0 2628492 0
[pid=874/tid=876] ppid=871 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) R 871 874 32084 0 -1 4202560 11909 0 0 0 142 6 0 0 20 0 15 0 414088561 10919915520 19005 33554432000 4194304 4196468 140721662804800 140252851685968 140252831540574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10919915520 19005 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10663980 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10919915520 19005 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10663980 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414088562 10919915520 19005 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10663980 memory=52144 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414088562 10919915520 19005 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10663980 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414088563 10919915520 19005 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0

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

[pid=874/tid=877] ppid=871 vsize=10748324 memory=3512 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 53342 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10748324 memory=39524 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 53342 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10748324 memory=205468 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 53342 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10748324 memory=6673 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 53342 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 16 0 414088563 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10748324 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251880186720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10748324 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251879134336 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10748324 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10748324 memory=52144 CPUtime=1.33 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) R 871 874 32084 0 -1 4202560 6094 0 0 0 132 1 0 0 20 0 16 0 414088566 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251877029696 140252833140785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10748324 memory=12040 CPUtime=1.31 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) R 871 874 32084 0 -1 4202560 7104 0 0 0 130 1 0 0 20 0 16 0 414088566 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251875963872 140252829004735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10748324 memory=2124 CPUtime=0.79 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 4242 0 0 0 78 1 0 0 20 0 16 0 414088566 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10748324 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10748324 memory=492 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414088567 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=893] ppid=871 vsize=10748324 memory=6947385649911455296 CPUtime=1.17 cores=0,2,4,6
/proc/874/task/893/stat : 893 (java) R 871 874 32084 0 -1 4202560 4099 0 0 0 115 2 0 0 20 0 16 0 414088750 11006283776 53342 33554432000 4194304 4196468 140721662804800 140251856155792 140252450523521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 6.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213368 KiB

[startup+3.88736 s]
# the end of solver process 874 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.37337 s, system=0.190464 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20084 s]
/proc/loadavg: 2.01 1.91 1.43 5/230 893
/proc/meminfo: memFree=26092680/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10748324 memory=213500 CPUtime=6.88 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 37720 0 0 0 671 17 0 0 20 0 16 0 414088561 11006283776 53375 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2687081 53375 3350 1 0 2647217 0
[pid=874/tid=876] ppid=871 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) S 871 874 32084 0 -1 1077944384 13771 0 0 0 180 7 0 0 20 0 16 0 414088561 11006283776 53375 33554432000 4194304 4196468 140721662804800 140252851702960 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 53375 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 53375 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 53375 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 53375 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 16 0 414088563 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251880186720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251879134336 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10748324 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) R 871 874 32084 0 -1 4202560 6109 0 0 0 141 1 0 0 20 0 16 0 414088566 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251877029696 140252826706994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10748324 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) R 871 874 32084 0 -1 4202560 7104 0 0 0 139 1 0 0 20 0 16 0 414088566 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251875963872 140252829004527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10748324 memory=2020 CPUtime=0.8 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 4273 0 0 0 79 1 0 0 20 0 16 0 414088566 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10748324 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414088567 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=893] ppid=871 vsize=10748324 memory=1056 CPUtime=1.26 cores=0,2,4,6
/proc/874/task/893/stat : 893 (java) R 871 874 32084 0 -1 4202560 4166 0 0 0 124 2 0 0 20 0 16 0 414088750 11006283776 53375 33554432000 4194304 4196468 140721662804800 140251856143856 140252449722986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 6.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213500 KiB

[startup+3.60163 s]
/proc/loadavg: 2.01 1.91 1.43 5/230 893
/proc/meminfo: memFree=26092680/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10748324 memory=222848 CPUtime=8.1 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 39129 0 0 0 793 17 0 0 20 0 16 0 414088561 11006283776 55712 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2687081 55712 3354 1 0 2647217 0
[pid=874/tid=876] ppid=871 vsize=10748324 memory=139960861696737 CPUtime=1.87 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) S 871 874 32084 0 -1 1077944384 13771 0 0 0 180 7 0 0 20 0 16 0 414088561 11006283776 55712 33554432000 4194304 4196468 140721662804800 140252851702960 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10748324 memory=7810181211021929057 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 55712 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10748324 memory=7517757280358655078 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 55712 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10748324 memory=7524221308816150891 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 55712 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10748324 memory=8530215889787893816 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 55712 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 710 0 0 0 0 0 0 0 20 0 16 0 414088563 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10748324 memory=22244 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251880186720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10748324 memory=3976733679304204886 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251879134336 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10748324 memory=6226898743563217761 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10748324 memory=6082514196445294695 CPUtime=1.81 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) R 871 874 32084 0 -1 4202560 6607 0 0 0 180 1 0 0 20 0 16 0 414088566 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251877020128 140252847473969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10748324 memory=6948037547996440173 CPUtime=1.79 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) R 871 874 32084 0 -1 1077944384 7365 0 0 0 178 1 0 0 20 0 16 0 414088566 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251875967264 140252847470293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10748324 memory=3512 CPUtime=0.85 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 4435 0 0 0 84 1 0 0 20 0 16 0 414088566 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10748324 memory=39524 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10748324 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414088567 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=893] ppid=871 vsize=10748324 memory=988 CPUtime=1.66 cores=0,2,4,6
/proc/874/task/893/stat : 893 (java) R 871 874 32084 0 -1 4202560 4639 0 0 0 164 2 0 0 20 0 16 0 414088750 11006283776 55712 33554432000 4194304 4196468 140721662804800 140251856152192 140252450133130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222848 KiB

[startup+3.80136 s]
/proc/loadavg: 2.01 1.91 1.43 5/230 893
/proc/meminfo: memFree=26092680/32770624 swapFree=66957012/67108860
[pid=874] ppid=871 vsize=10748324 memory=225360 CPUtime=8.44 cores=0,2,4,6
/proc/874/stat : 874 (java) S 871 874 32084 0 -1 1077944320 39494 0 0 0 827 17 0 0 20 0 16 0 414088561 11006283776 56340 33554432000 4194304 4196468 140721662804800 140721662787344 140252847460087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
/proc/874/statm: 2687081 56340 3354 1 0 2647217 0
[pid=874/tid=876] ppid=871 vsize=10748324 memory=1056 CPUtime=1.87 cores=0,2,4,6
/proc/874/task/876/stat : 876 (java) S 871 874 32084 0 -1 1077944384 13771 0 0 0 180 7 0 0 20 0 16 0 414088561 11006283776 56340 33554432000 4194304 4196468 140721662804800 140252851702960 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=877] ppid=871 vsize=10748324 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/877/stat : 877 (java) S 871 874 32084 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 56340 33554432000 4194304 4196468 140721662804800 140252773534608 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=878] ppid=871 vsize=10748324 memory=6100 CPUtime=0.01 cores=0,2,4,6
/proc/874/task/878/stat : 878 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 414088562 11006283776 56340 33554432000 4194304 4196468 140721662804800 140252772481808 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=879] ppid=871 vsize=10748324 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/874/task/879/stat : 879 (java) S 871 874 32084 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 56340 33554432000 4194304 4196468 140721662804800 140252771429520 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=880] ppid=871 vsize=10748324 memory=732 CPUtime=0 cores=0,2,4,6
/proc/874/task/880/stat : 880 (java) S 871 874 32084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414088562 11006283776 56340 33554432000 4194304 4196468 140721662804800 140252770376720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=881] ppid=871 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/874/task/881/stat : 881 (java) S 871 874 32084 0 -1 1077944384 710 0 0 0 0 0 0 0 20 0 16 0 414088563 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251881240688 140252847471234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=882] ppid=871 vsize=10748324 memory=7668598073586115904 CPUtime=0 cores=0,2,4,6
/proc/874/task/882/stat : 882 (java) S 871 874 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251880186720 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=883] ppid=871 vsize=10748324 memory=7739276948477863789 CPUtime=0 cores=0,2,4,6
/proc/874/task/883/stat : 883 (java) S 871 874 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414088564 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251879134336 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=884] ppid=871 vsize=10748324 memory=5787213827163908199 CPUtime=0 cores=0,2,4,6
/proc/874/task/884/stat : 884 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251878082640 140252847478683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=885] ppid=871 vsize=10748324 memory=-5874771483550381248 CPUtime=1.87 cores=0,2,4,6
/proc/874/task/885/stat : 885 (java) R 871 874 32084 0 -1 4202560 6641 0 0 0 186 1 0 0 20 0 16 0 414088566 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251877030512 140252827114017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=888] ppid=871 vsize=10748324 memory=127967 CPUtime=1.83 cores=0,2,4,6
/proc/874/task/888/stat : 888 (java) R 871 874 32084 0 -1 4202560 7382 0 0 0 182 1 0 0 20 0 16 0 414088566 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251875977712 140252832389517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=889] ppid=871 vsize=10748324 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/874/task/889/stat : 889 (java) S 871 874 32084 0 -1 1077944384 4514 0 0 0 88 1 0 0 20 0 16 0 414088566 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251874925424 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=890] ppid=871 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/874/task/890/stat : 890 (java) S 871 874 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414088566 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251873872864 140252847470293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=892] ppid=871 vsize=10748324 memory=279921407042304 CPUtime=0 cores=0,2,4,6
/proc/874/task/892/stat : 892 (java) S 871 874 32084 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414088567 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251872819632 140252847471234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
[pid=874/tid=893] ppid=871 vsize=10748324 memory=139960703525776 CPUtime=1.87 cores=0,2,4,6
/proc/874/task/893/stat : 893 (java) R 871 874 32084 0 -1 4202560 4874 0 0 0 184 3 0 0 20 0 16 0 414088750 11006283776 56340 33554432000 4194304 4196468 140721662804800 140251856149680 140252450625772 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30797824 140721662813195 140721662813298 140721662813298 140721662816207 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 225360 KiB

Child status: 0
Real time (s): 3.8874
CPU time (s): 8.56384
CPU user time (s): 8.37337
CPU system time (s): 0.190464
CPU usage (%): 220.297
Max. virtual memory (cumulated for all children) (KiB): 10750884
Max. memory (cumulated for all children) (KiB): 225360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.37337
system time used= 0.190464
maximum resident set size= 230232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2747
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 874
#   total CPU time (s): 8.56384
#   total CPU user time (s): 8.37337
#   total CPU system time (s): 0.190464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048453 second user time and 0.095528 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 15:35:04
IDJOB=4390859
IDBENCH=126827
IDSOLVER=2832
FILE ID=node147/4390859-1568381747
RUNJOBID= node147-1568380472-32115
PBS_JOBID= 21701824
Free space on /tmp= 56536 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-7-5-20-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390859-1568381747/watcher-4390859-1568381747 -o /tmp/evaluation-result-4390859-1568381747/solver-4390859-1568381747 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390859-1568381747.xml -cm

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

MD5SUM BENCH= e35b04ec576605d811ffb09e6056798d
RANDOM SEED=1138934892

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26291988 kB
MemAvailable:   31475620 kB
Buffers:          160772 kB
Cached:          5236540 kB
SwapCached:        48500 kB
Active:          2505988 kB
Inactive:        3284468 kB
Active(anon):     345112 kB
Inactive(anon):    89348 kB
Active(file):    2160876 kB
Inactive(file):  3195120 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              8512 kB
Writeback:           108 kB
AnonPages:        454260 kB
Mapped:            56864 kB
Shmem:             32768 kB
Slab:             285664 kB
SReclaimable:     256096 kB
SUnreclaim:        29568 kB
KernelStack:        3792 kB
PageTables:         6288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1332176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

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