Trace number 4456471

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 Default 2024-07-07MSAT (TO) 3600.26 3605.54

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap42_wcsp.wbo
MD5SUMf1281546bfdcfa9fb50b608c743ffb37
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9466590
Best CPU time to get the best result obtained on this benchmark0.602047
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 56493026
Min constraint cost 1
Max constraint cost 56493026
Sum of constraints costs 45549155826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4456471-1721721993.wbo
0.13/0.13	c reading problem ... 
0.13/0.18	c ... done. Wall clock time 0.046s.
0.13/0.18	c declared #vars     832
0.13/0.18	c internal #vars     2446
0.13/0.18	c #constraints  1747
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 846
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 850
0.13/0.18	c 1747 constraints processed.
0.13/0.19	c objective function length is 1614 literals
0.32/0.22	c SATISFIABLE
0.32/0.22	c OPTIMIZING...
0.32/0.22	c Got one! Elapsed wall clock time (in seconds):0.086
0.32/0.22	o 9556215
1.27/0.80	c cleaning 2493 clauses out of 5000 with flag 12282/5000
1.91/1.12	c cleaning 4249 clauses out of 8508 with flag 26834/11001
2.64/1.63	c cleaning 5629 clauses out of 11258 with flag 48721/18000
3.22/2.12	c cleaning 6814 clauses out of 13630 with flag 73602/26001
3.80/2.67	c cleaning 7906 clauses out of 15815 with flag 102749/35000
4.39/3.26	c cleaning 8954 clauses out of 17910 with flag 133222/45001
5.09/3.91	c cleaning 9975 clauses out of 19959 with flag 168595/56004
5.79/4.69	c cleaning 10985 clauses out of 21980 with flag 217148/68000
6.70/5.58	c cleaning 11988 clauses out of 23995 with flag 271067/81000
7.71/6.52	c cleaning 13000 clauses out of 26010 with flag 322005/95003
8.71/7.55	c cleaning 14001 clauses out of 28009 with flag 377291/110002
9.90/8.72	c cleaning 15000 clauses out of 30006 with flag 440255/126000
11.03/9.88	c cleaning 16000 clauses out of 32007 with flag 508928/143001
12.46/11.11	c cleaning 16994 clauses out of 34006 with flag 575283/161000
13.75/12.43	c cleaning 17988 clauses out of 36013 with flag 643614/180001
15.15/13.85	c cleaning 18997 clauses out of 38024 with flag 725364/200000
16.65/15.38	c cleaning 20013 clauses out of 40028 with flag 809396/221001
18.34/17.02	c cleaning 21002 clauses out of 42014 with flag 890630/243000
19.84/18.55	c cleaning 21984 clauses out of 44012 with flag 970259/266000
21.53/20.25	c cleaning 23006 clauses out of 46029 with flag 1057995/290001
23.23/21.94	c cleaning 24000 clauses out of 48022 with flag 1142194/315000
25.03/23.79	c cleaning 24991 clauses out of 50022 with flag 1231790/341000
27.13/25.87	c cleaning 26010 clauses out of 52031 with flag 1320183/368000
29.33/28.09	c cleaning 26995 clauses out of 54021 with flag 1431312/396000
31.63/30.35	c cleaning 28002 clauses out of 56026 with flag 1532765/425000
34.22/32.97	c cleaning 29007 clauses out of 58024 with flag 1642353/455000
36.81/35.50	c cleaning 30002 clauses out of 60017 with flag 1750542/486000
39.20/37.91	c cleaning 31005 clauses out of 62015 with flag 1856319/518000
41.60/40.39	c cleaning 31992 clauses out of 64010 with flag 1968306/551000
44.20/42.94	c cleaning 32991 clauses out of 66018 with flag 2084165/585000
46.72/45.44	c cleaning 34003 clauses out of 68031 with flag 2205577/620004
49.32/48.09	c cleaning 35010 clauses out of 70024 with flag 2357085/656000
52.02/50.79	c cleaning 35997 clauses out of 72014 with flag 2487766/693000
54.91/53.62	c cleaning 37008 clauses out of 74017 with flag 2617180/731000
57.90/56.61	c cleaning 38004 clauses out of 76009 with flag 2761052/770000
61.20/59.93	c cleaning 39002 clauses out of 78006 with flag 2898397/810001
64.40/63.17	c cleaning 39993 clauses out of 80004 with flag 3036183/851001
67.77/66.57	c cleaning 40997 clauses out of 82013 with flag 3188300/893003
71.44/70.28	c cleaning 42007 clauses out of 84013 with flag 3356654/936000
75.32/74.19	c cleaning 43002 clauses out of 86006 with flag 3497170/980000
79.38/78.24	c cleaning 44004 clauses out of 88007 with flag 3666151/1025003
83.54/82.47	c cleaning 44993 clauses out of 90000 with flag 3814148/1071000
87.50/86.40	c cleaning 46004 clauses out of 92007 with flag 3964019/1118000
92.36/91.39	c cleaning 47001 clauses out of 94003 with flag 4115308/1166000
97.03/95.93	c cleaning 47996 clauses out of 96002 with flag 4269047/1215000
102.12/101.09	c cleaning 48986 clauses out of 98006 with flag 4437603/1265000
106.69/105.68	c cleaning 50011 clauses out of 100022 with flag 4607689/1316002
110.95/109.91	c cleaning 51001 clauses out of 102009 with flag 4779001/1368000
115.34/114.31	c cleaning 51997 clauses out of 104008 with flag 4957048/1421000
119.70/118.74	c cleaning 52985 clauses out of 106011 with flag 5131367/1475000
124.38/123.48	c cleaning 53988 clauses out of 108026 with flag 5330359/1530000
128.73/127.88	c cleaning 54994 clauses out of 110041 with flag 5532296/1586003
133.49/132.68	c cleaning 56019 clauses out of 112046 with flag 5740836/1643002
138.64/137.89	c cleaning 57012 clauses out of 114025 with flag 5957704/1701000
143.69/142.98	c cleaning 57992 clauses out of 116014 with flag 6165226/1760001
148.65/147.92	c cleaning 58986 clauses out of 118021 with flag 6401419/1820000
153.60/152.96	c cleaning 60006 clauses out of 120036 with flag 6626916/1881001
158.46/157.82	c cleaning 61006 clauses out of 122031 with flag 6869692/1943002
163.22/162.61	c cleaning 61981 clauses out of 124023 with flag 7105414/2006000
168.48/167.96	c cleaning 63019 clauses out of 126043 with flag 7345498/2070001
173.63/173.12	c cleaning 64011 clauses out of 128023 with flag 7577233/2135000
178.89/178.43	c cleaning 64986 clauses out of 130012 with flag 7827136/2201000
184.19/183.72	c cleaning 66009 clauses out of 132032 with flag 8076984/2268006
189.44/189.01	c cleaning 66991 clauses out of 134019 with flag 8315774/2336002
194.99/194.61	c cleaning 68000 clauses out of 136027 with flag 8564605/2405001
200.44/200.18	c cleaning 68998 clauses out of 138027 with flag 8822205/2475001
206.20/205.92	c cleaning 70007 clauses out of 140029 with flag 9075374/2546001
211.94/211.74	c cleaning 71000 clauses out of 142021 with flag 9338129/2618000
217.88/217.75	c cleaning 71994 clauses out of 144021 with flag 9597426/2691000
224.13/224.09	c cleaning 73005 clauses out of 146027 with flag 9854996/2765000
230.24/230.19	c cleaning 74000 clauses out of 148022 with flag 10102658/2840000
236.43/236.32	c cleaning 75008 clauses out of 150023 with flag 10372071/2916001
243.71/243.61	c cleaning 75991 clauses out of 152014 with flag 10670738/2993000
250.30/250.22	c cleaning 77006 clauses out of 154024 with flag 10932650/3071001
257.48/257.47	c cleaning 77992 clauses out of 156017 with flag 11193114/3150000
264.15/264.05	c cleaning 79007 clauses out of 158025 with flag 11488375/3230000
271.92/271.87	c cleaning 79996 clauses out of 160018 with flag 11795065/3311000
279.62/279.51	c cleaning 81004 clauses out of 162029 with flag 12080899/3393007
286.20/286.17	c cleaning 81986 clauses out of 164019 with flag 12362634/3476001
293.54/293.40	c cleaning 83004 clauses out of 166033 with flag 12641436/3560001
300.82/300.78	c cleaning 84000 clauses out of 168028 with flag 12930183/3645000
307.91/307.86	c cleaning 84997 clauses out of 170028 with flag 13232905/3731000
315.19/315.14	c cleaning 86010 clauses out of 172032 with flag 13523752/3818001
323.67/323.63	c cleaning 86996 clauses out of 174021 with flag 13852156/3906000
331.16/331.17	c cleaning 88006 clauses out of 176029 with flag 14170635/3995004
338.98/338.95	c cleaning 89001 clauses out of 178021 with flag 14502759/4085002
346.36/346.32	c cleaning 90002 clauses out of 180019 with flag 14820840/4176001
354.15/354.14	c cleaning 91001 clauses out of 182016 with flag 15143377/4268000
362.03/362.04	c cleaning 91997 clauses out of 184015 with flag 15460591/4361000
370.60/370.68	c cleaning 92996 clauses out of 186018 with flag 15791676/4455000
379.38/379.43	c cleaning 94005 clauses out of 188022 with flag 16161778/4550000
387.95/387.99	c cleaning 95002 clauses out of 190017 with flag 16485285/4646000
396.44/396.44	c cleaning 96000 clauses out of 192015 with flag 16814050/4743000
404.62/404.61	c cleaning 96992 clauses out of 194015 with flag 17162642/4841000
413.11/413.17	c cleaning 98008 clauses out of 196024 with flag 17516932/4940001
422.10/422.12	c cleaning 98993 clauses out of 198015 with flag 17873688/5040000
432.27/432.31	c cleaning 100007 clauses out of 200022 with flag 18225013/5141000
441.04/441.18	c cleaning 100995 clauses out of 202016 with flag 18554365/5243001
451.61/451.72	c cleaning 102006 clauses out of 204020 with flag 18907750/5346000
461.61/461.27	c cleaning 102999 clauses out of 206015 with flag 19271433/5450001
470.80/470.40	c cleaning 104003 clauses out of 208015 with flag 19675727/5555000
481.18/480.87	c cleaning 105003 clauses out of 210015 with flag 20043841/5661003
491.86/491.54	c cleaning 105998 clauses out of 212009 with flag 20403712/5768000
501.72/501.39	c cleaning 106990 clauses out of 214011 with flag 20771650/5876000
510.92/510.51	c cleaning 108001 clauses out of 216025 with flag 21181876/5985004
520.00/519.68	c cleaning 109003 clauses out of 218020 with flag 21591085/6095000
530.27/529.99	c cleaning 110002 clauses out of 220017 with flag 22038600/6206000
540.95/540.64	c cleaning 111004 clauses out of 222016 with flag 22463490/6318001
554.03/553.78	c cleaning 112003 clauses out of 224013 with flag 22948124/6431002
564.42/564.03	c cleaning 112986 clauses out of 226008 with flag 23362628/6545000
576.60/576.25	c cleaning 114008 clauses out of 228022 with flag 23782337/6660000
587.97/587.60	c cleaning 115005 clauses out of 230014 with flag 24208447/6776000
599.14/598.80	c cleaning 116003 clauses out of 232009 with flag 24640180/6893000
610.63/610.32	c cleaning 116981 clauses out of 234007 with flag 25052043/7011001
623.10/622.83	c cleaning 118001 clauses out of 236026 with flag 25527977/7130001
634.87/634.56	c cleaning 119008 clauses out of 238025 with flag 25987261/7250001
647.64/647.33	c cleaning 119999 clauses out of 240019 with flag 26423072/7371003
659.33/659.09	c cleaning 120987 clauses out of 242017 with flag 26848440/7493000
670.50/670.21	c cleaning 121997 clauses out of 244030 with flag 27277697/7616000
681.48/681.26	c cleaning 123009 clauses out of 246035 with flag 27725339/7740002
692.75/692.43	c cleaning 123994 clauses out of 248024 with flag 28178190/7865000
703.73/703.42	c cleaning 125013 clauses out of 250031 with flag 28639966/7991001
715.32/715.01	c cleaning 126006 clauses out of 252017 with flag 29136742/8118000
726.99/726.78	c cleaning 127001 clauses out of 254015 with flag 29614000/8246004
739.56/739.38	c cleaning 128000 clauses out of 256013 with flag 30082739/8375003
751.22/750.93	c cleaning 128999 clauses out of 258010 with flag 30552902/8505000
763.30/763.07	c cleaning 129990 clauses out of 260011 with flag 31036122/8636000
775.57/775.38	c cleaning 131000 clauses out of 262021 with flag 31560077/8768000
788.84/788.60	c cleaning 132000 clauses out of 264021 with flag 32070524/8901000
803.10/802.93	c cleaning 133008 clauses out of 266023 with flag 32569316/9035002
816.19/815.90	c cleaning 134003 clauses out of 268014 with flag 33054305/9170001
828.06/827.86	c cleaning 134982 clauses out of 270010 with flag 33533294/9306000
840.24/840.07	c cleaning 136010 clauses out of 272029 with flag 34036120/9443001
852.71/852.52	c cleaning 136999 clauses out of 274021 with flag 34538019/9581003
866.27/866.12	c cleaning 138007 clauses out of 276019 with flag 35079717/9720000
878.83/878.75	c cleaning 138997 clauses out of 278012 with flag 35571475/9860000
891.37/891.24	c cleaning 140003 clauses out of 280019 with flag 36059698/10001004
905.24/905.15	c cleaning 140992 clauses out of 282012 with flag 36594351/10143000
919.10/919.08	c cleaning 141984 clauses out of 284020 with flag 37118235/10286000
932.77/932.79	c cleaning 142995 clauses out of 286037 with flag 37682783/10430001
946.23/946.29	c cleaning 144016 clauses out of 288042 with flag 38233141/10575001
961.70/961.23	c cleaning 144997 clauses out of 290025 with flag 38792076/10721000
974.88/974.56	c cleaning 146004 clauses out of 292028 with flag 39316450/10868000
991.14/990.91	c cleaning 146994 clauses out of 294024 with flag 39832578/11016000
1007.69/1007.64	c cleaning 148010 clauses out of 296032 with flag 40333627/11165002
1024.89/1024.90	c cleaning 149000 clauses out of 298021 with flag 40824718/11315001
1043.13/1043.33	c cleaning 150001 clauses out of 300020 with flag 41310595/11466000
1065.53/1065.91	c cleaning 151009 clauses out of 302019 with flag 41814716/11618000
1083.76/1084.33	c cleaning 152004 clauses out of 304010 with flag 42361309/11771000
1103.88/1104.64	c cleaning 153002 clauses out of 306009 with flag 42882880/11925003
1120.92/1121.89	c cleaning 153995 clauses out of 308006 with flag 43460058/12080002
1135.47/1136.53	c cleaning 154994 clauses out of 310010 with flag 43979983/12236001
1150.87/1151.85	c cleaning 155986 clauses out of 312015 with flag 44518375/12393000
1170.93/1171.91	c cleaning 157006 clauses out of 314031 with flag 45049930/12551002
1185.49/1186.59	c cleaning 157999 clauses out of 316027 with flag 45575315/12710004
1200.56/1201.65	c cleaning 159004 clauses out of 318024 with flag 46176602/12870000
1215.81/1216.90	c cleaning 160002 clauses out of 320020 with flag 46760993/13031000
1231.58/1232.61	c cleaning 161000 clauses out of 322021 with flag 47359901/13193003
1246.74/1247.97	c cleaning 161999 clauses out of 324019 with flag 47969561/13356001
1263.79/1265.16	c cleaning 163004 clauses out of 326019 with flag 48548120/13520000
1279.05/1280.52	c cleaning 163984 clauses out of 328016 with flag 49169516/13685001
1294.71/1296.38	c cleaning 165010 clauses out of 330031 with flag 49791519/13851000
1309.28/1311.02	c cleaning 165997 clauses out of 332021 with flag 50405672/14018000
1324.38/1326.20	c cleaning 167006 clauses out of 334026 with flag 51027950/14186002
1341.33/1343.31	c cleaning 168000 clauses out of 336019 with flag 51661626/14355001
1359.86/1362.01	c cleaning 169004 clauses out of 338018 with flag 52298054/14525000
1375.42/1377.79	c cleaning 170003 clauses out of 340014 with flag 52933112/14696000
1391.37/1393.87	c cleaning 170999 clauses out of 342015 with flag 53565372/14868004
1407.93/1410.49	c cleaning 171977 clauses out of 344012 with flag 54178873/15041000
1426.37/1429.03	c cleaning 173006 clauses out of 346038 with flag 54798231/15215003
1444.88/1447.77	c cleaning 174010 clauses out of 348032 with flag 55372368/15390003
1461.21/1464.22	c cleaning 174996 clauses out of 350019 with flag 55964741/15566000
1478.54/1481.73	c cleaning 175998 clauses out of 352023 with flag 56561292/15743000
1495.61/1498.81	c cleaning 177006 clauses out of 354025 with flag 57220170/15921000
1513.53/1516.90	c cleaning 177992 clauses out of 356021 with flag 57830702/16100002
1531.64/1535.20	c cleaning 179003 clauses out of 358027 with flag 58528861/16280000
1548.87/1552.68	c cleaning 180010 clauses out of 360024 with flag 59166525/16461000
1566.98/1570.18	c cleaning 180990 clauses out of 362014 with flag 59798984/16643000
1585.91/1589.27	c cleaning 181999 clauses out of 364024 with flag 60458779/16826000
1608.51/1612.09	c cleaning 183010 clauses out of 366025 with flag 61140990/17010000
1631.36/1635.07	c cleaning 183992 clauses out of 368015 with flag 61777641/17195000
1648.10/1651.91	c cleaning 184993 clauses out of 370023 with flag 62429677/17381000
1664.43/1668.48	c cleaning 186003 clauses out of 372032 with flag 63089261/17568002
1685.91/1690.08	c cleaning 187006 clauses out of 374027 with flag 63856030/17756000
1703.88/1708.07	c cleaning 187995 clauses out of 376021 with flag 64570659/17945000
1722.42/1726.51	c cleaning 189007 clauses out of 378027 with flag 65282424/18135001
1744.59/1748.71	c cleaning 190003 clauses out of 380021 with flag 65967383/18326002
1765.13/1769.35	c cleaning 191006 clauses out of 382018 with flag 66702288/18518002
1786.67/1790.97	c cleaning 192007 clauses out of 384013 with flag 67345475/18711003
1809.82/1814.15	c cleaning 192991 clauses out of 386003 with flag 68016216/18905000
1831.67/1836.06	c cleaning 193994 clauses out of 388013 with flag 68656716/19100001
1856.18/1860.46	c cleaning 195007 clauses out of 390021 with flag 69329492/19296003
1879.85/1884.12	c cleaning 195998 clauses out of 392012 with flag 69941121/19493001
1903.30/1907.63	c cleaning 196993 clauses out of 394014 with flag 70602941/19691001
1924.65/1929.05	c cleaning 198003 clauses out of 396021 with flag 71237392/19890001
1947.59/1952.05	c cleaning 198993 clauses out of 398018 with flag 71871846/20090001
1971.91/1976.25	c cleaning 200004 clauses out of 400025 with flag 72502350/20291001
1994.37/1998.71	c cleaning 201007 clauses out of 402022 with flag 73190520/20493002
2022.01/2026.45	c cleaning 202003 clauses out of 404013 with flag 73850627/20696000
2051.14/2055.65	c cleaning 202989 clauses out of 406010 with flag 74504278/20900000
2076.85/2080.62	c cleaning 203996 clauses out of 408023 with flag 75158899/21105002
2105.49/2109.34	c cleaning 205005 clauses out of 410028 with flag 75852195/21311003
2135.74/2139.63	c cleaning 205994 clauses out of 412020 with flag 76529260/21518000
2163.44/2167.33	c cleaning 206997 clauses out of 414027 with flag 77212753/21726001
2189.50/2193.40	c cleaning 208009 clauses out of 416029 with flag 77932591/21935000
2220.05/2224.03	c cleaning 209005 clauses out of 418020 with flag 78716014/22145000
2246.70/2250.75	c cleaning 209990 clauses out of 420019 with flag 79426451/22356004
2274.85/2278.98	c cleaning 211003 clauses out of 422025 with flag 80108727/22568000
2309.01/2313.10	c cleaning 212009 clauses out of 424022 with flag 80803975/22781000
2333.76/2337.80	c cleaning 212994 clauses out of 426013 with flag 81558759/22995000
2360.41/2364.53	c cleaning 214003 clauses out of 428019 with flag 82343321/23210000
2387.74/2391.97	c cleaning 214996 clauses out of 430016 with flag 83053793/23426000
2413.71/2417.88	c cleaning 216012 clauses out of 432024 with flag 83747222/23643004
2439.66/2443.87	c cleaning 216986 clauses out of 434011 with flag 84469871/23861003
2468.01/2472.24	c cleaning 218000 clauses out of 436022 with flag 85235373/24080000
2494.36/2498.65	c cleaning 219001 clauses out of 438022 with flag 85904766/24300000
2523.01/2527.38	c cleaning 220000 clauses out of 440021 with flag 86635593/24521000
2549.41/2553.79	c cleaning 221003 clauses out of 442022 with flag 87383750/24743001
2572.71/2577.19	c cleaning 222005 clauses out of 444018 with flag 88162854/24966000
2598.34/2602.85	c cleaning 222997 clauses out of 446015 with flag 88927444/25190002
2626.18/2630.78	c cleaning 223998 clauses out of 448020 with flag 89715965/25415004
2651.34/2655.88	c cleaning 224997 clauses out of 450018 with flag 90480367/25641000
2678.29/2682.87	c cleaning 226005 clauses out of 452021 with flag 91179741/25868000
2703.44/2708.01	c cleaning 227000 clauses out of 454018 with flag 91902391/26096002
2731.19/2735.87	c cleaning 227997 clauses out of 456018 with flag 92654768/26325002
2758.21/2762.53	c cleaning 229009 clauses out of 458021 with flag 93451995/26555002
2785.16/2789.77	c cleaning 230003 clauses out of 460012 with flag 94221540/26786002
2812.01/2816.89	c cleaning 230994 clauses out of 462008 with flag 94973620/27018001
2839.83/2844.84	c cleaning 232002 clauses out of 464014 with flag 95700532/27251001
2869.28/2874.43	c cleaning 232995 clauses out of 466012 with flag 96415387/27485001
2899.02/2904.25	c cleaning 234003 clauses out of 468016 with flag 97184947/27720000
2925.48/2930.74	c cleaning 234989 clauses out of 470013 with flag 97989919/27956000
2954.44/2959.64	c cleaning 236005 clauses out of 472024 with flag 98833166/28193000
2983.69/2988.97	c cleaning 236991 clauses out of 474021 with flag 99657020/28431002
3017.12/3022.44	c cleaning 237998 clauses out of 476028 with flag 100573173/28670000
3045.67/3051.06	c cleaning 239005 clauses out of 478031 with flag 101408396/28910001
3082.89/3088.35	c cleaning 240005 clauses out of 480029 with flag 102242899/29151004
3115.98/3121.33	c cleaning 241001 clauses out of 482020 with flag 103090966/29393000
3143.42/3148.80	c cleaning 241990 clauses out of 484020 with flag 103856982/29636001
3175.57/3181.03	c cleaning 243006 clauses out of 486029 with flag 104614920/29880000
3209.71/3215.29	c cleaning 243994 clauses out of 488025 with flag 105417619/30125002
3253.88/3259.30	c cleaning 245006 clauses out of 490029 with flag 106235974/30371000
3293.21/3298.72	c cleaning 245998 clauses out of 492023 with flag 107196695/30618000
3324.06/3329.67	c cleaning 247003 clauses out of 494025 with flag 108033563/30866000
3355.20/3360.82	c cleaning 248008 clauses out of 496024 with flag 108872037/31115002
3389.14/3394.71	c cleaning 248997 clauses out of 498014 with flag 109661605/31365000
3418.27/3423.99	c cleaning 249996 clauses out of 500017 with flag 110500850/31616000
3447.99/3453.79	c cleaning 251001 clauses out of 502021 with flag 111344688/31868000
3479.72/3485.53	c cleaning 251998 clauses out of 504020 with flag 112167114/32121000
3516.10/3521.44	c cleaning 253010 clauses out of 506023 with flag 113013462/32375001
3550.94/3556.37	c cleaning 253990 clauses out of 508012 with flag 113927555/32630000
3590.68/3596.12	c cleaning 254999 clauses out of 510022 with flag 114848193/32886000
3600.01/3605.42	c starts		: 1886
3600.01/3605.42	c conflicts		: 32990725
3600.01/3605.42	c decisions		: 95673611
3600.01/3605.42	c propagations		: 10791073685
3600.01/3605.42	c inspects		: 22156720686
3600.01/3605.42	c shortcuts		: 0
3600.01/3605.42	c learnt literals	: 0
3600.01/3605.42	c learnt binary clauses	: 0
3600.01/3605.42	c learnt ternary clauses	: 0
3600.01/3605.42	c learnt constraints	: 32990725
3600.01/3605.42	c ignored constraints	: 0
3600.01/3605.42	c root simplifications	: 0
3600.01/3605.42	c removed literals (reason simplification)	: 0
3600.01/3605.44	c reason swapping (by a shorter reason)	: 0
3600.01/3605.44	c Calls to reduceDB	: 252
3600.01/3605.44	c Number of update (reduction) of LBD	: 14880463
3600.01/3605.44	c Imported unit clauses	: 0
3600.01/3605.44	c No decision after first conflict	: false
3600.01/3605.44	c number of reductions to clauses (during analyze)	: 0
3600.01/3605.44	c number of learned constraints concerned by reduction	: 0
3600.01/3605.44	c number of learning phase by resolution	: 0
3600.01/3605.44	c number of learning phase by cutting planes	: 0
3600.01/3605.44	c number of rounding to 1 operations	: 0
3600.01/3605.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3605.44	c number of reductions of the coefficients by power 2 	: 0
3600.01/3605.44	c number of right shift for reduction by power 2 	: 0
3600.01/3605.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3605.44	c number of ending skipping 	: 0
3600.01/3605.44	c number of internal skipping 	: 0
3600.01/3605.44	c number of derivation steps 	: 0
3600.01/3605.44	c number of skipped derivation steps 	: 0
3600.01/3605.44	c number of remaining unassigned 	: 0
3600.01/3605.44	c number of remaining assigned 	: 0
3600.01/3605.44	c number of falsified literals weakened from reason	: 0
3600.01/3605.44	c number of falsified literals weakened from conflict	: 0
3600.01/3605.44	c time for arithmetic operations	: 0
3600.01/3605.44	c minimum degree of deleted constraints	: null
3600.01/3605.44	c maximum degree of deleted constraints	: null
3600.01/3605.44	c number of deleted constraints	: 0
3600.01/3605.44	c speed (assignments/second)	: 2993163.7519277497
3600.01/3605.44	c non guided choices	: 84
3600.22/3605.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 359748
3600.22/3605.51	s SATISFIABLE
3600.22/3605.51	c Found 1 solution(s)
3600.22/3605.52	v -x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 
3600.22/3605.52	c objective function=9556215
3600.22/3605.52	c Total wall clock time (in seconds): 3605.393

