Trace number 4460071

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)5 3600.55 3599.05

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.opb
MD5SUMbecfadc274f6e0887a719a51c262a290
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 benchmark4
Best CPU time to get the best result obtained on this benchmark0.716441
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 231
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 519
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 519
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)145
Sum of products size (including duplicates)290
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.11/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.14	c See www.sat4j.org for details.
0.11/0.16	c version CUSTOM.v20240707
0.11/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.18	c java.vm.version	22.0.1+8-16
0.11/0.18	c java.vm.vendor	Oracle Corporation
0.11/0.18	c sun.arch.data.model	64
0.11/0.18	c java.version		22.0.1
0.11/0.18	c os.name		Linux
0.11/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.18	c os.arch		amd64
0.11/0.20	c Free memory 		2115194816
0.11/0.20	c Max memory 		16282288128
0.11/0.20	c Total memory 		2122317824
0.11/0.20	c Number of processors 	2
0.28/0.30	--- Begin Solver configuration ---
0.28/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.30	Learn all clauses as in MiniSAT
0.28/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	No reason simplification
0.28/0.30	Glucose 2.1 dynamic restart strategy
0.28/0.30	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.28/0.30	timeout=2147483s
0.28/0.30	DB Simplification allowed=false
0.28/0.30	Listener: none
0.28/0.30	--- End Solver configuration ---
0.28/0.30	c Pseudo Boolean Optimization by upper bound
0.28/0.30	c --- Begin Solver configuration ---
0.28/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.30	c Learn all clauses as in MiniSAT
0.28/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.30	c No reason simplification
0.28/0.30	c Glucose 2.1 dynamic restart strategy
0.28/0.30	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.28/0.30	c timeout=2147483s
0.28/0.30	c DB Simplification allowed=false
0.28/0.30	c Listener: none
0.28/0.30	c --- End Solver configuration ---
0.28/0.30	c solving HOME/instance-4460071-1721946460.opb
0.28/0.30	c reading problem ... 
0.28/0.31	c  objective function found
0.61/0.49	c ... done. Wall clock time 0.178s.
0.61/0.49	c declared #vars     183
0.61/0.49	c internal #vars     328
0.61/0.49	c #constraints  1748
0.61/0.49	c constraints type 
0.61/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 145
0.61/0.49	c org.sat4j.specs.Constr$1 => 1
0.61/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1601
0.61/0.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.61/0.50	c 1748 constraints processed.
0.78/0.54	c objective function length is 231 literals
0.78/0.55	c SATISFIABLE
0.78/0.55	c OPTIMIZING...
0.78/0.55	c Got one! Elapsed wall clock time (in seconds):0.241
0.78/0.55	o 46
0.78/0.59	c Got one! Elapsed wall clock time (in seconds):0.269
0.78/0.59	o 40
0.78/0.59	c Got one! Elapsed wall clock time (in seconds):0.275
0.78/0.59	o 35
0.78/0.59	c Got one! Elapsed wall clock time (in seconds):0.291
0.78/0.61	o 34
0.78/0.61	c Got one! Elapsed wall clock time (in seconds):0.296
0.78/0.61	o 33
0.78/0.61	c Got one! Elapsed wall clock time (in seconds):0.299
0.78/0.61	o 32
0.78/0.61	c Got one! Elapsed wall clock time (in seconds):0.304
0.78/0.61	o 29
0.78/0.61	c Got one! Elapsed wall clock time (in seconds):0.307
0.78/0.61	o 28
0.78/0.61	c Got one! Elapsed wall clock time (in seconds):0.309
0.78/0.61	o 26
0.96/0.68	c Got one! Elapsed wall clock time (in seconds):0.377
0.96/0.69	o 25
0.96/0.69	c Got one! Elapsed wall clock time (in seconds):0.385
0.96/0.69	o 24
1.12/0.71	c Got one! Elapsed wall clock time (in seconds):0.392
1.12/0.71	o 23
1.12/0.71	c Got one! Elapsed wall clock time (in seconds):0.394
1.12/0.71	o 22
1.12/0.71	c Got one! Elapsed wall clock time (in seconds):0.398
1.12/0.71	o 21
1.12/0.72	c Got one! Elapsed wall clock time (in seconds):0.406
1.12/0.72	o 20
1.12/0.72	c Got one! Elapsed wall clock time (in seconds):0.411
1.12/0.72	o 19
1.12/0.73	c Got one! Elapsed wall clock time (in seconds):0.418
1.12/0.73	o 18
1.72/1.06	c Got one! Elapsed wall clock time (in seconds):0.76
1.72/1.06	o 17
2.10/1.28	c Got one! Elapsed wall clock time (in seconds):0.969
2.10/1.28	o 16
2.10/1.29	c Got one! Elapsed wall clock time (in seconds):0.988
2.10/1.29	o 15
2.10/1.30	c Got one! Elapsed wall clock time (in seconds):0.997
2.31/1.30	o 14
2.31/1.31	c Got one! Elapsed wall clock time (in seconds):1.002
2.31/1.31	o 13
2.31/1.32	c Got one! Elapsed wall clock time (in seconds):1.021
2.31/1.32	o 12
2.31/1.34	c Got one! Elapsed wall clock time (in seconds):1.025
2.31/1.34	o 10
2.31/1.36	c Got one! Elapsed wall clock time (in seconds):1.06
2.31/1.36	o 9
2.31/1.38	c Got one! Elapsed wall clock time (in seconds):1.069
2.31/1.38	o 8
2.31/1.38	c Got one! Elapsed wall clock time (in seconds):1.071
2.31/1.38	o 7
2.51/1.45	c cleaning 4462 clauses out of 8924 with flag 2254/8924
2.51/1.45	c Got one! Elapsed wall clock time (in seconds):1.149
2.51/1.45	o 6
2.89/1.67	c cleaning 4790 clauses out of 9580 with flag 10612/14042
3.12/1.85	c cleaning 5390 clauses out of 10790 with flag 23336/20042
3.33/2.07	c cleaning 6201 clauses out of 12401 with flag 38615/27043
3.53/2.29	c cleaning 7100 clauses out of 14199 with flag 56405/35042
3.83/2.54	c cleaning 8050 clauses out of 16100 with flag 76881/44043
4.26/2.83	c cleaning 9025 clauses out of 18050 with flag 99531/54043
4.58/3.14	c cleaning 10000 clauses out of 20024 with flag 124362/65042
4.88/3.45	c cleaning 11010 clauses out of 22025 with flag 152586/77043
5.45/3.80	c cleaning 12008 clauses out of 24015 with flag 181790/90043
6.01/4.25	c cleaning 13000 clauses out of 26006 with flag 213319/104042
6.41/4.64	c cleaning 13999 clauses out of 28006 with flag 246129/119042
6.89/5.10	c cleaning 15004 clauses out of 30007 with flag 279961/135042
7.44/5.56	c cleaning 15999 clauses out of 32005 with flag 317439/152044
7.95/6.10	c cleaning 16998 clauses out of 34004 with flag 357920/170042
8.66/6.71	c cleaning 18004 clauses out of 36007 with flag 400327/189043
9.36/7.49	c cleaning 18998 clauses out of 38003 with flag 446182/209043
10.07/8.13	c cleaning 20001 clauses out of 40004 with flag 491295/230042
10.75/8.80	c cleaning 20998 clauses out of 42007 with flag 538016/252046
11.59/9.69	c cleaning 22001 clauses out of 44005 with flag 588475/275042
12.39/10.44	c cleaning 23000 clauses out of 46004 with flag 639487/299042
13.19/11.25	c cleaning 24003 clauses out of 48005 with flag 691745/324043
14.18/12.22	c cleaning 24999 clauses out of 50001 with flag 750755/350042
15.34/13.38	c cleaning 26001 clauses out of 52003 with flag 809235/377043
16.44/14.47	c cleaning 27001 clauses out of 54001 with flag 874747/405042
17.43/15.45	c cleaning 27996 clauses out of 56000 with flag 936571/434042
18.68/16.63	c cleaning 28999 clauses out of 58005 with flag 999776/464043
19.88/17.88	c cleaning 30000 clauses out of 60007 with flag 1066680/495044
21.27/19.23	c cleaning 30999 clauses out of 62005 with flag 1140159/527042
22.90/20.80	c cleaning 31994 clauses out of 64006 with flag 1212196/560042
24.51/22.42	c cleaning 33005 clauses out of 66013 with flag 1288518/594043
26.00/23.94	c cleaning 34004 clauses out of 68008 with flag 1363849/629043
27.55/25.47	c cleaning 35002 clauses out of 70003 with flag 1445177/665042
29.16/27.01	c cleaning 35999 clauses out of 72001 with flag 1526108/702042
30.78/28.60	c cleaning 37001 clauses out of 74003 with flag 1607125/740043
32.08/29.96	c cleaning 37999 clauses out of 76001 with flag 1689305/779042
33.88/31.75	c cleaning 39000 clauses out of 78002 with flag 1774651/819042
36.00/33.84	c cleaning 40001 clauses out of 80002 with flag 1861323/860042
38.21/36.10	c cleaning 40996 clauses out of 82001 with flag 1952354/902042
40.34/38.19	c cleaning 41991 clauses out of 84005 with flag 2046889/945042
42.72/40.53	c cleaning 43006 clauses out of 86015 with flag 2145357/989043
45.17/42.94	c cleaning 44003 clauses out of 88009 with flag 2244466/1034043
47.16/44.90	c cleaning 44996 clauses out of 90005 with flag 2342305/1080042
49.68/47.43	c cleaning 45996 clauses out of 92010 with flag 2443139/1127043
52.48/50.26	c cleaning 47006 clauses out of 94014 with flag 2547122/1175043
55.60/53.38	c cleaning 47997 clauses out of 96007 with flag 2656601/1224042
58.60/56.35	c cleaning 49003 clauses out of 98010 with flag 2766960/1274042
61.85/59.58	c cleaning 49999 clauses out of 100007 with flag 2878613/1325042
64.85/62.51	c cleaning 51002 clauses out of 102008 with flag 2998709/1377042
68.03/65.75	c cleaning 52005 clauses out of 104009 with flag 3121491/1430045
71.57/69.22	c cleaning 52995 clauses out of 106003 with flag 3242810/1484044
74.96/72.65	c cleaning 54002 clauses out of 108006 with flag 3363587/1539042
78.69/76.38	c cleaning 54997 clauses out of 110005 with flag 3495339/1595043
82.08/79.75	c cleaning 56002 clauses out of 112008 with flag 3622923/1652043
85.87/83.56	c cleaning 56995 clauses out of 114005 with flag 3748425/1710042
89.57/87.12	c cleaning 57997 clauses out of 116011 with flag 3877838/1769043
94.34/91.90	c cleaning 59003 clauses out of 118013 with flag 4013572/1829042
98.22/95.81	c cleaning 60005 clauses out of 120010 with flag 4153570/1890042
102.16/99.72	c cleaning 60996 clauses out of 122006 with flag 4289968/1952043
105.75/103.39	c cleaning 62004 clauses out of 124009 with flag 4425758/2015042
110.74/108.37	c cleaning 62997 clauses out of 126006 with flag 4564554/2079043
115.49/113.01	c cleaning 63998 clauses out of 128009 with flag 4710295/2144043
121.06/118.67	c cleaning 64998 clauses out of 130012 with flag 4859538/2210044
126.94/124.53	c cleaning 66002 clauses out of 132012 with flag 5021005/2277042
131.89/129.48	c cleaning 66998 clauses out of 134010 with flag 5178631/2345042
136.49/134.04	c cleaning 68005 clauses out of 136013 with flag 5335083/2414043
140.97/138.52	c cleaning 69000 clauses out of 138007 with flag 5486156/2484042
146.05/143.66	c cleaning 70001 clauses out of 140008 with flag 5644159/2555043
151.54/149.17	c cleaning 71001 clauses out of 142007 with flag 5800950/2627043
156.40/153.99	c cleaning 71997 clauses out of 144005 with flag 5955629/2700042
160.79/158.32	c cleaning 73001 clauses out of 146008 with flag 6111709/2774042
167.67/165.29	c cleaning 73999 clauses out of 148007 with flag 6276988/2849042
175.34/172.92	c cleaning 75002 clauses out of 150009 with flag 6443711/2925043
182.55/179.34	c cleaning 75998 clauses out of 152008 with flag 6608901/3002044
189.63/186.46	c cleaning 77002 clauses out of 154008 with flag 6784671/3080042
195.33/192.14	c cleaning 78002 clauses out of 156006 with flag 6955061/3159042
201.10/197.97	c cleaning 78996 clauses out of 158004 with flag 7129122/3239042
207.83/204.63	c cleaning 79997 clauses out of 160008 with flag 7304004/3320042
215.28/212.02	c cleaning 81000 clauses out of 162011 with flag 7487400/3402042
221.95/218.70	c cleaning 82000 clauses out of 164012 with flag 7664138/3485043
229.44/226.24	c cleaning 83006 clauses out of 166012 with flag 7851043/3569043
237.09/233.85	c cleaning 83996 clauses out of 168006 with flag 8041657/3654043
244.57/241.36	c cleaning 85000 clauses out of 170010 with flag 8226375/3740043
251.84/248.62	c cleaning 86005 clauses out of 172010 with flag 8414708/3827043
258.93/255.76	c cleaning 87000 clauses out of 174004 with flag 8602132/3915042
267.04/263.79	c cleaning 87998 clauses out of 176004 with flag 8795010/4004042
273.71/270.47	c cleaning 88999 clauses out of 178007 with flag 8988307/4094043
281.99/278.73	c cleaning 90002 clauses out of 180007 with flag 9185677/4185042
292.86/289.66	c cleaning 90992 clauses out of 182005 with flag 9385054/4277042
304.03/300.73	c cleaning 92003 clauses out of 184013 with flag 9601426/4370042
313.00/309.73	c cleaning 93002 clauses out of 186012 with flag 9815126/4464044
322.67/319.42	c cleaning 93991 clauses out of 188008 with flag 10033523/4559042
332.33/329.01	c cleaning 94999 clauses out of 190018 with flag 10248929/4655043
339.89/336.68	c cleaning 96000 clauses out of 192019 with flag 10451978/4752043
349.38/346.19	c cleaning 97004 clauses out of 194018 with flag 10665270/4850042
360.74/357.55	c cleaning 97999 clauses out of 196015 with flag 10896557/4949043
368.43/365.12	c cleaning 99007 clauses out of 198015 with flag 11124341/5049042
379.88/376.64	c cleaning 99994 clauses out of 200008 with flag 11363520/5150042
387.76/384.55	c cleaning 101005 clauses out of 202015 with flag 11583053/5252043
399.02/395.81	c cleaning 101993 clauses out of 204009 with flag 11816534/5355042
409.92/406.62	c cleaning 103004 clauses out of 206018 with flag 12045510/5459044
424.07/420.80	c cleaning 104001 clauses out of 208014 with flag 12282500/5564044
436.04/432.83	c cleaning 105001 clauses out of 210011 with flag 12525135/5670042
449.00/445.88	c cleaning 105995 clauses out of 212011 with flag 12760481/5777043
461.40/458.18	c cleaning 107002 clauses out of 214015 with flag 13006903/5885042
470.86/467.69	c cleaning 108003 clauses out of 216013 with flag 13241780/5994042
481.34/478.16	c cleaning 109005 clauses out of 218014 with flag 13471606/6104046
492.50/489.34	c cleaning 110003 clauses out of 220007 with flag 13708424/6215044
508.04/504.12	c cleaning 110992 clauses out of 222002 with flag 13954815/6327042
518.30/514.46	c cleaning 111998 clauses out of 224010 with flag 14203472/6440042
531.66/527.85	c cleaning 112999 clauses out of 226012 with flag 14466104/6554042
545.83/542.04	c cleaning 114001 clauses out of 228014 with flag 14719951/6669043
557.98/554.28	c cleaning 115000 clauses out of 230013 with flag 14966210/6785043
570.18/566.35	c cleaning 116000 clauses out of 232014 with flag 15233167/6902044
583.73/579.91	c cleaning 117002 clauses out of 234014 with flag 15501639/7020044
598.09/594.35	c cleaning 118002 clauses out of 236010 with flag 15769985/7139042
614.25/610.54	c cleaning 119000 clauses out of 238009 with flag 16049635/7259043
628.10/624.42	c cleaning 120003 clauses out of 240009 with flag 16310351/7380043
640.86/637.20	c cleaning 121000 clauses out of 242006 with flag 16584287/7502043
655.98/652.23	c cleaning 121994 clauses out of 244005 with flag 16862482/7625042
671.25/667.56	c cleaning 122996 clauses out of 246011 with flag 17148714/7749042
692.09/688.44	c cleaning 124006 clauses out of 248016 with flag 17426384/7874043
708.69/704.91	c cleaning 125003 clauses out of 250012 with flag 17703198/8000045
722.95/719.20	c cleaning 126000 clauses out of 252006 with flag 17988974/8127042
740.90/737.27	c cleaning 127000 clauses out of 254008 with flag 18276609/8255044
758.84/755.26	c cleaning 128001 clauses out of 256007 with flag 18563750/8384043
775.70/772.16	c cleaning 128996 clauses out of 258005 with flag 18874485/8514042
789.17/785.50	c cleaning 130002 clauses out of 260009 with flag 19150897/8645042
799.66/796.09	c cleaning 130996 clauses out of 262008 with flag 19426943/8777043
816.50/812.96	c cleaning 132007 clauses out of 264014 with flag 19712092/8910045
832.15/828.65	c cleaning 132997 clauses out of 266004 with flag 19997948/9044042
850.10/846.55	c cleaning 133996 clauses out of 268008 with flag 20300014/9179043
868.66/865.13	c cleaning 135005 clauses out of 270011 with flag 20620089/9315042
886.69/883.27	c cleaning 136001 clauses out of 272008 with flag 20933312/9452044
903.65/900.28	c cleaning 136999 clauses out of 274005 with flag 21253441/9590042
921.50/918.11	c cleaning 137997 clauses out of 276008 with flag 21568216/9729044
942.34/938.94	c cleaning 138995 clauses out of 278009 with flag 21895228/9869042
962.18/958.80	c cleaning 140002 clauses out of 280014 with flag 22211575/10010042
977.53/974.26	c cleaning 141002 clauses out of 282012 with flag 22525396/10152042
991.80/988.52	c cleaning 142003 clauses out of 284010 with flag 22847130/10295042
1007.10/1003.71	c cleaning 142998 clauses out of 286007 with flag 23170206/10439042
1028.14/1024.86	c cleaning 143995 clauses out of 288009 with flag 23490536/10584042
1047.18/1043.91	c cleaning 145006 clauses out of 290015 with flag 23813943/10730043
1065.37/1060.61	c cleaning 146003 clauses out of 292010 with flag 24145731/10877044
1082.22/1077.59	c cleaning 146997 clauses out of 294005 with flag 24492980/11025042
1099.78/1095.14	c cleaning 147999 clauses out of 296013 with flag 24832253/11174047
1115.39/1110.72	c cleaning 149004 clauses out of 298011 with flag 25158237/11324044
1137.43/1132.86	c cleaning 149999 clauses out of 300006 with flag 25502018/11475043
1162.66/1158.18	c cleaning 150997 clauses out of 302007 with flag 25840162/11627043
1184.79/1180.34	c cleaning 152001 clauses out of 304009 with flag 26186393/11780042
1212.39/1207.90	c cleaning 153002 clauses out of 306009 with flag 26538514/11934043
1239.61/1235.28	c cleaning 154002 clauses out of 308006 with flag 26875845/12089042
1262.14/1257.89	c cleaning 154991 clauses out of 310004 with flag 27228025/12245042
1289.67/1285.47	c cleaning 156001 clauses out of 312013 with flag 27592529/12402042
1312.00/1307.84	c cleaning 157002 clauses out of 314013 with flag 27939239/12560043
1334.00/1329.79	c cleaning 158003 clauses out of 316013 with flag 28294144/12719045
1363.62/1359.42	c cleaning 158997 clauses out of 318007 with flag 28669974/12879042
1392.93/1388.83	c cleaning 159997 clauses out of 320010 with flag 29036053/13040042
1415.66/1411.63	c cleaning 161003 clauses out of 322013 with flag 29410448/13202042
1436.80/1432.84	c cleaning 162004 clauses out of 324010 with flag 29781188/13365042
1467.25/1463.24	c cleaning 163003 clauses out of 326006 with flag 30149462/13529042
1493.77/1489.88	c cleaning 163993 clauses out of 328003 with flag 30527142/13694042
1516.80/1512.97	c cleaning 164998 clauses out of 330012 with flag 30909358/13860044
1550.00/1546.01	c cleaning 165993 clauses out of 332012 with flag 31312694/14027042
1572.83/1568.94	c cleaning 167006 clauses out of 334020 with flag 31696188/14195043
1600.05/1596.27	c cleaning 168000 clauses out of 336013 with flag 32086588/14364042
1625.78/1622.01	c cleaning 168997 clauses out of 338013 with flag 32484189/14534042
1656.99/1652.88	c cleaning 170002 clauses out of 340016 with flag 32877193/14705042
1690.99/1686.99	c cleaning 171002 clauses out of 342014 with flag 33278683/14877042
1717.32/1713.30	c cleaning 171999 clauses out of 344012 with flag 33663038/15050042
1740.56/1736.66	c cleaning 173007 clauses out of 346013 with flag 34055257/15224042
1769.62/1765.74	c cleaning 174000 clauses out of 348007 with flag 34444664/15399043
1803.32/1799.51	c cleaning 174998 clauses out of 350007 with flag 34830173/15575043
1833.53/1829.80	c cleaning 175998 clauses out of 352009 with flag 35239207/15752043
1868.34/1864.76	c cleaning 176994 clauses out of 354011 with flag 35659482/15930043
1892.77/1889.21	c cleaning 178004 clauses out of 356016 with flag 36068293/16109042
1925.44/1921.80	c cleaning 178999 clauses out of 358012 with flag 36499046/16289042
1958.55/1955.03	c cleaning 179999 clauses out of 360013 with flag 36906536/16470042
1996.03/1992.68	c cleaning 181001 clauses out of 362014 with flag 37346567/16652042
2029.94/2026.62	c cleaning 182001 clauses out of 364014 with flag 37777470/16835043
2059.74/2056.42	c cleaning 183002 clauses out of 366012 with flag 38205907/17019042
2093.05/2089.84	c cleaning 184001 clauses out of 368010 with flag 38637408/17204042
2129.25/2126.18	c cleaning 184999 clauses out of 370009 with flag 39070025/17390042
2161.05/2158.01	c cleaning 185998 clauses out of 372010 with flag 39493772/17577042
2197.24/2194.31	c cleaning 186998 clauses out of 374013 with flag 39924148/17765043
2235.79/2232.90	c cleaning 188001 clauses out of 376015 with flag 40363122/17954043
2268.70/2265.91	c cleaning 189007 clauses out of 378013 with flag 40790174/18144042
2305.70/2303.10	c cleaning 189994 clauses out of 380008 with flag 41231346/18335044
2342.08/2339.52	c cleaning 190999 clauses out of 382012 with flag 41685749/18527042
2390.38/2387.80	c cleaning 192003 clauses out of 384014 with flag 42160502/18720043
2433.16/2430.70	c cleaning 193000 clauses out of 386011 with flag 42630211/18914043
2458.08/2455.78	c cleaning 194002 clauses out of 388010 with flag 43056819/19109042
2494.58/2492.30	c cleaning 194997 clauses out of 390008 with flag 43532922/19305042
2532.50/2529.68	c cleaning 196000 clauses out of 392012 with flag 44008305/19502043
2566.81/2564.04	c cleaning 197003 clauses out of 394012 with flag 44492021/19700043
2604.28/2601.69	c cleaning 197997 clauses out of 396008 with flag 44975709/19899042
2643.68/2641.13	c cleaning 198995 clauses out of 398011 with flag 45449041/20099042
2651.61/2648.96	c Got one! Elapsed wall clock time (in seconds):2648.66
2651.61/2648.96	o 5
2654.85/2652.13	c cleaning 143552 clauses out of 287108 with flag 11195/20187134
2656.13/2653.48	c cleaning 74772 clauses out of 149557 with flag 24837/20193135
2656.84/2654.12	c cleaning 40890 clauses out of 81784 with flag 40991/20200134
2657.24/2654.47	c cleaning 24441 clauses out of 48893 with flag 61888/20208133
2657.58/2654.74	c cleaning 16719 clauses out of 33452 with flag 84696/20217133
2657.89/2655.03	c cleaning 13355 clauses out of 26733 with flag 111307/20227133
2658.18/2655.35	c cleaning 12181 clauses out of 24380 with flag 139334/20238135
2658.47/2655.68	c cleaning 12097 clauses out of 24199 with flag 167890/20250135
2658.98/2656.11	c cleaning 12550 clauses out of 25100 with flag 200657/20263133
2659.37/2656.52	c cleaning 13266 clauses out of 26550 with flag 233845/20277133
2659.77/2657.00	c cleaning 14142 clauses out of 28284 with flag 268675/20292133
2660.37/2657.54	c cleaning 15072 clauses out of 30143 with flag 307296/20308134
2660.98/2658.13	c cleaning 16035 clauses out of 32070 with flag 347889/20325133
2661.56/2658.79	c cleaning 17013 clauses out of 34035 with flag 388479/20343133
2662.26/2659.49	c cleaning 18004 clauses out of 36022 with flag 431403/20362133
2662.97/2660.15	c cleaning 19005 clauses out of 38020 with flag 478851/20382135
2663.66/2660.81	c cleaning 20007 clauses out of 40013 with flag 528775/20403133
2664.45/2661.65	c cleaning 20997 clauses out of 42006 with flag 583346/20425133
2665.35/2662.50	c cleaning 22005 clauses out of 44009 with flag 637112/20448133
2666.45/2663.62	c cleaning 22996 clauses out of 46004 with flag 690070/20472133
2667.34/2664.55	c cleaning 24004 clauses out of 48009 with flag 745265/20497134
2668.44/2665.63	c cleaning 25002 clauses out of 50007 with flag 805425/20523136
2669.54/2666.77	c cleaning 25997 clauses out of 52003 with flag 869997/20550134
2670.85/2668.04	c cleaning 27003 clauses out of 54005 with flag 938886/20578133
2672.03/2669.24	c cleaning 27997 clauses out of 56002 with flag 1007500/20607133
2673.43/2670.61	c cleaning 28997 clauses out of 58005 with flag 1077345/20637133
2674.62/2671.86	c cleaning 30003 clauses out of 60008 with flag 1152061/20668133
2675.99/2673.29	c cleaning 30998 clauses out of 62006 with flag 1226879/20700134
2677.48/2674.78	c cleaning 32003 clauses out of 64009 with flag 1306861/20733135
2679.28/2676.51	c cleaning 32998 clauses out of 66004 with flag 1390982/20767133
2680.94/2678.16	c cleaning 33998 clauses out of 68006 with flag 1472170/20802133
2682.62/2679.89	c cleaning 34999 clauses out of 70009 with flag 1556114/20838134
2684.52/2681.74	c cleaning 36002 clauses out of 72009 with flag 1647224/20875133
2686.31/2683.56	c cleaning 36994 clauses out of 74007 with flag 1738350/20913133
2688.30/2685.53	c cleaning 38007 clauses out of 76017 with flag 1829220/20952137
2690.10/2687.34	c cleaning 38996 clauses out of 78007 with flag 1922501/20992134
2691.99/2689.29	c cleaning 39998 clauses out of 80011 with flag 2018548/21033134
2694.28/2691.53	c cleaning 41004 clauses out of 82012 with flag 2125568/21075133
2696.29/2693.59	c cleaning 42005 clauses out of 84011 with flag 2225414/21118136
2699.08/2696.36	c cleaning 43001 clauses out of 86004 with flag 2331463/21162134
2701.57/2698.80	c cleaning 43998 clauses out of 88002 with flag 2441052/21207133
2703.77/2701.05	c cleaning 45002 clauses out of 90005 with flag 2550627/21253134
2706.55/2703.88	c cleaning 45994 clauses out of 92002 with flag 2661317/21300133
2709.24/2706.51	c cleaning 46999 clauses out of 94010 with flag 2767291/21348135
2711.63/2708.91	c cleaning 48004 clauses out of 96009 with flag 2873307/21397133
2713.93/2711.26	c cleaning 49000 clauses out of 98006 with flag 2987439/21447134
2716.33/2713.66	c cleaning 49997 clauses out of 100006 with flag 3105150/21498134
2719.12/2716.48	c cleaning 51001 clauses out of 102008 with flag 3240862/21550133
2722.82/2720.14	c cleaning 51998 clauses out of 104007 with flag 3372862/21603133
2725.99/2723.36	c cleaning 53000 clauses out of 106012 with flag 3505371/21657136
2729.62/2726.95	c cleaning 53999 clauses out of 108011 with flag 3640649/21712135
2732.91/2730.26	c cleaning 54996 clauses out of 110011 with flag 3771714/21768134
2736.21/2733.58	c cleaning 56001 clauses out of 112014 with flag 3893409/21825133
2739.81/2737.15	c cleaning 57007 clauses out of 114014 with flag 4023505/21883134
2744.48/2741.89	c cleaning 58002 clauses out of 116007 with flag 4154522/21942134
2748.57/2745.98	c cleaning 58999 clauses out of 118005 with flag 4300130/22002134
2752.76/2750.18	c cleaning 60001 clauses out of 120006 with flag 4453904/22063134
2757.34/2754.74	c cleaning 60998 clauses out of 122005 with flag 4604806/22125134
2762.73/2760.15	c cleaning 61999 clauses out of 124006 with flag 4757943/22188133
2767.32/2764.78	c cleaning 62998 clauses out of 126007 with flag 4901704/22252133
2772.20/2769.67	c cleaning 64000 clauses out of 128009 with flag 5056533/22317133
2777.08/2774.59	c cleaning 65003 clauses out of 130010 with flag 5207506/22383134
2782.37/2779.87	c cleaning 65998 clauses out of 132006 with flag 5368785/22450133
2787.57/2785.03	c cleaning 67000 clauses out of 134008 with flag 5533339/22518133
2793.43/2790.91	c cleaning 67998 clauses out of 136008 with flag 5692506/22587133
2798.83/2796.30	c cleaning 68994 clauses out of 138010 with flag 5855998/22657133
2805.58/2803.01	c cleaning 70003 clauses out of 140016 with flag 6030788/22728133
2810.57/2808.03	c cleaning 71005 clauses out of 142014 with flag 6196955/22800134
2815.95/2813.44	c cleaning 71995 clauses out of 144009 with flag 6363240/22873134
2821.83/2819.36	c cleaning 73005 clauses out of 146013 with flag 6549616/22947133
2827.91/2825.43	c cleaning 73999 clauses out of 148010 with flag 6735945/23022135
2834.69/2832.24	c cleaning 75002 clauses out of 150009 with flag 6921510/23098133
2840.86/2838.46	c cleaning 76002 clauses out of 152008 with flag 7105078/23175134
2847.56/2845.12	c cleaning 77002 clauses out of 154007 with flag 7294345/23253135
2853.73/2851.37	c cleaning 77998 clauses out of 156004 with flag 7479164/23332134
2862.60/2860.21	c cleaning 78998 clauses out of 158005 with flag 7663956/23412133
2869.58/2867.20	c cleaning 79997 clauses out of 160009 with flag 7851331/23493135
2876.06/2873.73	c cleaning 81002 clauses out of 162011 with flag 8045314/23575134
2883.14/2880.86	c cleaning 82001 clauses out of 164009 with flag 8242468/23658134
2889.92/2887.67	c cleaning 83005 clauses out of 166009 with flag 8448338/23742135
2897.14/2894.84	c cleaning 83996 clauses out of 168003 with flag 8645621/23827134
2905.03/2902.78	c cleaning 84998 clauses out of 170006 with flag 8850392/23913133
2912.10/2909.87	c cleaning 85997 clauses out of 172008 with flag 9049637/24000133
2919.58/2917.30	c cleaning 87000 clauses out of 174012 with flag 9252503/24088134
2927.26/2925.08	c cleaning 87997 clauses out of 176011 with flag 9454382/24177133
2935.83/2933.62	c cleaning 89004 clauses out of 178016 with flag 9670626/24267135
2945.90/2943.73	c cleaning 90002 clauses out of 180011 with flag 9882316/24358134
2953.30/2951.16	c cleaning 90994 clauses out of 182008 with flag 10103910/24450133
2961.55/2959.42	c cleaning 91998 clauses out of 184014 with flag 10337049/24543133
2973.02/2970.90	c cleaning 93008 clauses out of 186018 with flag 10554203/24637135
2980.50/2978.45	c cleaning 94002 clauses out of 188009 with flag 10773525/24732134
2989.67/2987.68	c cleaning 94997 clauses out of 190006 with flag 10999497/24828133
2998.09/2995.88	c cleaning 96000 clauses out of 192011 with flag 11223442/24925135
3005.77/3003.53	c cleaning 96996 clauses out of 194009 with flag 11444687/25023133
3016.55/3014.31	c cleaning 98004 clauses out of 196013 with flag 11669525/25122133
3026.82/3024.69	c cleaning 99006 clauses out of 198014 with flag 11901558/25222138
3037.78/3035.62	c cleaning 99999 clauses out of 200003 with flag 12138288/25323133
3048.75/3046.64	c cleaning 100993 clauses out of 202004 with flag 12389876/25425133
3059.13/3057.11	c cleaning 102004 clauses out of 204013 with flag 12629299/25528135
3069.29/3067.27	c cleaning 103002 clauses out of 206010 with flag 12859463/25632136
3082.45/3080.49	c cleaning 103999 clauses out of 208005 with flag 13101295/25737133
3094.21/3092.23	c cleaning 105002 clauses out of 210007 with flag 13345463/25843134
3107.18/3105.28	c cleaning 106001 clauses out of 212007 with flag 13581508/25950136
3120.42/3118.45	c cleaning 107002 clauses out of 214006 with flag 13851138/26058136
3134.28/3132.30	c cleaning 107998 clauses out of 216001 with flag 14119910/26167133
3147.64/3145.73	c cleaning 108999 clauses out of 218004 with flag 14388010/26277134
3159.71/3157.83	c cleaning 110000 clauses out of 220006 with flag 14653405/26388135
3175.37/3173.51	c cleaning 110995 clauses out of 222005 with flag 14911672/26500134
3185.43/3183.61	c cleaning 112001 clauses out of 224009 with flag 15165117/26613133
3202.29/3200.58	c cleaning 113004 clauses out of 226010 with flag 15439538/26727135
3214.55/3212.84	c cleaning 113996 clauses out of 228004 with flag 15717858/26842133
3228.41/3226.73	c cleaning 114999 clauses out of 230009 with flag 15992668/26958134
3241.07/3239.47	c cleaning 116002 clauses out of 232009 with flag 16272768/27075133
3254.23/3252.57	c cleaning 117002 clauses out of 234007 with flag 16543704/27193133
3265.99/3264.30	c cleaning 118000 clauses out of 236005 with flag 16833074/27312133
3276.46/3274.88	c cleaning 119002 clauses out of 238005 with flag 17116060/27432133
3289.52/3287.96	c cleaning 119998 clauses out of 240004 with flag 17393852/27553134
3304.69/3303.14	c cleaning 120997 clauses out of 242006 with flag 17689096/27675134
3319.54/3318.03	c cleaning 122005 clauses out of 244011 with flag 17982934/27798136
3333.29/3331.82	c cleaning 123002 clauses out of 246006 with flag 18277066/27922136
3343.97/3342.53	c cleaning 124001 clauses out of 248003 with flag 18573820/28047135
3360.03/3358.63	c cleaning 124999 clauses out of 250002 with flag 18885508/28173135
3374.80/3373.42	c cleaning 125997 clauses out of 252002 with flag 19182423/28300134
3390.54/3389.17	c cleaning 126996 clauses out of 254004 with flag 19478978/28428133
3403.70/3402.38	c cleaning 128001 clauses out of 256009 with flag 19782915/28557134
3420.06/3418.79	c cleaning 128999 clauses out of 258007 with flag 20072838/28687133
3435.92/3434.62	c cleaning 130003 clauses out of 260008 with flag 20390272/28818133
3452.48/3451.28	c cleaning 130998 clauses out of 262005 with flag 20694912/28950133
3467.45/3466.23	c cleaning 131999 clauses out of 264007 with flag 21002398/29083133
3482.72/3481.52	c cleaning 133001 clauses out of 266009 with flag 21328310/29217134
3500.08/3498.99	c cleaning 134003 clauses out of 268007 with flag 21636268/29352133
3517.04/3515.97	c cleaning 134998 clauses out of 270004 with flag 21940364/29488133
3533.23/3531.88	c cleaning 136000 clauses out of 272006 with flag 22275014/29625133
3550.99/3549.66	c cleaning 137002 clauses out of 274009 with flag 22599436/29763136
3569.74/3568.49	c cleaning 137999 clauses out of 276005 with flag 22937474/29902134
3588.61/3587.31	c cleaning 138997 clauses out of 278005 with flag 23269418/30042133
3600.08/3598.82	c starts		: 71187
3600.08/3598.82	c conflicts		: 30140154
3600.08/3598.82	c decisions		: 33168221
3600.08/3598.82	c propagations		: 402901957
3600.08/3598.82	c inspects		: 42826336273
3600.08/3598.82	c shortcuts		: 0
3600.08/3598.82	c learnt literals	: 0
3600.08/3598.82	c learnt binary clauses	: 0
3600.08/3598.82	c learnt ternary clauses	: 456
3600.08/3598.82	c learnt constraints	: 30140154
3600.08/3598.82	c ignored constraints	: 0
3600.08/3598.82	c root simplifications	: 0
3600.08/3598.82	c removed literals (reason simplification)	: 0
3600.08/3598.82	c reason swapping (by a shorter reason)	: 0
3600.08/3598.82	c Calls to reduceDB	: 333
3600.08/3598.82	c Number of update (reduction) of LBD	: 445451
3600.08/3598.82	c Imported unit clauses	: 0
3600.08/3598.82	c No decision after first conflict	: false
3600.08/3598.82	c number of reductions to clauses (during analyze)	: 0
3600.08/3598.82	c number of learned constraints concerned by reduction	: 0
3600.08/3598.82	c number of learning phase by resolution	: 0
3600.08/3598.82	c number of learning phase by cutting planes	: 0
3600.08/3598.82	c number of rounding to 1 operations	: 0
3600.08/3598.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3598.82	c number of reductions of the coefficients by power 2 	: 0
3600.08/3598.82	c number of right shift for reduction by power 2 	: 0
3600.08/3598.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3598.82	c number of ending skipping 	: 0
3600.08/3598.82	c number of internal skipping 	: 0
3600.08/3598.82	c number of derivation steps 	: 0
3600.08/3598.82	c number of skipped derivation steps 	: 0
3600.08/3598.82	c number of remaining unassigned 	: 0
3600.08/3598.82	c number of remaining assigned 	: 0
3600.08/3598.84	c number of falsified literals weakened from reason	: 0
3600.08/3598.84	c number of falsified literals weakened from conflict	: 0
3600.08/3598.84	c time for arithmetic operations	: 0
3600.08/3598.85	c minimum degree of deleted constraints	: null
3600.08/3598.85	c maximum degree of deleted constraints	: null
3600.08/3598.85	c number of deleted constraints	: 0
3600.08/3598.87	c speed (assignments/second)	: 111969.74274875072
3600.08/3598.87	c non guided choices	: 761
3600.47/3599.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237029
3600.47/3599.03	s SATISFIABLE
3600.47/3599.03	c Found 29 solution(s)
3600.47/3599.03	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 
3600.47/3599.04	c objective function=5
3600.47/3599.04	c Total wall clock time (in seconds): 3598.731

