Trace number 4522190

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)-58 3600.27 3604.83

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
MD5SUM052b56f2871560e549ba2a2e5aff1011
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark3535.65
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints17013
Number of constraints which are clauses17013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
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.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/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-4522190-1751598323.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  objective function found
0.49/0.36	c ... done. Wall clock time 0.21s.
0.49/0.36	c declared #vars     200
0.49/0.36	c #constraints  17013
0.49/0.36	c constraints type 
0.49/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 246
0.49/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16767
0.49/0.36	c 17013 constraints processed.
0.49/0.37	c objective function length is 200 literals
0.68/0.47	c SATISFIABLE
0.68/0.47	c OPTIMIZING...
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.325
0.68/0.47	o -32
0.68/0.48	c Got one! Elapsed wall clock time (in seconds):0.335
0.68/0.48	o -33
0.68/0.48	c Got one! Elapsed wall clock time (in seconds):0.342
0.68/0.48	o -43
1.25/0.74	c Got one! Elapsed wall clock time (in seconds):0.601
1.25/0.74	o -45
1.80/1.06	c cleaning 2971 clauses out of 5943 with flag 11453/5943
2.43/1.59	c cleaning 4481 clauses out of 8970 with flag 33391/11941
3.21/2.28	c cleaning 5744 clauses out of 11489 with flag 66518/18941
4.20/3.10	c cleaning 6870 clauses out of 13746 with flag 109203/26942
5.11/4.03	c cleaning 7933 clauses out of 15875 with flag 151801/35941
5.70/4.62	c Got one! Elapsed wall clock time (in seconds):4.477
5.70/4.62	o -46
6.11/5.10	c cleaning 9693 clauses out of 19386 with flag 16053/47385
6.92/5.67	c cleaning 7845 clauses out of 15694 with flag 38735/53386
7.12/5.82	c Got one! Elapsed wall clock time (in seconds):5.678
7.12/5.82	o -47
7.43/6.16	c cleaning 6764 clauses out of 13551 with flag 13740/59088
7.92/6.60	c cleaning 6384 clauses out of 12788 with flag 33187/65089
8.43/7.18	c cleaning 6697 clauses out of 13405 with flag 59035/72090
9.03/7.70	c cleaning 7353 clauses out of 14708 with flag 80139/80090
9.73/8.40	c cleaning 8181 clauses out of 16361 with flag 114020/89096
10.53/9.22	c cleaning 9071 clauses out of 18173 with flag 148335/99089
11.53/10.20	c cleaning 10039 clauses out of 20101 with flag 193228/110088
12.52/11.30	c cleaning 11026 clauses out of 22062 with flag 242654/122088
13.25/11.97	c Got one! Elapsed wall clock time (in seconds):11.828
13.25/11.97	o -48
13.85/12.50	c cleaning 12028 clauses out of 24063 with flag 21595/135115
14.38/13.10	c cleaning 9012 clauses out of 18035 with flag 51661/141115
14.97/13.69	c cleaning 8007 clauses out of 16023 with flag 76616/148115
15.67/14.38	c cleaning 8000 clauses out of 16018 with flag 109957/156117
16.17/14.84	c Got one! Elapsed wall clock time (in seconds):14.697
16.17/14.84	o -49
16.67/15.38	c cleaning 9392 clauses out of 18792 with flag 28818/166891
17.26/15.91	c cleaning 7687 clauses out of 15398 with flag 55291/172889
17.76/16.46	c cleaning 7353 clauses out of 14711 with flag 78037/179889
18.47/17.11	c cleaning 7668 clauses out of 15359 with flag 103377/187890
19.06/17.78	c cleaning 8339 clauses out of 16690 with flag 129572/196889
19.96/18.61	c cleaning 9169 clauses out of 18351 with flag 161771/206889
20.06/18.70	c Got one! Elapsed wall clock time (in seconds):18.555
20.06/18.70	o -50
20.36/19.06	c cleaning 7095 clauses out of 14197 with flag 23896/211904
20.85/19.52	c cleaning 6551 clauses out of 13106 with flag 43588/217908
21.36/20.04	c cleaning 6764 clauses out of 13550 with flag 63879/224903
22.05/20.74	c cleaning 7380 clauses out of 14786 with flag 92855/232903
22.75/21.46	c cleaning 8198 clauses out of 16406 with flag 124171/241903
23.65/22.32	c cleaning 9099 clauses out of 18208 with flag 161865/251903
24.64/23.35	c cleaning 10047 clauses out of 20110 with flag 215815/262904
24.64/23.39	c Got one! Elapsed wall clock time (in seconds):23.248
24.64/23.39	o -51
25.15/23.86	c cleaning 7774 clauses out of 15584 with flag 29303/268425
25.75/24.42	c cleaning 6876 clauses out of 13806 with flag 64754/274421
26.35/25.04	c cleaning 6958 clauses out of 13933 with flag 104179/281424
27.04/25.78	c cleaning 7482 clauses out of 14972 with flag 148790/289421
27.95/26.60	c cleaning 8240 clauses out of 16490 with flag 197164/298421
28.64/27.37	c cleaning 9121 clauses out of 18250 with flag 231064/308421
29.45/28.13	c cleaning 10063 clauses out of 20132 with flag 258639/319424
30.35/29.03	c cleaning 11032 clauses out of 22068 with flag 290953/331423
31.35/30.03	c cleaning 12008 clauses out of 24034 with flag 325594/344421
32.55/31.24	c cleaning 12998 clauses out of 26029 with flag 369077/358424
33.84/32.51	c cleaning 14004 clauses out of 28030 with flag 416364/373423
35.34/34.09	c cleaning 14999 clauses out of 30024 with flag 486423/389421
36.94/35.64	c cleaning 15997 clauses out of 32026 with flag 549023/406422
38.63/37.36	c cleaning 17014 clauses out of 34028 with flag 610719/424421
40.23/38.97	c cleaning 17997 clauses out of 36014 with flag 667219/443421
42.53/41.22	c cleaning 18999 clauses out of 38018 with flag 758914/463422
44.53/43.24	c cleaning 19999 clauses out of 40023 with flag 829340/484426
46.82/45.54	c cleaning 21000 clauses out of 42022 with flag 916977/506424
49.22/47.95	c cleaning 22000 clauses out of 44020 with flag 998488/529422
51.91/50.64	c cleaning 23003 clauses out of 46021 with flag 1083036/553423
54.60/53.38	c cleaning 24002 clauses out of 48016 with flag 1181238/578421
57.40/56.15	c cleaning 24992 clauses out of 50014 with flag 1273713/604421
60.19/58.97	c cleaning 26008 clauses out of 52023 with flag 1373739/631422
63.49/62.25	c cleaning 26988 clauses out of 54014 with flag 1465666/659421
66.88/65.67	c cleaning 28007 clauses out of 56027 with flag 1576479/688422
70.38/69.12	c cleaning 29004 clauses out of 58020 with flag 1687583/718422
74.37/73.11	c cleaning 29995 clauses out of 60015 with flag 1802097/749421
78.55/77.39	c cleaning 30988 clauses out of 62022 with flag 1960669/781423
83.44/82.25	c cleaning 32001 clauses out of 64032 with flag 2139265/814421
87.97/86.73	c cleaning 33003 clauses out of 66032 with flag 2305340/848422
91.37/90.13	c Got one! Elapsed wall clock time (in seconds):89.984
91.37/90.13	o -52
92.17/90.92	c cleaning 31751 clauses out of 63528 with flag 26239/878921
92.87/91.65	c cleaning 18883 clauses out of 37778 with flag 61483/884922
93.47/92.20	c cleaning 12939 clauses out of 25895 with flag 82389/891922
94.17/92.92	c cleaning 10470 clauses out of 20955 with flag 111411/899921
94.87/93.69	c cleaning 9732 clauses out of 19486 with flag 142821/908922
95.67/94.44	c cleaning 9872 clauses out of 19753 with flag 172264/918921
96.57/95.30	c cleaning 10434 clauses out of 20882 with flag 205109/929922
97.37/96.17	c cleaning 11224 clauses out of 22449 with flag 237025/941923
98.46/97.22	c cleaning 12106 clauses out of 24223 with flag 273512/954921
99.56/98.32	c cleaning 13042 clauses out of 26117 with flag 313071/968921
100.86/99.66	c cleaning 14031 clauses out of 28075 with flag 355632/983921
102.56/101.38	c cleaning 15017 clauses out of 30046 with flag 418767/999923
104.66/103.42	c cleaning 16000 clauses out of 32027 with flag 519286/1016921
104.76/103.52	c Got one! Elapsed wall clock time (in seconds):103.378
104.76/103.52	o -53
105.16/103.95	c cleaning 10563 clauses out of 21153 with flag 23990/1022047
105.75/104.53	c cleaning 8277 clauses out of 16590 with flag 58396/1028047
106.45/105.21	c cleaning 7640 clauses out of 15312 with flag 99070/1035046
107.15/105.97	c cleaning 7818 clauses out of 15672 with flag 139672/1043046
108.05/106.83	c cleaning 8418 clauses out of 16855 with flag 184845/1052047
109.05/107.83	c cleaning 9210 clauses out of 18437 with flag 237775/1062047
110.25/109.02	c cleaning 10109 clauses out of 20227 with flag 305415/1073047
111.55/110.34	c cleaning 11054 clauses out of 22119 with flag 382457/1085048
111.75/110.56	c Got one! Elapsed wall clock time (in seconds):110.422
111.75/110.56	o -57
112.05/110.86	c cleaning 8218 clauses out of 16453 with flag 13142/1090436
112.45/111.27	c cleaning 7110 clauses out of 14235 with flag 31595/1096436
113.05/111.89	c cleaning 7057 clauses out of 14127 with flag 56673/1103438
113.75/112.59	c cleaning 7524 clauses out of 15068 with flag 84522/1111436
114.65/113.40	c cleaning 8265 clauses out of 16544 with flag 120378/1120436
115.45/114.29	c cleaning 9136 clauses out of 18282 with flag 161211/1130439
116.25/115.09	c cleaning 10063 clauses out of 20144 with flag 189623/1141437
117.25/116.03	c cleaning 11035 clauses out of 22082 with flag 223927/1153438
118.25/117.08	c cleaning 12016 clauses out of 24045 with flag 261712/1166436
119.34/118.19	c cleaning 13014 clauses out of 26030 with flag 299593/1180437
120.84/119.69	c cleaning 14001 clauses out of 28016 with flag 352397/1195437
122.55/121.36	c cleaning 15006 clauses out of 30014 with flag 422476/1211436
124.14/123.00	c cleaning 15996 clauses out of 32008 with flag 487119/1228436
126.24/125.04	c cleaning 16990 clauses out of 34012 with flag 587733/1246436
128.53/127.30	c cleaning 17995 clauses out of 36024 with flag 716367/1265438
130.73/129.58	c cleaning 19004 clauses out of 38029 with flag 836854/1285438
132.72/131.56	c cleaning 20008 clauses out of 40024 with flag 897278/1306437
135.01/133.83	c cleaning 20997 clauses out of 42015 with flag 975867/1328436
137.81/136.62	c cleaning 22003 clauses out of 44020 with flag 1080975/1351438
140.10/138.92	c cleaning 23003 clauses out of 46016 with flag 1152775/1375437
142.62/141.48	c cleaning 24001 clauses out of 48015 with flag 1230381/1400439
145.81/144.62	c cleaning 25000 clauses out of 50011 with flag 1345447/1426436
149.21/148.08	c cleaning 25994 clauses out of 52011 with flag 1478581/1453436
152.69/151.51	c cleaning 27003 clauses out of 54017 with flag 1636152/1481436
155.89/154.72	c cleaning 28006 clauses out of 56014 with flag 1747145/1510436
159.38/158.28	c cleaning 28998 clauses out of 58008 with flag 1852745/1540436
163.07/161.98	c cleaning 30000 clauses out of 60011 with flag 1952652/1571437
167.10/165.99	c cleaning 30991 clauses out of 62011 with flag 2071510/1603437
171.09/169.96	c cleaning 31998 clauses out of 64019 with flag 2197514/1636436
176.08/174.92	c cleaning 33000 clauses out of 66022 with flag 2375582/1670437
180.07/178.96	c cleaning 34012 clauses out of 68025 with flag 2493909/1705440
184.26/183.15	c cleaning 34999 clauses out of 70009 with flag 2596955/1741436
188.88/187.73	c cleaning 35999 clauses out of 72014 with flag 2717293/1778440
193.57/192.47	c cleaning 36998 clauses out of 74011 with flag 2851033/1816436
198.66/197.59	c cleaning 38000 clauses out of 76013 with flag 2985368/1855436
203.85/202.75	c cleaning 38996 clauses out of 78013 with flag 3110600/1895436
209.97/208.88	c cleaning 40003 clauses out of 80017 with flag 3282280/1936436
216.16/215.03	c cleaning 41000 clauses out of 82014 with flag 3494960/1978436
222.05/220.91	c cleaning 42005 clauses out of 84015 with flag 3654656/2021437
228.83/227.79	c cleaning 43003 clauses out of 86010 with flag 3857197/2065437
234.72/233.69	c cleaning 43997 clauses out of 88006 with flag 4002382/2110436
241.64/240.55	c cleaning 44999 clauses out of 90009 with flag 4187190/2156436
249.82/248.73	c cleaning 45995 clauses out of 92010 with flag 4448171/2203436
258.11/257.08	c cleaning 47003 clauses out of 94015 with flag 4713544/2251436
267.09/266.02	c cleaning 47999 clauses out of 96013 with flag 5014547/2300437
275.38/274.34	c cleaning 49004 clauses out of 98013 with flag 5283413/2350436
283.01/281.97	c cleaning 49995 clauses out of 100014 with flag 5468034/2401441
291.29/290.22	c cleaning 51002 clauses out of 102017 with flag 5683872/2453439
300.18/299.17	c cleaning 51996 clauses out of 104013 with flag 5894879/2506437
308.46/307.44	c cleaning 52999 clauses out of 106016 with flag 6116632/2560436
317.40/316.38	c cleaning 53997 clauses out of 108017 with flag 6358891/2615436
327.38/326.38	c cleaning 55006 clauses out of 110022 with flag 6652243/2671438
337.36/336.38	c cleaning 55991 clauses out of 112015 with flag 6934160/2728437
347.83/346.83	c cleaning 57005 clauses out of 114024 with flag 7238246/2786437
358.11/357.13	c cleaning 58004 clauses out of 116019 with flag 7468791/2845437
368.61/367.66	c cleaning 58995 clauses out of 118016 with flag 7704857/2905438
378.69/377.77	c cleaning 59998 clauses out of 120019 with flag 7914666/2966436
390.37/389.45	c cleaning 61007 clauses out of 122022 with flag 8154286/3028437
402.84/402.00	c cleaning 61995 clauses out of 124015 with flag 8433401/3091437
414.36/413.43	c cleaning 63002 clauses out of 126020 with flag 8652165/3155437
426.44/425.51	c cleaning 64000 clauses out of 128017 with flag 8924780/3220436
437.92/437.08	c cleaning 64997 clauses out of 130017 with flag 9201144/3286436
449.89/449.01	c cleaning 66005 clauses out of 132020 with flag 9429138/3353436
463.07/462.22	c cleaning 67004 clauses out of 134015 with flag 9700827/3421436
476.79/475.93	c cleaning 67986 clauses out of 136013 with flag 10042104/3490438
490.66/489.89	c cleaning 69004 clauses out of 138026 with flag 10307549/3560437
506.43/505.68	c cleaning 70009 clauses out of 140023 with flag 10666060/3631438
521.00/520.23	c cleaning 70997 clauses out of 142013 with flag 11021147/3703437
535.67/534.95	c cleaning 72005 clauses out of 144016 with flag 11345341/3776437
549.94/549.26	c cleaning 72996 clauses out of 146013 with flag 11623524/3850439
567.38/566.61	c cleaning 73992 clauses out of 148016 with flag 12018069/3925438
582.14/581.41	c cleaning 75003 clauses out of 150022 with flag 12280798/4001436
598.82/598.18	c cleaning 75995 clauses out of 152019 with flag 12679116/4078436
619.77/619.16	c cleaning 77006 clauses out of 154024 with flag 13251016/4156436
636.82/636.21	c cleaning 77999 clauses out of 156020 with flag 13606919/4235438
656.08/655.54	c cleaning 79004 clauses out of 158020 with flag 14029462/4315437
674.01/673.46	c cleaning 79992 clauses out of 160015 with flag 14373578/4396436
693.17/692.61	c cleaning 80995 clauses out of 162023 with flag 14799181/4478436
711.73/711.25	c cleaning 81997 clauses out of 164029 with flag 15167156/4561437
729.80/729.33	c cleaning 83009 clauses out of 166034 with flag 15530333/4645439
750.36/749.96	c cleaning 84001 clauses out of 168022 with flag 15973697/4730436
770.52/770.11	c cleaning 84996 clauses out of 170025 with flag 16380716/4816440
791.57/791.29	c cleaning 86008 clauses out of 172027 with flag 16842742/4903438
812.19/811.81	c cleaning 87000 clauses out of 174018 with flag 17266205/4991437
833.75/833.46	c cleaning 87988 clauses out of 176017 with flag 17641228/5080436
854.91/854.60	c cleaning 88999 clauses out of 178030 with flag 18007359/5170437
875.06/874.85	c cleaning 90006 clauses out of 180031 with flag 18340021/5261437
898.22/898.04	c cleaning 91000 clauses out of 182025 with flag 18803386/5353437
920.84/920.61	c cleaning 92005 clauses out of 184026 with flag 19158003/5446438
945.98/945.88	c cleaning 93004 clauses out of 186019 with flag 19665659/5540436
972.41/972.36	c cleaning 94004 clauses out of 188020 with flag 20221747/5635441
995.25/995.21	c cleaning 94995 clauses out of 190011 with flag 20589357/5731436
1020.68/1020.78	c cleaning 96004 clauses out of 192016 with flag 21080938/5828436
1047.31/1047.42	c cleaning 96999 clauses out of 194015 with flag 21600544/5926439
1074.23/1074.42	c cleaning 98001 clauses out of 196016 with flag 22127690/6025439
1099.85/1099.72	c cleaning 99002 clauses out of 198012 with flag 22537651/6125436
1127.47/1127.42	c cleaning 99985 clauses out of 200010 with flag 23066409/6226436
1154.50/1154.55	c cleaning 100998 clauses out of 202025 with flag 23528410/6328436
1181.82/1181.96	c cleaning 102010 clauses out of 204027 with flag 24022229/6431436
1209.55/1209.70	c cleaning 102998 clauses out of 206019 with flag 24517694/6535438
1239.47/1239.77	c cleaning 103998 clauses out of 208021 with flag 25124874/6640438
1267.89/1268.26	c cleaning 105002 clauses out of 210023 with flag 25592258/6746438
1302.79/1303.19	c cleaning 106000 clauses out of 212022 with flag 26222923/6853439
1335.21/1335.69	c cleaning 107002 clauses out of 214020 with flag 26831255/6961437
1365.92/1366.40	c cleaning 107994 clauses out of 216018 with flag 27306485/7070437
1398.84/1399.47	c cleaning 109004 clauses out of 218025 with flag 27817990/7180438
1429.07/1429.76	c cleaning 110001 clauses out of 220021 with flag 28323550/7291438
1460.70/1461.47	c cleaning 111004 clauses out of 222018 with flag 28862376/7403436
1496.03/1496.82	c cleaning 111995 clauses out of 224015 with flag 29500630/7516437
1528.61/1529.44	c cleaning 112999 clauses out of 226020 with flag 30008460/7630437
1562.93/1563.80	c cleaning 114006 clauses out of 228020 with flag 30590849/7745436
1595.35/1596.33	c cleaning 114991 clauses out of 230014 with flag 31145386/7861436
1632.67/1633.76	c cleaning 115998 clauses out of 232023 with flag 31765544/7978436
1669.69/1670.81	c cleaning 117006 clauses out of 234025 with flag 32325058/8096436
1705.51/1706.79	c cleaning 118002 clauses out of 236019 with flag 32963987/8215436
1742.00/1743.24	c cleaning 119002 clauses out of 238019 with flag 33528898/8335438
1783.71/1785.03	c cleaning 119999 clauses out of 240015 with flag 34219673/8456436
1820.82/1822.22	c cleaning 120993 clauses out of 242018 with flag 34846594/8578438
1863.41/1864.97	c cleaning 121999 clauses out of 244025 with flag 35504156/8701438
1906.19/1907.85	c cleaning 123004 clauses out of 246024 with flag 36186507/8825436
1944.59/1946.37	c cleaning 124000 clauses out of 248021 with flag 36816481/8950437
1987.08/1988.97	c cleaning 124999 clauses out of 250022 with flag 37452259/9076438
2028.47/2030.38	c cleaning 125990 clauses out of 252023 with flag 38149379/9203438
2070.28/2072.20	c cleaning 127009 clauses out of 254034 with flag 38736604/9331439
2114.68/2116.70	c cleaning 128007 clauses out of 256023 with flag 39457035/9460437
2157.79/2160.00	c cleaning 129005 clauses out of 258017 with flag 40103603/9590438
2202.79/2205.02	c cleaning 129988 clauses out of 260010 with flag 40839286/9721436
2253.65/2256.01	c cleaning 131001 clauses out of 262023 with flag 41734089/9853437
2301.53/2303.97	c cleaning 132004 clauses out of 264021 with flag 42427002/9986436
2330.88/2333.35	c Got one! Elapsed wall clock time (in seconds):2333.206
2330.88/2333.35	o -58
2333.71/2336.15	c cleaning 116771 clauses out of 233550 with flag 26934/10087969
2335.40/2337.84	c cleaning 61375 clauses out of 122780 with flag 62971/10093970
2336.30/2338.71	c cleaning 34200 clauses out of 68406 with flag 86594/10100971
2337.10/2339.59	c cleaning 13903 clauses out of 42205 with flag 111057/10108970
2338.20/2340.67	c cleaning 8991 clauses out of 37301 with flag 141514/10117969
2339.20/2341.61	c cleaning 10007 clauses out of 38312 with flag 169076/10127971
2340.32/2342.79	c cleaning 10989 clauses out of 39304 with flag 201603/10138970
2341.75/2344.14	c cleaning 12008 clauses out of 40315 with flag 237942/10150970
2343.04/2345.48	c cleaning 12995 clauses out of 41307 with flag 271301/10163970
2344.64/2347.02	c cleaning 14004 clauses out of 42316 with flag 312472/10177974
2346.13/2348.59	c cleaning 14987 clauses out of 43309 with flag 351799/10192971
2347.83/2350.28	c cleaning 15994 clauses out of 44321 with flag 395413/10208970
2349.53/2351.96	c cleaning 17010 clauses out of 45326 with flag 437804/10225969
2351.73/2354.18	c cleaning 17986 clauses out of 46318 with flag 496091/10243971
2354.21/2356.63	c cleaning 18997 clauses out of 47331 with flag 563684/10262970
2356.41/2358.87	c cleaning 19998 clauses out of 48334 with flag 621530/10282970
2359.00/2361.47	c cleaning 20986 clauses out of 49338 with flag 686143/10303972
2361.40/2363.86	c cleaning 22018 clauses out of 50350 with flag 748199/10325970
2364.40/2366.87	c cleaning 22991 clauses out of 51331 with flag 823679/10348969
2367.29/2369.75	c cleaning 24000 clauses out of 52341 with flag 888893/10372970
2370.19/2372.60	c cleaning 24997 clauses out of 53344 with flag 960334/10397973
2373.68/2376.16	c cleaning 26001 clauses out of 54344 with flag 1045232/10423970
2377.37/2379.87	c cleaning 26992 clauses out of 55343 with flag 1139339/10450970
2381.46/2383.91	c cleaning 27993 clauses out of 56353 with flag 1258077/10478972
2385.95/2388.40	c cleaning 28668 clauses out of 57358 with flag 1384826/10507970
2390.14/2392.64	c cleaning 29335 clauses out of 58691 with flag 1509936/10537971
2393.93/2396.40	c cleaning 30169 clauses out of 60357 with flag 1606555/10568972
2398.53/2401.04	c cleaning 31089 clauses out of 62185 with flag 1704173/10600969
2403.11/2405.62	c cleaning 32028 clauses out of 64099 with flag 1819070/10633972
2407.40/2409.90	c cleaning 33024 clauses out of 66069 with flag 1911029/10667970
2411.99/2414.56	c cleaning 34013 clauses out of 68046 with flag 2015920/10702971
2417.49/2420.08	c cleaning 35002 clauses out of 70033 with flag 2160775/10738971
2422.97/2425.55	c cleaning 35998 clauses out of 72029 with flag 2296484/10775969
2428.31/2430.81	c cleaning 37011 clauses out of 74034 with flag 2413410/10813972
2433.50/2436.01	c cleaning 37999 clauses out of 76020 with flag 2542235/10852969
2438.88/2441.43	c cleaning 39000 clauses out of 78022 with flag 2661463/10892970
2444.37/2446.93	c cleaning 39999 clauses out of 80021 with flag 2791278/10933969
2450.46/2453.07	c cleaning 41001 clauses out of 82022 with flag 2937448/10975969
2457.34/2459.95	c cleaning 41993 clauses out of 84021 with flag 3084992/11018969
2464.43/2467.04	c cleaning 42996 clauses out of 86030 with flag 3273751/11062971
2471.11/2473.74	c cleaning 43999 clauses out of 88035 with flag 3441842/11107972
2478.19/2480.84	c cleaning 45010 clauses out of 90034 with flag 3595316/11153970
2485.08/2487.78	c cleaning 46009 clauses out of 92024 with flag 3747220/11200970
2492.87/2495.51	c cleaning 46996 clauses out of 94014 with flag 3906603/11248969
2500.55/2503.29	c cleaning 48000 clauses out of 96018 with flag 4054697/11297969
2508.73/2511.48	c cleaning 48989 clauses out of 98018 with flag 4245000/11347969
2516.81/2519.57	c cleaning 50003 clauses out of 100029 with flag 4437408/11398969
2525.70/2528.42	c cleaning 51004 clauses out of 102026 with flag 4653211/11450969
2534.38/2537.14	c cleaning 52000 clauses out of 104023 with flag 4851332/11503970
2543.26/2546.05	c cleaning 53002 clauses out of 106022 with flag 5064535/11557969
2553.34/2556.11	c cleaning 54003 clauses out of 108023 with flag 5273373/11612972
2562.82/2565.63	c cleaning 55007 clauses out of 110020 with flag 5463317/11668972
2573.09/2575.99	c cleaning 56000 clauses out of 112010 with flag 5673109/11725969
2583.87/2586.71	c cleaning 56989 clauses out of 114010 with flag 5888049/11783969
2594.26/2597.15	c cleaning 58002 clauses out of 116021 with flag 6080283/11842969
2604.83/2607.76	c cleaning 59005 clauses out of 118019 with flag 6297575/11902969
2616.90/2619.85	c cleaning 60002 clauses out of 120018 with flag 6529836/11963973
2629.58/2632.52	c cleaning 61000 clauses out of 122015 with flag 6797151/12025972
2640.76/2643.78	c cleaning 62001 clauses out of 124012 with flag 7007199/12088969
2653.03/2656.07	c cleaning 62997 clauses out of 126011 with flag 7225191/12152969
2665.90/2668.98	c cleaning 64000 clauses out of 128015 with flag 7495339/12217970
2678.87/2681.93	c cleaning 65002 clauses out of 130014 with flag 7746483/12283969
2691.64/2694.77	c cleaning 65990 clauses out of 132012 with flag 8008528/12350969
2706.02/2709.18	c cleaning 66999 clauses out of 134022 with flag 8269439/12418969
2721.98/2725.17	c cleaning 68002 clauses out of 136024 with flag 8613982/12487970
2736.15/2739.34	c cleaning 69000 clauses out of 138022 with flag 8938179/12557970
2751.24/2754.17	c cleaning 70002 clauses out of 140021 with flag 9179414/12628969
2766.95/2769.76	c cleaning 71001 clauses out of 142020 with flag 9450082/12700970
2781.41/2784.28	c cleaning 71998 clauses out of 144022 with flag 9716240/12773973
2795.68/2798.53	c cleaning 73006 clauses out of 146023 with flag 9951329/12847972
2812.54/2815.48	c cleaning 73999 clauses out of 148016 with flag 10249826/12922971
2828.97/2831.86	c cleaning 75003 clauses out of 150015 with flag 10544564/12998969
2847.03/2849.95	c cleaning 76005 clauses out of 152015 with flag 10936544/13075972
2863.20/2866.16	c cleaning 76997 clauses out of 154007 with flag 11202952/13153969
2880.17/2883.16	c cleaning 77997 clauses out of 156011 with flag 11497629/13232970
2898.21/2901.24	c cleaning 78999 clauses out of 158013 with flag 11786189/13312969
2917.76/2920.88	c cleaning 80001 clauses out of 160018 with flag 12121105/13393973
2936.02/2939.16	c cleaning 80999 clauses out of 162013 with flag 12422949/13475969
2954.46/2957.61	c cleaning 81993 clauses out of 164014 with flag 12718385/13558969
2974.70/2977.94	c cleaning 83002 clauses out of 166021 with flag 13062283/13642969
2994.95/2998.25	c cleaning 84006 clauses out of 168021 with flag 13443410/13727971
3014.90/3018.25	c cleaning 84994 clauses out of 170013 with flag 13818120/13813969
3035.83/3039.20	c cleaning 86001 clauses out of 172019 with flag 14149020/13900969
3057.18/3060.63	c cleaning 87007 clauses out of 174021 with flag 14490601/13988972
3081.11/3084.64	c cleaning 87998 clauses out of 176011 with flag 14957536/14077969
3101.66/3105.27	c cleaning 88986 clauses out of 178013 with flag 15379419/14167969
3123.19/3126.80	c cleaning 90001 clauses out of 180027 with flag 15731977/14258969
3146.04/3149.75	c cleaning 91003 clauses out of 182030 with flag 16123946/14350973
3169.47/3173.21	c cleaning 91997 clauses out of 184024 with flag 16504467/14443970
3193.41/3197.28	c cleaning 93011 clauses out of 186027 with flag 16865625/14537970
3217.15/3221.10	c cleaning 94003 clauses out of 188015 with flag 17263029/14632969
3242.77/3246.76	c cleaning 95004 clauses out of 190013 with flag 17664783/14728970
3269.89/3273.94	c cleaning 95996 clauses out of 192009 with flag 18106737/14825970
3297.22/3301.30	c cleaning 96995 clauses out of 194012 with flag 18578091/14923969
3324.04/3328.27	c cleaning 97998 clauses out of 196017 with flag 19028838/15022969
3350.98/3355.20	c cleaning 99001 clauses out of 198019 with flag 19427963/15122969
3377.83/3382.02	c cleaning 99996 clauses out of 200019 with flag 19826782/15223970
3405.66/3409.95	c cleaning 101004 clauses out of 202022 with flag 20249114/15325969
3434.29/3438.62	c cleaning 102001 clauses out of 204018 with flag 20721909/15428969
3462.52/3467.00	c cleaning 102996 clauses out of 206017 with flag 21151591/15532969
3493.76/3498.22	c cleaning 103997 clauses out of 208021 with flag 21630150/15637969
3523.50/3528.10	c cleaning 105002 clauses out of 210025 with flag 22102265/15743970
3553.62/3558.28	c cleaning 106002 clauses out of 212022 with flag 22590455/15850969
3582.65/3587.36	c cleaning 107004 clauses out of 214021 with flag 23032079/15958970
3600.02/3604.71	c starts		: 27142
3600.02/3604.73	c conflicts		: 16028343
3600.02/3604.73	c decisions		: 19224406
3600.02/3604.73	c propagations		: 460722397
3600.02/3604.73	c inspects		: 52766889906
3600.02/3604.73	c shortcuts		: 0
3600.02/3604.73	c learnt literals	: 0
3600.02/3604.73	c learnt binary clauses	: 1
3600.02/3604.73	c learnt ternary clauses	: 98
3600.02/3604.73	c learnt constraints	: 16028343
3600.02/3604.73	c ignored constraints	: 0
3600.02/3604.73	c root simplifications	: 0
3600.02/3604.73	c removed literals (reason simplification)	: 719663325
3600.02/3604.74	c reason swapping (by a shorter reason)	: 0
3600.02/3604.74	c Calls to reduceDB	: 316
3600.02/3604.74	c Number of update (reduction) of LBD	: 3213149
3600.02/3604.74	c Imported unit clauses	: 0
3600.02/3604.74	c No decision after first conflict	: false
3600.02/3604.74	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.74	c number of learned constraints concerned by reduction	: 0
3600.02/3604.74	c number of learning phase by resolution	: 0
3600.02/3604.74	c number of learning phase by cutting planes	: 0
3600.02/3604.74	c number of rounding to 1 operations	: 0
3600.02/3604.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.74	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.74	c number of right shift for reduction by power 2 	: 0
3600.02/3604.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.74	c number of ending skipping 	: 0
3600.02/3604.74	c number of internal skipping 	: 0
3600.02/3604.74	c number of derivation steps 	: 0
3600.02/3604.74	c number of skipped derivation steps 	: 0
3600.02/3604.74	c number of remaining unassigned 	: 0
3600.02/3604.74	c number of remaining assigned 	: 0
3600.02/3604.74	c number of falsified literals weakened from reason	: 0
3600.02/3604.74	c number of falsified literals weakened from conflict	: 0
3600.02/3604.74	c time for arithmetic operations	: 0
3600.02/3604.75	c minimum degree of deleted constraints	: null
3600.02/3604.75	c maximum degree of deleted constraints	: null
3600.02/3604.75	c number of deleted constraints	: 0
3600.02/3604.75	c speed (assignments/second)	: 127823.35127822687
3600.02/3604.75	c non guided choices	: 0
3600.22/3604.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 176389
3600.22/3604.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.22/3604.81	s SATISFIABLE
3600.22/3604.81	c Found 14 solution(s)
3600.22/3604.81	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 
3600.22/3604.81	c objective function=-58
3600.22/3604.81	c Total wall clock time (in seconds): 3604.671

