Trace number 4526639

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.39 3599.17

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
MD5SUMa54a5c885adb8cfe852b8fc368f0998a
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark0.711222
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables90
Total number of constraints273
Number of soft constraints243
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 82
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 243
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.44/0.33	c Pseudo Boolean Optimization by upper bound
0.44/0.33	c --- Begin Solver configuration ---
0.44/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.33	c Learn all clauses as in MiniSAT
0.44/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	c Expensive reason simplification
0.44/0.33	c Glucose 2.1 dynamic restart strategy
0.44/0.33	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.44/0.33	c timeout=2147483s
0.44/0.33	c DB Simplification allowed=false
0.44/0.33	c Listener: none
0.44/0.33	c --- End Solver configuration ---
0.44/0.33	c solving HOME/instance-4526639-1751635033.wbo
0.44/0.33	c reading problem ... 
0.44/0.41	c ... done. Wall clock time 0.068s.
0.44/0.41	c declared #vars     90
0.44/0.41	c internal #vars     333
0.44/0.41	c #constraints  304
0.44/0.41	c constraints type 
0.44/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31
0.44/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 273
0.44/0.41	c 304 constraints processed.
0.63/0.44	c objective function length is 243 literals
0.63/0.47	c SATISFIABLE
0.63/0.47	c OPTIMIZING...
0.63/0.47	c Got one! Elapsed wall clock time (in seconds):0.135
0.63/0.47	o 23
0.63/0.48	c Got one! Elapsed wall clock time (in seconds):0.146
0.63/0.48	o 17
0.63/0.49	c Got one! Elapsed wall clock time (in seconds):0.153
0.63/0.49	o 15
1.76/1.04	c cleaning 2523 clauses out of 5057 with flag 19332/5057
2.33/1.32	c cleaning 4261 clauses out of 8534 with flag 39742/11057
2.70/1.53	c cleaning 5630 clauses out of 11273 with flag 66930/18057
3.04/1.75	c cleaning 6819 clauses out of 13643 with flag 97755/26057
3.44/1.98	c cleaning 7911 clauses out of 15824 with flag 129765/35057
3.87/2.20	c cleaning 8949 clauses out of 17913 with flag 169214/45057
4.07/2.45	c cleaning 9978 clauses out of 19964 with flag 212097/56057
4.37/2.74	c cleaning 10984 clauses out of 21987 with flag 256865/68058
4.68/3.05	c cleaning 11996 clauses out of 24002 with flag 305132/81057
5.07/3.41	c cleaning 13002 clauses out of 26007 with flag 358621/95058
5.47/3.80	c cleaning 14002 clauses out of 28005 with flag 417363/110058
5.87/4.23	c cleaning 14983 clauses out of 30002 with flag 477315/126057
6.35/4.68	c cleaning 15999 clauses out of 32023 with flag 545107/143061
6.93/5.19	c cleaning 17010 clauses out of 34021 with flag 614572/161058
7.51/5.70	c cleaning 17996 clauses out of 36010 with flag 688230/180057
8.11/6.37	c cleaning 18984 clauses out of 38014 with flag 762378/200057
8.71/6.96	c cleaning 20010 clauses out of 40031 with flag 836931/221058
9.31/7.59	c cleaning 20997 clauses out of 42020 with flag 920034/243057
10.02/8.26	c cleaning 22005 clauses out of 44023 with flag 1011036/266057
10.72/8.97	c cleaning 22998 clauses out of 46018 with flag 1108691/290057
11.51/9.71	c cleaning 24005 clauses out of 48024 with flag 1200229/315061
12.32/10.50	c cleaning 24999 clauses out of 50015 with flag 1296949/341057
13.12/11.35	c cleaning 26000 clauses out of 52017 with flag 1397410/368058
14.08/12.20	c cleaning 26995 clauses out of 54016 with flag 1499200/396057
14.99/13.14	c cleaning 27995 clauses out of 56022 with flag 1606745/425058
15.99/14.13	c cleaning 29002 clauses out of 58026 with flag 1719033/455057
16.99/15.14	c cleaning 30011 clauses out of 60024 with flag 1830684/486057
17.99/16.14	c cleaning 31006 clauses out of 62014 with flag 1952990/518058
18.98/17.15	c cleaning 31997 clauses out of 64007 with flag 2075521/551057
20.08/18.21	c cleaning 32999 clauses out of 66010 with flag 2206341/585057
21.18/19.40	c cleaning 33995 clauses out of 68011 with flag 2331730/620057
22.49/20.61	c cleaning 35007 clauses out of 70018 with flag 2463913/656059
23.70/21.86	c cleaning 36007 clauses out of 72013 with flag 2595415/693061
25.10/23.20	c cleaning 36989 clauses out of 74003 with flag 2735406/731058
26.29/24.45	c cleaning 38005 clauses out of 76013 with flag 2872437/770057
27.49/25.69	c cleaning 38998 clauses out of 78009 with flag 3015616/810058
28.90/27.11	c cleaning 39998 clauses out of 80010 with flag 3162327/851057
30.48/28.65	c cleaning 41002 clauses out of 82013 with flag 3305596/893058
32.18/30.30	c cleaning 41988 clauses out of 84010 with flag 3456080/936057
33.78/32.01	c cleaning 43002 clauses out of 86022 with flag 3611948/980057
35.58/33.73	c cleaning 44010 clauses out of 88021 with flag 3762461/1025058
37.58/35.77	c cleaning 44992 clauses out of 90010 with flag 3927229/1071057
39.27/37.41	c cleaning 46002 clauses out of 92018 with flag 4083070/1118057
41.17/39.34	c cleaning 47009 clauses out of 94017 with flag 4249704/1166058
43.06/41.26	c cleaning 47998 clauses out of 96008 with flag 4418175/1215058
44.88/43.06	c cleaning 48984 clauses out of 98009 with flag 4579687/1265057
46.56/44.77	c cleaning 49987 clauses out of 100025 with flag 4735036/1316057
48.46/46.61	c cleaning 51014 clauses out of 102039 with flag 4893654/1368058
50.46/48.61	c cleaning 52012 clauses out of 104024 with flag 5057791/1421057
52.56/50.77	c cleaning 53000 clauses out of 106012 with flag 5233237/1475057
54.65/52.84	c cleaning 54000 clauses out of 108015 with flag 5403882/1530060
57.40/55.55	c cleaning 54991 clauses out of 110012 with flag 5580263/1586057
59.91/58.03	c cleaning 56002 clauses out of 112021 with flag 5791068/1643057
62.00/60.14	c cleaning 56997 clauses out of 114021 with flag 5992576/1701059
64.39/62.53	c cleaning 58007 clauses out of 116025 with flag 6179076/1760060
67.28/65.48	c cleaning 59000 clauses out of 118015 with flag 6366990/1820057
70.18/68.32	c cleaning 60001 clauses out of 120016 with flag 6576345/1881058
73.11/71.23	c cleaning 61005 clauses out of 122024 with flag 6784399/1943067
75.71/73.86	c cleaning 62001 clauses out of 124010 with flag 6993233/2006058
79.40/77.56	c cleaning 62988 clauses out of 126008 with flag 7216438/2070057
82.10/80.24	c cleaning 63990 clauses out of 128020 with flag 7436246/2135057
84.79/82.93	c cleaning 65004 clauses out of 130030 with flag 7661905/2201057
87.89/86.05	c cleaning 65997 clauses out of 132028 with flag 7901731/2268059
90.98/89.19	c cleaning 67005 clauses out of 134029 with flag 8147139/2336057
93.87/92.04	c cleaning 68006 clauses out of 136025 with flag 8390410/2405058
96.67/94.89	c cleaning 68992 clauses out of 138018 with flag 8638696/2475057
99.66/97.80	c cleaning 70008 clauses out of 140026 with flag 8895695/2546057
102.65/100.84	c cleaning 71005 clauses out of 142018 with flag 9159338/2618057
106.05/104.21	c cleaning 72004 clauses out of 144013 with flag 9435608/2691057
109.35/107.58	c cleaning 72992 clauses out of 146009 with flag 9694192/2765057
112.74/110.99	c cleaning 73994 clauses out of 148017 with flag 9947370/2840057
116.44/114.68	c cleaning 74997 clauses out of 150023 with flag 10211059/2916057
120.23/118.45	c cleaning 75996 clauses out of 152026 with flag 10485119/2993057
124.02/122.25	c cleaning 77009 clauses out of 154030 with flag 10741940/3071057
127.83/126.05	c cleaning 77999 clauses out of 156022 with flag 10999295/3150058
132.06/130.27	c cleaning 79006 clauses out of 158022 with flag 11275504/3230057
136.25/134.42	c cleaning 79999 clauses out of 160016 with flag 11543466/3311057
140.45/138.65	c cleaning 80995 clauses out of 162017 with flag 11817219/3393057
145.24/143.41	c cleaning 82009 clauses out of 164023 with flag 12095512/3476058
150.61/148.87	c cleaning 83004 clauses out of 166013 with flag 12358870/3560057
156.66/154.93	c cleaning 84001 clauses out of 168012 with flag 12648935/3645060
162.21/160.53	c cleaning 84995 clauses out of 170012 with flag 12925482/3731061
167.47/165.88	c cleaning 85995 clauses out of 172015 with flag 13217962/3818059
172.93/171.34	c cleaning 87002 clauses out of 174020 with flag 13514912/3906059
178.48/176.90	c cleaning 87998 clauses out of 176018 with flag 13814346/3995059
183.85/182.39	c cleaning 89002 clauses out of 178020 with flag 14111253/4085059
186.44/184.91	c Got one! Elapsed wall clock time (in seconds):184.575
186.44/184.91	o 14
187.25/185.77	c cleaning 84574 clauses out of 169152 with flag 15472/4165193
187.66/186.19	c cleaning 45278 clauses out of 90578 with flag 33517/4171193
188.06/186.55	c cleaning 26142 clauses out of 52300 with flag 54835/4178193
188.26/186.77	c cleaning 17070 clauses out of 34158 with flag 78376/4186193
188.46/186.98	c cleaning 13041 clauses out of 26088 with flag 105071/4195193
188.76/187.22	c cleaning 11518 clauses out of 23049 with flag 136207/4205195
188.95/187.46	c cleaning 11252 clauses out of 22529 with flag 169620/4216193
189.25/187.75	c cleaning 11630 clauses out of 23278 with flag 206602/4228194
189.57/188.10	c cleaning 12317 clauses out of 24647 with flag 248325/4241193
190.15/188.45	c cleaning 13158 clauses out of 26330 with flag 291090/4255193
190.56/188.81	c cleaning 14073 clauses out of 28172 with flag 336920/4270193
190.96/189.21	c cleaning 15041 clauses out of 30100 with flag 386980/4286194
191.37/189.64	c cleaning 16030 clauses out of 32063 with flag 438992/4303198
191.88/190.12	c cleaning 17006 clauses out of 34029 with flag 496459/4321194
192.37/190.64	c cleaning 18007 clauses out of 36022 with flag 559576/4340193
192.88/191.18	c cleaning 19009 clauses out of 38017 with flag 622683/4360195
193.47/191.79	c cleaning 20001 clauses out of 40006 with flag 691711/4381193
194.16/192.47	c cleaning 20999 clauses out of 42008 with flag 764598/4403196
194.88/193.17	c cleaning 21997 clauses out of 44006 with flag 837540/4426193
195.66/193.91	c cleaning 22992 clauses out of 46009 with flag 915599/4450193
196.36/194.68	c cleaning 24009 clauses out of 48017 with flag 996384/4475193
197.26/195.59	c cleaning 25001 clauses out of 50009 with flag 1083542/4501194
198.36/196.61	c cleaning 25993 clauses out of 52007 with flag 1171235/4528193
199.16/197.44	c cleaning 26997 clauses out of 54014 with flag 1260081/4556193
200.16/198.45	c cleaning 28004 clauses out of 56018 with flag 1352087/4585194
201.15/199.49	c cleaning 28999 clauses out of 58013 with flag 1450632/4615193
202.15/200.43	c cleaning 29993 clauses out of 60016 with flag 1545123/4646195
203.15/201.49	c cleaning 31006 clauses out of 62021 with flag 1646019/4678193
204.35/202.64	c cleaning 31998 clauses out of 64015 with flag 1753971/4711193
205.54/203.81	c cleaning 32996 clauses out of 66017 with flag 1866953/4745193
206.85/205.14	c cleaning 34010 clauses out of 68023 with flag 1980763/4780195
208.04/206.39	c cleaning 34998 clauses out of 70012 with flag 2102026/4816194
209.44/207.75	c cleaning 36000 clauses out of 72013 with flag 2223228/4853193
210.85/209.15	c cleaning 37003 clauses out of 74015 with flag 2329085/4891195
212.34/210.66	c cleaning 37995 clauses out of 76010 with flag 2449009/4930193
213.74/212.04	c cleaning 39004 clauses out of 78019 with flag 2560678/4970197
215.13/213.44	c cleaning 40001 clauses out of 80012 with flag 2684042/5011194
216.63/214.92	c cleaning 41003 clauses out of 82012 with flag 2819121/5053195
218.32/216.64	c cleaning 42001 clauses out of 84007 with flag 2953469/5096193
220.02/218.32	c cleaning 43001 clauses out of 86007 with flag 3088032/5140194
221.62/219.97	c cleaning 43995 clauses out of 88005 with flag 3230998/5185193
223.51/221.86	c cleaning 44999 clauses out of 90010 with flag 3373543/5231193
225.51/223.89	c cleaning 46000 clauses out of 92012 with flag 3511927/5278194
227.72/226.07	c cleaning 47002 clauses out of 94011 with flag 3659957/5326193
230.00/228.37	c cleaning 47994 clauses out of 96009 with flag 3819478/5375193
232.40/230.79	c cleaning 49002 clauses out of 98016 with flag 3977118/5425194
234.40/232.77	c cleaning 50005 clauses out of 100016 with flag 4134726/5476196
236.59/234.95	c cleaning 51001 clauses out of 102009 with flag 4288778/5528194
239.30/237.69	c cleaning 51992 clauses out of 104007 with flag 4454785/5581193
241.80/240.18	c cleaning 53005 clauses out of 106015 with flag 4624666/5635193
244.09/242.42	c cleaning 53994 clauses out of 108010 with flag 4802469/5690193
246.79/245.13	c cleaning 54996 clauses out of 110016 with flag 4989856/5746193
249.18/247.57	c cleaning 56002 clauses out of 112020 with flag 5175834/5803193
251.87/250.24	c cleaning 56995 clauses out of 114018 with flag 5365608/5861193
254.46/252.84	c cleaning 58002 clauses out of 116024 with flag 5549631/5920194
256.96/255.32	c cleaning 59006 clauses out of 118022 with flag 5742168/5980194
259.67/258.02	c cleaning 59995 clauses out of 120016 with flag 5943516/6041194
262.45/260.87	c cleaning 61010 clauses out of 122022 with flag 6158275/6103195
265.16/263.52	c cleaning 61992 clauses out of 124011 with flag 6367953/6166194
268.34/266.79	c cleaning 62996 clauses out of 126018 with flag 6586477/6230193
271.65/270.09	c cleaning 64001 clauses out of 128022 with flag 6808105/6295193
275.13/273.59	c cleaning 65005 clauses out of 130021 with flag 7047066/6361193
278.34/276.72	c cleaning 66006 clauses out of 132018 with flag 7265124/6428195
281.74/280.18	c cleaning 66996 clauses out of 134011 with flag 7489955/6496194
285.52/283.94	c cleaning 67997 clauses out of 136016 with flag 7713307/6565195
289.02/287.47	c cleaning 69003 clauses out of 138017 with flag 7941268/6635193
292.91/291.38	c cleaning 69992 clauses out of 140015 with flag 8173541/6706194
297.31/295.75	c cleaning 71007 clauses out of 142023 with flag 8417337/6778194
301.80/300.29	c cleaning 72001 clauses out of 144015 with flag 8671557/6851193
306.49/304.93	c cleaning 73000 clauses out of 146014 with flag 8927095/6925193
310.59/309.01	c cleaning 74001 clauses out of 148020 with flag 9188813/7000199
314.96/313.43	c cleaning 75004 clauses out of 150013 with flag 9458776/7076193
319.86/318.38	c cleaning 75995 clauses out of 152010 with flag 9733931/7153194
325.11/323.55	c cleaning 77005 clauses out of 154016 with flag 10021833/7231195
329.41/327.85	c cleaning 78003 clauses out of 156010 with flag 10299639/7310194
334.31/332.72	c cleaning 78999 clauses out of 158010 with flag 10582871/7390197
339.40/337.87	c cleaning 80005 clauses out of 160010 with flag 10850370/7471196
343.89/342.36	c cleaning 80999 clauses out of 162002 with flag 11108396/7553193
349.19/347.68	c cleaning 81995 clauses out of 164005 with flag 11386567/7636195
355.08/353.56	c cleaning 82998 clauses out of 166009 with flag 11650006/7720194
361.17/359.64	c cleaning 84003 clauses out of 168011 with flag 11917641/7805194
366.46/364.99	c cleaning 84992 clauses out of 170008 with flag 12178451/7891194
371.86/370.39	c cleaning 85996 clauses out of 172016 with flag 12449824/7978194
377.50/375.90	c cleaning 87001 clauses out of 174019 with flag 12723558/8066193
383.49/381.98	c cleaning 88004 clauses out of 176018 with flag 13002542/8155193
389.28/387.74	c cleaning 88994 clauses out of 178014 with flag 13286689/8245193
394.87/393.36	c cleaning 90003 clauses out of 180020 with flag 13580858/8336193
401.45/399.90	c cleaning 91008 clauses out of 182022 with flag 13869837/8428198
407.15/405.62	c cleaning 92006 clauses out of 184012 with flag 14179160/8521196
413.28/411.78	c cleaning 92986 clauses out of 186005 with flag 14491600/8615195
419.18/417.67	c cleaning 93997 clauses out of 188017 with flag 14798501/8710193
425.07/423.56	c cleaning 95003 clauses out of 190021 with flag 15096408/8806194
430.68/429.16	c cleaning 96002 clauses out of 192018 with flag 15421944/8903194
436.45/434.99	c cleaning 96999 clauses out of 194016 with flag 15733145/9001194
442.55/441.09	c cleaning 98003 clauses out of 196016 with flag 16052758/9100193
450.17/448.60	c cleaning 99001 clauses out of 198013 with flag 16371813/9200193
456.86/455.34	c cleaning 100001 clauses out of 200017 with flag 16696371/9301198
463.05/461.54	c cleaning 100989 clauses out of 202011 with flag 17023163/9403193
469.34/467.86	c cleaning 102004 clauses out of 204024 with flag 17339625/9506195
475.33/473.86	c cleaning 103007 clauses out of 206018 with flag 17682340/9610193
481.92/480.48	c cleaning 103997 clauses out of 208011 with flag 18025191/9715193
490.44/488.90	c cleaning 104997 clauses out of 210014 with flag 18373631/9821193
497.42/495.96	c cleaning 106009 clauses out of 212017 with flag 18724355/9928193
503.91/502.45	c cleaning 106994 clauses out of 214012 with flag 19080677/10036197
510.90/509.41	c cleaning 108002 clauses out of 216015 with flag 19430319/10145194
518.29/516.89	c cleaning 108996 clauses out of 218012 with flag 19806236/10255193
527.39/525.95	c cleaning 109997 clauses out of 220016 with flag 20175841/10366193
534.38/532.97	c cleaning 110996 clauses out of 222019 with flag 20531367/10478193
541.58/540.18	c cleaning 112007 clauses out of 224023 with flag 20902994/10591193
550.65/549.28	c cleaning 113007 clauses out of 226020 with flag 21278901/10705197
558.04/556.61	c cleaning 113993 clauses out of 228009 with flag 21671615/10820193
566.58/565.14	c cleaning 114995 clauses out of 230017 with flag 22062354/10936194
576.94/575.58	c cleaning 116009 clauses out of 232024 with flag 22454585/11053196
584.63/583.29	c cleaning 117004 clauses out of 234013 with flag 22830832/11171194
592.22/590.81	c cleaning 117993 clauses out of 236008 with flag 23194359/11290193
600.91/599.56	c cleaning 118990 clauses out of 238015 with flag 23570405/11410193
608.79/607.40	c cleaning 120004 clauses out of 240025 with flag 23966082/11531193
617.39/616.05	c cleaning 120990 clauses out of 242022 with flag 24359954/11653194
626.68/625.31	c cleaning 122009 clauses out of 244032 with flag 24767081/11776194
636.53/635.25	c cleaning 123009 clauses out of 246023 with flag 25188962/11900194
645.82/644.57	c cleaning 124004 clauses out of 248014 with flag 25640465/12025194
655.41/654.17	c cleaning 125000 clauses out of 250009 with flag 26091131/12151193
664.67/663.44	c cleaning 125992 clauses out of 252010 with flag 26558030/12278194
674.16/672.98	c cleaning 127003 clauses out of 254020 with flag 27008766/12406196
685.91/684.61	c cleaning 128003 clauses out of 256015 with flag 27451417/12535194
695.69/694.43	c cleaning 128994 clauses out of 258011 with flag 27835902/12665193
705.58/704.34	c cleaning 129999 clauses out of 260017 with flag 28252852/12796193
714.76/713.55	c cleaning 131005 clauses out of 262019 with flag 28661392/12928194
724.37/723.19	c cleaning 132006 clauses out of 264015 with flag 29064530/13061195
734.53/733.33	c cleaning 132996 clauses out of 266007 with flag 29426714/13195193
745.39/743.66	c cleaning 133998 clauses out of 268012 with flag 29846979/13330194
758.56/756.85	c cleaning 135007 clauses out of 270015 with flag 30284102/13466195
771.23/769.53	c cleaning 136000 clauses out of 272008 with flag 30754507/13603195
784.41/782.78	c cleaning 136992 clauses out of 274006 with flag 31212236/13741193
796.10/794.45	c cleaning 137994 clauses out of 276015 with flag 31668036/13880194
809.10/807.43	c cleaning 139003 clauses out of 278020 with flag 32157770/14020193
820.48/818.89	c cleaning 140008 clauses out of 280019 with flag 32685940/14161195
832.85/831.24	c cleaning 141003 clauses out of 282009 with flag 33229536/14303193
844.44/842.87	c cleaning 142000 clauses out of 284008 with flag 33781412/14446195
859.52/857.98	c cleaning 142999 clauses out of 286008 with flag 34321628/14590195
871.72/870.11	c cleaning 143994 clauses out of 288007 with flag 34796885/14735193
883.69/882.15	c cleaning 145005 clauses out of 290015 with flag 35272382/14881195
896.26/894.79	c cleaning 145992 clauses out of 292009 with flag 35749797/15028194
908.91/907.36	c cleaning 146993 clauses out of 294017 with flag 36218765/15176194
921.49/919.91	c cleaning 148000 clauses out of 296023 with flag 36722045/15325193
935.68/934.19	c cleaning 149011 clauses out of 298024 with flag 37191586/15475194
948.95/947.47	c cleaning 149989 clauses out of 300012 with flag 37685640/15626193
963.37/961.82	c cleaning 151004 clauses out of 302023 with flag 38172692/15778193
977.15/975.68	c cleaning 151998 clauses out of 304019 with flag 38654380/15931193
993.08/991.56	c cleaning 153005 clauses out of 306021 with flag 39145756/16085193
1007.75/1006.28	c cleaning 154000 clauses out of 308019 with flag 39631456/16240196
1025.12/1023.69	c cleaning 154998 clauses out of 310017 with flag 40122752/16396194
1041.10/1039.69	c cleaning 156003 clauses out of 312019 with flag 40643978/16553194
1054.84/1053.34	c cleaning 156995 clauses out of 314015 with flag 41153371/16711193
1066.92/1065.41	c cleaning 158004 clauses out of 316021 with flag 41664587/16870194
1081.80/1080.35	c cleaning 159002 clauses out of 318017 with flag 42175738/17030194
1095.98/1094.51	c cleaning 160002 clauses out of 320015 with flag 42688913/17191194
1111.81/1110.35	c cleaning 160979 clauses out of 322012 with flag 43195297/17353193
1127.38/1126.01	c cleaning 161995 clauses out of 324035 with flag 43700828/17516195
1142.86/1141.48	c cleaning 163011 clauses out of 326038 with flag 44229356/17680193
1159.33/1157.90	c cleaning 164008 clauses out of 328027 with flag 44749287/17845193
1176.52/1175.12	c cleaning 165004 clauses out of 330020 with flag 45267464/18011194
1194.59/1193.19	c cleaning 166008 clauses out of 332016 with flag 45811490/18178194
1212.24/1210.83	c cleaning 166992 clauses out of 334007 with flag 46347593/18346193
1230.43/1229.03	c cleaning 168006 clauses out of 336016 with flag 46888418/18515194
1247.40/1246.05	c cleaning 168998 clauses out of 338009 with flag 47425612/18685193
1264.60/1263.22	c cleaning 169996 clauses out of 340013 with flag 47990414/18856195
1280.58/1279.26	c cleaning 170993 clauses out of 342017 with flag 48557521/19028195
1296.75/1295.45	c cleaning 172009 clauses out of 344022 with flag 49129428/19201193
1313.83/1312.56	c cleaning 173005 clauses out of 346014 with flag 49691049/19375194
1328.97/1327.77	c cleaning 173995 clauses out of 348008 with flag 50270425/19550193
1345.14/1343.90	c cleaning 175002 clauses out of 350013 with flag 50813261/19726193
1365.22/1364.03	c cleaning 175996 clauses out of 352011 with flag 51355290/19903193
1388.09/1386.97	c cleaning 177003 clauses out of 354015 with flag 51913071/20081193
1409.06/1407.99	c cleaning 178003 clauses out of 356017 with flag 52475504/20260198
1429.14/1428.07	c cleaning 179005 clauses out of 358011 with flag 53063354/20440195
1447.92/1446.85	c cleaning 179999 clauses out of 360005 with flag 53613693/20621194
1469.27/1468.20	c cleaning 180999 clauses out of 362005 with flag 54173334/20803193
1488.07/1487.03	c cleaning 181998 clauses out of 364006 with flag 54743291/20986193
1506.53/1505.54	c cleaning 182999 clauses out of 366008 with flag 55312519/21170193
1527.79/1526.81	c cleaning 183984 clauses out of 368009 with flag 55950801/21355193
1549.72/1548.65	c cleaning 185011 clauses out of 370025 with flag 56559308/21541193
1570.10/1569.09	c cleaning 186003 clauses out of 372014 with flag 57177647/21728193
1594.45/1593.46	c cleaning 187003 clauses out of 374011 with flag 57765758/21916193
1617.71/1616.79	c cleaning 187996 clauses out of 376008 with flag 58383370/22105193
1638.94/1637.98	c cleaning 189007 clauses out of 378016 with flag 59036809/22295197
1660.87/1659.87	c cleaning 189998 clauses out of 380005 with flag 59656094/22486193
1684.98/1684.00	c cleaning 191002 clauses out of 382009 with flag 60230008/22678195
1708.25/1707.09	c cleaning 191993 clauses out of 384007 with flag 60789311/22871195
1731.83/1730.62	c cleaning 193004 clauses out of 386012 with flag 61414571/23065193
1751.63/1750.34	c cleaning 194001 clauses out of 388008 with flag 62017963/23260193
1777.11/1775.67	c cleaning 194998 clauses out of 390007 with flag 62611151/23456193
1803.32/1801.87	c cleaning 196006 clauses out of 392015 with flag 63241595/23653199
1829.12/1827.70	c cleaning 196992 clauses out of 394003 with flag 63864605/23851193
1848.09/1846.67	c cleaning 198002 clauses out of 396012 with flag 64461047/24050194
1869.32/1867.82	c cleaning 199003 clauses out of 398013 with flag 65090561/24250197
1893.97/1892.43	c cleaning 199995 clauses out of 400007 with flag 65696413/24451194
1913.89/1912.27	c cleaning 201003 clauses out of 402013 with flag 66319344/24653195
1935.84/1934.19	c cleaning 201997 clauses out of 404008 with flag 66944962/24856193
1958.24/1956.59	c cleaning 203000 clauses out of 406011 with flag 67587913/25060193
1982.25/1980.44	c cleaning 203997 clauses out of 408011 with flag 68214941/25265193
2005.04/2002.89	c cleaning 205003 clauses out of 410015 with flag 68838130/25471194
2031.60/2029.46	c cleaning 206007 clauses out of 412013 with flag 69493832/25678195
2051.78/2049.60	c cleaning 206999 clauses out of 414005 with flag 70136258/25886194
2074.15/2072.05	c cleaning 208002 clauses out of 416009 with flag 70768251/26095197
2102.60/2100.58	c cleaning 208997 clauses out of 418005 with flag 71428470/26305195
2127.60/2125.56	c cleaning 209998 clauses out of 420006 with flag 72063949/26516193
2151.18/2149.13	c cleaning 211000 clauses out of 422009 with flag 72713186/26728194
2174.04/2172.06	c cleaning 212002 clauses out of 424008 with flag 73395113/26941193
2199.53/2197.50	c cleaning 212995 clauses out of 426006 with flag 74115868/27155193
2223.69/2221.77	c cleaning 214005 clauses out of 428012 with flag 74811396/27370194
2248.35/2246.43	c cleaning 214995 clauses out of 430006 with flag 75472579/27586193
2272.72/2270.81	c cleaning 216004 clauses out of 432011 with flag 76141096/27803193
2294.34/2292.49	c cleaning 216995 clauses out of 434007 with flag 76847057/28021193
2320.91/2319.07	c cleaning 218002 clauses out of 436013 with flag 77540503/28240194
2348.96/2347.14	c cleaning 218993 clauses out of 438010 with flag 78237553/28460193
2370.32/2368.57	c cleaning 220004 clauses out of 440018 with flag 78891492/28681194
2394.66/2392.81	c cleaning 221008 clauses out of 442015 with flag 79541874/28903195
2420.82/2419.10	c cleaning 221997 clauses out of 444006 with flag 80254294/29126194
2450.06/2448.37	c cleaning 223000 clauses out of 446011 with flag 80942341/29350196
2474.42/2472.74	c cleaning 223991 clauses out of 448009 with flag 81623097/29575194
2504.17/2502.52	c cleaning 225001 clauses out of 450019 with flag 82307253/29801195
2531.33/2529.75	c cleaning 225999 clauses out of 452016 with flag 83008671/30028193
2564.27/2562.74	c cleaning 227006 clauses out of 454017 with flag 83737165/30256193
2590.03/2588.59	c cleaning 227995 clauses out of 456011 with flag 84447859/30485193
2620.59/2619.12	c cleaning 229001 clauses out of 458016 with flag 85185568/30715193
2658.12/2656.79	c cleaning 230001 clauses out of 460015 with flag 85913548/30946193
2693.21/2691.77	c cleaning 231004 clauses out of 462014 with flag 86665404/31178193
2725.57/2724.18	c cleaning 231998 clauses out of 464012 with flag 87465667/31411195
2753.11/2751.76	c cleaning 233002 clauses out of 466015 with flag 88297595/31645196
2782.87/2781.60	c cleaning 234007 clauses out of 468014 with flag 89174370/31880197
2806.02/2804.76	c cleaning 234996 clauses out of 470003 with flag 90047791/32116193
2837.67/2836.38	c cleaning 236001 clauses out of 472008 with flag 90740358/32353194
2870.42/2869.19	c cleaning 236993 clauses out of 474007 with flag 91504493/32591194
2894.67/2893.49	c cleaning 238002 clauses out of 476013 with flag 92200897/32830193
2920.73/2919.54	c cleaning 239000 clauses out of 478013 with flag 92908865/33070195
2946.89/2945.79	c cleaning 239998 clauses out of 480012 with flag 93588216/33311194
2977.47/2975.67	c cleaning 240999 clauses out of 482013 with flag 94369806/33553193
3005.02/3003.23	c cleaning 241999 clauses out of 484015 with flag 95262690/33796194
3037.56/3035.84	c cleaning 242999 clauses out of 486015 with flag 96036626/34040193
3070.41/3068.71	c cleaning 244004 clauses out of 488017 with flag 96864942/34285194
3103.66/3102.03	c cleaning 244990 clauses out of 490012 with flag 97727384/34531193
3134.72/3133.12	c cleaning 246001 clauses out of 492022 with flag 98546590/34778193
3171.03/3169.59	c cleaning 246999 clauses out of 494021 with flag 99313827/35026193
3207.33/3205.82	c cleaning 248002 clauses out of 496023 with flag 100126764/35275194
3241.61/3240.16	c cleaning 248999 clauses out of 498022 with flag 100949042/35525195
3278.55/3277.16	c cleaning 250003 clauses out of 500021 with flag 101791052/35776193
3313.58/3312.20	c cleaning 251006 clauses out of 502019 with flag 102683726/36028194
3347.15/3345.84	c cleaning 251997 clauses out of 504012 with flag 103495139/36281193
3386.51/3385.20	c cleaning 253000 clauses out of 506015 with flag 104313297/36535193
3426.03/3424.76	c cleaning 254000 clauses out of 508015 with flag 105174250/36790193
3458.58/3457.31	c cleaning 255004 clauses out of 510016 with flag 105980140/37046194
3498.54/3497.33	c cleaning 255999 clauses out of 512013 with flag 106780061/37303195
3537.20/3536.07	c cleaning 256999 clauses out of 514013 with flag 107566414/37561194
3579.83/3578.72	c cleaning 258002 clauses out of 516015 with flag 108423170/37820195
3600.10/3599.03	c starts		: 14111
3600.10/3599.05	c conflicts		: 38027909
3600.10/3599.05	c decisions		: 93524568
3600.10/3599.05	c propagations		: 1463483095
3600.10/3599.05	c inspects		: 30257375173
3600.10/3599.05	c shortcuts		: 0
3600.10/3599.05	c learnt literals	: 0
3600.10/3599.05	c learnt binary clauses	: 0
3600.10/3599.05	c learnt ternary clauses	: 0
3600.10/3599.05	c learnt constraints	: 38027909
3600.10/3599.05	c ignored constraints	: 0
3600.10/3599.05	c root simplifications	: 0
3600.10/3599.05	c removed literals (reason simplification)	: 81405582
3600.10/3599.05	c reason swapping (by a shorter reason)	: 0
3600.10/3599.05	c Calls to reduceDB	: 341
3600.10/3599.06	c Number of update (reduction) of LBD	: 13567990
3600.10/3599.06	c Imported unit clauses	: 0
3600.10/3599.06	c No decision after first conflict	: false
3600.10/3599.06	c number of reductions to clauses (during analyze)	: 0
3600.10/3599.06	c number of learned constraints concerned by reduction	: 0
3600.10/3599.06	c number of learning phase by resolution	: 0
3600.10/3599.06	c number of learning phase by cutting planes	: 0
3600.10/3599.06	c number of rounding to 1 operations	: 0
3600.10/3599.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3599.06	c number of reductions of the coefficients by power 2 	: 0
3600.10/3599.06	c number of right shift for reduction by power 2 	: 0
3600.10/3599.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3599.06	c number of ending skipping 	: 0
3600.10/3599.06	c number of internal skipping 	: 0
3600.10/3599.07	c number of derivation steps 	: 0
3600.10/3599.07	c number of skipped derivation steps 	: 0
3600.10/3599.07	c number of remaining unassigned 	: 0
3600.10/3599.07	c number of remaining assigned 	: 0
3600.10/3599.07	c number of falsified literals weakened from reason	: 0
3600.10/3599.07	c number of falsified literals weakened from conflict	: 0
3600.10/3599.07	c time for arithmetic operations	: 0
3600.10/3599.07	c minimum degree of deleted constraints	: null
3600.10/3599.07	c maximum degree of deleted constraints	: null
3600.10/3599.07	c number of deleted constraints	: 0
3600.10/3599.07	c speed (assignments/second)	: 406677.7324488118
3600.10/3599.08	c non guided choices	: 36
3600.30/3599.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 465727
3600.30/3599.14	s SATISFIABLE
3600.30/3599.14	c Found 4 solution(s)
3600.30/3599.14	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 
3600.30/3599.14	c objective function=14
3600.30/3599.15	c Total wall clock time (in seconds): 3598.81

