Trace number 4508788

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 2025-06-06SAT (TO)-50 3600.37 3564.38

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
MD5SUM609ffeb3252de5d8ecab6cf3f101c41d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark2.03794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints576
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 389
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 420
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 420
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4508788-1751512150.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  objective function found
0.10/0.18	c ... done. Wall clock time 0.032s.
0.10/0.18	c declared #vars     441
0.10/0.18	c #constraints  576
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 288
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 288
0.10/0.18	c 576 constraints processed.
0.10/0.19	c objective function length is 389 literals
0.10/0.20	c SATISFIABLE
0.10/0.20	c OPTIMIZING...
0.10/0.20	c Got one! Elapsed wall clock time (in seconds):0.053
0.10/0.20	o -48
0.30/0.24	c Got one! Elapsed wall clock time (in seconds):0.093
0.30/0.24	o -49
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.183
0.49/0.33	o -50
1.25/0.79	c cleaning 3000 clauses out of 6009 with flag 10190/6009
2.06/1.15	c cleaning 4500 clauses out of 9009 with flag 22213/12009
2.65/1.47	c cleaning 5751 clauses out of 11509 with flag 36246/19009
3.03/1.69	c cleaning 6875 clauses out of 13757 with flag 52274/27008
3.34/1.95	c cleaning 7935 clauses out of 15882 with flag 70304/36008
3.76/2.30	c cleaning 8966 clauses out of 17947 with flag 90986/46008
4.11/2.66	c cleaning 9983 clauses out of 19982 with flag 113427/57009
4.51/3.00	c cleaning 10990 clauses out of 21999 with flag 137427/69009
4.80/3.37	c cleaning 11998 clauses out of 24009 with flag 163427/82009
5.34/3.83	c cleaning 12999 clauses out of 26011 with flag 191439/96009
5.74/4.29	c cleaning 13997 clauses out of 28011 with flag 221454/111008
6.24/4.77	c cleaning 14997 clauses out of 30015 with flag 253516/127009
6.90/5.33	c cleaning 16004 clauses out of 32017 with flag 287631/144008
7.52/5.90	c cleaning 16997 clauses out of 34014 with flag 323789/162009
8.17/6.53	c cleaning 18004 clauses out of 36017 with flag 361929/181009
8.77/7.18	c cleaning 19001 clauses out of 38012 with flag 402064/201008
9.60/7.95	c cleaning 20000 clauses out of 40011 with flag 444256/222008
10.30/8.67	c cleaning 20999 clauses out of 42012 with flag 488491/244009
11.15/9.48	c cleaning 21999 clauses out of 44013 with flag 534670/267009
11.95/10.29	c cleaning 22998 clauses out of 46013 with flag 582785/291008
12.85/11.15	c cleaning 24005 clauses out of 48017 with flag 632993/316010
13.89/12.13	c cleaning 24997 clauses out of 50010 with flag 685310/342008
14.78/13.08	c cleaning 26000 clauses out of 52014 with flag 739658/369009
15.94/14.13	c cleaning 26999 clauses out of 54014 with flag 795976/397009
16.94/15.18	c cleaning 28000 clauses out of 56015 with flag 854303/426009
18.06/16.23	c cleaning 28999 clauses out of 58015 with flag 914567/456009
19.15/17.30	c cleaning 29999 clauses out of 60015 with flag 976782/487008
20.30/18.40	c cleaning 30998 clauses out of 62016 with flag 1041048/519008
21.55/19.63	c cleaning 32000 clauses out of 64018 with flag 1107278/552008
22.64/20.79	c cleaning 33002 clauses out of 66019 with flag 1175663/586009
23.88/21.99	c cleaning 33997 clauses out of 68016 with flag 1246068/621008
25.17/23.24	c cleaning 35000 clauses out of 70020 with flag 1318486/657009
26.60/24.66	c cleaning 36000 clauses out of 72019 with flag 1392891/694008
28.16/26.12	c cleaning 37000 clauses out of 74020 with flag 1469310/732009
29.55/27.52	c cleaning 37999 clauses out of 76019 with flag 1547721/771008
31.09/29.09	c cleaning 39003 clauses out of 78021 with flag 1628223/811009
32.58/30.50	c cleaning 40002 clauses out of 80017 with flag 1710737/852008
34.23/32.18	c cleaning 40998 clauses out of 82015 with flag 1795178/894008
36.01/33.91	c cleaning 41997 clauses out of 84017 with flag 1881646/937008
37.88/35.71	c cleaning 43002 clauses out of 86021 with flag 1970240/981009
39.57/37.49	c cleaning 44000 clauses out of 88018 with flag 2060782/1026008
41.75/39.55	c cleaning 44998 clauses out of 90019 with flag 2153406/1072009
43.54/41.35	c cleaning 45998 clauses out of 92020 with flag 2248076/1119008
45.54/43.35	c cleaning 47001 clauses out of 94022 with flag 2344738/1167008
48.01/45.75	c cleaning 48005 clauses out of 96022 with flag 2443242/1216009
50.01/47.74	c cleaning 49000 clauses out of 98017 with flag 2543681/1266009
52.21/49.81	c cleaning 49997 clauses out of 100017 with flag 2646324/1317009
54.10/51.74	c cleaning 50999 clauses out of 102019 with flag 2751093/1369008
56.20/53.84	c cleaning 52000 clauses out of 104021 with flag 2857733/1422009
58.58/56.13	c cleaning 53003 clauses out of 106020 with flag 2966417/1476008
60.67/58.23	c cleaning 53998 clauses out of 108017 with flag 3077113/1531008
63.55/60.65	c cleaning 54998 clauses out of 110020 with flag 3189790/1587009
65.75/62.89	c cleaning 55996 clauses out of 112021 with flag 3304320/1644008
68.05/65.14	c cleaning 57006 clauses out of 114025 with flag 3420894/1702008
70.59/67.65	c cleaning 58000 clauses out of 116020 with flag 3539444/1761009
72.88/70.00	c cleaning 59002 clauses out of 118019 with flag 3659986/1821008
75.76/72.75	c cleaning 59997 clauses out of 120017 with flag 3782556/1882008
78.16/75.16	c cleaning 60998 clauses out of 122020 with flag 3907195/1944008
80.65/77.69	c cleaning 62001 clauses out of 124022 with flag 4033804/2007008
83.42/80.37	c cleaning 62999 clauses out of 126021 with flag 4162447/2071008
85.91/82.81	c cleaning 64001 clauses out of 128023 with flag 4292847/2136009
88.31/85.21	c cleaning 65001 clauses out of 130021 with flag 4425120/2202008
91.10/88.06	c cleaning 65997 clauses out of 132021 with flag 4559473/2269009
94.38/91.28	c cleaning 67002 clauses out of 134023 with flag 4695572/2337008
97.28/94.17	c cleaning 67999 clauses out of 136022 with flag 4833642/2406009
100.56/97.49	c cleaning 69000 clauses out of 138023 with flag 4974000/2476009
103.77/100.50	c cleaning 70002 clauses out of 140022 with flag 5116606/2547008
106.77/103.51	c cleaning 70999 clauses out of 142020 with flag 5261271/2619008
109.66/106.47	c cleaning 71996 clauses out of 144021 with flag 5407926/2692008
112.92/109.63	c cleaning 73003 clauses out of 146026 with flag 5556289/2766009
116.71/113.40	c cleaning 74003 clauses out of 148022 with flag 5707096/2841008
120.50/117.27	c cleaning 75001 clauses out of 150019 with flag 5859888/2917008
124.44/121.04	c cleaning 75997 clauses out of 152018 with flag 6014332/2994008
127.83/124.49	c cleaning 77004 clauses out of 154021 with flag 6170610/3072008
131.62/128.23	c cleaning 77999 clauses out of 156018 with flag 6328934/3151009
135.06/131.53	c cleaning 78995 clauses out of 158018 with flag 6489308/3231008
138.46/134.91	c cleaning 80003 clauses out of 160024 with flag 6651682/3312009
141.85/138.34	c cleaning 81000 clauses out of 162020 with flag 6816113/3394008
146.55/142.94	c cleaning 82001 clauses out of 164021 with flag 6982725/3477009
150.55/146.99	c cleaning 83001 clauses out of 166020 with flag 7151235/3561009
155.24/151.61	c cleaning 84000 clauses out of 168018 with flag 7321891/3646008
159.96/155.60	c cleaning 84999 clauses out of 170019 with flag 7494186/3732009
163.75/159.48	c cleaning 85996 clauses out of 172019 with flag 7668406/3819008
166.94/162.69	c cleaning 87001 clauses out of 174024 with flag 7844655/3907009
170.70/166.35	c cleaning 88002 clauses out of 176022 with flag 8022813/3996008
174.69/170.35	c cleaning 89000 clauses out of 178021 with flag 8202898/4086009
178.49/174.17	c cleaning 90003 clauses out of 180020 with flag 8385014/4177008
182.91/178.49	c cleaning 90998 clauses out of 182017 with flag 8569144/4269008
187.00/182.50	c cleaning 91996 clauses out of 184019 with flag 8755534/4362008
190.79/186.34	c cleaning 93001 clauses out of 186024 with flag 8943763/4456009
195.00/190.46	c cleaning 93998 clauses out of 188023 with flag 9134000/4551009
199.49/194.98	c cleaning 95002 clauses out of 190024 with flag 9326145/4647008
204.28/199.71	c cleaning 95999 clauses out of 192023 with flag 9520598/4744009
208.77/204.28	c cleaning 97004 clauses out of 194023 with flag 9716894/4842008
213.75/209.22	c cleaning 98004 clauses out of 196019 with flag 9915104/4941008
217.85/213.31	c cleaning 98997 clauses out of 198015 with flag 10115204/5041008
222.44/217.95	c cleaning 99998 clauses out of 200019 with flag 10317590/5142009
227.54/222.90	c cleaning 100999 clauses out of 202020 with flag 10521803/5244008
232.64/228.03	c cleaning 102001 clauses out of 204022 with flag 10727959/5347009
238.52/234.00	c cleaning 102999 clauses out of 206020 with flag 10936005/5451008
243.61/239.01	c cleaning 103999 clauses out of 208022 with flag 11146038/5556009
248.31/243.58	c cleaning 104999 clauses out of 210022 with flag 11358109/5662008
253.40/248.64	c cleaning 105997 clauses out of 212023 with flag 11572169/5769008
259.25/254.35	c cleaning 107007 clauses out of 214027 with flag 11788448/5877009
265.75/260.83	c cleaning 107999 clauses out of 216019 with flag 12006808/5986008
271.23/266.33	c cleaning 108996 clauses out of 218020 with flag 12227111/6096008
276.77/271.13	c cleaning 110002 clauses out of 220024 with flag 12449457/6207008
282.76/277.13	c cleaning 111002 clauses out of 222023 with flag 12673801/6319009
288.04/282.49	c cleaning 112001 clauses out of 224020 with flag 12900210/6432008
293.28/287.69	c cleaning 112999 clauses out of 226020 with flag 13128474/6546009
298.56/292.91	c cleaning 114004 clauses out of 228020 with flag 13358610/6661008
303.25/297.62	c cleaning 114999 clauses out of 230017 with flag 13590652/6777009
309.14/303.53	c cleaning 116000 clauses out of 232018 with flag 13824812/6894009
316.30/310.66	c cleaning 116998 clauses out of 234018 with flag 14060955/7012009
323.88/318.21	c cleaning 117999 clauses out of 236019 with flag 14299394/7131008
330.16/324.55	c cleaning 119004 clauses out of 238021 with flag 14539933/7251009
335.52/329.72	c cleaning 119998 clauses out of 240017 with flag 14782564/7372009
341.11/335.36	c cleaning 120996 clauses out of 242018 with flag 15027220/7494008
348.39/342.67	c cleaning 122001 clauses out of 244024 with flag 15273663/7617010
356.27/350.59	c cleaning 122999 clauses out of 246021 with flag 15521946/7741008
362.87/357.05	c cleaning 124000 clauses out of 248022 with flag 15772482/7866008
370.35/364.53	c cleaning 124997 clauses out of 250022 with flag 16024713/7992008
377.43/371.64	c cleaning 126002 clauses out of 252025 with flag 16279481/8119008
384.50/378.52	c cleaning 127001 clauses out of 254024 with flag 16536333/8247009
391.68/385.75	c cleaning 128002 clauses out of 256022 with flag 16794631/8376008
398.83/392.71	c cleaning 128998 clauses out of 258020 with flag 17054997/8506008
405.61/399.55	c cleaning 129995 clauses out of 260022 with flag 17317469/8637008
411.60/405.52	c cleaning 130999 clauses out of 262028 with flag 17582146/8769009
418.28/412.17	c cleaning 132004 clauses out of 264028 with flag 17848868/8902008
424.87/418.70	c cleaning 133000 clauses out of 266025 with flag 18117672/9036009
431.56/425.48	c cleaning 133998 clauses out of 268025 with flag 18388258/9171009
438.17/431.92	c cleaning 135000 clauses out of 270026 with flag 18661002/9307008
446.36/440.12	c cleaning 136001 clauses out of 272026 with flag 18935661/9444008
455.13/448.91	c cleaning 137002 clauses out of 274025 with flag 19212284/9582008
462.76/456.47	c cleaning 137999 clauses out of 276024 with flag 19491227/9721009
470.25/463.94	c cleaning 139003 clauses out of 278024 with flag 19771808/9861008
477.63/471.34	c cleaning 140002 clauses out of 280021 with flag 20054520/10002008
485.43/478.65	c cleaning 141000 clauses out of 282020 with flag 20338968/10144009
492.21/485.44	c cleaning 141994 clauses out of 284019 with flag 20625181/10287008
499.53/492.66	c cleaning 142998 clauses out of 286025 with flag 20913590/10431008
507.41/500.52	c cleaning 143997 clauses out of 288028 with flag 21204289/10576009
514.50/507.69	c cleaning 145004 clauses out of 290031 with flag 21496890/10722009
522.54/515.44	c cleaning 146006 clauses out of 292028 with flag 21791412/10869010
529.87/522.79	c cleaning 147004 clauses out of 294021 with flag 22087792/11017009
538.58/531.34	c cleaning 147999 clauses out of 296017 with flag 22386642/11166009
546.68/539.45	c cleaning 148996 clauses out of 298017 with flag 22687208/11316008
554.42/547.18	c cleaning 149998 clauses out of 300022 with flag 22989747/11467009
562.89/555.62	c cleaning 150998 clauses out of 302023 with flag 23294179/11619008
571.12/563.71	c cleaning 152004 clauses out of 304026 with flag 23600621/11772009
580.23/572.85	c cleaning 153005 clauses out of 306021 with flag 23908921/11926008
588.27/580.82	c cleaning 153997 clauses out of 308016 with flag 24219540/12081008
598.66/591.20	c cleaning 155001 clauses out of 310020 with flag 24532074/12237009
607.68/600.03	c cleaning 155995 clauses out of 312018 with flag 24846189/12394008
616.86/609.28	c cleaning 156999 clauses out of 314024 with flag 25162838/12552009
627.44/619.85	c cleaning 157999 clauses out of 316024 with flag 25481487/12711008
637.07/629.36	c cleaning 159000 clauses out of 318026 with flag 25802150/12871009
645.65/637.95	c cleaning 160002 clauses out of 320026 with flag 26124246/13032009
655.76/646.87	c cleaning 160999 clauses out of 322024 with flag 26448393/13194009
664.04/655.11	c cleaning 162004 clauses out of 324025 with flag 26774492/13357009
673.61/664.63	c cleaning 163002 clauses out of 326021 with flag 27102777/13521009
682.20/673.21	c cleaning 163996 clauses out of 328018 with flag 27432843/13686008
690.86/681.80	c cleaning 164996 clauses out of 330023 with flag 27764979/13852009
701.05/692.05	c cleaning 166000 clauses out of 332027 with flag 28099191/14019009
711.02/701.85	c cleaning 167000 clauses out of 334026 with flag 28435318/14187008
718.40/709.25	c cleaning 168002 clauses out of 336027 with flag 28773519/14356009
726.55/717.34	c cleaning 169003 clauses out of 338025 with flag 29113627/14526009
735.13/725.96	c cleaning 169996 clauses out of 340022 with flag 29455738/14697009
743.70/734.49	c cleaning 170997 clauses out of 342025 with flag 29799867/14869008
752.99/743.70	c cleaning 172004 clauses out of 344029 with flag 30146092/15042009
762.06/752.66	c cleaning 172998 clauses out of 346024 with flag 30494122/15216008
773.14/763.71	c cleaning 173998 clauses out of 348027 with flag 30844199/15391009
784.82/775.22	c cleaning 175004 clauses out of 350029 with flag 31196382/15567009
794.80/785.29	c cleaning 176003 clauses out of 352024 with flag 31551004/15744008
806.41/796.82	c cleaning 176999 clauses out of 354022 with flag 31907491/15922009
817.68/808.09	c cleaning 177999 clauses out of 356023 with flag 32266307/16101009
829.36/818.67	c cleaning 179000 clauses out of 358024 with flag 32626944/16281009
839.03/828.20	c cleaning 179998 clauses out of 360024 with flag 32989423/16462009
850.60/839.82	c cleaning 180998 clauses out of 362025 with flag 33353961/16644008
861.86/851.09	c cleaning 182001 clauses out of 364027 with flag 33720703/16827008
872.20/861.11	c cleaning 183003 clauses out of 366026 with flag 34089745/17011008
883.57/872.56	c cleaning 184000 clauses out of 368024 with flag 34460575/17196009
894.40/883.35	c cleaning 184995 clauses out of 370023 with flag 34833881/17382008
904.38/893.20	c cleaning 185995 clauses out of 372028 with flag 35209466/17569008
919.04/907.60	c cleaning 187004 clauses out of 374034 with flag 35586750/17757009
929.00/917.46	c cleaning 188001 clauses out of 376030 with flag 35965968/17946009
941.76/929.19	c cleaning 189001 clauses out of 378029 with flag 36347094/18136009
952.19/939.51	c cleaning 189998 clauses out of 380028 with flag 36730092/18327009
963.77/951.11	c cleaning 191002 clauses out of 382030 with flag 37115338/18519009
977.68/965.02	c cleaning 192000 clauses out of 384028 with flag 37502097/18712009
989.55/976.99	c cleaning 193004 clauses out of 386028 with flag 37891128/18906009
1001.93/989.11	c cleaning 193999 clauses out of 388023 with flag 38281883/19101008
1015.69/1002.90	c cleaning 194999 clauses out of 390024 with flag 38674517/19297008
1028.41/1015.41	c cleaning 196003 clauses out of 392026 with flag 39069191/19494009
1040.59/1027.64	c cleaning 197000 clauses out of 394023 with flag 39466170/19692009
1051.83/1038.46	c cleaning 198000 clauses out of 396023 with flag 39865008/19891009
1065.87/1052.38	c cleaning 198999 clauses out of 398022 with flag 40265760/20091008
1077.49/1063.80	c cleaning 200002 clauses out of 400024 with flag 40668142/20292009
1092.59/1077.98	c cleaning 200997 clauses out of 402022 with flag 41072539/20494009
1108.50/1093.81	c cleaning 202002 clauses out of 404024 with flag 41479135/20697008
1124.78/1110.18	c cleaning 202998 clauses out of 406022 with flag 41888210/20901008
1141.67/1126.91	c cleaning 203996 clauses out of 408024 with flag 42299111/21106008
1156.96/1142.08	c cleaning 205001 clauses out of 410028 with flag 42712095/21312008
1172.53/1157.62	c cleaning 206004 clauses out of 412028 with flag 43127108/21519009
1185.73/1170.86	c cleaning 207000 clauses out of 414024 with flag 43543817/21727009
1197.53/1182.44	c cleaning 207998 clauses out of 416024 with flag 43962167/21936009
1209.01/1193.78	c cleaning 209004 clauses out of 418026 with flag 44382503/22146009
1218.94/1203.53	c cleaning 210001 clauses out of 420022 with flag 44804974/22357009
1232.71/1217.26	c cleaning 211001 clauses out of 422022 with flag 45229409/22569010
1246.24/1230.51	c cleaning 211998 clauses out of 424020 with flag 45655699/22782009
1259.74/1242.75	c cleaning 212998 clauses out of 426022 with flag 46084245/22996009
1275.54/1258.46	c cleaning 213995 clauses out of 428024 with flag 46514508/23211009
1290.19/1272.95	c cleaning 215002 clauses out of 430029 with flag 46946634/23427009
1302.45/1285.05	c cleaning 216001 clauses out of 432027 with flag 47380924/23644009
1315.20/1297.64	c cleaning 217001 clauses out of 434025 with flag 47817244/23862008
1328.35/1310.64	c cleaning 218003 clauses out of 436025 with flag 48255548/24081009
1343.41/1325.56	c cleaning 218998 clauses out of 438022 with flag 48695767/24301009
1356.43/1338.41	c cleaning 219994 clauses out of 440024 with flag 49138001/24522009
1373.43/1355.33	c cleaning 221001 clauses out of 442030 with flag 49582284/24744009
1385.75/1367.55	c cleaning 222000 clauses out of 444029 with flag 50028476/24967009
1398.04/1378.74	c cleaning 223000 clauses out of 446028 with flag 50476717/25191008
1411.95/1392.63	c cleaning 223999 clauses out of 448028 with flag 50926993/25416008
1427.33/1408.03	c cleaning 225002 clauses out of 450030 with flag 51379193/25642009
1438.74/1419.18	c cleaning 226001 clauses out of 452028 with flag 51833597/25869009
1453.61/1434.10	c cleaning 226999 clauses out of 454026 with flag 52289776/26097008
1464.95/1445.32	c cleaning 228001 clauses out of 456027 with flag 52747956/26326008
1480.38/1460.65	c cleaning 228998 clauses out of 458026 with flag 53208075/26556008
1493.65/1473.99	c cleaning 230004 clauses out of 460030 with flag 53670300/26787010
1508.37/1488.65	c cleaning 231001 clauses out of 462025 with flag 54134520/27019009
1525.33/1505.46	c cleaning 232000 clauses out of 464024 with flag 54600877/27252009
1539.64/1519.50	c cleaning 232997 clauses out of 466024 with flag 55069218/27486009
1551.90/1531.66	c cleaning 234000 clauses out of 468027 with flag 55539700/27721009
1567.12/1546.76	c cleaning 235001 clauses out of 470027 with flag 56012247/27957009
1582.92/1562.44	c cleaning 236002 clauses out of 472025 with flag 56486804/28194008
1597.09/1576.45	c cleaning 236996 clauses out of 474024 with flag 56963537/28432009
1616.23/1595.47	c cleaning 238003 clauses out of 476029 with flag 57441927/28671010
1629.14/1608.27	c cleaning 239001 clauses out of 478024 with flag 57922420/28911008
1650.77/1628.67	c cleaning 239994 clauses out of 480023 with flag 58404679/29152008
1667.02/1644.76	c cleaning 241005 clauses out of 482029 with flag 58888986/29394008
1681.73/1659.36	c cleaning 242001 clauses out of 484025 with flag 59375458/29637009
1697.70/1675.20	c cleaning 243002 clauses out of 486023 with flag 59863881/29881008
1713.55/1691.06	c cleaning 243998 clauses out of 488021 with flag 60354301/30126008
1729.64/1707.07	c cleaning 244997 clauses out of 490025 with flag 60847024/30372010
1742.44/1719.71	c cleaning 245997 clauses out of 492026 with flag 61341457/30619008
1761.80/1739.00	c cleaning 247002 clauses out of 494030 with flag 61837937/30867009
1783.66/1760.63	c cleaning 248001 clauses out of 496027 with flag 62336202/31116008
1798.72/1775.58	c cleaning 249000 clauses out of 498026 with flag 62836317/31366008
1812.33/1789.01	c cleaning 249996 clauses out of 500026 with flag 63338541/31617008
1829.96/1806.55	c cleaning 251002 clauses out of 502031 with flag 63842711/31869009
1846.51/1822.97	c cleaning 251998 clauses out of 504029 with flag 64348924/32122009
1861.86/1838.13	c cleaning 253002 clauses out of 506030 with flag 64857231/32376008
1878.78/1854.96	c cleaning 253999 clauses out of 508028 with flag 65367367/32631008
1897.16/1873.15	c cleaning 255002 clauses out of 510029 with flag 65879619/32887008
1918.35/1892.89	c cleaning 256001 clauses out of 512028 with flag 66393823/33144009
1936.82/1911.22	c cleaning 257000 clauses out of 514026 with flag 66910099/33402008
1958.47/1932.80	c cleaning 258001 clauses out of 516027 with flag 67428489/33661009
1980.36/1954.50	c cleaning 259001 clauses out of 518025 with flag 67949357/33921008
1999.74/1973.85	c cleaning 259997 clauses out of 520024 with flag 68472164/34182008
2023.12/1997.15	c cleaning 261000 clauses out of 522027 with flag 68996754/34444008
2040.58/2014.49	c cleaning 261998 clauses out of 524027 with flag 69523581/34707008
2058.51/2032.20	c cleaning 262999 clauses out of 526030 with flag 70052089/34971009
2082.30/2055.97	c cleaning 264001 clauses out of 528030 with flag 70582546/35236008
2099.03/2072.51	c cleaning 264998 clauses out of 530030 with flag 71114914/35502009
2124.68/2098.06	c cleaning 266004 clauses out of 532032 with flag 71649558/35769009
2141.39/2114.68	c cleaning 266998 clauses out of 534027 with flag 72186370/36037008
2171.08/2144.22	c cleaning 268000 clauses out of 536029 with flag 72725199/36306008
2197.24/2170.28	c cleaning 269001 clauses out of 538029 with flag 73265996/36576008
2216.62/2189.55	c cleaning 270000 clauses out of 540029 with flag 73808717/36847009
2236.10/2208.98	c cleaning 271006 clauses out of 542028 with flag 74353657/37119008
2255.33/2228.05	c cleaning 271998 clauses out of 544022 with flag 74900325/37392008
2276.00/2248.57	c cleaning 273002 clauses out of 546024 with flag 75449170/37666008
2296.89/2269.36	c cleaning 274004 clauses out of 548023 with flag 76000357/37941009
2313.98/2286.31	c cleaning 274995 clauses out of 550019 with flag 76553661/38217009
2331.75/2303.90	c cleaning 275999 clauses out of 552024 with flag 77108914/38494009
2356.56/2327.39	c cleaning 276998 clauses out of 554024 with flag 77666394/38772008
2373.78/2344.44	c cleaning 278002 clauses out of 556026 with flag 78225734/39051008
2394.17/2364.61	c cleaning 278997 clauses out of 558025 with flag 78787276/39331009
2420.01/2390.31	c cleaning 280001 clauses out of 560027 with flag 79350521/39612008
2439.45/2409.62	c cleaning 280999 clauses out of 562026 with flag 79915805/39894008
2462.82/2432.70	c cleaning 282005 clauses out of 564028 with flag 80482456/40177009
2483.37/2453.11	c cleaning 282998 clauses out of 566022 with flag 81050848/40461008
2509.03/2478.75	c cleaning 284002 clauses out of 568025 with flag 81621151/40746009
2529.43/2499.11	c cleaning 285000 clauses out of 570022 with flag 82193809/41032008
2550.61/2520.03	c cleaning 285997 clauses out of 572023 with flag 82768351/41319009
2571.56/2540.90	c cleaning 286997 clauses out of 574025 with flag 83344980/41607008
2597.12/2566.14	c cleaning 288003 clauses out of 576029 with flag 83923654/41896009
2621.35/2590.28	c cleaning 288999 clauses out of 578026 with flag 84504092/42186009
2642.90/2611.76	c cleaning 290001 clauses out of 580026 with flag 85086937/42477008
2664.19/2633.05	c cleaning 290998 clauses out of 582025 with flag 85671664/42769008
2690.36/2659.25	c cleaning 292003 clauses out of 584027 with flag 86258683/43062008
2709.44/2678.23	c cleaning 292995 clauses out of 586024 with flag 86847248/43356008
2728.96/2697.59	c cleaning 294001 clauses out of 588030 with flag 87437865/43651009
2751.27/2719.75	c cleaning 295001 clauses out of 590028 with flag 88030326/43947008
2783.81/2752.24	c cleaning 296004 clauses out of 592027 with flag 88624849/44244008
2804.26/2772.57	c cleaning 296998 clauses out of 594024 with flag 89221846/44542009
2827.37/2795.56	c cleaning 297999 clauses out of 596025 with flag 89820654/44841008
2850.91/2819.10	c cleaning 298998 clauses out of 598026 with flag 90421425/45141008
2875.18/2843.18	c cleaning 300004 clauses out of 600029 with flag 91023992/45442009
2896.03/2864.00	c cleaning 300999 clauses out of 602025 with flag 91628544/45744009
2918.13/2885.93	c cleaning 302005 clauses out of 604027 with flag 92235136/46047010
2940.70/2908.31	c cleaning 302992 clauses out of 606021 with flag 92843673/46351009
2972.97/2939.15	c cleaning 303999 clauses out of 608029 with flag 93454289/46656009
2994.17/2960.34	c cleaning 305001 clauses out of 610030 with flag 94066718/46962009
3017.32/2983.51	c cleaning 305999 clauses out of 612029 with flag 94680959/47269009
3039.05/3005.02	c cleaning 307000 clauses out of 614030 with flag 95297328/47577009
3063.59/3029.41	c cleaning 307999 clauses out of 616030 with flag 95915906/47886009
3087.46/3053.25	c cleaning 309000 clauses out of 618030 with flag 96537203/48196008
3111.25/3077.03	c cleaning 310001 clauses out of 620030 with flag 97160377/48507008
3140.36/3106.15	c cleaning 311005 clauses out of 622030 with flag 97785212/48819009
3166.93/3132.43	c cleaning 312002 clauses out of 624025 with flag 98412567/49132009
3192.79/3158.28	c cleaning 312995 clauses out of 626022 with flag 99041745/49446008
3215.84/3181.29	c cleaning 313998 clauses out of 628027 with flag 99672823/49761008
3237.50/3202.79	c cleaning 315001 clauses out of 630029 with flag 100306182/50077008
3262.01/3227.17	c cleaning 315999 clauses out of 632028 with flag 100941735/50394008
3286.21/3251.27	c cleaning 317002 clauses out of 634031 with flag 101579693/50712010
3309.30/3274.29	c cleaning 318002 clauses out of 636027 with flag 102219953/51031008
3332.12/3296.93	c cleaning 319003 clauses out of 638026 with flag 102861974/51351009
3358.95/3323.60	c cleaning 319997 clauses out of 640023 with flag 103506268/51672009
3383.84/3348.47	c cleaning 321003 clauses out of 642026 with flag 104151690/51994009
3405.70/3370.18	c cleaning 321995 clauses out of 644022 with flag 104799198/52317008
3433.75/3398.12	c cleaning 323001 clauses out of 646028 with flag 105448492/52641009
3457.38/3421.51	c cleaning 323999 clauses out of 648027 with flag 106099491/52966009
3481.63/3445.64	c cleaning 324995 clauses out of 650027 with flag 106752179/53292008
3508.44/3472.45	c cleaning 325998 clauses out of 652032 with flag 107406741/53619008
3544.17/3508.25	c cleaning 327001 clauses out of 654035 with flag 108063539/53947009
3573.20/3537.38	c cleaning 327998 clauses out of 656033 with flag 108722228/54276008
3600.03/3564.22	c starts		: 4
3600.03/3564.23	c conflicts		: 54606009
3600.03/3564.23	c decisions		: 56239143
3600.03/3564.23	c propagations		: 402936523
3600.03/3564.23	c inspects		: 7930003187
3600.03/3564.23	c shortcuts		: 0
3600.03/3564.23	c learnt literals	: 0
3600.03/3564.23	c learnt binary clauses	: 0
3600.03/3564.23	c learnt ternary clauses	: 0
3600.03/3564.23	c learnt constraints	: 54606009
3600.03/3564.23	c ignored constraints	: 0
3600.03/3564.23	c root simplifications	: 0
3600.03/3564.23	c removed literals (reason simplification)	: 7933086
3600.03/3564.23	c reason swapping (by a shorter reason)	: 0
3600.03/3564.23	c Calls to reduceDB	: 326
3600.03/3564.23	c Number of update (reduction) of LBD	: 105041
3600.03/3564.23	c Imported unit clauses	: 0
3600.03/3564.24	c No decision after first conflict	: false
3600.03/3564.24	c number of reductions to clauses (during analyze)	: 0
3600.03/3564.24	c number of learned constraints concerned by reduction	: 0
3600.03/3564.24	c number of learning phase by resolution	: 0
3600.03/3564.24	c number of learning phase by cutting planes	: 0
3600.03/3564.24	c number of rounding to 1 operations	: 0
3600.03/3564.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3564.24	c number of reductions of the coefficients by power 2 	: 0
3600.03/3564.24	c number of right shift for reduction by power 2 	: 0
3600.03/3564.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3564.24	c number of ending skipping 	: 0
3600.03/3564.24	c number of internal skipping 	: 0
3600.03/3564.24	c number of derivation steps 	: 0
3600.03/3564.24	c number of skipped derivation steps 	: 0
3600.03/3564.24	c number of remaining unassigned 	: 0
3600.03/3564.24	c number of remaining assigned 	: 0
3600.03/3564.24	c number of falsified literals weakened from reason	: 0
3600.03/3564.24	c number of falsified literals weakened from conflict	: 0
3600.03/3564.24	c time for arithmetic operations	: 0
3600.03/3564.25	c minimum degree of deleted constraints	: null
3600.03/3564.26	c maximum degree of deleted constraints	: null
3600.03/3564.26	c number of deleted constraints	: 0
3600.03/3564.26	c speed (assignments/second)	: 113055.32390683111
3600.03/3564.26	c non guided choices	: 8
3600.23/3564.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 658036
3600.23/3564.34	s SATISFIABLE
3600.23/3564.34	c Found 3 solution(s)
3600.23/3564.35	v x1 x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 x13 x14 x15 x16 x17 x18 x19 -x20 x21 -x22 x23 x24 -x25 x26 x27 x28 x29 -x30 -x31 x32 x33 -x34 x35 -x36 x37 x38 -x39 x40 -x41 x42 x43 x44 -x45 x46 -x47 x48 -x49 -x50 x51 -x52 x53 -x54 x55 x56 x57 x58 x59 -x60 x61 -x62 x63 -x64 x65 x66 x67 x68 -x69 x70 x71 x72 -x73 x74 -x75 x76 -x77 x78 -x79 -x80 x81 x82 x83 -x84 x85 x86 -x87 x88 x89 x90 x91 x92 -x93 -x94 x95 -x96 -x97 -x98 x99 x100 -x101 x102 -x103 x104 x105 -x106 x107 x108 x109 -x110 -x111 -x112 x113 x114 -x115 -x116 x117 x118 -x119 x120 -x121 -x122 x123 x124 -x125 -x126 -x127 x128 -x129 -x130 x131 x132 x133 -x134 x135 x136 x137 -x138 -x139 x140 x141 x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 x157 x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 -x188 x189 x190 x191 -x192 x193 -x194 x195 x196 -x197 x198 x199 x200 x201 -x202 x203 x204 -x205 x206 x207 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 x230 x231 x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 x271 x272 x273 -x274 x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 x328 x329 x330 x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 x372 -x373 -x374 -x375 x376 x377 x378 x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 x406 x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 x428 -x429 x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 
3600.23/3564.35	c objective function=-50
3600.23/3564.35	c Total wall clock time (in seconds): 3564.207