Verifier Data

OK	-58

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: 63665 MiB (62600 MiB free)
  memory of node 1: 64507 MiB (63805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522190-1751598323/watcher-4522190-1751598323 -o /tmp/evaluation-result-4522190-1751598323/solver-4522190-1751598323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4522190-1751598323.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=85799, runsolver pid=85794

[startup+0.100058 s]*
/proc/loadavg: 0.72 1.08 1.62 8/313 85859
/proc/meminfo: memFree=129317696/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18930384 memory=53164 CPUtime=0.1 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 6460 0 8 0 8 2 0 0 20 0 18 0 75512219 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4732596 13291 5327 1 0 547551 0
[pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 4992 0 8 0 5 1 0 0 20 0 18 0 75512222 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 13291 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53164 KiB

[startup+0.205884 s]*
/proc/loadavg: 0.72 1.08 1.62 10/313 85859
/proc/meminfo: memFree=129271600/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18930384 memory=65980 CPUtime=0.3 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 7013 0 8 0 27 3 0 0 20 0 18 0 75512219 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4732596 16495 5423 1 0 547906 0
[pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5270 0 8 0 14 2 0 0 20 0 18 0 75512222 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 16495 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65980 KiB

[startup+0.305702 s]*
/proc/loadavg: 0.72 1.08 1.62 8/313 85859
/proc/meminfo: memFree=129162524/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18930384 memory=105088 CPUtime=0.49 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 8550 0 8 0 45 4 0 0 20 0 18 0 75512219 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4732596 26272 5423 1 0 548937 0
[pid=85799/tid=85810] ppid=85794 vsize=18930384 memory=-6000919481229207399 CPUtime=0.24 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5287 0 8 0 22 2 0 0 20 0 18 0 75512222 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75512224 19384713216 26272 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105088 KiB

[startup+0.700225 s]
/proc/loadavg: 0.72 1.08 1.62 9/317 85863
/proc/meminfo: memFree=129027864/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18996948 memory=135680 CPUtime=1.25 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 9796 0 8 0 120 5 0 0 20 0 19 0 75512219 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4749237 33920 5487 1 0 549939 0
[pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=18816 CPUtime=0.58 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5417 0 8 0 55 3 0 0 20 0 19 0 75512222 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 33920 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135680 KiB

[startup+1.50022 s]
/proc/loadavg: 0.72 1.08 1.62 8/317 85863
/proc/meminfo: memFree=128950956/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18996948 memory=145132 CPUtime=2.43 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 13124 0 8 0 237 6 0 0 20 0 19 0 75512219 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4749237 36283 5487 1 0 551177 0
[pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=0 CPUtime=1.36 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 5581 0 8 0 133 3 0 0 20 0 19 0 75512222 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 36283 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145132 KiB

[startup+3.10593 s]
/proc/loadavg: 0.72 1.08 1.62 6/339 85893
/proc/meminfo: memFree=128368352/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18996948 memory=148056 CPUtime=4.2 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 16166 0 8 0 414 6 0 0 20 0 19 0 75512219 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4749237 37014 5487 1 0 551354 0
[pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=10880 CPUtime=2.94 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 6114 0 8 0 291 3 0 0 20 0 19 0 75512222 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=-6000919489819141991 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 37014 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148056 KiB

[startup+6.30021 s]
/proc/loadavg: 0.98 1.13 1.63 5/340 85894
/proc/meminfo: memFree=126984120/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=18996948 memory=165152 CPUtime=7.62 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 22962 0 8 0 755 7 0 0 20 0 19 0 75512219 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4749237 41288 5487 1 0 552516 0
[pid=85799/tid=85810] ppid=85794 vsize=18996948 memory=0 CPUtime=6.13 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 7209 0 8 0 610 3 0 0 20 0 19 0 75512222 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75512224 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=18996948 memory=145132 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75512258 19452874752 41288 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165152 KiB

[startup+12.7002 s]
/proc/loadavg: 1.22 1.18 1.65 5/341 85895
/proc/meminfo: memFree=126126504/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=172600 CPUtime=14.07 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 27366 0 8 0 1400 7 0 0 20 0 20 0 75512219 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 43150 5519 1 0 552805 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=145132 CPUtime=12.5 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 8104 0 8 0 1247 3 0 0 20 0 20 0 75512222 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=-6000919489819141991 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172600 KiB

[startup+25.5002 s]
/proc/loadavg: 1.92 1.33 1.69 5/340 85961
/proc/meminfo: memFree=125583532/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=172600 CPUtime=26.84 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 28543 0 8 0 2677 7 0 0 20 0 20 0 75512219 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 43150 5519 1 0 552805 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=0 CPUtime=25.28 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 9059 0 8 0 2524 4 0 0 20 0 20 0 75512222 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=-6000919489819141991 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=172600 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=145132 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 43150 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172600 KiB

[startup+51.1056 s]
/proc/loadavg: 2.69 1.56 1.76 5/340 85961
/proc/meminfo: memFree=124373740/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=182936 CPUtime=52.42 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 29983 0 8 0 5234 8 0 0 20 0 20 0 75512219 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 45734 5519 1 0 552805 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=145132 CPUtime=50.8 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 9513 0 8 0 5076 4 0 0 20 0 20 0 75512222 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=182936 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 45734 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=3328 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.19 4.12 5/338 86110
/proc/meminfo: memFree=101789084/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3278.28 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 77694 0 8 0 327708 120 0 0 20 0 20 0 75512219 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 535671 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3271.97 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 29965 0 8 0 327170 27 0 0 20 0 20 0 75512222 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1107 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3278.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2142684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.26 4.15 5/339 86124
/proc/meminfo: memFree=101793580/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3338.11 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 78641 0 8 0 333690 121 0 0 20 0 20 0 75512219 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 535671 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=168638243 CPUtime=3331.79 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 30862 0 8 0 333152 27 0 0 20 0 20 0 75512222 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1107 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 535671 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3338.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2142684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.14 5/339 86126
/proc/meminfo: memFree=101781416/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3398.08 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80077 0 8 0 339685 123 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 538744 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3391.53 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 31563 0 8 0 339125 28 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3398.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2154976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.21 4.14 6/339 86194
/proc/meminfo: memFree=115455156/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3457.94 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80270 0 8 0 345669 125 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 538744 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2142684 CPUtime=3451.37 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 31648 0 8 0 345107 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2142684 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1267 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3457.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2154976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.20 4.14 5/340 86197
/proc/meminfo: memFree=113680336/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3517.81 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 80917 0 8 0 351654 127 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 538744 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3511.22 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 32248 0 8 0 351092 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1267 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3517.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2154976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.14 4/335 86204
/proc/meminfo: memFree=113299256/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3577.67 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 81841 0 8 0 357639 128 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 538744 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=18816 CPUtime=3571.07 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33044 0 8 0 357077 30 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3577.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2154976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.7 s]
/proc/loadavg: 4.27 4.22 4.15 5/339 86268
/proc/meminfo: memFree=119144824/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3600.02 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 82033 0 8 0 359873 129 0 0 20 0 20 0 75512219 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4765878 538744 5551 1 0 557271 0
[pid=85799/tid=85810] ppid=85794 vsize=19063512 memory=2154976 CPUtime=3593.41 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33230 0 8 0 359310 31 0 0 20 0 20 0 75512222 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19063512 memory=10868 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 20 0 75512224 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85860] ppid=85794 vsize=19063512 memory=2154976 CPUtime=0 cores=4,6
/proc/85799/task/85860/stat : 85860 (Timer-0) S 85794 85799 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75512258 19521036288 538744 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2154976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.30663 s

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

[startup+3604.8 s]
/proc/loadavg: 4.27 4.22 4.15 5/339 86268
/proc/meminfo: memFree=119144824/131250000 swapFree=33010416/33010684
[pid=85799] ppid=85794 vsize=19263204 memory=2155872 CPUtime=3600.22 cores=4,6
/proc/85799/stat : 85799 (java) S 85794 85799 85745 0 -1 4194304 84194 0 8 0 359893 129 0 0 20 0 21 0 75512219 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
/proc/85799/statm: 4815801 538968 5551 1 0 558206 0
[pid=85799/tid=85810] ppid=85794 vsize=19263204 memory=12672 CPUtime=3593.52 cores=4,6
/proc/85799/task/85810/stat : 85810 (java) R 85794 85799 85745 0 -1 4194368 33324 0 8 0 359321 31 0 0 20 0 21 0 75512222 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85836] ppid=85794 vsize=19263204 memory=-6000919485608388199 CPUtime=0 cores=4,6
/proc/85799/task/85836/stat : 85836 (Finalizer) S 85794 85799 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75512224 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
[pid=85799/tid=85856] ppid=85794 vsize=19263204 memory=4916 CPUtime=0 cores=4,6
/proc/85799/task/85856/stat : 85856 (Common-Cleaner) S 85794 85799 85745 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 21 0 75512224 19725520896 538968 18446744073709551615 94654626648064 94654626651760 140728050197280 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94654626659576 94654626660368 94654657630208 140728050198913 140728050199014 140728050199014 140728050204616 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2155872 KiB

Child status: 143

Real time (s): 3604.83
CPU time (s): 3600.27
CPU user time (s): 3598.96
CPU system time (s): 1.30663
CPU usage (%): 99.8735
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2155872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.30663
maximum resident set size= 2156128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84504
page faults= 8
swaps= 0
block input operations= 0
block output operations= 14624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104283
involuntary context switches= 4714


# summary of solver processes directly reported to runsolver:
#   pid: 85799
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.30663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1331 second user time and 16.9231 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-07-04 05:05:23
IDJOB=4522190
IDBENCH=178624
IDSOLVER=3363
FILE ID=nodeC027/4522190-1751598323
RUNJOBID= nodeC027-1751598323-85760
SLURM_JOB_ID= 9598871
Free space on /tmp= 431184 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522190-1751598323/watcher-4522190-1751598323 -o /tmp/evaluation-result-4522190-1751598323/solver-4522190-1751598323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85760 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4522190-1751598323.opb

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

MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=1607990071

nodeC027 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		: 3600.001
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.29
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		: 3599.665
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.29
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		: 3599.913
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.29
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.638
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.29
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.638
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.29
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		: 3600.444
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.29
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		: 3600.426
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.29
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.704
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129454080 kB
MemAvailable:   129765020 kB
Buffers:            2488 kB
Cached:          1109428 kB
SwapCached:           12 kB
Active:           621192 kB
Inactive:         568908 kB
Active(anon):      93448 kB
Inactive(anon):     2792 kB
Active(file):     527744 kB
Inactive(file):   566116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5832 kB
Writeback:             0 kB
AnonPages:         81856 kB
Mapped:           103456 kB
Shmem:             18056 kB
KReclaimable:     112240 kB
Slab:             201928 kB
SReclaimable:     112240 kB
SUnreclaim:        89688 kB
KernelStack:        4040 kB
PageTables:         2372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     346900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431180 MiB
End job on nodeC027 at 2025-07-04 06:05:28