Verifier Data 

OK	12

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: 63837 MiB (55800 MiB free)
  memory of node 1: 64465 MiB (42532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526639-1751635033/watcher-4526639-1751635033 -o /tmp/evaluation-result-4526639-1751635033/solver-4526639-1751635033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751627915-98784 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526639-1751635033.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100072 s]*
/proc/loadavg: 4.22 4.21 4.22 9/324 99601
/proc/meminfo: memFree=100668464/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18930384 memory=49452 CPUtime=0.12 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 5690 0 0 0 8 4 0 0 20 0 18 0 79182485 19384713216 12363 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4732596 12363 5146 1 0 546910 0
[pid=99583/tid=99585] ppid=99580 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 4591 0 0 0 4 2 0 0 20 0 18 0 79182487 19384713216 12363 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79182492 19384713216 12363 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18930384 memory=58494082638250 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79182493 19384713216 12363 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49452 KiB

[startup+0.213453 s]*
/proc/loadavg: 4.22 4.21 4.22 7/324 99601
/proc/meminfo: memFree=100668464/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18930384 memory=53984 CPUtime=0.27 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 6120 0 0 0 23 4 0 0 20 0 18 0 79182485 19384713216 13496 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4732596 13496 5370 1 0 547271 0
[pid=99583/tid=99585] ppid=99580 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 4992 0 0 0 14 3 0 0 20 0 18 0 79182487 19384713216 13496 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79182492 19384713216 13496 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79182493 19384713216 13496 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53984 KiB