Verifier Data 

OK	9556215

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456471-1721721993/watcher-4456471-1721721993 -o /tmp/evaluation-result-4456471-1721721993/solver-4456471-1721721993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86041 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456471-1721721993.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=89530, runsolver pid=89527

[startup+0.102646 s]*
/proc/loadavg: 4.45 4.23 4.14 5/327 89548
/proc/meminfo: memFree=99803508/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=18975048 memory=63232 CPUtime=0.13 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 7189 0 0 0 11 2 0 0 20 0 18 0 8721833 19430449152 15808 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4743762 15808 5707 1 0 549299 0
[pid=89530/tid=89532] ppid=89527 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 1077936192 5720 0 0 0 7 1 0 0 20 0 18 0 8721833 19430449152 15808 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8721836 19430449152 15808 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=18975048 memory=15542920530909205 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8721836 19430449152 15808 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63232 KiB

[startup+0.208455 s]*
/proc/loadavg: 4.45 4.23 4.14 7/328 89549
/proc/meminfo: memFree=99793188/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=74068 CPUtime=0.32 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 7731 0 0 0 30 2 0 0 20 0 19 0 8721833 19498610688 18517 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 18517 5878 1 0 549915 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=664970838410264707 CPUtime=0.17 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 1077936192 6006 0 0 0 16 1 0 0 20 0 19 0 8721833 19498610688 18517 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=18993 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 18517 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 18517 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 18517 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74068 KiB