Verifier Data 

OK	-50

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: 63708 MiB (48315 MiB free)
  memory of node 1: 64465 MiB (61003 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508788-1751512150/watcher-4508788-1751512150 -o /tmp/evaluation-result-4508788-1751512150/solver-4508788-1751512150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71614 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4508788-1751512150.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=72569, runsolver pid=72566

[startup+0.100061 s]*
/proc/loadavg: 4.14 4.11 4.04 8/337 72587
/proc/meminfo: memFree=111889996/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=18930384 memory=52556 CPUtime=0.1 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 6288 0 0 0 8 2 0 0 20 0 18 0 66892836 19384713216 13139 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4732596 13139 5370 1 0 547383 0
[pid=72569/tid=72571] ppid=72566 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 4994 0 0 0 5 1 0 0 20 0 18 0 66892837 19384713216 13139 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66892839 19384713216 13139 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66892840 19384713216 13139 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52556 KiB

[startup+0.206662 s]*
/proc/loadavg: 4.14 4.11 4.04 9/338 72588
/proc/meminfo: memFree=111853700/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=18996948 memory=62428 CPUtime=0.3 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 7119 0 0 0 27 3 0 0 20 0 19 0 66892836 19452874752 15607 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4749237 15607 5466 1 0 548232 0
[pid=72569/tid=72571] ppid=72566 vsize=18996948 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 5393 0 0 0 14 2 0 0 20 0 19 0 66892837 19452874752 15607 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=18996948 memory=16099 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66892839 19452874752 15607 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=18996948 memory=57385981051877 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66892840 19452874752 15607 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 66892855 19452874752 15607 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62428 KiB

[startup+0.305731 s]*
/proc/loadavg: 4.14 4.11 4.04 8/339 72589
/proc/meminfo: memFree=111824084/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=18996948 memory=69704 CPUtime=0.49 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 10158 0 0 0 45 4 0 0 20 0 19 0 66892836 19452874752 17426 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4749237 17426 5498 1 0 549489 0
[pid=72569/tid=72571] ppid=72566 vsize=18996948 memory=-6000919481279670888 CPUtime=0.26 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 5403 0 0 0 24 2 0 0 20 0 19 0 66892837 19452874752 17426 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66892839 19452874752 17426 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66892840 19452874752 17426 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 66892855 19452874752 17426 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69704 KiB

[startup+0.70023 s]
/proc/loadavg: 4.29 4.15 4.05 7/339 72589
/proc/meminfo: memFree=111783760/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=18996948 memory=93964 CPUtime=1.25 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 15193 0 0 0 120 5 0 0 20 0 19 0 66892836 19452874752 23491 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4749237 23491 5498 1 0 552390 0
[pid=72569/tid=72571] ppid=72566 vsize=18996948 memory=14336 CPUtime=0.63 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 5423 0 0 0 61 2 0 0 20 0 19 0 66892837 19452874752 23491 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66892839 19452874752 23491 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66892840 19452874752 23491 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 66892855 19452874752 23491 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93964 KiB

[startup+1.50025 s]
/proc/loadavg: 4.29 4.15 4.05 7/316 72600
/proc/meminfo: memFree=113500896/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=18996948 memory=123468 CPUtime=2.84 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 21838 0 0 0 277 7 0 0 20 0 19 0 66892836 19452874752 30867 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4749237 30867 5498 1 0 552951 0
[pid=72569/tid=72571] ppid=72566 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 5888 0 0 0 138 3 0 0 20 0 19 0 66892837 19452874752 30867 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 66892839 19452874752 30867 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 66892840 19452874752 30867 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 66892855 19452874752 30867 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123468 KiB

[startup+3.10566 s]
/proc/loadavg: 4.29 4.15 4.05 8/340 72722
/proc/meminfo: memFree=112867348/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=202004 CPUtime=4.61 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 23825 0 0 0 453 8 0 0 20 0 20 0 66892836 19521036288 50501 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 50501 5530 1 0 553242 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=10880 CPUtime=2.99 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 6139 0 0 0 295 4 0 0 20 0 20 0 66892837 19521036288 50501 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=-6000919481279670888 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 50501 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 50501 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 50501 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202004 KiB

[startup+6.30024 s]
/proc/loadavg: 4.27 4.14 4.05 5/342 72724
/proc/meminfo: memFree=111633244/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=324776 CPUtime=7.95 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 24203 0 0 0 784 11 0 0 20 0 20 0 66892836 19521036288 81194 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 81194 5530 1 0 553243 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=0 CPUtime=6.07 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) S 72566 72569 71602 0 -1 4194368 6208 0 0 0 603 4 0 0 20 0 20 0 66892837 19521036288 81194 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 81194 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 81194 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=131660 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 81194 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 324776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.16 4.06 5/342 72724
/proc/meminfo: memFree=109263504/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=645328 CPUtime=14.48 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 26599 0 0 0 1430 18 0 0 20 0 20 0 66892836 19521036288 161332 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 161332 5530 1 0 659761 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=131660 CPUtime=12.3 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 6915 0 0 0 1224 6 0 0 20 0 20 0 66892837 19521036288 161332 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 161332 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=-6000919481279670888 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 161332 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=7234584545907990882 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 161332 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 14.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 645328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.17 4.06 5/342 72724
/proc/meminfo: memFree=103110632/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=975316 CPUtime=27.5 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 28624 0 0 0 2725 25 0 0 20 0 20 0 66892836 19521036288 243829 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 243829 5562 1 0 659762 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=975316 CPUtime=24.82 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 7507 0 0 0 2476 6 0 0 20 0 20 0 66892837 19521036288 243829 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=-6000919507150006888 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 243829 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=94348 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 243829 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=893380 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 243829 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 27.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 975316 KiB