[startup+0.317219 s]*
/proc/loadavg: 4.22 4.21 4.22 7/324 99601
/proc/meminfo: memFree=100664128/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18930384 memory=60412 CPUtime=0.44 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 6686 0 0 0 39 5 0 0 20 0 18 0 79182485 19384713216 15103 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4732596 15103 5370 1 0 547810 0
[pid=99583/tid=99585] ppid=99580 vsize=18930384 memory=-6000919507015918438 CPUtime=0.27 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 5211 0 0 0 24 3 0 0 20 0 18 0 79182487 19384713216 15103 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79182492 19384713216 15103 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79182493 19384713216 15103 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60412 KiB

[startup+0.700323 s]
/proc/loadavg: 4.22 4.21 4.22 8/325 99602
/proc/meminfo: memFree=100659276/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18996948 memory=66772 CPUtime=1.15 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 8533 0 0 0 108 7 0 0 20 0 19 0 79182485 19452874752 16693 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4749237 16693 5466 1 0 549044 0
[pid=99583/tid=99585] ppid=99580 vsize=18996948 memory=13952 CPUtime=0.63 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 5415 0 0 0 59 4 0 0 20 0 19 0 79182487 19452874752 16693 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79182492 19452874752 16693 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79182493 19452874752 16693 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79182529 19452874752 16693 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66772 KiB