Verifier Data 

OK	5

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 (59688 MiB free)
  memory of node 1: 64473 MiB (56610 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=256840, runsolver pid=256836

[startup+0.102264 s]*
/proc/loadavg: 1.13 1.64 2.03 7/263 256880
/proc/meminfo: memFree=119018780/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=18975048 memory=55992 CPUtime=0.11 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 6504 0 0 0 9 2 0 0 20 0 18 0 30634924 19430449152 13998 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4743762 13998 5612 1 0 550831 0
[pid=256840/tid=256843] ppid=256836 vsize=18975048 memory=4026532090 CPUtime=0.07 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 5421 0 0 0 6 1 0 0 20 0 18 0 30634925 19430449152 13998 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=18975048 memory=880883 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634928 19430449152 13998 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=18975048 memory=14689712409414642 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634929 19430449152 13998 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55992 KiB

[startup+0.22226 s]*
/proc/loadavg: 1.13 1.64 2.03 4/263 256880
/proc/meminfo: memFree=119006328/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=18975048 memory=62760 CPUtime=0.28 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 7178 0 0 0 25 3 0 0 20 0 18 0 30634924 19430449152 15690 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4743762 15690 5620 1 0 551390 0
[pid=256840/tid=256843] ppid=256836 vsize=18975048 memory=4027598586 CPUtime=0.18 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 5710 0 0 0 16 2 0 0 20 0 18 0 30634925 19430449152 15690 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=18975048 memory=880883 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634928 19430449152 15690 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=18975048 memory=14689712409414642 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634929 19430449152 15690 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62760 KiB

[startup+0.31526 s]*
/proc/loadavg: 1.13 1.64 2.03 6/263 256880
/proc/meminfo: memFree=119000224/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=18975048 memory=64256 CPUtime=0.42 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 7402 0 0 0 39 3 0 0 20 0 18 0 30634924 19430449152 16064 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4743762 16064 5763 1 0 551565 0
[pid=256840/tid=256843] ppid=256836 vsize=18975048 memory=-9032358719662039740 CPUtime=0.26 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 5852 0 0 0 24 2 0 0 20 0 18 0 30634925 19430449152 16064 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634928 19430449152 16064 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634929 19430449152 16064 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64256 KiB

[startup+0.701252 s]
/proc/loadavg: 1.13 1.64 2.03 6/263 256880
/proc/meminfo: memFree=118991316/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19041612 memory=76040 CPUtime=1.12 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 9478 0 0 0 107 5 0 0 20 0 19 0 30634924 19498610688 19010 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4760403 19010 5870 1 0 552998 0
[pid=256840/tid=256843] ppid=256836 vsize=19041612 memory=5572 CPUtime=0.57 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 6031 0 0 0 54 3 0 0 20 0 19 0 30634925 19498610688 19010 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19041612 memory=11652 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30634928 19498610688 19010 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19041612 memory=64097 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30634929 19498610688 19010 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76040 KiB

[startup+1.50125 s]
/proc/loadavg: 1.13 1.64 2.03 7/265 256884
/proc/meminfo: memFree=118956604/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19041612 memory=96008 CPUtime=2.7 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 15662 0 0 0 263 7 0 0 20 0 19 0 30634924 19498610688 24002 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4760403 24002 5886 1 0 554700 0
[pid=256840/tid=256843] ppid=256836 vsize=19041612 memory=11652 CPUtime=1.34 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 7107 0 0 0 131 3 0 0 20 0 19 0 30634925 19498610688 24002 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30634928 19498610688 24002 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30634929 19498610688 24002 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30634978 19498610688 24002 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96008 KiB

[startup+3.11303 s]
/proc/loadavg: 1.44 1.70 2.05 3/266 256885
/proc/meminfo: memFree=118700556/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19041612 memory=149860 CPUtime=4.58 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 17238 0 0 0 450 8 0 0 20 0 19 0 30634924 19498610688 37465 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4760403 37465 5886 1 0 554796 0
[pid=256840/tid=256843] ppid=256836 vsize=19041612 memory=0 CPUtime=2.94 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 7480 0 0 0 290 4 0 0 20 0 19 0 30634925 19498610688 37465 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19041612 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30634928 19498610688 37465 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30634929 19498610688 37465 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19041612 memory=11652 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30634978 19498610688 37465 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149860 KiB

[startup+6.3004 s]
/proc/loadavg: 1.44 1.70 2.05 4/267 256886
/proc/meminfo: memFree=118481040/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=197680 CPUtime=8.26 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 18356 0 0 0 816 10 0 0 20 0 20 0 30634924 19566772224 49420 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 49420 5893 1 0 555107 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=11652 CPUtime=6.09 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 7524 0 0 0 604 5 0 0 20 0 20 0 30634925 19566772224 49420 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 49420 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 49420 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=70052 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 49420 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197680 KiB

[startup+12.7005 s]
/proc/loadavg: 1.65 1.74 2.06 3/267 256887
/proc/meminfo: memFree=117608576/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=296452 CPUtime=14.74 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 20194 0 0 0 1462 12 0 0 20 0 20 0 30634924 19566772224 74113 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 74113 5893 1 0 555107 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=13560 CPUtime=12.35 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 8133 0 0 0 1230 5 0 0 20 0 20 0 30634925 19566772224 74113 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=243108 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 74113 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=81132 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 74113 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=243116 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 74113 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 296452 KiB

[startup+25.5005 s]
/proc/loadavg: 2.10 1.83 2.09 3/267 256889
/proc/meminfo: memFree=115939152/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=444108 CPUtime=27.65 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 23740 0 0 0 2750 15 0 0 20 0 20 0 30634924 19566772224 111027 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 111027 5893 1 0 555107 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=243116 CPUtime=24.91 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 9517 0 0 0 2486 5 0 0 20 0 20 0 30634925 19566772224 111027 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 111027 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=197680 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 111027 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 111027 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 27.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 444108 KiB

[startup+51.1131 s]
/proc/loadavg: 2.62 1.98 2.13 4/267 256894
/proc/meminfo: memFree=113513796/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=642836 CPUtime=53.39 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 27069 0 0 0 5318 21 0 0 20 0 20 0 30634924 19566772224 160709 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 160709 5909 1 0 555107 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=642836 CPUtime=50.19 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 11054 0 0 0 5014 5 0 0 20 0 20 0 30634925 19566772224 160709 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=642836 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 160709 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 160709 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0

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

/proc/meminfo: memFree=102144876/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=2083680 CPUtime=3283.93 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 165894 0 0 0 328163 230 0 0 20 0 20 0 30634924 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 520920 5909 1 0 533830 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=2083680 CPUtime=3264.06 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 86529 0 0 0 326385 21 0 0 20 0 20 0 30634925 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=5460 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2642 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3283.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083680 KiB

[startup+3342.3 s]
/proc/loadavg: 2.19 2.20 2.18 2/241 258319
/proc/meminfo: memFree=117002360/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=2083680 CPUtime=3343.77 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 166673 0 0 0 334143 234 0 0 20 0 20 0 30634924 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 520920 5909 1 0 533830 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=2083680 CPUtime=3323.85 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 87256 0 0 0 332364 21 0 0 20 0 20 0 30634925 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=-8744409818487038652 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2643 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 520920 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3343.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083680 KiB

[startup+3402.3 s]
/proc/loadavg: 1.44 1.98 2.11 2/241 258329
/proc/meminfo: memFree=117002140/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=2083704 CPUtime=3403.7 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 167547 0 0 0 340132 238 0 0 20 0 20 0 30634924 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 520926 5909 1 0 533830 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=-8744409818487038652 CPUtime=3383.6 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 87398 0 0 0 338339 21 0 0 20 0 20 0 30634925 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=2083680 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2732 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3403.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083704 KiB

[startup+3462.3 s]
/proc/loadavg: 1.28 1.83 2.04 2/241 258340
/proc/meminfo: memFree=117001828/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=2083704 CPUtime=3463.56 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 167788 0 0 0 346115 241 0 0 20 0 20 0 30634924 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 520926 5909 1 0 533830 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=-8744409818487038652 CPUtime=3443.42 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 87634 0 0 0 344321 21 0 0 20 0 20 0 30634925 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=2083680 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2732 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3463.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083704 KiB

[startup+3522.3 s]
/proc/loadavg: 1.16 1.69 1.98 2/240 258732
/proc/meminfo: memFree=117000908/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=2083704 CPUtime=3523.42 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 168670 0 0 0 352098 244 0 0 20 0 20 0 30634924 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 520926 5909 1 0 533830 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=2083704 CPUtime=3503.23 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 88367 0 0 0 350302 21 0 0 20 0 20 0 30634925 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2821 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=2083704 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 520926 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3523.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2083704 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.60 1.93 2/242 258746
/proc/meminfo: memFree=117693540/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=1391776 CPUtime=3583.61 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 171643 0 0 0 358113 248 0 0 20 0 20 0 30634924 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 347944 5909 1 0 360526 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=39140 CPUtime=3562.93 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 88867 0 0 0 356271 22 0 0 20 0 20 0 30634925 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=70052 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=11652 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2821 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=13560 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3583.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1391776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.8 s]
/proc/loadavg: 1.10 1.56 1.91 2/242 258747
/proc/meminfo: memFree=117693540/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19108176 memory=1391776 CPUtime=3600.08 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 171928 0 0 0 359759 249 0 0 20 0 20 0 30634924 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4777044 347944 5909 1 0 360526 0
[pid=256840/tid=256843] ppid=256836 vsize=19108176 memory=39140 CPUtime=3579.39 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 89110 0 0 0 357917 22 0 0 20 0 20 0 30634925 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634928 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19108176 memory=-8744409818487038652 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2821 0 0 0 0 0 0 0 20 0 20 0 30634929 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256881] ppid=256836 vsize=19108176 memory=8044 CPUtime=0 cores=0,2
/proc/256840/task/256881/stat : 256881 (Timer-0) S 256836 256840 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634978 19566772224 347944 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1391776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.04 s, system=2.50599 s

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