[startup+51.1058 s]
/proc/loadavg: 4.76 4.28 4.11 5/342 72724
/proc/meminfo: memFree=91134120/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=1877840 CPUtime=53.51 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 30485 0 0 0 5309 42 0 0 20 0 20 0 66892836 19521036288 469460 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 469460 5562 1 0 787186 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=934356 CPUtime=49.89 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.52 4.38 4.37 6/340 73021
/proc/meminfo: memFree=60201172/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3257.22 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 202298 0 0 0 325443 279 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3186.09 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 82215 0 0 0 318507 102 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1715 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3257.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.32 4.35 6/340 73023
/proc/meminfo: memFree=60200824/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3317.56 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 205392 0 0 0 331475 281 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3245.41 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 84144 0 0 0 324439 102 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3317.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.31 4.35 6/339 73025
/proc/meminfo: memFree=60200952/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3377.75 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 207921 0 0 0 337492 283 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3304.91 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 85624 0 0 0 330389 102 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1809 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3377.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.38 4.33 4.35 5/339 73027
/proc/meminfo: memFree=60202176/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3437.93 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 210680 0 0 0 343509 284 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3364.43 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 87945 0 0 0 336340 103 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3437.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.56 4.39 4.37 5/338 73095
/proc/meminfo: memFree=75724844/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3498.36 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 214558 0 0 0 349551 285 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3423.68 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 89789 0 0 0 342265 103 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3498.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.60 4.41 4.38 5/339 73098
/proc/meminfo: memFree=75481724/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3558.24 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 217337 0 0 0 355538 286 0 0 20 0 20 0 66892836 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248287 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=8993148 CPUtime=3483.5 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 92422 0 0 0 348246 104 0 0 20 0 20 0 66892837 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 1950 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=8993148 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248287 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3558.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8993148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564.2 s]
/proc/loadavg: 4.69 4.47 4.40 5/339 73100
/proc/meminfo: memFree=74450392/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19063512 memory=8995244 CPUtime=3600.03 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 219613 0 0 0 359716 287 0 0 20 0 20 0 66892836 19521036288 2248811 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4765878 2248811 5562 1 0 2262827 0
[pid=72569/tid=72571] ppid=72566 vsize=19063512 memory=245635481903 CPUtime=3525.28 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 94586 0 0 0 352424 104 0 0 20 0 20 0 66892837 19521036288 2248811 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19063512 memory=53013654012657 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66892839 19521036288 2248811 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19063512 memory=3688507679820742688 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 2035 0 0 0 0 0 0 0 20 0 20 0 66892840 19521036288 2248811 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72588] ppid=72566 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/72569/task/72588/stat : 72588 (Timer-0) S 72566 72569 71602 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66892855 19521036288 2248811 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8995244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.46 s, system=2.908 s

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

