Trace number 4487720

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)5962 3600.73 3576.46

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM30811ed4729c90bd058f0c8aab264377
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4517
Best CPU time to get the best result obtained on this benchmark0.125111
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 651
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.25	c Number of processors 	2
0.42/0.35	c Pseudo Boolean Optimization by upper bound
0.42/0.35	c --- Begin Solver configuration ---
0.42/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.35	c Learn all clauses as in MiniSAT
0.42/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.35	c Expensive reason simplification
0.42/0.35	c Glucose 2.1 dynamic restart strategy
0.42/0.35	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.42/0.35	c timeout=2147483s
0.42/0.35	c DB Simplification allowed=false
0.42/0.35	c Listener: none
0.42/0.35	c --- End Solver configuration ---
0.42/0.36	c solving HOME/instance-4487720-1751321239.opb
0.42/0.36	c reading problem ... 
0.42/0.36	c  objective function found
0.79/0.54	c ... done. Wall clock time 0.176s.
0.79/0.54	c declared #vars     651
0.79/0.54	c #constraints  1658
0.79/0.54	c constraints type 
0.79/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 501
0.79/0.54	c org.sat4j.specs.Constr$1 => 65
0.79/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1078
0.79/0.54	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
0.79/0.54	c 1658 constraints processed.
0.79/0.58	c objective function length is 651 literals
0.93/0.61	c SATISFIABLE
0.93/0.61	c OPTIMIZING...
0.93/0.61	c Got one! Elapsed wall clock time (in seconds):0.256
0.93/0.61	o 6056
0.93/0.63	c Got one! Elapsed wall clock time (in seconds):0.277
0.93/0.63	o 6033
0.93/0.65	c Got one! Elapsed wall clock time (in seconds):0.29
0.93/0.65	o 6010
0.93/0.66	c Got one! Elapsed wall clock time (in seconds):0.301
0.93/0.66	o 5987
2.48/1.45	c cleaning 2506 clauses out of 5024 with flag 10331/5024
3.04/1.76	c Got one! Elapsed wall clock time (in seconds):1.401
3.04/1.76	o 5981
3.04/1.78	c Got one! Elapsed wall clock time (in seconds):1.42
3.04/1.78	o 5971
3.04/1.78	c Got one! Elapsed wall clock time (in seconds):1.423
3.04/1.78	o 5962
3.39/2.08	c cleaning 6772 clauses out of 13559 with flag 10580/16065
3.85/2.36	c cleaning 6386 clauses out of 12786 with flag 22949/22064
4.34/2.68	c cleaning 6688 clauses out of 13400 with flag 37655/29064
4.74/3.04	c cleaning 7347 clauses out of 14712 with flag 54464/37064
5.24/3.42	c cleaning 8176 clauses out of 16365 with flag 73237/46064
5.75/3.95	c cleaning 9089 clauses out of 18189 with flag 94496/56064
6.36/4.51	c cleaning 10043 clauses out of 20100 with flag 117781/67064
6.76/5.02	c cleaning 11017 clauses out of 22059 with flag 142778/79066
7.37/5.58	c cleaning 12012 clauses out of 24041 with flag 169946/92065
8.46/6.61	c cleaning 13005 clauses out of 26029 with flag 198932/106065
9.46/7.60	c cleaning 14003 clauses out of 28024 with flag 230553/121065
10.77/8.94	c cleaning 14999 clauses out of 30020 with flag 264214/137064
11.72/9.83	c cleaning 15998 clauses out of 32021 with flag 300079/154064
13.31/11.45	c cleaning 17000 clauses out of 34023 with flag 338605/172064
14.30/12.48	c cleaning 18004 clauses out of 36023 with flag 378468/191064
16.06/14.16	c cleaning 18997 clauses out of 38020 with flag 420276/211065
17.44/15.58	c cleaning 20002 clauses out of 40022 with flag 464370/232064
18.54/16.62	c cleaning 21003 clauses out of 42020 with flag 511154/254064
20.36/18.45	c cleaning 22000 clauses out of 44018 with flag 559815/277065
21.67/19.74	c cleaning 22996 clauses out of 46017 with flag 610316/301064
23.51/21.58	c cleaning 23999 clauses out of 48021 with flag 663159/326064
25.01/23.11	c cleaning 24995 clauses out of 50022 with flag 718279/352064
26.62/24.64	c cleaning 25998 clauses out of 52027 with flag 775404/379064
28.03/26.05	c cleaning 27010 clauses out of 54029 with flag 834713/407064
30.23/28.24	c cleaning 28001 clauses out of 56019 with flag 895788/436064
31.91/29.98	c cleaning 28998 clauses out of 58018 with flag 959177/466064
33.63/31.62	c cleaning 30000 clauses out of 60021 with flag 1024828/497065
36.03/34.07	c cleaning 31000 clauses out of 62020 with flag 1091349/529064
37.91/35.97	c cleaning 31999 clauses out of 64020 with flag 1160062/562064
39.76/37.76	c cleaning 32999 clauses out of 66021 with flag 1231255/596064
41.55/39.59	c cleaning 34001 clauses out of 68022 with flag 1304156/631064
44.07/42.02	c cleaning 35000 clauses out of 70021 with flag 1379184/667064
46.15/44.13	c cleaning 36004 clauses out of 72021 with flag 1455634/704064
48.39/46.31	c cleaning 36993 clauses out of 74017 with flag 1534667/742064
50.78/48.72	c cleaning 37999 clauses out of 76025 with flag 1615421/781065
53.02/50.90	c cleaning 39001 clauses out of 78025 with flag 1699879/821064
55.23/53.20	c cleaning 39997 clauses out of 80024 with flag 1787413/862064
57.56/55.45	c cleaning 40996 clauses out of 82028 with flag 1876110/904065
60.06/57.92	c cleaning 42004 clauses out of 84032 with flag 1966419/947065
62.45/60.33	c cleaning 43004 clauses out of 86029 with flag 2060344/991066
65.05/62.93	c cleaning 44003 clauses out of 88025 with flag 2157719/1036066
67.34/65.27	c cleaning 44997 clauses out of 90020 with flag 2257513/1082064
69.97/67.81	c cleaning 46001 clauses out of 92023 with flag 2359218/1129064
72.67/70.54	c cleaning 47002 clauses out of 94023 with flag 2463216/1177065
75.48/73.26	c cleaning 48000 clauses out of 96021 with flag 2568884/1226065
78.07/75.86	c cleaning 48995 clauses out of 98020 with flag 2676697/1276064
81.23/78.91	c cleaning 50002 clauses out of 100026 with flag 2789665/1327065
84.12/81.84	c cleaning 51002 clauses out of 102025 with flag 2904356/1379066
88.83/86.59	c cleaning 51997 clauses out of 104021 with flag 3022299/1432064
92.34/90.05	c cleaning 53001 clauses out of 106025 with flag 3142184/1486065
95.87/93.51	c cleaning 54004 clauses out of 108024 with flag 3263897/1541065
99.47/97.14	c cleaning 55001 clauses out of 110019 with flag 3387803/1597064
103.19/100.88	c cleaning 55999 clauses out of 112020 with flag 3514521/1654066
106.79/104.46	c cleaning 56998 clauses out of 114020 with flag 3641982/1712065
111.32/108.98	c cleaning 57999 clauses out of 116021 with flag 3774103/1771064
115.62/113.25	c cleaning 59002 clauses out of 118023 with flag 3908116/1831065
119.52/117.14	c cleaning 59999 clauses out of 120021 with flag 4046385/1892065
124.82/122.11	c cleaning 60996 clauses out of 122022 with flag 4186613/1954065
128.79/126.14	c cleaning 61995 clauses out of 124026 with flag 4328487/2017065
133.08/130.37	c cleaning 63001 clauses out of 126031 with flag 4474496/2081065
136.97/134.25	c cleaning 63994 clauses out of 128029 with flag 4622225/2146064
141.17/138.46	c cleaning 65005 clauses out of 130035 with flag 4772776/2212064
145.68/142.91	c cleaning 66000 clauses out of 132030 with flag 4925725/2279064
150.08/147.34	c cleaning 67002 clauses out of 134031 with flag 5080167/2347065
156.22/153.44	c cleaning 68005 clauses out of 136029 with flag 5235115/2416065
160.62/157.80	c cleaning 68997 clauses out of 138023 with flag 5391939/2486064
165.21/162.43	c cleaning 70004 clauses out of 140027 with flag 5546340/2557065
169.60/166.88	c cleaning 71003 clauses out of 142023 with flag 5707128/2629065
174.08/171.32	c cleaning 72001 clauses out of 144021 with flag 5869744/2702066
178.58/175.84	c cleaning 72992 clauses out of 146019 with flag 6034960/2776065
183.57/180.88	c cleaning 74002 clauses out of 148026 with flag 6202384/2851064
187.88/185.15	c cleaning 75000 clauses out of 150025 with flag 6372621/2927065
192.59/189.75	c cleaning 75994 clauses out of 152025 with flag 6546190/3004065
198.18/195.33	c cleaning 77005 clauses out of 154030 with flag 6721786/3082064
203.27/200.42	c cleaning 78001 clauses out of 156026 with flag 6901496/3161065
209.00/206.05	c cleaning 78999 clauses out of 158025 with flag 7083788/3241065
214.37/211.45	c cleaning 79996 clauses out of 160025 with flag 7267169/3322064
219.31/216.37	c cleaning 81002 clauses out of 162029 with flag 7452525/3404064
224.60/221.61	c cleaning 82006 clauses out of 164028 with flag 7641222/3487065
230.90/227.96	c cleaning 83000 clauses out of 166023 with flag 7830707/3571066
236.32/233.25	c cleaning 83997 clauses out of 168021 with flag 8023962/3656064
242.23/239.16	c cleaning 84997 clauses out of 170025 with flag 8220459/3742065
248.00/244.91	c cleaning 85995 clauses out of 172027 with flag 8418342/3829064
253.89/250.79	c cleaning 87000 clauses out of 174033 with flag 8618754/3917065
259.99/256.88	c cleaning 88001 clauses out of 176033 with flag 8821331/4006065
265.77/262.68	c cleaning 89005 clauses out of 178031 with flag 9026370/4096064
271.43/268.11	c cleaning 90005 clauses out of 180028 with flag 9232818/4187066
277.61/274.31	c cleaning 90999 clauses out of 182021 with flag 9436141/4279064
284.56/280.15	c cleaning 91993 clauses out of 184024 with flag 9647522/4372066
291.14/286.72	c cleaning 92996 clauses out of 186029 with flag 9863364/4466064
297.55/293.12	c cleaning 94004 clauses out of 188034 with flag 10080399/4561065
303.88/299.46	c cleaning 94998 clauses out of 190029 with flag 10298722/4657064
310.16/305.62	c cleaning 95996 clauses out of 192031 with flag 10521252/4754064
317.31/312.76	c cleaning 97001 clauses out of 194036 with flag 10744521/4852065
323.81/319.23	c cleaning 98004 clauses out of 196034 with flag 10968449/4951064
330.66/326.06	c cleaning 99000 clauses out of 198031 with flag 11196075/5051065
336.45/331.83	c cleaning 100004 clauses out of 200030 with flag 11424278/5152064
342.91/338.16	c cleaning 100999 clauses out of 202027 with flag 11652584/5254065
348.99/344.30	c cleaning 101995 clauses out of 204027 with flag 11887359/5357064
355.88/351.03	c cleaning 102999 clauses out of 206032 with flag 12123836/5461064
362.86/358.03	c cleaning 103997 clauses out of 208033 with flag 12363534/5566064
370.38/365.48	c cleaning 104999 clauses out of 210037 with flag 12605160/5672065
377.67/372.75	c cleaning 106005 clauses out of 212037 with flag 12849597/5779064
385.66/380.68	c cleaning 107007 clauses out of 214034 with flag 13096333/5887066
394.17/389.15	c cleaning 108003 clauses out of 216025 with flag 13345385/5996064
401.24/396.20	c cleaning 108999 clauses out of 218022 with flag 13595196/6106064
408.79/402.87	c cleaning 109999 clauses out of 220024 with flag 13848322/6217065
415.78/409.85	c cleaning 111001 clauses out of 222025 with flag 14099888/6329065
422.84/416.81	c cleaning 111993 clauses out of 224024 with flag 14353991/6442065
431.04/425.02	c cleaning 112996 clauses out of 226030 with flag 14614233/6556064
439.91/433.91	c cleaning 114004 clauses out of 228034 with flag 14876699/6671064
447.49/441.58	c cleaning 115003 clauses out of 230030 with flag 15139872/6787064
455.65/449.65	c cleaning 116001 clauses out of 232028 with flag 15402306/6904065
463.33/457.36	c cleaning 116998 clauses out of 234026 with flag 15669204/7022064
471.52/465.52	c cleaning 117996 clauses out of 236028 with flag 15941523/7141064
479.81/473.81	c cleaning 118994 clauses out of 238032 with flag 16215940/7261064
490.08/484.02	c cleaning 120008 clauses out of 240038 with flag 16492469/7382064
498.85/492.87	c cleaning 120998 clauses out of 242030 with flag 16771401/7504064
506.96/500.81	c cleaning 122005 clauses out of 244033 with flag 17051375/7627065
515.46/509.37	c cleaning 123002 clauses out of 246027 with flag 17334936/7751064
525.13/518.95	c cleaning 124001 clauses out of 248026 with flag 17619771/7876065
534.62/528.49	c cleaning 125000 clauses out of 250024 with flag 17904043/8002064
543.21/537.03	c cleaning 125994 clauses out of 252024 with flag 18190727/8129064
552.62/546.34	c cleaning 126997 clauses out of 254031 with flag 18482505/8257065
561.91/555.68	c cleaning 128002 clauses out of 256033 with flag 18776310/8386064
571.41/565.07	c cleaning 129003 clauses out of 258032 with flag 19072128/8516065
581.58/575.21	c cleaning 129997 clauses out of 260028 with flag 19363106/8647064
592.16/585.84	c cleaning 130997 clauses out of 262032 with flag 19661441/8779065
600.72/594.25	c cleaning 132002 clauses out of 264034 with flag 19963118/8912064
611.91/605.40	c cleaning 132996 clauses out of 266033 with flag 20269076/9046065
621.69/615.14	c cleaning 133997 clauses out of 268036 with flag 20576535/9181064
631.71/625.02	c cleaning 135002 clauses out of 270040 with flag 20886536/9317065
643.29/636.62	c cleaning 135997 clauses out of 272037 with flag 21199582/9454064
654.78/648.06	c cleaning 137001 clauses out of 274041 with flag 21514747/9592065
666.25/659.59	c cleaning 138010 clauses out of 276039 with flag 21823579/9731064
680.42/673.67	c cleaning 139003 clauses out of 278030 with flag 22122459/9871065
691.91/685.16	c cleaning 140002 clauses out of 280026 with flag 22427304/10012064
703.33/696.43	c cleaning 140998 clauses out of 282024 with flag 22729277/10154064
715.22/708.38	c cleaning 141999 clauses out of 284027 with flag 23036662/10297065
728.24/720.15	c cleaning 142998 clauses out of 286027 with flag 23345463/10441064
741.41/733.33	c cleaning 144000 clauses out of 288030 with flag 23655263/10586065
750.84/742.77	c cleaning 145002 clauses out of 290030 with flag 23975021/10732065
760.43/752.30	c cleaning 145997 clauses out of 292027 with flag 24295981/10879064
771.42/763.26	c cleaning 147003 clauses out of 294032 with flag 24613638/11027066
782.60/774.49	c cleaning 147996 clauses out of 296027 with flag 24935276/11176064
794.81/786.57	c cleaning 148992 clauses out of 298032 with flag 25263462/11326065
808.79/800.54	c cleaning 150010 clauses out of 300039 with flag 25593496/11477064
825.15/816.73	c cleaning 150997 clauses out of 302030 with flag 25922214/11629065
838.64/830.24	c cleaning 152003 clauses out of 304033 with flag 26251398/11782065
851.61/843.15	c cleaning 153004 clauses out of 306030 with flag 26582899/11936065
866.26/857.86	c cleaning 154000 clauses out of 308026 with flag 26937392/12091065
885.52/876.92	c cleaning 154999 clauses out of 310026 with flag 27291631/12247065
899.68/891.02	c cleaning 155996 clauses out of 312026 with flag 27643277/12404064
913.41/904.78	c cleaning 157003 clauses out of 314030 with flag 27994297/12562064
924.66/916.00	c cleaning 157999 clauses out of 316027 with flag 28354126/12721064
938.73/929.93	c cleaning 159000 clauses out of 318029 with flag 28718281/12881065
953.01/944.26	c cleaning 159994 clauses out of 320029 with flag 29087949/13042065
967.93/959.14	c cleaning 160996 clauses out of 322034 with flag 29460928/13204064
981.10/972.38	c cleaning 162006 clauses out of 324038 with flag 29830563/13367064
995.89/987.15	c cleaning 163003 clauses out of 326032 with flag 30203939/13531064
1011.94/1003.08	c cleaning 163998 clauses out of 328030 with flag 30576024/13696065
1026.18/1017.25	c cleaning 164999 clauses out of 330031 with flag 30947759/13862064
1041.66/1031.87	c cleaning 166000 clauses out of 332033 with flag 31327458/14029065
1056.73/1046.99	c cleaning 166998 clauses out of 334032 with flag 31710670/14197064
1073.41/1063.57	c cleaning 168004 clauses out of 336034 with flag 32098506/14366064
1088.30/1078.31	c cleaning 168999 clauses out of 338030 with flag 32484634/14536064
1102.08/1092.01	c cleaning 169996 clauses out of 340032 with flag 32873806/14707065
1116.85/1106.77	c cleaning 170995 clauses out of 342035 with flag 33265093/14879064
1131.97/1121.82	c cleaning 172008 clauses out of 344041 with flag 33657629/15052065
1149.11/1138.83	c cleaning 173007 clauses out of 346033 with flag 34051578/15226065
1164.19/1153.82	c cleaning 173998 clauses out of 348026 with flag 34446222/15401065
1179.22/1168.76	c cleaning 175004 clauses out of 350027 with flag 34845716/15577064
1195.74/1185.22	c cleaning 175994 clauses out of 352023 with flag 35247517/15754064
1211.38/1200.81	c cleaning 176999 clauses out of 354029 with flag 35652782/15932064
1226.62/1216.00	c cleaning 178002 clauses out of 356030 with flag 36057467/16111064
1240.47/1229.71	c cleaning 179002 clauses out of 358029 with flag 36466565/16291065
1253.49/1242.77	c cleaning 179996 clauses out of 360026 with flag 36875377/16472064
1268.73/1257.90	c cleaning 181000 clauses out of 362032 with flag 37288070/16654066
1286.44/1274.98	c cleaning 182002 clauses out of 364031 with flag 37705394/16837065
1301.93/1290.32	c cleaning 182998 clauses out of 366028 with flag 38123856/17021064
1320.62/1309.00	c cleaning 184004 clauses out of 368031 with flag 38544103/17206065
1337.92/1326.07	c cleaning 185000 clauses out of 370026 with flag 38968020/17392064
1352.02/1340.01	c cleaning 186000 clauses out of 372026 with flag 39390617/17579064
1365.68/1353.61	c cleaning 186998 clauses out of 374026 with flag 39818603/17767064
1383.87/1371.80	c cleaning 188001 clauses out of 376028 with flag 40249946/17956064
1401.90/1389.66	c cleaning 188997 clauses out of 378028 with flag 40683957/18146065
1417.90/1405.56	c cleaning 189999 clauses out of 380031 with flag 41110738/18337065
1433.52/1421.11	c cleaning 191002 clauses out of 382031 with flag 41545441/18529064
1450.00/1437.40	c cleaning 192006 clauses out of 384029 with flag 41984005/18722064
1465.95/1453.22	c cleaning 192997 clauses out of 386024 with flag 42424013/18916065
1484.18/1471.31	c cleaning 193998 clauses out of 388027 with flag 42868611/19111065
1502.66/1489.73	c cleaning 195001 clauses out of 390029 with flag 43316271/19307065
1519.26/1506.20	c cleaning 195996 clauses out of 392027 with flag 43760766/19504064
1536.08/1522.90	c cleaning 197004 clauses out of 394032 with flag 44210847/19702065
1553.41/1539.18	c cleaning 197998 clauses out of 396029 with flag 44656669/19901066
1575.13/1560.90	c cleaning 199002 clauses out of 398029 with flag 45109818/20101064
1595.55/1581.25	c cleaning 199997 clauses out of 400027 with flag 45563368/20302064
1615.35/1600.77	c cleaning 200994 clauses out of 402030 with flag 46022066/20504064
1634.11/1619.36	c cleaning 202007 clauses out of 404036 with flag 46480701/20707064
1652.18/1637.24	c cleaning 202999 clauses out of 406029 with flag 46940756/20911064
1674.33/1659.22	c cleaning 203998 clauses out of 408031 with flag 47378751/21116065
1696.55/1681.36	c cleaning 204997 clauses out of 410032 with flag 47817367/21322064
1717.52/1702.22	c cleaning 206008 clauses out of 412036 with flag 48253179/21529065
1736.72/1721.39	c cleaning 207004 clauses out of 414028 with flag 48694911/21737065
1753.47/1737.99	c cleaning 207993 clauses out of 416024 with flag 49157855/21946065
1773.65/1758.12	c cleaning 209003 clauses out of 418032 with flag 49635238/22156066
1794.02/1778.48	c cleaning 209993 clauses out of 420027 with flag 50113569/22367064
1814.20/1798.53	c cleaning 211005 clauses out of 422034 with flag 50595281/22579064
1831.86/1816.03	c cleaning 212000 clauses out of 424029 with flag 51069300/22792064
1848.22/1832.41	c cleaning 213001 clauses out of 426030 with flag 51558983/23006065
1867.60/1851.85	c cleaning 214003 clauses out of 428030 with flag 52048243/23221066
1885.28/1869.56	c cleaning 214998 clauses out of 430026 with flag 52537460/23437065
1903.55/1887.80	c cleaning 215999 clauses out of 432028 with flag 53022045/23654065
1923.68/1907.94	c cleaning 216990 clauses out of 434028 with flag 53520485/23872064
1943.86/1928.14	c cleaning 218009 clauses out of 436039 with flag 54011308/24091065
1964.62/1948.93	c cleaning 218998 clauses out of 438029 with flag 54508045/24311064
1988.33/1972.59	c cleaning 220002 clauses out of 440031 with flag 55005384/24532064
2006.50/1990.72	c cleaning 221002 clauses out of 442029 with flag 55508719/24754064
2026.77/2011.02	c cleaning 221996 clauses out of 444027 with flag 56020313/24977064
2046.98/2030.04	c cleaning 223001 clauses out of 446032 with flag 56530966/25201065
2065.94/2049.04	c cleaning 223997 clauses out of 448030 with flag 57042266/25426064
2085.72/2068.68	c cleaning 225001 clauses out of 450033 with flag 57558366/25652064
2107.31/2090.10	c cleaning 226005 clauses out of 452033 with flag 58077919/25879065
2130.07/2112.79	c cleaning 226996 clauses out of 454027 with flag 58597661/26107064
2155.26/2137.87	c cleaning 227992 clauses out of 456031 with flag 59120017/26336064
2178.79/2161.22	c cleaning 229002 clauses out of 458039 with flag 59644158/26566064
2202.20/2184.49	c cleaning 229999 clauses out of 460037 with flag 60168738/26797064
2225.41/2207.58	c cleaning 231009 clauses out of 462039 with flag 60696617/27029065
2248.49/2230.55	c cleaning 232000 clauses out of 464030 with flag 61227443/27262065
2271.16/2253.24	c cleaning 232997 clauses out of 466029 with flag 61759445/27496064
2291.77/2273.83	c cleaning 234004 clauses out of 468033 with flag 62294118/27731065
2320.32/2302.41	c cleaning 234994 clauses out of 470030 with flag 62828540/27967066
2342.19/2324.30	c cleaning 236002 clauses out of 472035 with flag 63367875/28204065
2363.05/2345.28	c cleaning 236995 clauses out of 474032 with flag 63909589/28442064
2387.00/2368.89	c cleaning 238002 clauses out of 476037 with flag 64454852/28681064
2410.51/2390.82	c cleaning 238997 clauses out of 478036 with flag 65005170/28921065
2431.50/2411.67	c cleaning 240005 clauses out of 480038 with flag 65552740/29162064
2454.01/2434.03	c cleaning 241003 clauses out of 482033 with flag 66104589/29404064
2480.72/2460.78	c cleaning 242000 clauses out of 484031 with flag 66657857/29647065
2505.48/2485.65	c cleaning 242998 clauses out of 486030 with flag 67217314/29891064
2532.21/2512.37	c cleaning 243992 clauses out of 488032 with flag 67775512/30136064
2553.77/2533.94	c cleaning 245003 clauses out of 490040 with flag 68333177/30382064
2576.25/2556.49	c cleaning 246002 clauses out of 492038 with flag 68900937/30629065
2600.53/2580.75	c cleaning 246998 clauses out of 494037 with flag 69468665/30877066
2627.59/2607.86	c cleaning 248001 clauses out of 496038 with flag 70036539/31126065
2654.45/2634.76	c cleaning 249006 clauses out of 498037 with flag 70605232/31376065
2676.13/2656.30	c cleaning 249996 clauses out of 500030 with flag 71178142/31627064
2700.99/2681.23	c cleaning 251003 clauses out of 502034 with flag 71752190/31879064
2726.84/2706.91	c cleaning 251995 clauses out of 504031 with flag 72327359/32132064
2751.21/2731.20	c cleaning 253004 clauses out of 506036 with flag 72907557/32386064
2776.26/2756.30	c cleaning 254001 clauses out of 508034 with flag 73492383/32641066
2799.24/2779.31	c cleaning 254996 clauses out of 510031 with flag 74072652/32897064
2829.53/2809.49	c cleaning 255995 clauses out of 512035 with flag 74660672/33154064
2863.07/2842.80	c cleaning 257000 clauses out of 514040 with flag 75248424/33412064
2889.26/2868.83	c cleaning 258000 clauses out of 516040 with flag 75837757/33671064
2917.65/2897.06	c cleaning 259003 clauses out of 518040 with flag 76431957/33931064
2946.69/2926.17	c cleaning 260000 clauses out of 520037 with flag 77028998/34192064
2975.86/2955.19	c cleaning 261002 clauses out of 522038 with flag 77628964/34454065
3006.18/2985.44	c cleaning 262002 clauses out of 524037 with flag 78229912/34717066
3033.88/3011.17	c cleaning 263000 clauses out of 526033 with flag 78830876/34981064
3064.45/3041.67	c cleaning 264007 clauses out of 528036 with flag 79435285/35246067
3095.90/3072.93	c cleaning 264997 clauses out of 530026 with flag 80042657/35512064
3127.00/3104.13	c cleaning 265998 clauses out of 532030 with flag 80651597/35779065
3154.49/3131.58	c cleaning 267000 clauses out of 534031 with flag 81260839/36047064
3188.37/3165.30	c cleaning 268001 clauses out of 536031 with flag 81876058/36316064
3224.78/3201.54	c cleaning 268989 clauses out of 538031 with flag 82493234/36586065
3255.97/3232.65	c cleaning 270003 clauses out of 540041 with flag 83113856/36857064
3284.29/3260.94	c cleaning 270999 clauses out of 542039 with flag 83736474/37129065
3318.05/3294.75	c cleaning 272003 clauses out of 544040 with flag 84363216/37402065
3353.15/3329.88	c cleaning 273006 clauses out of 546037 with flag 84992142/37676065
3376.14/3352.79	c cleaning 273995 clauses out of 548030 with flag 85620561/37951064
3408.20/3384.75	c cleaning 274998 clauses out of 550036 with flag 86253023/38227065
3437.97/3414.44	c cleaning 275998 clauses out of 552037 with flag 86887478/38504064
3466.69/3443.13	c cleaning 277000 clauses out of 554039 with flag 87521052/38782064
3504.02/3480.42	c cleaning 278005 clauses out of 556039 with flag 88157919/39061064
3530.45/3506.88	c cleaning 278997 clauses out of 558034 with flag 88797506/39341064
3561.38/3537.54	c cleaning 280000 clauses out of 560037 with flag 89442107/39622064
3596.07/3572.14	c cleaning 281005 clauses out of 562037 with flag 90085490/39904064
3600.06/3576.15	c starts		: 8
3600.06/3576.17	c conflicts		: 39975765
3600.06/3576.18	c decisions		: 63130855
3600.06/3576.18	c propagations		: 742463444
3600.06/3576.18	c inspects		: 13468251381
3600.06/3576.18	c shortcuts		: 0
3600.06/3576.18	c learnt literals	: 0
3600.06/3576.18	c learnt binary clauses	: 0
3600.06/3576.18	c learnt ternary clauses	: 0
3600.06/3576.18	c learnt constraints	: 39975765
3600.06/3576.18	c ignored constraints	: 0
3600.06/3576.18	c root simplifications	: 0
3600.06/3576.19	c removed literals (reason simplification)	: 314152375
3600.06/3576.19	c reason swapping (by a shorter reason)	: 0
3600.06/3576.19	c Calls to reduceDB	: 279
3600.06/3576.19	c Number of update (reduction) of LBD	: 2265469
3600.06/3576.19	c Imported unit clauses	: 0
3600.06/3576.19	c No decision after first conflict	: false
3600.06/3576.20	c number of reductions to clauses (during analyze)	: 0
3600.06/3576.20	c number of learned constraints concerned by reduction	: 0
3600.06/3576.20	c number of learning phase by resolution	: 0
3600.06/3576.20	c number of learning phase by cutting planes	: 0
3600.06/3576.20	c number of rounding to 1 operations	: 0
3600.06/3576.20	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.24/3576.20	c number of reductions of the coefficients by power 2 	: 0
3600.24/3576.20	c number of right shift for reduction by power 2 	: 0
3600.24/3576.20	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.24/3576.20	c number of ending skipping 	: 0
3600.24/3576.20	c number of internal skipping 	: 0
3600.24/3576.20	c number of derivation steps 	: 0
3600.24/3576.21	c number of skipped derivation steps 	: 0
3600.24/3576.21	c number of remaining unassigned 	: 0
3600.24/3576.21	c number of remaining assigned 	: 0
3600.24/3576.21	c number of falsified literals weakened from reason	: 0
3600.24/3576.21	c number of falsified literals weakened from conflict	: 0
3600.24/3576.21	c time for arithmetic operations	: 0
3600.24/3576.23	c minimum degree of deleted constraints	: null
3600.24/3576.23	c maximum degree of deleted constraints	: null
3600.24/3576.23	c number of deleted constraints	: 0
3600.24/3576.23	c speed (assignments/second)	: 207644.96751489732
3600.24/3576.24	c non guided choices	: 6
3600.63/3576.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 352733
3600.63/3576.42	s SATISFIABLE
3600.63/3576.42	c Found 7 solution(s)
3600.63/3576.43	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 x94 x95 x96 x97 x98 x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 x115 x116 x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 -x161 -x162 x163 x164 -x165 x166 -x167 x168 x169 x170 x171 x172 x173 x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 x185 x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 x228 x229 x230 -x231 x232 x233 x234 x235 x236 x237 -x238 x239 x240 x241 x242 -x243 x244 -x245 x246 x247 x248 x249 x250 x251 x252 -x253 x254 x255 x256 -x257 x258 x259 -x260 x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 x270 -x271 x272 x273 -x274 x275 -x276 -x277 -x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 -x295 x296 x297 x298 x299 x300 -x301 -x302 x303 x304 -x305 x306 x307 -x308 x309 -x310 -x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 x329 x330 -x331 x332 x333 x334 -x335 -x336 -x337 x338 -x339 x340 x341 x342 x343 -x344 x345 -x346 x347 x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 
3600.63/3576.43	c objective function=5962
3600.63/3576.43	c Total wall clock time (in seconds): 3576.076

