Trace number 4459991

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
Sat4j Resolution Default 2024-07-07SAT (TO)31 3600.4 3595.81

General information on the benchmark

NamePB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMab4c554ed2f191f485244f3b7085352c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.650132
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.23	c java.vm.version	22.0.1+8-16
0.12/0.23	c java.vm.vendor	Oracle Corporation
0.12/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.24	c Free memory 		2115194816
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.45/0.36	--- Begin Solver configuration ---
0.45/0.36	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.36	Learn all clauses as in MiniSAT
0.45/0.36	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.36	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.36	No reason simplification
0.45/0.36	Glucose 2.1 dynamic restart strategy
0.45/0.36	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.45/0.36	timeout=2147483s
0.45/0.36	DB Simplification allowed=false
0.45/0.36	Listener: none
0.45/0.36	--- End Solver configuration ---
0.45/0.36	c Pseudo Boolean Optimization by upper bound
0.45/0.36	c --- Begin Solver configuration ---
0.45/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.45/0.36	c Learn all clauses as in MiniSAT
0.45/0.36	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.36	c No reason simplification
0.45/0.36	c Glucose 2.1 dynamic restart strategy
0.45/0.36	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.45/0.36	c timeout=2147483s
0.45/0.36	c DB Simplification allowed=false
0.45/0.36	c Listener: none
0.45/0.36	c --- End Solver configuration ---
0.45/0.36	c solving HOME/instance-4459991-1721946331.opb
0.45/0.36	c reading problem ... 
0.45/0.36	c  objective function found
1.14/0.78	c ... done. Wall clock time 0.413s.
1.14/0.78	c declared #vars     584
1.14/0.78	c internal #vars     2990
1.14/0.78	c #constraints  5666
1.14/0.78	c constraints type 
1.14/0.78	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 40
1.14/0.78	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 424
1.14/0.78	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348
1.14/0.78	c org.sat4j.specs.Constr$1 => 618
1.14/0.78	c org.sat4j.pb.constraints.pb.UnitClausesPB => 16
1.14/0.78	c org.sat4j.pb.constraints.pb.UnitClausePB => 115
1.14/0.78	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2105
1.14/0.78	c 5666 constraints processed.
1.34/0.81	c objective function length is 182 literals
1.51/0.97	c SATISFIABLE
1.51/0.97	c OPTIMIZING...
1.51/0.97	c Got one! Elapsed wall clock time (in seconds):0.615
1.51/0.97	o 86
2.50/1.45	c cleaning 2691 clauses out of 5383 with flag 11091/5383
3.64/2.03	c Got one! Elapsed wall clock time (in seconds):1.679
3.64/2.03	o 85
3.82/2.16	c Got one! Elapsed wall clock time (in seconds):1.807
3.82/2.16	o 74
4.15/2.47	c cleaning 6720 clauses out of 13451 with flag 12436/16142
4.84/3.01	c cleaning 6358 clauses out of 12732 with flag 37194/22143
5.04/3.15	c Got one! Elapsed wall clock time (in seconds):2.791
5.04/3.15	o 73
5.21/3.22	c Got one! Elapsed wall clock time (in seconds):2.867
5.21/3.22	o 72
5.60/3.44	c cleaning 6537 clauses out of 13082 with flag 9664/28851
5.77/3.54	c cleaning 6266 clauses out of 12544 with flag 21990/34850
5.97/3.66	c cleaning 6636 clauses out of 13277 with flag 35993/41849
6.36/3.81	c cleaning 7317 clauses out of 14641 with flag 52012/49849
6.51/3.99	c cleaning 8162 clauses out of 16326 with flag 70134/58851
6.89/4.20	c Got one! Elapsed wall clock time (in seconds):3.845
6.89/4.20	o 70
6.89/4.22	c Got one! Elapsed wall clock time (in seconds):3.858
6.89/4.22	o 32
7.00/4.32	c cleaning 6902 clauses out of 13823 with flag 3248/64510
7.21/4.55	c cleaning 6447 clauses out of 12920 with flag 17887/70509
7.52/4.85	c cleaning 6728 clauses out of 13473 with flag 34789/77509
7.93/5.21	c cleaning 7358 clauses out of 14745 with flag 55956/85509
8.46/5.66	c cleaning 8191 clauses out of 16387 with flag 77821/94509
8.76/5.99	c cleaning 9094 clauses out of 18197 with flag 98544/104510
9.26/6.45	c cleaning 10051 clauses out of 20103 with flag 122024/115510
9.79/6.84	c cleaning 11025 clauses out of 22052 with flag 146759/127510
10.32/7.21	c cleaning 12013 clauses out of 24026 with flag 173598/140509
10.81/7.70	c cleaning 13006 clauses out of 26015 with flag 205855/154511
11.62/8.53	c cleaning 14002 clauses out of 28007 with flag 249703/169509
12.24/9.17	c cleaning 15002 clauses out of 30005 with flag 283426/185509
12.62/9.57	c cleaning 16002 clauses out of 32004 with flag 317804/202510
13.33/10.21	c cleaning 16996 clauses out of 34002 with flag 360558/220510
13.83/10.79	c cleaning 17997 clauses out of 36006 with flag 409007/239510
14.93/11.85	c cleaning 18996 clauses out of 38012 with flag 464803/259513
16.24/13.16	c cleaning 20000 clauses out of 40013 with flag 522952/280510
17.22/14.20	c cleaning 21000 clauses out of 42012 with flag 579962/302509
18.40/15.32	c cleaning 21995 clauses out of 44014 with flag 641020/325511
20.00/16.98	c cleaning 23001 clauses out of 46018 with flag 709605/349510
21.30/18.26	c cleaning 24004 clauses out of 48016 with flag 767741/374509
22.80/19.75	c cleaning 24992 clauses out of 50012 with flag 832350/400509
24.71/21.63	c cleaning 26010 clauses out of 52020 with flag 914382/427509
26.00/22.99	c cleaning 27002 clauses out of 54011 with flag 989139/455510
28.70/25.63	c cleaning 27995 clauses out of 56008 with flag 1077052/484509
29.11/26.09	c cleaning 29004 clauses out of 58014 with flag 1137202/514510
34.00/30.92	c cleaning 30002 clauses out of 60010 with flag 1265880/545510
37.12/34.06	c cleaning 30994 clauses out of 62007 with flag 1354299/577509
38.50/35.48	c cleaning 32000 clauses out of 64014 with flag 1426256/610510
40.30/37.21	c cleaning 33003 clauses out of 66013 with flag 1502819/644509
41.60/38.53	c cleaning 34003 clauses out of 68010 with flag 1577137/679509
45.81/42.70	c cleaning 34993 clauses out of 70007 with flag 1695742/715509
51.89/48.88	c cleaning 36000 clauses out of 72014 with flag 1835214/752509
54.24/51.13	c cleaning 36997 clauses out of 74014 with flag 1929154/790509
57.24/54.15	c cleaning 38000 clauses out of 76018 with flag 2041644/829510
60.55/57.43	c cleaning 39004 clauses out of 78018 with flag 2152107/869510
63.54/60.46	c cleaning 39997 clauses out of 80014 with flag 2260304/910510
66.34/63.23	c cleaning 40998 clauses out of 82018 with flag 2366047/952511
69.45/66.35	c cleaning 42005 clauses out of 84018 with flag 2484466/995509
73.94/70.84	c cleaning 43000 clauses out of 86013 with flag 2607139/1039509
79.56/76.48	c cleaning 43995 clauses out of 88015 with flag 2760996/1084511
85.26/82.15	c cleaning 44998 clauses out of 90019 with flag 2930711/1130510
89.37/86.22	c cleaning 45992 clauses out of 92020 with flag 3063962/1177509
92.76/89.68	c cleaning 47006 clauses out of 94028 with flag 3184965/1225509
97.70/94.58	c cleaning 48000 clauses out of 96022 with flag 3336833/1274509
102.79/99.68	c cleaning 49004 clauses out of 98022 with flag 3500090/1324509
107.73/104.58	c cleaning 49997 clauses out of 100019 with flag 3669979/1375510
110.03/106.84	c cleaning 51003 clauses out of 102023 with flag 3790009/1427511
112.12/108.93	c cleaning 52001 clauses out of 104021 with flag 3901800/1480512
116.58/113.30	c cleaning 52996 clauses out of 106019 with flag 4047339/1534511
122.68/119.43	c cleaning 54005 clauses out of 108021 with flag 4217372/1589509
128.08/124.84	c cleaning 54999 clauses out of 110018 with flag 4377029/1645511
131.97/128.72	c cleaning 55997 clauses out of 112017 with flag 4515790/1702509
137.31/134.10	c cleaning 56998 clauses out of 114020 with flag 4687458/1760509
142.08/138.89	c cleaning 58002 clauses out of 116025 with flag 4861054/1819512
148.79/145.52	c cleaning 59006 clauses out of 118020 with flag 5060335/1879509
154.09/150.82	c cleaning 59995 clauses out of 120016 with flag 5237223/1940511
160.83/157.54	c cleaning 61008 clauses out of 122021 with flag 5434063/2002511
167.65/164.36	c cleaning 61999 clauses out of 124017 with flag 5636373/2065515
171.75/168.43	c cleaning 62998 clauses out of 126014 with flag 5809220/2129511
178.83/175.51	c cleaning 64004 clauses out of 128017 with flag 5986214/2194512
185.55/182.29	c cleaning 65004 clauses out of 130011 with flag 6172863/2260510
187.75/184.48	c cleaning 66001 clauses out of 132008 with flag 6318377/2327511
196.04/192.76	c cleaning 66995 clauses out of 134008 with flag 6511261/2395512
202.78/199.47	c cleaning 67996 clauses out of 136010 with flag 6725472/2464509
210.77/207.44	c cleaning 68993 clauses out of 138014 with flag 6964183/2534509
221.58/217.76	c cleaning 69998 clauses out of 140021 with flag 7204845/2605509
229.43/225.57	c cleaning 71008 clauses out of 142025 with flag 7417322/2677511
234.62/230.71	c cleaning 71996 clauses out of 144015 with flag 7583917/2750509
242.41/238.51	c cleaning 73001 clauses out of 146022 with flag 7802045/2824512
254.06/250.16	c cleaning 74003 clauses out of 148018 with flag 8053465/2899509
259.54/255.61	c cleaning 75001 clauses out of 150017 with flag 8244670/2975511
268.67/264.75	c cleaning 75988 clauses out of 152014 with flag 8492591/3052509
279.16/275.29	c cleaning 77010 clauses out of 154026 with flag 8749207/3130509
288.14/284.22	c cleaning 78004 clauses out of 156019 with flag 8984083/3209512
299.07/295.14	c cleaning 78998 clauses out of 158013 with flag 9245572/3289510
309.23/305.39	c cleaning 80005 clauses out of 160014 with flag 9483718/3370509
315.95/312.08	c cleaning 81001 clauses out of 162009 with flag 9684771/3452509
328.81/324.95	c cleaning 82002 clauses out of 164008 with flag 9935933/3535509
339.36/335.41	c cleaning 82989 clauses out of 166006 with flag 10158139/3619509
346.75/342.83	c cleaning 84001 clauses out of 168019 with flag 10366970/3704511
360.28/356.31	c cleaning 84999 clauses out of 170017 with flag 10660913/3790510
370.86/366.97	c cleaning 85997 clauses out of 172019 with flag 10945219/3877511
380.49/376.56	c cleaning 87004 clauses out of 174023 with flag 11196563/3965512
392.57/388.64	c cleaning 88008 clauses out of 176018 with flag 11439865/4054511
403.64/399.77	c cleaning 88992 clauses out of 178009 with flag 11695073/4144510
426.96/423.02	c cleaning 90003 clauses out of 180018 with flag 12036431/4235511
438.62/434.75	c cleaning 91005 clauses out of 182013 with flag 12291160/4327509
455.13/451.27	c cleaning 91998 clauses out of 184009 with flag 12597006/4420510
470.50/466.66	c cleaning 92994 clauses out of 186010 with flag 12858968/4514509
482.96/479.08	c cleaning 93992 clauses out of 188017 with flag 13148750/4609510
499.61/495.78	c cleaning 95011 clauses out of 190024 with flag 13484654/4705509
512.43/508.22	c cleaning 96005 clauses out of 192013 with flag 13769988/4802509
537.96/533.82	c cleaning 96999 clauses out of 194008 with flag 14107013/4900509
547.54/543.46	c cleaning 97996 clauses out of 196010 with flag 14366308/4999510
559.49/555.32	c cleaning 99000 clauses out of 198014 with flag 14655367/5099510
571.47/567.35	c cleaning 99999 clauses out of 200014 with flag 14916507/5200510
588.56/584.33	c cleaning 100997 clauses out of 202015 with flag 15191420/5302510
609.53/605.32	c cleaning 102005 clauses out of 204019 with flag 15508050/5405511
622.64/618.46	c cleaning 102999 clauses out of 206012 with flag 15810837/5509509
638.34/634.14	c cleaning 103999 clauses out of 208017 with flag 16127676/5614513
653.34/649.17	c cleaning 105002 clauses out of 210014 with flag 16426629/5720509
667.00/662.89	c cleaning 106001 clauses out of 212013 with flag 16709398/5827510
676.30/672.13	c cleaning 106992 clauses out of 214012 with flag 16974743/5935510
679.71/675.59	c cleaning 108000 clauses out of 216021 with flag 17193612/6044511
685.21/681.01	c cleaning 109001 clauses out of 218019 with flag 17414267/6154509
690.30/686.13	c cleaning 110005 clauses out of 220019 with flag 17636361/6265510
695.37/691.27	c cleaning 110995 clauses out of 222015 with flag 17860741/6377511
699.93/695.74	c cleaning 112005 clauses out of 224022 with flag 18086745/6490513
704.52/700.31	c cleaning 113003 clauses out of 226019 with flag 18314749/6604515
709.61/705.44	c cleaning 113999 clauses out of 228012 with flag 18544754/6719511
725.54/721.38	c cleaning 114995 clauses out of 230011 with flag 18822772/6835509
748.22/744.07	c cleaning 116002 clauses out of 232016 with flag 19167956/6952509
766.07/761.99	c cleaning 116993 clauses out of 234014 with flag 19504896/7070509
791.97/787.81	c cleaning 118007 clauses out of 236021 with flag 19883150/7189509
811.24/807.16	c cleaning 119004 clauses out of 238015 with flag 20211795/7309510
844.07/839.16	c cleaning 119997 clauses out of 240008 with flag 20581122/7430509
866.11/861.27	c cleaning 120993 clauses out of 242014 with flag 20953058/7552512
890.55/885.78	c cleaning 122002 clauses out of 244018 with flag 21328557/7675509
925.96/921.29	c cleaning 122989 clauses out of 246016 with flag 21736964/7799509
958.29/953.68	c cleaning 124007 clauses out of 248027 with flag 22138327/7924509
993.20/988.66	c cleaning 125004 clauses out of 250022 with flag 22538357/8050511
1024.04/1019.57	c cleaning 125997 clauses out of 252016 with flag 22944655/8177509
1045.76/1041.05	c cleaning 127001 clauses out of 254019 with flag 23322188/8305509
1060.32/1055.66	c cleaning 128003 clauses out of 256020 with flag 23643631/8434511
1073.59/1068.99	c cleaning 129007 clauses out of 258015 with flag 23944069/8564509
1099.57/1095.00	c cleaning 129999 clauses out of 260011 with flag 24294784/8695512
1121.43/1116.83	c cleaning 131000 clauses out of 262009 with flag 24658549/8827509
1156.80/1151.70	c cleaning 131992 clauses out of 264009 with flag 25034479/8960509
1188.54/1183.39	c cleaning 133001 clauses out of 266019 with flag 25436821/9094511
1228.76/1223.53	c cleaning 134005 clauses out of 268016 with flag 25867250/9229509
1257.39/1252.25	c cleaning 134995 clauses out of 270011 with flag 26279239/9365510
1283.18/1278.10	c cleaning 136000 clauses out of 272015 with flag 26678915/9502509
1313.28/1308.15	c cleaning 137000 clauses out of 274015 with flag 27109652/9640509
1341.70/1336.64	c cleaning 138002 clauses out of 276015 with flag 27511606/9779509
1356.71/1351.66	c Got one! Elapsed wall clock time (in seconds):1351.306
1356.71/1351.66	o 31
1358.70/1353.66	c cleaning 106949 clauses out of 213906 with flag 22764/9855402
1359.21/1354.18	c cleaning 56472 clauses out of 112959 with flag 35298/9861404
1359.60/1354.56	c cleaning 31737 clauses out of 63485 with flag 49750/9868402
1359.90/1354.87	c cleaning 19864 clauses out of 39749 with flag 66496/9876403
1360.21/1355.18	c cleaning 14436 clauses out of 28885 with flag 85290/9885403
1360.40/1355.36	c cleaning 10365 clauses out of 24448 with flag 105611/9895402
1360.72/1355.60	c cleaning 11003 clauses out of 25086 with flag 127850/9906405
1361.02/1355.90	c cleaning 12002 clauses out of 26081 with flag 152085/9918403
1361.42/1356.33	c cleaning 12997 clauses out of 27078 with flag 178713/9931402
1361.85/1356.70	c cleaning 14000 clauses out of 28082 with flag 206992/9945403
1362.38/1357.04	c cleaning 14537 clauses out of 29083 with flag 237453/9960404
1362.77/1357.46	c cleaning 15272 clauses out of 30546 with flag 270356/9976404
1363.27/1357.90	c cleaning 16127 clauses out of 32272 with flag 305137/9993402
1363.76/1358.42	c cleaning 17069 clauses out of 34145 with flag 341957/10011402
1364.26/1358.92	c cleaning 18038 clauses out of 36076 with flag 380399/10030402
1364.66/1359.35	c cleaning 19017 clauses out of 38038 with flag 421586/10050402
1365.26/1359.95	c cleaning 20006 clauses out of 40022 with flag 465197/10071403
1365.76/1360.47	c cleaning 21006 clauses out of 42016 with flag 511120/10093403
1366.56/1361.25	c cleaning 22003 clauses out of 44011 with flag 558015/10116404
1367.37/1362.08	c cleaning 23003 clauses out of 46006 with flag 606475/10140402
1368.85/1363.58	c cleaning 23988 clauses out of 48004 with flag 661331/10165403
1371.46/1366.13	c cleaning 24997 clauses out of 50017 with flag 729664/10191404
1373.24/1367.91	c cleaning 26001 clauses out of 52018 with flag 786436/10218402
1374.94/1369.64	c cleaning 26999 clauses out of 54019 with flag 845380/10246404
1376.94/1371.61	c cleaning 27995 clauses out of 56019 with flag 910239/10275403
1378.54/1373.29	c cleaning 29011 clauses out of 58024 with flag 975136/10305403
1380.34/1375.05	c cleaning 29990 clauses out of 60012 with flag 1045496/10336402
1383.22/1378.00	c cleaning 30998 clauses out of 62023 with flag 1123870/10368403
1386.21/1380.97	c cleaning 32003 clauses out of 64024 with flag 1201455/10401402
1390.90/1385.64	c cleaning 32993 clauses out of 66021 with flag 1295802/10435402
1394.21/1388.97	c cleaning 33998 clauses out of 68028 with flag 1386181/10470402
1397.60/1392.37	c cleaning 35006 clauses out of 70030 with flag 1476796/10506402
1400.00/1394.73	c cleaning 36011 clauses out of 72026 with flag 1559504/10543404
1402.89/1397.63	c cleaning 36995 clauses out of 74013 with flag 1647832/10581402
1406.18/1400.98	c cleaning 38005 clauses out of 76019 with flag 1742578/10620403
1410.47/1405.20	c cleaning 39006 clauses out of 78015 with flag 1844428/10660404
1413.86/1408.66	c cleaning 39987 clauses out of 80008 with flag 1940732/10701403
1416.95/1411.78	c cleaning 41001 clauses out of 82020 with flag 2038402/10743402
1420.36/1415.19	c cleaning 41994 clauses out of 84019 with flag 2139183/10786402
1424.34/1419.16	c cleaning 43009 clauses out of 86026 with flag 2249496/10830403
1427.73/1422.57	c cleaning 44004 clauses out of 88016 with flag 2349209/10875402
1429.63/1424.48	c cleaning 45003 clauses out of 90012 with flag 2452607/10921402
1434.11/1429.00	c cleaning 45993 clauses out of 92009 with flag 2565825/10968402
1437.61/1432.46	c cleaning 47001 clauses out of 94016 with flag 2671574/11016402
1440.31/1435.12	c cleaning 48004 clauses out of 96018 with flag 2780591/11065405
1444.39/1439.28	c cleaning 49004 clauses out of 98013 with flag 2897339/11115404
1450.37/1445.24	c cleaning 49996 clauses out of 100007 with flag 3024685/11166402
1455.06/1449.99	c cleaning 50999 clauses out of 102011 with flag 3151639/11218402
1458.96/1453.83	c cleaning 51998 clauses out of 104012 with flag 3282329/11271402
1461.85/1456.79	c cleaning 52999 clauses out of 106015 with flag 3396793/11325403
1465.16/1460.03	c cleaning 53998 clauses out of 108015 with flag 3518056/11380402
1470.74/1465.64	c cleaning 54996 clauses out of 110018 with flag 3652738/11436403
1476.24/1471.16	c cleaning 56006 clauses out of 112021 with flag 3795327/11493402
1481.61/1476.55	c cleaning 56999 clauses out of 114016 with flag 3942352/11551403
1486.61/1481.55	c cleaning 58007 clauses out of 116016 with flag 4086089/11610402
1494.00/1488.99	c cleaning 59001 clauses out of 118009 with flag 4244485/11670402
1499.69/1494.68	c cleaning 59992 clauses out of 120010 with flag 4393763/11731404
1513.46/1508.40	c cleaning 60996 clauses out of 122017 with flag 4577519/11793403
1522.25/1517.29	c cleaning 62011 clauses out of 124024 with flag 4744822/11856406
1531.06/1526.05	c cleaning 63000 clauses out of 126010 with flag 4919397/11920403
1536.74/1531.72	c cleaning 64001 clauses out of 128010 with flag 5070328/11985403
1540.63/1535.63	c cleaning 64970 clauses out of 130008 with flag 5225680/12051402
1558.50/1553.55	c cleaning 66009 clauses out of 132040 with flag 5438726/12118404
1571.89/1566.98	c cleaning 67005 clauses out of 134032 with flag 5632235/12186405
1582.98/1578.03	c cleaning 68001 clauses out of 136028 with flag 5825794/12255406
1592.34/1587.48	c cleaning 69000 clauses out of 138023 with flag 6006275/12325402
1601.15/1596.23	c cleaning 70003 clauses out of 140025 with flag 6182831/12396404
1611.13/1606.24	c cleaning 71000 clauses out of 142021 with flag 6371319/12468403
1620.18/1615.28	c cleaning 71998 clauses out of 144020 with flag 6558159/12541402
1633.25/1628.34	c cleaning 72999 clauses out of 146023 with flag 6755780/12615403
1644.60/1639.61	c cleaning 74006 clauses out of 148024 with flag 6958582/12690403
1651.60/1646.62	c cleaning 75001 clauses out of 150017 with flag 7132547/12766402
1660.09/1655.17	c cleaning 75995 clauses out of 152016 with flag 7328764/12843402
1675.45/1670.55	c cleaning 77010 clauses out of 154021 with flag 7551566/12921402
1689.32/1684.40	c cleaning 78001 clauses out of 156014 with flag 7772724/13000405
1701.00/1696.12	c cleaning 78992 clauses out of 158010 with flag 7993480/13080402
1710.58/1705.74	c cleaning 80007 clauses out of 160020 with flag 8209049/13161404
1725.46/1720.68	c cleaning 81003 clauses out of 162014 with flag 8444981/13243405
1746.71/1741.90	c cleaning 82000 clauses out of 164009 with flag 8686732/13326403
1757.55/1752.71	c cleaning 83001 clauses out of 166008 with flag 8910087/13410402
1765.03/1760.24	c cleaning 83991 clauses out of 168008 with flag 9136509/13495403
1772.02/1767.29	c cleaning 85000 clauses out of 170016 with flag 9346695/13581402
1786.68/1781.90	c cleaning 85983 clauses out of 172017 with flag 9567308/13668403
1796.46/1791.71	c cleaning 87014 clauses out of 174036 with flag 9803088/13756405
1810.23/1805.58	c cleaning 88005 clauses out of 176020 with flag 10046717/13845403
1824.59/1819.95	c cleaning 89000 clauses out of 178014 with flag 10286744/13935402
1835.84/1831.13	c cleaning 90001 clauses out of 180014 with flag 10516207/14026402
1847.60/1842.91	c cleaning 90998 clauses out of 182015 with flag 10765737/14118404
1870.26/1865.68	c cleaning 92001 clauses out of 184016 with flag 11047319/14211403
1883.17/1878.53	c cleaning 92999 clauses out of 186014 with flag 11284716/14305402
1894.65/1890.01	c cleaning 93997 clauses out of 188015 with flag 11528130/14400402
1908.41/1903.86	c cleaning 95007 clauses out of 190020 with flag 11783496/14496404
1920.89/1916.31	c cleaning 95994 clauses out of 192011 with flag 12036116/14593402
1937.35/1932.83	c cleaning 96996 clauses out of 194017 with flag 12303536/14691402
1954.63/1950.11	c cleaning 98000 clauses out of 196021 with flag 12578683/14790402
1973.17/1968.73	c cleaning 99000 clauses out of 198022 with flag 12872716/14890403
1990.74/1986.32	c cleaning 99999 clauses out of 200021 with flag 13168391/14991402
2004.85/2000.37	c cleaning 101000 clauses out of 202022 with flag 13431414/15093402
2016.54/2012.11	c cleaning 102006 clauses out of 204024 with flag 13692846/15196404
2036.20/2031.76	c cleaning 102996 clauses out of 206017 with flag 13986043/15300403
2053.01/2048.21	c cleaning 103999 clauses out of 208022 with flag 14272359/15405404
2076.88/2072.14	c cleaning 105003 clauses out of 210021 with flag 14580530/15511402
2106.42/2101.73	c cleaning 106004 clauses out of 212021 with flag 14929340/15618405
2125.39/2120.73	c cleaning 107004 clauses out of 214014 with flag 15228869/15726402
2141.24/2136.55	c cleaning 108002 clauses out of 216014 with flag 15525461/15835406
2151.52/2146.86	c cleaning 108999 clauses out of 218009 with flag 15778137/15945403
2165.41/2160.72	c cleaning 109987 clauses out of 220009 with flag 16093703/16056402
2181.04/2176.31	c cleaning 111009 clauses out of 222022 with flag 16421244/16168402
2195.82/2191.14	c cleaning 111998 clauses out of 224013 with flag 16728128/16281402
2212.97/2208.34	c cleaning 112997 clauses out of 226015 with flag 17044023/16395402
2232.10/2227.41	c cleaning 114001 clauses out of 228019 with flag 17373534/16510403
2252.07/2247.41	c cleaning 114984 clauses out of 230018 with flag 17697035/16626403
2269.83/2265.23	c cleaning 116012 clauses out of 232036 with flag 18020604/16743405
2289.55/2285.00	c cleaning 116992 clauses out of 234022 with flag 18350997/16861403
2305.84/2301.25	c cleaning 118010 clauses out of 236030 with flag 18667298/16980403
2327.38/2322.71	c cleaning 119006 clauses out of 238021 with flag 19013980/17100404
2349.16/2344.46	c cleaning 119991 clauses out of 240013 with flag 19366380/17221402
2373.41/2368.70	c cleaning 121004 clauses out of 242022 with flag 19718298/17343402
2387.93/2383.25	c cleaning 122006 clauses out of 244020 with flag 20029268/17466404
2409.30/2404.70	c cleaning 122990 clauses out of 246014 with flag 20385707/17590404
2428.15/2423.46	c cleaning 124003 clauses out of 248023 with flag 20740680/17715403
2451.73/2447.07	c cleaning 125000 clauses out of 250019 with flag 21091688/17841402
2473.58/2468.91	c cleaning 126003 clauses out of 252021 with flag 21452420/17968404
2486.38/2481.79	c cleaning 127001 clauses out of 254016 with flag 21758477/18096402
2491.47/2486.87	c cleaning 128004 clauses out of 256015 with flag 22016776/18225402
2495.86/2491.23	c cleaning 128998 clauses out of 258011 with flag 22277372/18355402
2527.48/2522.80	c cleaning 130000 clauses out of 260013 with flag 22667079/18486402
2551.05/2546.44	c cleaning 130995 clauses out of 262014 with flag 23067949/18618403
2583.12/2578.58	c cleaning 131994 clauses out of 264018 with flag 23483886/18751402
2626.43/2621.95	c cleaning 133007 clauses out of 266025 with flag 23899282/18885403
2638.22/2633.63	c cleaning 133998 clauses out of 268017 with flag 24198857/19020402
2662.17/2657.60	c cleaning 134998 clauses out of 270019 with flag 24593454/19156402
2683.82/2679.29	c cleaning 135999 clauses out of 272021 with flag 24965958/19293402
2711.26/2706.70	c cleaning 137002 clauses out of 274022 with flag 25350602/19431402
2741.24/2736.65	c cleaning 138005 clauses out of 276021 with flag 25757774/19570403
2764.49/2759.98	c cleaning 139002 clauses out of 278015 with flag 26149839/19710402
2794.50/2789.86	c cleaning 139998 clauses out of 280013 with flag 26581149/19851402
2820.05/2815.40	c cleaning 140999 clauses out of 282015 with flag 26988917/19993402
2843.31/2838.69	c cleaning 141999 clauses out of 284016 with flag 27375189/20136402
2882.94/2878.37	c cleaning 143004 clauses out of 286017 with flag 27778175/20280402
2923.20/2918.56	c cleaning 143996 clauses out of 288013 with flag 28188724/20425402
2944.55/2939.29	c cleaning 144992 clauses out of 290017 with flag 28568139/20571402
2984.19/2978.81	c cleaning 145978 clauses out of 292026 with flag 29005208/20718403
3012.73/3007.33	c cleaning 147011 clauses out of 294047 with flag 29430845/20866402
3050.98/3045.54	c cleaning 148014 clauses out of 296036 with flag 29879329/21015402
3087.21/3081.76	c cleaning 148987 clauses out of 298022 with flag 30298730/21165402
3139.59/3134.28	c cleaning 150007 clauses out of 300039 with flag 30758575/21316406
3166.51/3161.32	c cleaning 151004 clauses out of 302028 with flag 31154120/21468402
3186.33/3181.31	c cleaning 151996 clauses out of 304024 with flag 31507804/21621402
3213.19/3208.39	c cleaning 153006 clauses out of 306029 with flag 31937090/21775403
3248.03/3243.32	c cleaning 153999 clauses out of 308023 with flag 32381019/21930403
3272.98/3268.37	c cleaning 155001 clauses out of 310023 with flag 32761468/22086402
3302.00/3297.34	c cleaning 156009 clauses out of 312022 with flag 33196878/22243403
3346.90/3342.35	c cleaning 156993 clauses out of 314014 with flag 33672160/22401404
3381.71/3377.05	c cleaning 158004 clauses out of 316020 with flag 34131390/22560403
3439.99/3435.44	c cleaning 159002 clauses out of 318016 with flag 34625422/22720403
3469.41/3464.91	c cleaning 159995 clauses out of 320014 with flag 35072748/22881403
3491.99/3487.47	c cleaning 160997 clauses out of 322018 with flag 35465397/23043402
3590.62/3586.25	c cleaning 162007 clauses out of 324021 with flag 36005999/23206402
3600.01/3595.63	c starts		: 48562
3600.01/3595.65	c conflicts		: 23322203
3600.01/3595.65	c decisions		: 31280658
3600.01/3595.65	c propagations		: 2170580847
3600.01/3595.65	c inspects		: 39990976697
3600.01/3595.65	c shortcuts		: 0
3600.01/3595.65	c learnt literals	: 4
3600.01/3595.65	c learnt binary clauses	: 96
3600.01/3595.65	c learnt ternary clauses	: 280
3600.01/3595.65	c learnt constraints	: 23322199
3600.01/3595.65	c ignored constraints	: 0
3600.01/3595.65	c root simplifications	: 0
3600.01/3595.65	c removed literals (reason simplification)	: 0
3600.01/3595.65	c reason swapping (by a shorter reason)	: 0
3600.01/3595.65	c Calls to reduceDB	: 302
3600.01/3595.65	c Number of update (reduction) of LBD	: 1943538
3600.01/3595.65	c Imported unit clauses	: 0
3600.01/3595.65	c No decision after first conflict	: false
3600.01/3595.65	c number of reductions to clauses (during analyze)	: 0
3600.01/3595.65	c number of learned constraints concerned by reduction	: 0
3600.01/3595.65	c number of learning phase by resolution	: 0
3600.01/3595.65	c number of learning phase by cutting planes	: 0
3600.01/3595.65	c number of rounding to 1 operations	: 0
3600.01/3595.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3595.65	c number of reductions of the coefficients by power 2 	: 0
3600.01/3595.65	c number of right shift for reduction by power 2 	: 0
3600.01/3595.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3595.65	c number of ending skipping 	: 0
3600.01/3595.65	c number of internal skipping 	: 0
3600.01/3595.65	c number of derivation steps 	: 0
3600.01/3595.65	c number of skipped derivation steps 	: 0
3600.01/3595.66	c number of remaining unassigned 	: 0
3600.01/3595.66	c number of remaining assigned 	: 0
3600.01/3595.66	c number of falsified literals weakened from reason	: 0
3600.01/3595.66	c number of falsified literals weakened from conflict	: 0
3600.01/3595.66	c time for arithmetic operations	: 0
3600.01/3595.66	c minimum degree of deleted constraints	: null
3600.01/3595.66	c maximum degree of deleted constraints	: null
3600.01/3595.66	c number of deleted constraints	: 0
3600.01/3595.66	c speed (assignments/second)	: 603809.6163635908
3600.01/3595.66	c non guided choices	: 8905
3600.20/3595.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 277719
3600.20/3595.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 96
3600.20/3595.78	s SATISFIABLE
3600.20/3595.78	c Found 8 solution(s)
3600.20/3595.78	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 x226 x227 -x228 x229 -x230 -x231 x232 -x233 x234 x235 x236 -x237 -x238 x239 -x240 -x241 x242 -x243 x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 x266 x267 x268 -x269 -x270 -x271 x272 -x273 x274 x275 x276 -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 x307 -x308 -x309 x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 x356 x357 x358 x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 x395 x396 -x397 x398 -x399 x400 -x401 x402 x403 x404 x405 x406 -x407 -x408 -x409 x410 x411 -x412 x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 x423 x424 x425 -x426 -x427 x428 x429 x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 x439 -x440 -x441 x442 x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 x452 x453 x454 x455 -x456 x457 -x458 x459 x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 -x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 -x494 x495 x496 x497 -x498 -x499 x500 -x501 x502 x503 -x504 -x505 -x506 -x507 x508 x509 -x510 -x511 -x512 -x513 x514 x515 -x516 x517 x518 -x519 x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 -x542 x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
3600.20/3595.78	c objective function=31
3600.20/3595.78	c Total wall clock time (in seconds): 3595.427