[startup+3564.31 s]
/proc/loadavg: 4.69 4.47 4.40 5/339 73100
/proc/meminfo: memFree=74450392/131249996 swapFree=33004236/33010684
[pid=72569] ppid=72566 vsize=19263204 memory=8996012 CPUtime=3600.23 cores=1,3
/proc/72569/stat : 72569 (java) S 72566 72569 71602 0 -1 4194304 222041 0 0 0 359736 287 0 0 20 0 21 0 66892836 19725520896 2249003 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
/proc/72569/statm: 4815801 2249003 5594 1 0 2263746 0
[pid=72569/tid=72571] ppid=72566 vsize=19263204 memory=8995244 CPUtime=3525.38 cores=1,3
/proc/72569/task/72571/stat : 72571 (java) R 72566 72569 71602 0 -1 4194368 94586 0 0 0 352434 104 0 0 20 0 21 0 66892837 19725520896 2249003 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72580] ppid=72566 vsize=19263204 memory=8995244 CPUtime=0 cores=1,3
/proc/72569/task/72580/stat : 72580 (Finalizer) S 72566 72569 71602 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 66892839 19725520896 2249003 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
[pid=72569/tid=72587] ppid=72566 vsize=19263204 memory=0 CPUtime=0 cores=1,3
/proc/72569/task/72587/stat : 72587 (Common-Cleaner) S 72566 72569 71602 0 -1 4194368 2035 0 0 0 0 0 0 0 20 0 21 0 66892840 19725520896 2249003 18446744073709551615 94002794090496 94002794094192 140727862010704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94002794102008 94002794102800 94002813988864 140727862012289 140727862012390 140727862012390 140727862017992 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8996012 KiB