Verifier Data 

OK	5962

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: 63794 MiB (58547 MiB free)
  memory of node 1: 64507 MiB (59064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487720-1751321239/watcher-4487720-1751321239 -o /tmp/evaluation-result-4487720-1751321239/solver-4487720-1751321239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42351 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4487720-1751321239.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=43697, runsolver pid=43694
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.25 4.18 4.18 7/323 43715
/proc/meminfo: memFree=120410380/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18930384 memory=48128 CPUtime=0.12 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 5745 0 0 0 9 3 0 0 20 0 18 0 47802779 19384713216 12032 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4732596 12032 5290 1 0 546955 0
[pid=43697/tid=43699] ppid=43694 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 4642 0 0 0 5 2 0 0 20 0 18 0 47802781 19384713216 12032 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47802786 19384713216 12032 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47802787 19384713216 12032 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48128 KiB

[startup+0.221721 s]*
/proc/loadavg: 4.25 4.18 4.18 6/323 43715
/proc/meminfo: memFree=120408868/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18930384 memory=52984 CPUtime=0.28 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 6451 0 0 0 24 4 0 0 20 0 18 0 47802779 19384713216 13246 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4732596 13246 5322 1 0 547531 0
[pid=43697/tid=43699] ppid=43694 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 4985 0 0 0 14 2 0 0 20 0 18 0 47802781 19384713216 13246 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47802786 19384713216 13246 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47802787 19384713216 13246 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52984 KiB

[startup+0.313491 s]*
/proc/loadavg: 4.25 4.18 4.18 7/323 43715
/proc/meminfo: memFree=120406852/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18930384 memory=58108 CPUtime=0.42 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 6706 0 0 0 38 4 0 0 20 0 18 0 47802779 19384713216 14527 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4732596 14527 5322 1 0 547711 0
[pid=43697/tid=43699] ppid=43694 vsize=18930384 memory=-6000919489819208043 CPUtime=0.24 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 5143 0 0 0 22 2 0 0 20 0 18 0 47802781 19384713216 14527 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47802786 19384713216 14527 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47802787 19384713216 14527 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58108 KiB

[startup+0.700299 s]
/proc/loadavg: 4.25 4.18 4.18 7/323 43715
/proc/meminfo: memFree=120406852/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18996948 memory=67188 CPUtime=1.1 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 7518 0 0 0 106 4 0 0 20 0 19 0 47802779 19452874752 16797 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4749237 16797 5418 1 0 548429 0
[pid=43697/tid=43699] ppid=43694 vsize=18996948 memory=17664 CPUtime=0.54 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 5409 0 0 0 51 3 0 0 20 0 19 0 47802781 19452874752 16797 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47802786 19452874752 16797 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47802787 19452874752 16797 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67188 KiB

[startup+1.50023 s]
/proc/loadavg: 4.25 4.18 4.18 6/324 43716
/proc/meminfo: memFree=120394880/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18996948 memory=92608 CPUtime=2.69 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 16213 0 0 0 262 7 0 0 20 0 19 0 47802779 19452874752 23152 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4749237 23152 5450 1 0 551466 0
[pid=43697/tid=43699] ppid=43694 vsize=18996948 memory=3200 CPUtime=1.3 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 6439 0 0 0 127 3 0 0 20 0 19 0 47802781 19452874752 23152 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47802786 19452874752 23152 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47802787 19452874752 23152 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47802839 19452874752 23152 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92608 KiB

[startup+3.10789 s]
/proc/loadavg: 4.23 4.18 4.18 5/324 43717
/proc/meminfo: memFree=120327960/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=18996948 memory=147552 CPUtime=4.84 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 17621 0 0 0 476 8 0 0 20 0 19 0 47802779 19452874752 36888 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4749237 36888 5450 1 0 551799 0
[pid=43697/tid=43699] ppid=43694 vsize=18996948 memory=14720 CPUtime=2.91 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 6875 0 0 0 287 4 0 0 20 0 19 0 47802781 19452874752 36888 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47802786 19452874752 36888 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47802787 19452874752 36888 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47802839 19452874752 36888 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147552 KiB

[startup+6.30034 s]
/proc/loadavg: 4.23 4.18 4.18 5/325 43718
/proc/meminfo: memFree=120286768/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=205632 CPUtime=8.17 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 20152 0 0 0 807 10 0 0 20 0 20 0 47802779 19521036288 51408 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 51408 5514 1 0 552089 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=0 CPUtime=5.93 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 7198 0 0 0 588 5 0 0 20 0 20 0 47802781 19521036288 51408 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 51408 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 51408 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=95200 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 51408 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.17 4.18 5/325 43718
/proc/meminfo: memFree=120213056/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=254944 CPUtime=14.6 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 22595 0 0 0 1448 12 0 0 20 0 20 0 47802779 19521036288 63736 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 63736 5514 1 0 552089 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=95200 CPUtime=12.1 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 7774 0 0 0 1205 5 0 0 20 0 20 0 47802781 19521036288 63736 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=254944 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 63736 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 63736 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 63736 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 254944 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.16 4.18 5/325 43718
/proc/meminfo: memFree=120012352/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=458364 CPUtime=27.53 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 24201 0 0 0 2735 18 0 0 20 0 20 0 47802779 19521036288 114591 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 114591 5546 1 0 552089 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=0 CPUtime=24.5 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 7957 0 0 0 2445 5 0 0 20 0 20 0 47802781 19521036288 114591 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 114591 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=458364 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 114591 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=380360 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 114591 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 458364 KiB

[startup+51.1134 s]
/proc/loadavg: 4.51 4.25 4.20 5/324 43983
/proc/meminfo: memFree=123777504/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=937732 CPUtime=53.23 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 25224 0 0 0 5291 32 0 0 20 0 20 0 47802779 19521036288 234433 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 234433 5546 1 0 689942 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=503532 CPUtime=49.34 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 8218 0 0 0 4924 10 0 0 20 0 20 0 47802781 19521036288 234433 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=-6000919489819208043 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 234433 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=279291388960720 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 234433 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=0 CPUtime=0 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.41 4.42 4.52 5/325 44388
/proc/meminfo: memFree=109956944/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=4851968 CPUtime=3245.68 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 171392 0 0 0 324230 338 0 0 20 0 20 0 47802779 19521036288 1212992 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1212992 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=4811008 CPUtime=3188.88 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 88923 0 0 0 318830 58 0 0 20 0 20 0 47802781 19521036288 1212992 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=-6000919489819208043 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1212992 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=4851968 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 916 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1212992 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1212992 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3245.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4851968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.37 4.50 5/325 44405
/proc/meminfo: memFree=109772720/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=4876544 CPUtime=3305.68 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 172532 0 0 0 330224 344 0 0 20 0 20 0 47802779 19521036288 1219136 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1219136 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=4876544 CPUtime=3248.64 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 89956 0 0 0 324806 58 0 0 20 0 20 0 47802781 19521036288 1219136 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=4851968 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1219136 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 928 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1219136 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=46336 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1219136 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3305.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4876544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.32 4.47 5/326 44410
/proc/meminfo: memFree=109541780/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3365.76 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 173282 0 0 0 336225 351 0 0 20 0 20 0 47802779 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1276480 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=4999424 CPUtime=3308.24 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 90497 0 0 0 330764 60 0 0 20 0 20 0 47802781 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=4999424 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3365.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5105920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.29 4.45 5/326 44416
/proc/meminfo: memFree=109547092/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3425.88 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 174650 0 0 0 342233 355 0 0 20 0 20 0 47802779 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1276480 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3367.63 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 91572 0 0 0 336703 60 0 0 20 0 20 0 47802781 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 943 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3425.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5105920 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.26 4.43 5/326 44418
/proc/meminfo: memFree=109548116/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3485.97 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 176098 0 0 0 348239 358 0 0 20 0 20 0 47802779 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1276480 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3427.02 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 92693 0 0 0 342641 61 0 0 20 0 20 0 47802781 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 958 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3485.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5105920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.23 4.41 5/326 44420
/proc/meminfo: memFree=108808016/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3545.93 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 176495 0 0 0 354231 362 0 0 20 0 20 0 47802779 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1276480 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3486.68 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 93016 0 0 0 348607 61 0 0 20 0 20 0 47802781 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 967 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=5105920 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1276480 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3545.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5105920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576.11 s]
/proc/loadavg: 4.23 4.24 4.40 5/326 44422
/proc/meminfo: memFree=107808492/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19063512 memory=5214464 CPUtime=3600.06 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 178246 0 0 0 359639 367 0 0 20 0 20 0 47802779 19521036288 1303616 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4765878 1303616 5546 1 0 1522757 0
[pid=43697/tid=43699] ppid=43694 vsize=19063512 memory=5105920 CPUtime=3539.85 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 94441 0 0 0 353924 61 0 0 20 0 20 0 47802781 19521036288 1303616 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19063512 memory=5214464 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47802786 19521036288 1303616 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19063512 memory=5214464 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 967 0 0 0 0 0 0 0 20 0 20 0 47802787 19521036288 1303616 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43716] ppid=43694 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/43697/task/43716/stat : 43716 (Timer-0) S 43694 43697 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47802839 19521036288 1303616 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5214464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.02 s, system=3.70152 s

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