Verifier Data 

OK	31

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (61375 MiB free)
  memory of node 1: 64473 MiB (62245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459991-1721946331/watcher-4459991-1721946331 -o /tmp/evaluation-result-4459991-1721946331/solver-4459991-1721946331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721946331-243616 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459991-1721946331.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=243674, runsolver pid=243660
Current StackSize limit: 8192 KiB


[startup+0.101908 s]*
/proc/loadavg: 1.14 1.23 1.24 11/313 243747
/proc/meminfo: memFree=126449064/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=18975048 memory=57252 CPUtime=0.12 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 6406 0 0 0 8 4 0 0 20 0 18 0 30622401 19430449152 14313 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4743762 14313 5593 1 0 550746 0
[pid=243674/tid=243680] ppid=243660 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 5340 0 0 0 5 3 0 0 20 0 18 0 30622402 19430449152 14313 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622408 19430449152 14313 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622409 19430449152 14313 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57252 KiB

[startup+0.21784 s]*
/proc/loadavg: 1.14 1.23 1.24 16/313 243747
/proc/meminfo: memFree=126437752/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=18975048 memory=62972 CPUtime=0.29 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 7099 0 0 0 24 5 0 0 20 0 18 0 30622401 19430449152 15743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4743762 15743 5760 1 0 551319 0
[pid=243674/tid=243680] ppid=243660 vsize=18975048 memory=664970851429515395 CPUtime=0.19 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 5669 0 0 0 15 4 0 0 20 0 18 0 30622402 19430449152 15743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=18975048 memory=1276314 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622408 19430449152 15743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622409 19430449152 15743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62972 KiB

[startup+0.31715 s]*
/proc/loadavg: 1.14 1.23 1.24 14/313 243747
/proc/meminfo: memFree=126409492/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=18975048 memory=69900 CPUtime=0.45 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 7339 0 0 0 39 6 0 0 20 0 18 0 30622401 19430449152 17475 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4743762 17475 5769 1 0 551481 0
[pid=243674/tid=243680] ppid=243660 vsize=18975048 memory=-9175913169709408956 CPUtime=0.27 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 5811 0 0 0 23 4 0 0 20 0 18 0 30622402 19430449152 17475 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=18975048 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622408 19430449152 17475 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622409 19430449152 17475 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69900 KiB

[startup+0.700591 s]
/proc/loadavg: 1.14 1.23 1.24 13/314 243748
/proc/meminfo: memFree=126391300/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=18975048 memory=81472 CPUtime=1.14 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 8509 0 0 0 107 7 0 0 20 0 18 0 30622401 19430449152 20368 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4743762 20368 5872 1 0 552052 0
[pid=243674/tid=243680] ppid=243660 vsize=18975048 memory=5456 CPUtime=0.61 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 5948 0 0 0 56 5 0 0 20 0 18 0 30622402 19430449152 20368 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=18975048 memory=12620 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622408 19430449152 20368 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30622409 19430449152 20368 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81472 KiB

[startup+1.50029 s]
/proc/loadavg: 1.14 1.23 1.24 10/297 243753
/proc/meminfo: memFree=126375980/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19041612 memory=110828 CPUtime=2.69 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 16969 0 0 0 259 10 0 0 20 0 19 0 30622401 19498610688 27707 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4760403 27707 5910 1 0 555371 0
[pid=243674/tid=243680] ppid=243660 vsize=19041612 memory=0 CPUtime=1.33 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 7068 0 0 0 128 5 0 0 20 0 19 0 30622402 19498610688 27707 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622408 19498610688 27707 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19041612 memory=12620 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622409 19498610688 27707 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30622484 19498610688 27707 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110828 KiB

[startup+3.11413 s]
/proc/loadavg: 1.69 1.34 1.27 7/316 243817
/proc/meminfo: memFree=126170596/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19041612 memory=126888 CPUtime=5.04 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 18771 0 0 0 493 11 0 0 20 0 19 0 30622401 19498610688 31722 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4760403 31722 5910 1 0 555788 0
[pid=243674/tid=243680] ppid=243660 vsize=19041612 memory=0 CPUtime=2.94 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 7589 0 0 0 288 6 0 0 20 0 19 0 30622402 19498610688 31722 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19041612 memory=12620 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622408 19498610688 31722 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19041612 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622409 19498610688 31722 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30622484 19498610688 31722 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126888 KiB

[startup+6.30036 s]
/proc/loadavg: 1.69 1.34 1.27 5/317 243818
/proc/meminfo: memFree=126021268/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19041612 memory=163956 CPUtime=9.16 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 20326 0 0 0 904 12 0 0 20 0 19 0 30622401 19498610688 40989 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4760403 40989 5910 1 0 556358 0
[pid=243674/tid=243680] ppid=243660 vsize=19041612 memory=0 CPUtime=6.11 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 7702 0 0 0 604 7 0 0 20 0 19 0 30622402 19498610688 40989 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19041612 memory=12620 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622408 19498610688 40989 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19041612 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30622409 19498610688 40989 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19041612 memory=61296 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30622484 19498610688 40989 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163956 KiB

[startup+12.7005 s]
/proc/loadavg: 2.03 1.42 1.30 5/319 243820
/proc/meminfo: memFree=125855108/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=186972 CPUtime=15.82 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 24600 0 0 0 1568 14 0 0 20 0 20 0 30622401 19566772224 46743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 46743 5958 1 0 556647 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=12620 CPUtime=12.45 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 8339 0 0 0 1238 7 0 0 20 0 20 0 30622402 19566772224 46743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=186872 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 46743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=186872 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 46743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 46743 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186972 KiB

[startup+25.5005 s]
/proc/loadavg: 2.54 1.56 1.35 5/320 243824
/proc/meminfo: memFree=125599128/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=240528 CPUtime=28.6 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 27532 0 0 0 2844 16 0 0 20 0 20 0 30622401 19566772224 60132 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 60132 5961 1 0 556647 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=186872 CPUtime=25.01 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 9187 0 0 0 2494 7 0 0 20 0 20 0 30622402 19566772224 60132 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=-9175913169709408956 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 60132 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=166004 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 60132 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=12620 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 60132 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 240528 KiB

[startup+51.114 s]
/proc/loadavg: 3.18 1.79 1.43 5/321 243828
/proc/meminfo: memFree=123626172/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=396744 CPUtime=54.24 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 31720 0 0 0 5402 22 0 0 20 0 20 0 30622401 19566772224 99186 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 99186 5961 1 0 556647 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=337248 CPUtime=50.05 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 10763 0 0 0 4998 7 0 0 20 0 20 0 30622402 19566772224 99186 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622405 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=337248 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 99186 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=337248 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 99186 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0

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

[startup+3282.3 s]
/proc/loadavg: 3.04 3.21 3.71 4/294 245250
/proc/meminfo: memFree=117604188/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2511144 CPUtime=3286.96 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 149195 0 0 0 328470 226 0 0 20 0 20 0 30622401 19566772224 627786 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 627786 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=-7377597294648321406 CPUtime=3260.73 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 52468 0 0 0 326043 30 0 0 20 0 20 0 30622402 19566772224 627786 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=2511144 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 627786 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 627786 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=39828 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 627786 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3286.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2511144 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.21 3.68 4/294 245260
/proc/meminfo: memFree=117470496/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2644264 CPUtime=3346.9 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 149722 0 0 0 334459 231 0 0 20 0 20 0 30622401 19566772224 661066 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 661066 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=2644264 CPUtime=3320.57 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 52845 0 0 0 332024 33 0 0 20 0 20 0 30622402 19566772224 661066 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=2539816 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 661066 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=2634024 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 661066 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 661066 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3346.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644264 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.19 3.64 4/294 245272
/proc/meminfo: memFree=117412748/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3406.95 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 150020 0 0 0 340460 235 0 0 20 0 20 0 30622401 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 675406 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=2625832 CPUtime=3380.25 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 52975 0 0 0 337991 34 0 0 20 0 20 0 30622402 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3406.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701624 KiB

[startup+3462.3 s]
/proc/loadavg: 3.20 3.20 3.61 5/292 245283
/proc/meminfo: memFree=117336428/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3466.82 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 150084 0 0 0 346444 238 0 0 20 0 20 0 30622401 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 675406 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3440.08 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 53034 0 0 0 343974 34 0 0 20 0 20 0 30622402 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=2625832 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3466.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701624 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.19 3.59 4/292 245293
/proc/meminfo: memFree=117294656/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3526.83 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 150153 0 0 0 352443 240 0 0 20 0 20 0 30622401 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 675406 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3499.81 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 53053 0 0 0 349947 34 0 0 20 0 20 0 30622402 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3526.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701624 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.17 3.55 4/293 245688
/proc/meminfo: memFree=117194656/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3586.73 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 150402 0 0 0 358430 243 0 0 20 0 20 0 30622401 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 675406 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3559.67 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 53236 0 0 0 355933 34 0 0 20 0 20 0 30622402 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=11536 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=61296 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=5456 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.6 s]
/proc/loadavg: 3.41 3.23 3.56 3/267 245725
/proc/meminfo: memFree=121057680/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19108176 memory=2701624 CPUtime=3600.01 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 150704 0 0 0 359757 244 0 0 20 0 20 0 30622401 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4777044 675406 5976 1 0 686879 0
[pid=243674/tid=243680] ppid=243660 vsize=19108176 memory=1848 CPUtime=3572.93 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 53510 0 0 0 357259 34 0 0 20 0 20 0 30622402 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30622408 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19108176 memory=-9175913169709408956 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 20 0 30622409 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243750] ppid=243660 vsize=19108176 memory=2748 CPUtime=0 cores=1,3
/proc/243674/task/243750/stat : 243750 (Timer-0) S 243660 243674 239212 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30622484 19566772224 675406 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701624 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3595.81 s]
# the end of solver process 243674 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.93 s, system=2.46629 s

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