[startup+0.305909 s]*
/proc/loadavg: 4.45 4.23 4.14 6/328 89549
/proc/meminfo: memFree=99786968/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=77540 CPUtime=0.51 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 8969 0 0 0 48 3 0 0 20 0 19 0 8721833 19498610688 19385 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 19385 5893 1 0 550724 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=-6000919477051810663 CPUtime=0.26 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 6051 0 0 0 25 1 0 0 20 0 19 0 8721833 19498610688 19385 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 19385 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 19385 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 19385 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77540 KiB

[startup+0.70089 s]
/proc/loadavg: 4.45 4.23 4.14 6/328 89549
/proc/meminfo: memFree=99779300/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=89220 CPUtime=1.27 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 11848 0 0 0 124 3 0 0 20 0 19 0 8721833 19498610688 22305 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 22305 5893 1 0 552555 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=35460 CPUtime=0.62 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 6161 0 0 0 61 1 0 0 20 0 19 0 8721833 19498610688 22305 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 22305 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=2268 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 22305 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=39748 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 22305 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89220 KiB

[startup+1.50089 s]
/proc/loadavg: 4.45 4.23 4.14 6/328 89549
/proc/meminfo: memFree=99763856/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=102040 CPUtime=2.51 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 16648 0 0 0 247 4 0 0 20 0 19 0 8721833 19498610688 25510 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 25510 5893 1 0 553038 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=13048 CPUtime=1.41 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 6688 0 0 0 139 2 0 0 20 0 19 0 8721833 19498610688 25510 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 25510 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=2268 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 25510 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=39748 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 25510 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102040 KiB