[startup+3576.4 s]
/proc/loadavg: 4.23 4.24 4.40 5/326 44422
/proc/meminfo: memFree=107808492/131382112 swapFree=33010160/33010684
[pid=43697] ppid=43694 vsize=19263204 memory=5215104 CPUtime=3600.63 cores=5,7
/proc/43697/stat : 43697 (java) S 43694 43697 42338 0 -1 4194304 179821 0 0 0 359695 368 0 0 20 0 21 0 47802779 19725520896 1303776 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
/proc/43697/statm: 4815801 1303776 5546 1 0 1523703 0
[pid=43697/tid=43699] ppid=43694 vsize=19263204 memory=5214464 CPUtime=3540.13 cores=5,7
/proc/43697/task/43699/stat : 43699 (java) R 43694 43697 42338 0 -1 4194368 94639 0 0 0 353952 61 0 0 20 0 21 0 47802781 19725520896 1303776 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43708] ppid=43694 vsize=19263204 memory=4352 CPUtime=0 cores=5,7
/proc/43697/task/43708/stat : 43708 (Finalizer) S 43694 43697 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47802786 19725520896 1303776 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
[pid=43697/tid=43715] ppid=43694 vsize=19263204 memory=-6000919489819208043 CPUtime=0 cores=5,7
/proc/43697/task/43715/stat : 43715 (Common-Cleaner) S 43694 43697 42338 0 -1 4194368 967 0 0 0 0 0 0 0 20 0 21 0 47802787 19725520896 1303776 18446744073709551615 94826447491072 94826447494768 140724507517968 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94826447502584 94826447503376 94826455887872 140724507523457 140724507523558 140724507523558 140724507529160 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5215104 KiB