[startup+3595.71 s]
/proc/loadavg: 3.41 3.23 3.56 3/267 245725
/proc/meminfo: memFree=121057680/131655788 swapFree=131056320/131071996
[pid=243674] ppid=243660 vsize=19307868 memory=2702288 CPUtime=3600.2 cores=1,3
/proc/243674/stat : 243674 (java) S 243660 243674 239212 0 -1 1077936128 153046 0 0 0 359776 244 0 0 20 0 21 0 30622401 19771256832 675572 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
/proc/243674/statm: 4826967 675572 5975 1 0 687782 0
[pid=243674/tid=243680] ppid=243660 vsize=19307868 memory=11536 CPUtime=3573 cores=1,3
/proc/243674/task/243680/stat : 243680 (java) R 243660 243674 239212 0 -1 4194368 53677 0 0 0 357266 34 0 0 20 0 21 0 30622402 19771256832 675572 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30622408 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243716] ppid=243660 vsize=19307868 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243716/stat : 243716 (Finalizer) S 243660 243674 239212 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 30622408 19771256832 675572 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
[pid=243674/tid=243744] ppid=243660 vsize=19307868 memory=2701624 CPUtime=0 cores=1,3
/proc/243674/task/243744/stat : 243744 (Common-Cleaner) S 243660 243674 239212 0 -1 1077936192 1583 0 0 0 0 0 0 0 20 0 21 0 30622409 19771256832 675572 134679101440 94785449127936 94785449131632 140724718774480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94785449139448 94785449140240 94785454874624 140724718781446 140724718781536 140724718781536 140724718788552 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2702288 KiB