[startup+1.5003 s]
/proc/loadavg: 4.22 4.21 4.22 7/325 99602
/proc/meminfo: memFree=100645352/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18996948 memory=85548 CPUtime=2.7 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 15685 0 0 0 262 8 0 0 20 0 19 0 79182485 19452874752 21387 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4749237 21387 5498 1 0 551519 0
[pid=99583/tid=99585] ppid=99580 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 5911 0 0 0 136 4 0 0 20 0 19 0 79182487 19452874752 21387 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79182492 19452874752 21387 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79182493 19452874752 21387 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79182529 19452874752 21387 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85548 KiB

[startup+3.11305 s]
/proc/loadavg: 4.22 4.21 4.22 5/325 99602
/proc/meminfo: memFree=100619100/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18996948 memory=104124 CPUtime=4.79 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 16402 0 0 0 470 9 0 0 20 0 19 0 79182485 19452874752 26031 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4749237 26031 5498 1 0 551524 0
[pid=99583/tid=99585] ppid=99580 vsize=18996948 memory=11008 CPUtime=3.01 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 6199 0 0 0 296 5 0 0 20 0 19 0 79182487 19452874752 26031 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18996948 memory=-6000919507015918438 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79182492 19452874752 26031 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79182493 19452874752 26031 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79182529 19452874752 26031 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104124 KiB