[startup+3.10583 s]
/proc/loadavg: 4.45 4.23 4.14 5/328 89549
/proc/meminfo: memFree=99720564/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=121508 CPUtime=4.3 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 17744 0 0 0 425 5 0 0 20 0 19 0 8721833 19498610688 30377 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 30377 5893 1 0 553242 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=0 CPUtime=3 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 6982 0 0 0 298 2 0 0 20 0 19 0 8721833 19498610688 30377 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=-6000919477051810663 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 30377 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 30377 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=2268 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 30377 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 121508 KiB

[startup+6.30022 s]
/proc/loadavg: 4.49 4.24 4.14 5/328 89549
/proc/meminfo: memFree=99657168/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19041612 memory=152156 CPUtime=7.5 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 19858 0 0 0 744 6 0 0 20 0 19 0 8721833 19498610688 38039 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4760403 38039 5920 1 0 553243 0
[pid=89530/tid=89532] ppid=89527 vsize=19041612 memory=2268 CPUtime=6.19 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 7774 0 0 0 616 3 0 0 20 0 19 0 8721833 19498610688 38039 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 38039 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19041612 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8721836 19498610688 38039 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19041612 memory=7754043902811500216 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8721853 19498610688 38039 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 152156 KiB

[startup+12.7003 s]
/proc/loadavg: 4.45 4.24 4.14 5/330 89552
/proc/meminfo: memFree=99573012/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=185884 CPUtime=14.05 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 25237 0 0 0 1398 7 0 0 20 0 20 0 8721833 19566772224 46471 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 46471 5968 1 0 553532 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=13048 CPUtime=12.55 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 8553 0 0 0 1252 3 0 0 20 0 20 0 8721833 19566772224 46471 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=185584 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 46471 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=35460 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 46471 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 46471 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 14.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185884 KiB