Child status: 143

Real time (s): 3595.81
CPU time (s): 3600.4
CPU user time (s): 3597.93
CPU system time (s): 2.46629
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2702288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 2.46629
maximum resident set size= 2702612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108164
involuntary context switches= 4009


# summary of solver processes directly reported to runsolver:
#   pid: 243674
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.93
#   total CPU system time (s): 2.46629

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7289 second user time and 39.9375 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-26 00:25:31
IDJOB=4459991
IDBENCH=155312
IDSOLVER=3058
FILE ID=nodeC006/4459991-1721946331
RUNJOBID= nodeC006-1721946331-243616
SLURM_JOB_ID= 8247260
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459991-1721946331/watcher-4459991-1721946331 -o /tmp/evaluation-result-4459991-1721946331/solver-4459991-1721946331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721946331-243616 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459991-1721946331.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ab4c554ed2f191f485244f3b7085352c
RANDOM SEED=1949620130

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1254.301
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1263.543
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1207.654
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1216.121
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1222.321
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1206.750
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1266.624
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1272.729
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126588940 kB
MemAvailable:   129804460 kB
Buffers:          344700 kB
Cached:          3480520 kB
SwapCached:          244 kB
Active:          2062300 kB
Inactive:        2082484 kB
Active(anon):       1640 kB
Inactive(anon):   363164 kB
Active(file):    2060660 kB
Inactive(file):  1719320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              2716 kB
Writeback:             0 kB
AnonPages:        319424 kB
Mapped:            92588 kB
Shmem:             45244 kB
KReclaimable:     497448 kB
Slab:             608416 kB
SReclaimable:     497448 kB
SUnreclaim:       110968 kB
KernelStack:        3652 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     736012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC006 at 2024-07-26 01:25:27