[startup+6.30045 s]
/proc/loadavg: 4.20 4.21 4.22 5/325 99602
/proc/meminfo: memFree=100590860/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=18996948 memory=133088 CPUtime=8.11 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 19118 0 0 0 801 10 0 0 20 0 19 0 79182485 19452874752 33272 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4749237 33272 5498 1 0 551525 0
[pid=99583/tid=99585] ppid=99580 vsize=18996948 memory=0 CPUtime=6.19 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 6752 0 0 0 613 6 0 0 20 0 19 0 79182487 19452874752 33272 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79182492 19452874752 33272 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79182493 19452874752 33272 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=18996948 memory=85548 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79182529 19452874752 33272 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 8.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133088 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.20 4.22 5/326 99603
/proc/meminfo: memFree=100542356/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19063512 memory=176540 CPUtime=14.58 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 22669 0 0 0 1446 12 0 0 20 0 20 0 79182485 19521036288 44135 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4765878 44135 5530 1 0 551814 0
[pid=99583/tid=99585] ppid=99580 vsize=19063512 memory=85548 CPUtime=12.52 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 7364 0 0 0 1246 6 0 0 20 0 20 0 79182487 19521036288 44135 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79182492 19521036288 44135 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19063512 memory=176540 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 79182493 19521036288 44135 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79182529 19521036288 44135 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176540 KiB