[startup+25.5002 s]
/proc/loadavg: 4.49 4.26 4.15 5/330 89554
/proc/meminfo: memFree=99492332/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=233196 CPUtime=26.83 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 28822 0 0 0 2675 8 0 0 20 0 20 0 8721833 19566772224 58299 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 58299 5968 1 0 553532 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=6656426216303648864 CPUtime=25.22 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 9609 0 0 0 2519 3 0 0 20 0 20 0 8721833 19566772224 58299 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 58299 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=3558 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 58299 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 58299 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 26.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 233196 KiB

[startup+51.1058 s]
/proc/loadavg: 4.41 4.25 4.15 5/330 89558
/proc/meminfo: memFree=99310680/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=300956 CPUtime=52.42 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 31923 0 0 0 5231 11 0 0 20 0 20 0 8721833 19566772224 75239 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 75239 5968 1 0 553532 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=7480 CPUtime=50.67 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/333 91400
/proc/meminfo: memFree=98523292/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179556 CPUtime=3276.84 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 153195 0 0 0 327542 142 0 0 20 0 20 0 8721833 19566772224 544889 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544889 5984 1 0 557488 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=2179556 CPUtime=3262.13 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 59656 0 0 0 326199 14 0 0 20 0 20 0 8721833 19566772224 544889 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=2179556 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544889 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=2179556 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2096 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544889 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=2179556 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544889 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3276.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/333 91410
/proc/meminfo: memFree=98244000/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179576 CPUtime=3336.73 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 153601 0 0 0 333530 143 0 0 20 0 20 0 8721833 19566772224 544894 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544894 5984 1 0 557493 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=164 CPUtime=3321.99 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 60038 0 0 0 332185 14 0 0 20 0 20 0 8721833 19566772224 544894 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=16140 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544894 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=2179572 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2096 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544894 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544894 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3336.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.63 4.29 4.22 5/333 91421
/proc/meminfo: memFree=97985044/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179608 CPUtime=3396.73 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 155236 0 0 0 339528 145 0 0 20 0 20 0 8721833 19566772224 544902 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544902 5984 1 0 557495 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=16140 CPUtime=3381.69 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 60446 0 0 0 338154 15 0 0 20 0 20 0 8721833 19566772224 544902 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544902 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=2179608 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544902 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=16140 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544902 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3396.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.27 4.21 5/331 91431
/proc/meminfo: memFree=97984684/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179612 CPUtime=3456.57 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 155600 0 0 0 345511 146 0 0 20 0 20 0 8721833 19566772224 544903 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544903 5984 1 0 557495 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=16140 CPUtime=3441.51 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 60680 0 0 0 344136 15 0 0 20 0 20 0 8721833 19566772224 544903 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=2179612 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544903 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=2179612 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544903 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=-6000919477051810663 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544903 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3456.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.27 4.21 5/331 91442
/proc/meminfo: memFree=97984144/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179772 CPUtime=3517 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 163511 0 0 0 351552 148 0 0 20 0 20 0 8721833 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544943 5984 1 0 557537 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=2179612 CPUtime=3501.26 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 62981 0 0 0 350111 15 0 0 20 0 20 0 8721833 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=2179612 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=2179772 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=2179772 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3517 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.30 4.23 5/330 91452
/proc/meminfo: memFree=97647260/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179772 CPUtime=3576.9 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 163642 0 0 0 357540 150 0 0 20 0 20 0 8721833 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544943 5984 1 0 557537 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=5520 CPUtime=3561.12 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 63108 0 0 0 356097 15 0 0 20 0 20 0 8721833 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=13048 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544943 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3576.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.4 s]
/proc/loadavg: 3.99 4.23 4.21 3/278 91523
/proc/meminfo: memFree=104220940/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19108176 memory=2179800 CPUtime=3600.01 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 164334 0 0 0 359851 150 0 0 20 0 20 0 8721833 19566772224 544950 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4777044 544950 5984 1 0 557537 0
[pid=89530/tid=89532] ppid=89527 vsize=19108176 memory=2744 CPUtime=3584.03 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 4194368 63252 0 0 0 358388 15 0 0 20 0 20 0 8721833 19566772224 544950 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19108176 memory=13708 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544950 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19108176 memory=11604 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 20 0 8721836 19566772224 544950 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89549] ppid=89527 vsize=19108176 memory=11616 CPUtime=0 cores=1,3
/proc/89530/task/89549/stat : 89549 (Timer-0) S 89527 89530 86029 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8721853 19566772224 544950 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.74 s, system=1.51542 s

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