Child status: 143

Real time (s): 3564.38
CPU time (s): 3600.37
CPU user time (s): 3597.46
CPU system time (s): 2.908
CPU usage (%): 101.01
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8996012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.908
maximum resident set size= 8996140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114794
involuntary context switches= 8969


# summary of solver processes directly reported to runsolver:
#   pid: 72569
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597.46
#   total CPU system time (s): 2.908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59271 second user time and 16.83 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 05:09:10
IDJOB=4508788
IDBENCH=158472
IDSOLVER=3363
FILE ID=nodeC023/4508788-1751512150
RUNJOBID= nodeC023-1751508541-71614
SLURM_JOB_ID= 9598606
Free space on /tmp= 431856 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508788-1751512150/watcher-4508788-1751512150 -o /tmp/evaluation-result-4508788-1751512150/solver-4508788-1751512150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751508541-71614 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4508788-1751512150.opb

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

MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=1224216040

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00002a
cpu MHz		: 3599.915
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3598.485
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3561.849
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3599.881
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3599.896
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3599.958
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3465.352
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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	: 0xb00002a
cpu MHz		: 3599.893
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111945080 kB
MemAvailable:   127666024 kB
Buffers:              16 kB
Cached:         16465548 kB
SwapCached:          596 kB
Active:          2323624 kB
Inactive:       16263340 kB
Active(anon):    2111584 kB
Inactive(anon):    23220 kB
Active(file):     212040 kB
Inactive(file): 16240120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14004 kB
Writeback:             0 kB
AnonPages:       2123644 kB
Mapped:           119324 kB
Shmem:             13400 kB
KReclaimable:     216048 kB
Slab:             307620 kB
SReclaimable:     216048 kB
SUnreclaim:        91572 kB
KernelStack:        5152 kB
PageTables:         7820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7049880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-03 06:08:34