[startup+3599 s]*
/proc/loadavg: 1.10 1.56 1.91 4/243 258750
/proc/meminfo: memFree=117692872/131655788 swapFree=131071472/131071996
[pid=256840] ppid=256836 vsize=19307868 memory=1392632 CPUtime=3600.47 cores=0,2
/proc/256840/stat : 256840 (java) S 256836 256840 252119 0 -1 1077936128 174784 0 0 0 359798 249 0 0 20 0 21 0 30634924 19771256832 348158 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
/proc/256840/statm: 4826967 348158 5908 1 0 361458 0
[pid=256840/tid=256843] ppid=256836 vsize=19307868 memory=104 CPUtime=3579.57 cores=0,2
/proc/256840/task/256843/stat : 256843 (java) R 256836 256840 252119 0 -1 4194368 89441 0 0 0 357935 22 0 0 20 0 21 0 30634925 19771256832 348158 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256862] ppid=256836 vsize=19307868 memory=1391776 CPUtime=0 cores=0,2
/proc/256840/task/256862/stat : 256862 (Finalizer) S 256836 256840 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30634928 19771256832 348158 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=256869] ppid=256836 vsize=19307868 memory=5460 CPUtime=0 cores=0,2
/proc/256840/task/256869/stat : 256869 (Common-Cleaner) S 256836 256840 252119 0 -1 1077936192 2821 0 0 0 0 0 0 0 20 0 21 0 30634929 19771256832 348158 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
[pid=256840/tid=258749] ppid=256836 vsize=19307868 memory=-7161143037557629817 CPUtime=0.11 cores=0,2
/proc/256840/task/258749/stat : 258749 (Thread-0) R 256836 256840 252119 0 -1 4194368 299 0 0 0 11 0 0 0 20 0 21 0 30994806 19771256832 348158 134679101440 94124370509824 94124370513520 140735338683104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124370521336 94124370522128 94124379234304 140735338685446 140735338685536 140735338685536 140735338692552 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1392632 KiB