[startup+3605.52 s]
/proc/loadavg: 3.99 4.23 4.21 3/278 91523
/proc/meminfo: memFree=104220940/131524600 swapFree=131071996/131071996
[pid=89530] ppid=89527 vsize=19307868 memory=2180548 CPUtime=3600.22 cores=1,3
/proc/89530/stat : 89530 (java) S 89527 89530 86029 0 -1 1077936128 167046 0 0 0 359872 150 0 0 20 0 21 0 8721833 19771256832 545137 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
/proc/89530/statm: 4826967 545137 5983 1 0 558450 0
[pid=89530/tid=89532] ppid=89527 vsize=19307868 memory=68 CPUtime=3584.13 cores=1,3
/proc/89530/task/89532/stat : 89532 (java) R 89527 89530 86029 0 -1 1077936192 63379 0 0 0 358398 15 0 0 20 0 21 0 8721833 19771256832 545137 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89541] ppid=89527 vsize=19307868 memory=11684 CPUtime=0 cores=1,3
/proc/89530/task/89541/stat : 89541 (Finalizer) S 89527 89530 86029 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8721836 19771256832 545137 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
[pid=89530/tid=89548] ppid=89527 vsize=19307868 memory=2179772 CPUtime=0 cores=1,3
/proc/89530/task/89548/stat : 89548 (Common-Cleaner) S 89527 89530 86029 0 -1 1077936192 2183 0 0 0 0 0 0 0 20 0 21 0 8721836 19771256832 545137 134679101440 93867516866560 93867516870256 140737254131392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93867516878072 93867516878864 93867544707072 140737254134790 140737254134880 140737254134880 140737254141896 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2180548 KiB