[startup+25.5005 s]
/proc/loadavg: 4.28 4.23 4.23 5/327 99671
/proc/meminfo: memFree=109849200/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19063512 memory=184940 CPUtime=27.39 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 24559 0 0 0 2726 13 0 0 20 0 20 0 79182485 19521036288 46235 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4765878 46235 5562 1 0 551814 0
[pid=99583/tid=99585] ppid=99580 vsize=19063512 memory=184940 CPUtime=25.27 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 8113 0 0 0 2521 6 0 0 20 0 20 0 79182487 19521036288 46235 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79182492 19521036288 46235 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19063512 memory=184940 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 79182493 19521036288 46235 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79182529 19521036288 46235 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184940 KiB

[startup+51.1133 s]
/proc/loadavg: 4.25 4.22 4.22 6/306 99778
/proc/meminfo: memFree=122357244/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19063512 memory=226208 CPUtime=52.97 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 25408 0 0 0 5281 16 0 0 20 0 20 0 79182485 19521036288 56552 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4765878 56552 5562 1 0 551814 0
[pid=99583/tid=99585] ppid=99580 vsize=19063512 memory=3328 CPUtime=50.6 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 8246 0 0 0 5054 6 0 0 20 0 20 0 79182487 19521036288 56552 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19063512 memory=133088 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79182492 19521036288 56552 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19063512 memory=226208 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/330 99972
/proc/meminfo: memFree=116198416/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3283.73 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 75306 0 0 0 328141 232 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3265.06 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 34133 0 0 0 326489 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=-6000919507015918438 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1291 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3283.73 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/330 99974
/proc/meminfo: memFree=116198432/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3343.64 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 76050 0 0 0 334129 235 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3324.87 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 34827 0 0 0 332470 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=13952 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1291 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=14468 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3343.64 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/330 99976
/proc/meminfo: memFree=116199516/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3403.58 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 76894 0 0 0 340119 239 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3384.66 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 35412 0 0 0 338449 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1330 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3403.58 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.13 5/330 99978
/proc/meminfo: memFree=116199020/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3463.57 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 77638 0 0 0 346115 242 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3444.43 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 35836 0 0 0 344426 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1369 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3463.57 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/330 99980
/proc/meminfo: memFree=116199788/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3523.5 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 77759 0 0 0 352104 246 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3504.22 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 35860 0 0 0 350405 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=14468 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=13952 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3523.5 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/331 99983
/proc/meminfo: memFree=116199060/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3583.42 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 77885 0 0 0 358094 248 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3564.08 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 35949 0 0 0 356391 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=1809688 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599 s]*
/proc/loadavg: 4.09 4.10 4.12 5/331 99984
/proc/meminfo: memFree=116200024/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19130076 memory=1809688 CPUtime=3600.1 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 77943 0 0 0 359761 249 0 0 20 0 21 0 79182485 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4782519 452422 5594 1 0 558709 0
[pid=99583/tid=99585] ppid=99580 vsize=19130076 memory=-6000919489835918182 CPUtime=3580.5 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 35951 0 0 0 358033 17 0 0 20 0 21 0 79182487 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19130076 memory=-4050210904893734541 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79182492 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19130076 memory=-4050210904893734541 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 21 0 79182493 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99602] ppid=99580 vsize=19130076 memory=403413 CPUtime=0 cores=4,6
/proc/99583/task/99602/stat : 99602 (Timer-0) S 99580 99583 98773 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79182529 19589197824 452422 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1809688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.88 s, system=2.51012 s

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