Child status: 143

Real time (s): 3599.05
CPU time (s): 3600.55
CPU user time (s): 3598.04
CPU system time (s): 2.50599
CPU usage (%): 100.042
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2220324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 2.50599
maximum resident set size= 2220324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105475
involuntary context switches= 25832


# summary of solver processes directly reported to runsolver:
#   pid: 256840
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3598.04
#   total CPU system time (s): 2.50599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5598 second user time and 37.1889 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-26 00:27:40
IDJOB=4460071
IDBENCH=160623
IDSOLVER=3058
FILE ID=nodeC004/4460071-1721946460
RUNJOBID= nodeC004-1721946460-256813
SLURM_JOB_ID= 8247258
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460071-1721946460/watcher-4460071-1721946460 -o /tmp/evaluation-result-4460071-1721946460/solver-4460071-1721946460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721946460-256813 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4460071-1721946460.opb

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

MD5SUM BENCH= becfadc274f6e0887a719a51c262a290
RANDOM SEED=304534815

nodeC004.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		: 3009.135
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	: 6984.13
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		: 1197.311
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.36
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		: 1197.282
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	: 6984.13
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		: 1197.288
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.36
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		: 1197.322
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	: 6984.13
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		: 1197.284
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.36
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		: 1197.395
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	: 6984.13
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		: 1197.318
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119089824 kB
MemAvailable:   129886108 kB
Buffers:          345852 kB
Cached:         11237832 kB
SwapCached:           60 kB
Active:          2754660 kB
Inactive:        9166084 kB
Active(anon):       1332 kB
Inactive(anon):   389584 kB
Active(file):    2753328 kB
Inactive(file):  8776500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:              1076 kB
Writeback:             4 kB
AnonPages:        334680 kB
Mapped:           115508 kB
Shmem:             53860 kB
KReclaimable:     213308 kB
Slab:             326184 kB
SReclaimable:     213308 kB
SUnreclaim:       112876 kB
KernelStack:        3552 kB
PageTables:         9412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     732624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

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