Child status: 143

Real time (s): 3576.46
CPU time (s): 3600.73
CPU user time (s): 3597.02
CPU system time (s): 3.70152
CPU usage (%): 100.679
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5215104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.02
system time used= 3.70152
maximum resident set size= 5215360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114250
involuntary context switches= 8281


# summary of solver processes directly reported to runsolver:
#   pid: 43697
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3597.02
#   total CPU system time (s): 3.70152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9066 second user time and 36.9207 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-01 00:07:19
IDJOB=4487720
IDBENCH=147219
IDSOLVER=3363
FILE ID=nodeC001/4487720-1751321239
RUNJOBID= nodeC001-1751314075-42351
SLURM_JOB_ID= 9594322
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487720-1751321239/watcher-4487720-1751321239 -o /tmp/evaluation-result-4487720-1751321239/solver-4487720-1751321239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42351 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4487720-1751321239.opb

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

MD5SUM BENCH= 30811ed4729c90bd058f0c8aab264377
RANDOM SEED=1059101028

nodeC001 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	: 0xb00001f
cpu MHz		: 3662.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3547.387
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.340
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.264
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.471
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.172
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.361
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.351
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        120434440 kB
MemAvailable:   120186072 kB
Buffers:            2128 kB
Cached:           556276 kB
SwapCached:           28 kB
Active:         10101236 kB
Inactive:         257416 kB
Active(anon):    9807800 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   247036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1012 kB
Writeback:            48 kB
AnonPages:       9803480 kB
Mapped:           122516 kB
Shmem:             17932 kB
KReclaimable:     101188 kB
Slab:             184380 kB
SReclaimable:     101188 kB
SUnreclaim:        83192 kB
KernelStack:        4908 kB
PageTables:        22892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12480508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9510912 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC001 at 2025-07-01 01:06:56