[startup+3599.12 s]
/proc/loadavg: 4.09 4.10 4.12 5/331 99984
/proc/meminfo: memFree=116200024/131382112 swapFree=33000116/33010684
[pid=99583] ppid=99580 vsize=19329768 memory=1810456 CPUtime=3600.3 cores=4,6
/proc/99583/stat : 99583 (java) S 99580 99583 98773 0 -1 4194304 79721 0 0 0 359781 249 0 0 20 0 22 0 79182485 19793682432 452614 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
/proc/99583/statm: 4832442 452614 5594 1 0 559634 0
[pid=99583/tid=99585] ppid=99580 vsize=19329768 memory=1809688 CPUtime=3580.59 cores=4,6
/proc/99583/task/99585/stat : 99585 (java) R 99580 99583 98773 0 -1 4194368 36091 0 0 0 358042 17 0 0 20 0 22 0 79182487 19793682432 452614 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99594] ppid=99580 vsize=19329768 memory=14468 CPUtime=0 cores=4,6
/proc/99583/task/99594/stat : 99594 (Finalizer) S 99580 99583 98773 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 79182492 19793682432 452614 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
[pid=99583/tid=99601] ppid=99580 vsize=19329768 memory=4716286555399548572 CPUtime=0 cores=4,6
/proc/99583/task/99601/stat : 99601 (Common-Cleaner) S 99580 99583 98773 0 -1 4194368 1372 0 0 0 0 0 0 0 20 0 22 0 79182493 19793682432 452614 18446744073709551615 94324321140736 94324321144432 140737246151136 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94324321152248 94324321153040 94324333473792 140737246153087 140737246153188 140737246153188 140737246158792 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 1810456 KiB