Child status: 143

Real time (s): 3605.54
CPU time (s): 3600.26
CPU user time (s): 3598.74
CPU system time (s): 1.51542
CPU usage (%): 99.8536
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2180548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.74
system time used= 1.51542
maximum resident set size= 2181244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167285
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105346
involuntary context switches= 13755


# summary of solver processes directly reported to runsolver:
#   pid: 89530
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3598.74
#   total CPU system time (s): 1.51542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84001 second user time and 17.2123 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 10:06:33
IDJOB=4456471
IDBENCH=144007
IDSOLVER=3037
FILE ID=nodeC017/4456471-1721721993
RUNJOBID= nodeC017-1721718407-86041
SLURM_JOB_ID= 7770408
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap42_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456471-1721721993/watcher-4456471-1721721993 -o /tmp/evaluation-result-4456471-1721721993/solver-4456471-1721721993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721718407-86041 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4456471-1721721993.wbo

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

MD5SUM BENCH= f1281546bfdcfa9fb50b608c743ffb37
RANDOM SEED=2044937912

nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.668
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3650.800
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.226
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.045
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.251
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.859
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.333
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.019
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        99845564 kB
MemAvailable:   120746688 kB
Buffers:          147396 kB
Cached:         21489692 kB
SwapCached:            0 kB
Active:           913484 kB
Inactive:       30003268 kB
Active(anon):       1552 kB
Inactive(anon):  9315824 kB
Active(file):     911932 kB
Inactive(file): 20687444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10128 kB
Writeback:             0 kB
AnonPages:       9277844 kB
Mapped:           120068 kB
Shmem:             37720 kB
KReclaimable:     283140 kB
Slab:             390588 kB
SReclaimable:     283140 kB
SUnreclaim:       107448 kB
KernelStack:        4992 kB
PageTables:        28204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21422432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8923136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      277204 kB
DirectMap2M:    21516288 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC017 at 2024-07-23 11:06:39