Child status: 143

Real time (s): 3599.17
CPU time (s): 3600.39
CPU user time (s): 3597.88
CPU system time (s): 2.51012
CPU usage (%): 100.034
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 1810456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.88
system time used= 2.51012
maximum resident set size= 1810456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107584
involuntary context switches= 5317


# summary of solver processes directly reported to runsolver:
#   pid: 99583
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3597.88
#   total CPU system time (s): 2.51012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2678 second user time and 37.4994 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 15:17:14
IDJOB=4526639
IDBENCH=144134
IDSOLVER=3380
FILE ID=nodeC007/4526639-1751635033
RUNJOBID= nodeC007-1751627915-98784
SLURM_JOB_ID= 9598957
Free space on /tmp= 431036 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-geom30a-3_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526639-1751635033/watcher-4526639-1751635033 -o /tmp/evaluation-result-4526639-1751635033/solver-4526639-1751635033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751627915-98784 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526639-1751635033.wbo

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

MD5SUM BENCH= a54a5c885adb8cfe852b8fc368f0998a
RANDOM SEED=1127746878

nodeC007 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		: 1795.810
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.68
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		: 3662.625
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.68
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.068
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.68
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.524
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.68
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		: 1397.745
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.68
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		: 3491.828
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.68
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.204
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.68
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.299
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        100691640 kB
MemAvailable:   105213776 kB
Buffers:              16 kB
Cached:          5189652 kB
SwapCached:         2972 kB
Active:         24889908 kB
Inactive:        4946976 kB
Active(anon):   24623376 kB
Inactive(anon):    35656 kB
Active(file):     266532 kB
Inactive(file):  4911320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000116 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               776 kB
Writeback:            20 kB
AnonPages:      24647348 kB
Mapped:           117576 kB
Shmem:             11812 kB
KReclaimable:     367824 kB
Slab:             459628 kB
SReclaimable:     367824 kB
SUnreclaim:        91804 kB
KernelStack:        5056 kB
PageTables:        52132 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   28444700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24180736 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430960 MiB
End job on nodeC007 at 2025-07-04 16:17:13