Trace number 4456441

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.24 3601.53

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap104_wcsp.wbo
MD5SUM8ae6cf967e584e12cada7dd8fbc9b19b
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9026651
Best CPU time to get the best result obtained on this benchmark1.26181
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 63586724
Min constraint cost 1
Max constraint cost 63586724
Sum of constraints costs 80090480126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4456441-1721721981.wbo
0.13/0.12	c reading problem ... 
0.13/0.19	c ... done. Wall clock time 0.064s.
0.13/0.19	c declared #vars     1300
0.13/0.19	c internal #vars     3823
0.13/0.19	c #constraints  2674
0.13/0.19	c constraints type 
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323
0.13/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.13/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300
0.13/0.19	c 2674 constraints processed.
0.13/0.20	c objective function length is 2523 literals
0.33/0.23	c SATISFIABLE
0.33/0.23	c OPTIMIZING...
0.33/0.23	c Got one! Elapsed wall clock time (in seconds):0.104
0.33/0.23	o 9340135
1.45/0.83	c cleaning 2493 clauses out of 5000 with flag 10757/5000
2.22/1.33	c cleaning 4247 clauses out of 8509 with flag 23028/11002
2.73/1.86	c cleaning 5623 clauses out of 11260 with flag 37393/18000
3.36/2.47	c cleaning 6814 clauses out of 13637 with flag 54051/26000
4.06/3.10	c cleaning 7904 clauses out of 15823 with flag 72461/35000
5.23/4.07	c cleaning 8949 clauses out of 17919 with flag 108062/45000
6.43/5.25	c cleaning 9981 clauses out of 19970 with flag 165764/56000
7.75/6.52	c cleaning 10997 clauses out of 21994 with flag 216295/68005
9.05/7.87	c cleaning 11952 clauses out of 23993 with flag 270198/81001
10.56/9.31	c cleaning 13017 clauses out of 26040 with flag 339549/95000
12.05/10.85	c cleaning 14005 clauses out of 28023 with flag 404092/110000
13.55/12.40	c cleaning 15002 clauses out of 30018 with flag 474281/126000
15.19/14.00	c cleaning 16002 clauses out of 32016 with flag 535397/143000
17.05/15.79	c cleaning 17004 clauses out of 34014 with flag 599062/161000
18.96/17.68	c cleaning 17991 clauses out of 36010 with flag 674778/180000
21.05/19.78	c cleaning 19009 clauses out of 38019 with flag 763560/200000
23.25/21.92	c cleaning 19998 clauses out of 40010 with flag 867428/221000
25.54/24.23	c cleaning 20979 clauses out of 42012 with flag 979783/243000
27.94/26.64	c cleaning 22017 clauses out of 44033 with flag 1094296/266000
30.53/29.24	c cleaning 22998 clauses out of 46016 with flag 1219595/290000
32.93/31.67	c cleaning 23999 clauses out of 48018 with flag 1328401/315000
35.43/34.16	c cleaning 25001 clauses out of 50019 with flag 1426675/341000
38.12/36.85	c cleaning 25992 clauses out of 52018 with flag 1523665/368000
40.95/39.62	c cleaning 27009 clauses out of 54026 with flag 1628048/396000
43.84/42.58	c cleaning 28005 clauses out of 56017 with flag 1745757/425000
47.13/45.81	c cleaning 29000 clauses out of 58012 with flag 1868642/455000
50.53/49.22	c cleaning 30000 clauses out of 60012 with flag 2002428/486000
53.82/52.58	c cleaning 30990 clauses out of 62012 with flag 2130330/518000
57.21/56.00	c cleaning 31998 clauses out of 64022 with flag 2265321/551000
60.91/59.68	c cleaning 33008 clauses out of 66024 with flag 2442869/585000
64.60/63.32	c cleaning 33997 clauses out of 68017 with flag 2606574/620001
68.51/67.24	c cleaning 35003 clauses out of 70022 with flag 2763591/656003
72.60/71.38	c cleaning 35998 clauses out of 72016 with flag 2933495/693000
76.80/75.53	c cleaning 36996 clauses out of 74018 with flag 3096254/731000
81.08/79.84	c cleaning 38008 clauses out of 76024 with flag 3267023/770002
85.38/84.18	c cleaning 39002 clauses out of 78014 with flag 3463323/810000
90.37/89.10	c cleaning 39997 clauses out of 80012 with flag 3660241/851000
95.26/94.05	c cleaning 40983 clauses out of 82017 with flag 3853793/893002
100.26/99.03	c cleaning 42001 clauses out of 84032 with flag 4075699/936000
104.94/103.73	c cleaning 42971 clauses out of 86031 with flag 4275011/980000
109.63/108.42	c cleaning 43985 clauses out of 88060 with flag 4497894/1025000
114.53/113.40	c cleaning 45016 clauses out of 90075 with flag 4706311/1071000
119.62/118.45	c cleaning 46027 clauses out of 92060 with flag 4916310/1118001
124.70/123.52	c cleaning 47006 clauses out of 94032 with flag 5146743/1166000
130.11/129.00	c cleaning 48009 clauses out of 96026 with flag 5362633/1215000
136.10/134.99	c cleaning 49001 clauses out of 98018 with flag 5596578/1265001
141.88/140.73	c cleaning 49999 clauses out of 100016 with flag 5816544/1316000
147.89/146.70	c cleaning 50996 clauses out of 102018 with flag 6073860/1368001
153.78/152.69	c cleaning 51985 clauses out of 104021 with flag 6340919/1421000
160.27/159.19	c cleaning 53010 clauses out of 106037 with flag 6580510/1475001
166.71/165.67	c cleaning 54006 clauses out of 108026 with flag 6826002/1530000
173.19/172.12	c cleaning 55006 clauses out of 110020 with flag 7059898/1586000
180.08/179.08	c cleaning 55983 clauses out of 112014 with flag 7369107/1643000
186.30/185.29	c cleaning 56990 clauses out of 114031 with flag 7652084/1701000
192.58/191.51	c cleaning 58012 clauses out of 116042 with flag 7937757/1760001
198.87/197.85	c cleaning 59009 clauses out of 118031 with flag 8218991/1820002
205.50/204.46	c cleaning 60006 clauses out of 120020 with flag 8531652/1881000
212.09/211.04	c cleaning 61000 clauses out of 122016 with flag 8825110/1943002
218.77/217.76	c cleaning 61998 clauses out of 124014 with flag 9144499/2006000
225.86/224.86	c cleaning 62997 clauses out of 126016 with flag 9441573/2070000
233.16/232.10	c cleaning 64003 clauses out of 128019 with flag 9742875/2135000
240.14/239.11	c cleaning 64994 clauses out of 130016 with flag 10041067/2201000
247.42/246.47	c cleaning 65984 clauses out of 132022 with flag 10366316/2268000
254.90/253.92	c cleaning 67010 clauses out of 134041 with flag 10674072/2336003
263.09/262.11	c cleaning 68005 clauses out of 136029 with flag 10966156/2405001
271.08/270.18	c cleaning 68998 clauses out of 138023 with flag 11272325/2475000
279.68/278.73	c cleaning 69999 clauses out of 140025 with flag 11580654/2546000
288.56/287.60	c cleaning 71010 clauses out of 142026 with flag 11884274/2618000
297.54/296.69	c cleaning 71992 clauses out of 144016 with flag 12182930/2691000
306.72/305.88	c cleaning 73007 clauses out of 146024 with flag 12501448/2765000
316.40/315.50	c cleaning 74006 clauses out of 148017 with flag 12858805/2840000
325.26/324.35	c cleaning 74994 clauses out of 150011 with flag 13197285/2916000
334.24/333.32	c cleaning 76004 clauses out of 152017 with flag 13568214/2993000
343.32/342.44	c cleaning 76999 clauses out of 154015 with flag 13927700/3071002
353.01/352.13	c cleaning 77999 clauses out of 156014 with flag 14261442/3150000
362.78/361.94	c cleaning 78998 clauses out of 158017 with flag 14627771/3230002
373.12/372.21	c cleaning 80007 clauses out of 160018 with flag 14979667/3311001
383.30/382.45	c cleaning 80998 clauses out of 162010 with flag 15352248/3393000
393.48/392.63	c cleaning 81988 clauses out of 164012 with flag 15753341/3476000
403.26/402.44	c cleaning 83002 clauses out of 166024 with flag 16111093/3560000
414.15/413.30	c cleaning 84006 clauses out of 168024 with flag 16510494/3645002
424.42/423.57	c cleaning 84988 clauses out of 170016 with flag 16934273/3731000
435.01/434.14	c cleaning 85995 clauses out of 172028 with flag 17331954/3818000
445.58/444.73	c cleaning 87000 clauses out of 174033 with flag 17728420/3906000
457.27/456.43	c cleaning 88013 clauses out of 176034 with flag 18117428/3995001
469.04/468.26	c cleaning 89001 clauses out of 178020 with flag 18537788/4085000
480.81/479.91	c cleaning 90003 clauses out of 180019 with flag 18967347/4176000
491.99/491.20	c cleaning 90999 clauses out of 182017 with flag 19388840/4268001
505.46/504.61	c cleaning 92000 clauses out of 184017 with flag 19850695/4361000
518.85/518.02	c cleaning 93009 clauses out of 186017 with flag 20297851/4455000
531.21/530.47	c cleaning 94003 clauses out of 188008 with flag 20722876/4550000
544.81/543.92	c cleaning 95001 clauses out of 190007 with flag 21166744/4646002
556.79/555.96	c cleaning 95982 clauses out of 192004 with flag 21581745/4743000
569.16/568.30	c cleaning 96977 clauses out of 194023 with flag 22022587/4841001
581.95/581.12	c cleaning 98004 clauses out of 196045 with flag 22478438/4940000
594.97/593.89	c cleaning 98999 clauses out of 198041 with flag 22943847/5040000
608.16/607.03	c cleaning 100007 clauses out of 200042 with flag 23420704/5141000
620.43/619.29	c cleaning 101019 clauses out of 202037 with flag 23905322/5243002
633.20/632.04	c cleaning 101998 clauses out of 204016 with flag 24336433/5346000
648.47/647.33	c cleaning 103001 clauses out of 206018 with flag 24767840/5450000
663.23/662.02	c cleaning 104002 clauses out of 208018 with flag 25210470/5555001
676.30/675.12	c cleaning 105000 clauses out of 210017 with flag 25651781/5661002
691.16/690.08	c cleaning 106008 clauses out of 212017 with flag 26086410/5768002
705.52/704.48	c cleaning 106996 clauses out of 214010 with flag 26531260/5876003
719.59/718.58	c cleaning 107992 clauses out of 216011 with flag 26959868/5985000
733.83/732.72	c cleaning 109004 clauses out of 218019 with flag 27417955/6095000
747.90/746.85	c cleaning 109994 clauses out of 220015 with flag 27891152/6206000
762.36/761.33	c cleaning 110981 clauses out of 222021 with flag 28360677/6318000
777.82/776.87	c cleaning 112017 clauses out of 224042 with flag 28846517/6431002
791.70/790.79	c cleaning 112992 clauses out of 226023 with flag 29355040/6545000
805.93/804.91	c cleaning 113989 clauses out of 228032 with flag 29901544/6660001
819.71/818.78	c cleaning 115008 clauses out of 230042 with flag 30454653/6776000
833.89/832.99	c cleaning 116006 clauses out of 232034 with flag 30977828/6893000
849.16/848.25	c cleaning 117007 clauses out of 234029 with flag 31551848/7011001
863.48/862.63	c cleaning 117994 clauses out of 236021 with flag 32118455/7130000
878.42/877.61	c cleaning 119010 clauses out of 238028 with flag 32652245/7250001
893.90/893.13	c cleaning 120009 clauses out of 240018 with flag 33167659/7371001
908.66/907.94	c cleaning 120980 clauses out of 242008 with flag 33716019/7493000
924.44/923.71	c cleaning 121993 clauses out of 244028 with flag 34309990/7616000
942.10/941.46	c cleaning 123014 clauses out of 246035 with flag 34904493/7740000
957.16/956.42	c cleaning 123983 clauses out of 248023 with flag 35491948/7865002
971.92/971.20	c cleaning 125014 clauses out of 250040 with flag 36075765/7991002
987.29/986.61	c cleaning 126004 clauses out of 252024 with flag 36685962/8118000
1002.06/1001.47	c cleaning 127002 clauses out of 254020 with flag 37310000/8246000
1018.79/1018.25	c cleaning 127989 clauses out of 256018 with flag 37950587/8375000
1034.37/1033.81	c cleaning 129006 clauses out of 258030 with flag 38555795/8505001
1050.33/1049.82	c cleaning 130007 clauses out of 260026 with flag 39172617/8636003
1066.77/1066.26	c cleaning 131001 clauses out of 262016 with flag 39864783/8768000
1083.64/1083.12	c cleaning 131993 clauses out of 264015 with flag 40520051/8901000
1099.51/1099.07	c cleaning 133001 clauses out of 266022 with flag 41167180/9035000
1116.98/1116.58	c cleaning 133998 clauses out of 268021 with flag 41832381/9170000
1133.84/1133.45	c cleaning 135011 clauses out of 270023 with flag 42485550/9306000
1151.71/1151.32	c cleaning 136000 clauses out of 272012 with flag 43086913/9443000
1169.16/1168.88	c cleaning 136985 clauses out of 274012 with flag 43728114/9581000
1186.72/1186.45	c cleaning 137996 clauses out of 276027 with flag 44408360/9720000
1204.68/1204.48	c cleaning 138998 clauses out of 278031 with flag 45091566/9860000
1222.53/1222.37	c cleaning 139979 clauses out of 280033 with flag 45797347/10001000
1240.57/1240.22	c cleaning 140992 clauses out of 282054 with flag 46428165/10143000
1257.73/1257.44	c cleaning 142008 clauses out of 284064 with flag 47147316/10286002
1275.99/1275.75	c cleaning 143018 clauses out of 286054 with flag 47869970/10430000
1294.66/1294.44	c cleaning 144006 clauses out of 288036 with flag 48604997/10575000
1314.51/1314.31	c cleaning 144992 clauses out of 290030 with flag 49325720/10721000
1337.26/1337.16	c cleaning 146006 clauses out of 292038 with flag 50021571/10868000
1356.14/1355.59	c cleaning 147014 clauses out of 294032 with flag 50703476/11016000
1375.50/1374.92	c cleaning 147993 clauses out of 296018 with flag 51410081/11165000
1394.47/1393.97	c cleaning 149009 clauses out of 298027 with flag 52122562/11315002
1415.03/1414.51	c cleaning 149988 clauses out of 300016 with flag 52855484/11466000
1433.89/1433.45	c cleaning 150996 clauses out of 302029 with flag 53587108/11618001
1453.35/1452.81	c cleaning 152014 clauses out of 304032 with flag 54361386/11771000
1473.91/1473.47	c cleaning 152992 clauses out of 306021 with flag 55058819/11925003
1493.77/1493.32	c cleaning 154015 clauses out of 308029 with flag 55721203/12080003
1515.83/1515.49	c cleaning 155002 clauses out of 310011 with flag 56389232/12236000
1535.50/1535.18	c cleaning 156001 clauses out of 312009 with flag 57089458/12393000
1557.55/1557.26	c cleaning 157004 clauses out of 314009 with flag 57778296/12551001
1579.73/1579.31	c cleaning 157990 clauses out of 316004 with flag 58481858/12710000
1600.99/1600.60	c cleaning 158998 clauses out of 318014 with flag 59200995/12870000
1622.34/1622.10	c cleaning 160004 clauses out of 320016 with flag 59938903/13031000
1643.19/1642.96	c cleaning 160999 clauses out of 322014 with flag 60657635/13193002
1666.54/1666.35	c cleaning 161980 clauses out of 324013 with flag 61384604/13356000
1689.68/1689.58	c cleaning 163006 clauses out of 326033 with flag 62112911/13520000
1714.26/1714.08	c cleaning 164000 clauses out of 328027 with flag 62906321/13685000
1736.51/1736.34	c cleaning 165011 clauses out of 330027 with flag 63687073/13851000
1760.36/1760.21	c cleaning 166010 clauses out of 332019 with flag 64431752/14018003
1783.03/1782.94	c cleaning 166978 clauses out of 334006 with flag 65152946/14186000
1805.58/1805.51	c cleaning 167992 clauses out of 336029 with flag 65878617/14355001
1830.44/1830.43	c cleaning 169004 clauses out of 338036 with flag 66606606/14525000
1859.66/1859.62	c cleaning 170016 clauses out of 340033 with flag 67362311/14696001
1884.03/1884.00	c cleaning 170984 clauses out of 342016 with flag 68087732/14868000
1908.67/1908.76	c cleaning 172014 clauses out of 344032 with flag 68862783/15041000
1934.94/1935.05	c cleaning 172998 clauses out of 346018 with flag 69664477/15215000
1958.99/1959.15	c cleaning 174004 clauses out of 348021 with flag 70413463/15390001
1984.49/1984.54	c cleaning 175001 clauses out of 350020 with flag 71169602/15566004
2007.75/2007.86	c cleaning 175993 clauses out of 352015 with flag 71959171/15743000
2030.41/2030.51	c cleaning 177002 clauses out of 354023 with flag 72763317/15921001
2054.07/2054.27	c cleaning 177985 clauses out of 356021 with flag 73523372/16100001
2079.93/2080.15	c cleaning 178997 clauses out of 358035 with flag 74314298/16280000
2104.94/2104.82	c cleaning 180016 clauses out of 360044 with flag 75135889/16461006
2129.50/2129.49	c cleaning 180996 clauses out of 362022 with flag 75928579/16643000
2155.16/2155.14	c cleaning 182000 clauses out of 364027 with flag 76760519/16826001
2179.02/2179.05	c cleaning 182989 clauses out of 366026 with flag 77601010/17010000
2207.55/2207.53	c cleaning 183992 clauses out of 368038 with flag 78419385/17195001
2239.58/2239.63	c cleaning 185014 clauses out of 370045 with flag 79228264/17381000
2269.22/2269.35	c cleaning 186005 clauses out of 372031 with flag 79989340/17568000
2298.96/2299.18	c cleaning 187002 clauses out of 374026 with flag 80746545/17756000
2325.60/2325.86	c cleaning 188006 clauses out of 376026 with flag 81618985/17945002
2351.43/2351.71	c cleaning 188994 clauses out of 378018 with flag 82497581/18135000
2378.09/2378.37	c cleaning 189988 clauses out of 380024 with flag 83373333/18326000
2403.23/2403.51	c cleaning 191005 clauses out of 382038 with flag 84269575/18518002
2427.30/2427.61	c cleaning 191985 clauses out of 384031 with flag 85151319/18711000
2452.25/2452.69	c cleaning 192993 clauses out of 386046 with flag 86068944/18905000
2478.61/2479.07	c cleaning 194017 clauses out of 388053 with flag 87000727/19100000
2505.55/2506.07	c cleaning 194984 clauses out of 390036 with flag 87904830/19296000
2533.38/2533.91	c cleaning 196012 clauses out of 392054 with flag 88861564/19493002
2560.82/2561.30	c cleaning 197002 clauses out of 394040 with flag 89793563/19691000
2588.58/2589.11	c cleaning 198007 clauses out of 396038 with flag 90702957/19890000
2614.81/2615.44	c cleaning 198989 clauses out of 398032 with flag 91642491/20090001
2640.86/2641.54	c cleaning 199982 clauses out of 400042 with flag 92594866/20291000
2668.69/2669.49	c cleaning 201018 clauses out of 402060 with flag 93563263/20493000
2697.83/2698.66	c cleaning 202005 clauses out of 404043 with flag 94522715/20696001
2728.20/2728.96	c cleaning 203009 clauses out of 406037 with flag 95472864/20900000
2756.64/2757.49	c cleaning 203993 clauses out of 408028 with flag 96468590/21105000
2783.08/2783.96	c cleaning 204990 clauses out of 410036 with flag 97494524/21311001
2812.22/2813.14	c cleaning 206007 clauses out of 412045 with flag 98529247/21518000
2842.45/2843.46	c cleaning 206999 clauses out of 414038 with flag 99467562/21726000
2872.03/2872.93	c cleaning 207993 clauses out of 416041 with flag 100405064/21935002
2902.66/2903.63	c cleaning 209001 clauses out of 418046 with flag 101298723/22145000
2933.89/2934.95	c cleaning 209989 clauses out of 420046 with flag 102273551/22356001
2967.62/2968.75	c cleaning 211028 clauses out of 422056 with flag 103290277/22568000
2998.36/2999.59	c cleaning 212013 clauses out of 424029 with flag 104243252/22781001
3031.47/3032.29	c cleaning 213001 clauses out of 426016 with flag 105231503/22995001
3064.11/3064.96	c cleaning 213972 clauses out of 428016 with flag 106245381/23210002
3094.76/3095.64	c cleaning 215009 clauses out of 430042 with flag 107248383/23426000
3128.90/3129.70	c cleaning 216012 clauses out of 432033 with flag 108282250/23643000
3164.24/3165.12	c cleaning 217002 clauses out of 434022 with flag 109253715/23861001
3197.47/3198.47	c cleaning 217984 clauses out of 436020 with flag 110281375/24080001
3229.01/3230.09	c cleaning 218999 clauses out of 438036 with flag 111298201/24300001
3260.15/3261.29	c cleaning 220012 clauses out of 440036 with flag 112319599/24521000
3289.92/3290.90	c cleaning 221002 clauses out of 442024 with flag 113380753/24743000
3321.77/3322.89	c cleaning 221990 clauses out of 444023 with flag 114391166/24966001
3355.70/3356.82	c cleaning 222999 clauses out of 446032 with flag 115442317/25190000
3388.74/3389.93	c cleaning 223993 clauses out of 448033 with flag 116473964/25415000
3421.77/3422.99	c cleaning 225014 clauses out of 450040 with flag 117526424/25641000
3454.20/3455.43	c cleaning 225992 clauses out of 452026 with flag 118566602/25868000
3486.63/3487.98	c cleaning 227002 clauses out of 454034 with flag 119651010/26096000
3518.25/3519.62	c cleaning 227988 clauses out of 456032 with flag 120689972/26325000
3552.97/3554.42	c cleaning 229007 clauses out of 458044 with flag 121774410/26555000
3585.73/3587.14	c cleaning 230001 clauses out of 460037 with flag 122897070/26786000
3600.01/3601.41	c starts		: 25634
3600.01/3601.43	c conflicts		: 26910293
3600.01/3601.43	c decisions		: 147327735
3600.01/3601.43	c propagations		: 12157020370
3600.01/3601.43	c inspects		: 22333084752
3600.01/3601.43	c shortcuts		: 0
3600.01/3601.43	c learnt literals	: 0
3600.01/3601.43	c learnt binary clauses	: 0
3600.01/3601.43	c learnt ternary clauses	: 0
3600.01/3601.43	c learnt constraints	: 26910293
3600.01/3601.43	c ignored constraints	: 0
3600.01/3601.43	c root simplifications	: 0
3600.01/3601.43	c removed literals (reason simplification)	: 0
3600.01/3601.43	c reason swapping (by a shorter reason)	: 0
3600.01/3601.43	c Calls to reduceDB	: 227
3600.01/3601.43	c Number of update (reduction) of LBD	: 15261349
3600.01/3601.43	c Imported unit clauses	: 0
3600.01/3601.43	c No decision after first conflict	: false
3600.01/3601.43	c number of reductions to clauses (during analyze)	: 0
3600.01/3601.43	c number of learned constraints concerned by reduction	: 0
3600.01/3601.43	c number of learning phase by resolution	: 0
3600.01/3601.43	c number of learning phase by cutting planes	: 0
3600.01/3601.43	c number of rounding to 1 operations	: 0
3600.01/3601.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3601.43	c number of reductions of the coefficients by power 2 	: 0
3600.01/3601.43	c number of right shift for reduction by power 2 	: 0
3600.01/3601.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3601.43	c number of ending skipping 	: 0
3600.01/3601.43	c number of internal skipping 	: 0
3600.01/3601.43	c number of derivation steps 	: 0
3600.01/3601.43	c number of skipped derivation steps 	: 0
3600.01/3601.43	c number of remaining unassigned 	: 0
3600.01/3601.43	c number of remaining assigned 	: 0
3600.01/3601.43	c number of falsified literals weakened from reason	: 0
3600.01/3601.43	c number of falsified literals weakened from conflict	: 0
3600.01/3601.43	c time for arithmetic operations	: 0
3600.01/3601.43	c minimum degree of deleted constraints	: null
3600.01/3601.43	c maximum degree of deleted constraints	: null
3600.01/3601.43	c number of deleted constraints	: 0
3600.01/3601.43	c speed (assignments/second)	: 3375807.9544198657
3600.01/3601.43	c non guided choices	: 41
3600.22/3601.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 354329
3600.22/3601.51	s SATISFIABLE
3600.22/3601.51	c Found 1 solution(s)
3600.22/3601.51	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 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
3600.22/3601.51	c objective function=9340135
3600.22/3601.51	c Total wall clock time (in seconds): 3601.385

Verifier Data 

OK	9340135

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: 63931 MiB (52504 MiB free)
  memory of node 1: 64510 MiB (54277 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456441-1721721981/watcher-4456441-1721721981 -o /tmp/evaluation-result-4456441-1721721981/solver-4456441-1721721981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721718385-86941 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4456441-1721721981.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=89659, runsolver pid=89656

[startup+0.100058 s]*
/proc/loadavg: 4.46 4.28 4.20 5/328 89677
/proc/meminfo: memFree=109301988/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=18975048 memory=63388 CPUtime=0.13 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 7206 0 0 0 11 2 0 0 20 0 18 0 8726718 19430449152 15847 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4743762 15847 5687 1 0 549336 0
[pid=89659/tid=89661] ppid=89656 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 1078198336 5729 0 0 0 7 1 0 0 20 0 18 0 8726718 19430449152 15847 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 8726721 19430449152 15847 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=18975048 memory=14979961987553919 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 8726721 19430449152 15847 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63388 KiB

[startup+0.207794 s]*
/proc/loadavg: 4.46 4.28 4.20 9/329 89679
/proc/meminfo: memFree=109287544/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=18976076 memory=75764 CPUtime=0.33 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 7637 0 0 0 30 3 0 0 20 0 19 0 8726718 19431501824 18941 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4744019 18941 5864 1 0 549912 0
[pid=89659/tid=89661] ppid=89656 vsize=18976076 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) S 89656 89659 86928 0 -1 1077936192 6015 0 0 0 16 2 0 0 20 0 19 0 8726718 19431501824 18941 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=18976076 memory=17996 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19431501824 18941 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=18976076 memory=14135537057400351 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19431501824 18941 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=18976076 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (java) R 89656 89659 86928 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 8726739 19431501824 18941 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 75764 KiB

[startup+0.306347 s]*
/proc/loadavg: 4.67 4.32 4.22 7/329 89679
/proc/meminfo: memFree=109277908/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19041612 memory=80936 CPUtime=0.52 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 8886 0 0 0 49 3 0 0 20 0 19 0 8726718 19498610688 20234 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4760403 20234 5864 1 0 550744 0
[pid=89659/tid=89661] ppid=89656 vsize=19041612 memory=-6000919481296380775 CPUtime=0.27 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 6063 0 0 0 25 2 0 0 20 0 19 0 8726718 19498610688 20234 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 20234 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 20234 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726739 19498610688 20234 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80936 KiB

[startup+0.704347 s]
/proc/loadavg: 4.67 4.32 4.22 7/329 89679
/proc/meminfo: memFree=109276168/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19041612 memory=93304 CPUtime=1.3 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 11405 0 0 0 126 4 0 0 20 0 19 0 8726718 19498610688 23326 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4760403 23326 5896 1 0 552665 0
[pid=89659/tid=89661] ppid=89656 vsize=19041612 memory=31948 CPUtime=0.64 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 6092 0 0 0 62 2 0 0 20 0 19 0 8726718 19498610688 23326 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19041612 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 23326 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19041612 memory=2272 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 23326 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19041612 memory=32140 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726739 19498610688 23326 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93304 KiB

[startup+1.50036 s]
/proc/loadavg: 4.67 4.32 4.22 7/329 89679
/proc/meminfo: memFree=109259576/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19041612 memory=104872 CPUtime=2.43 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 15803 0 0 0 239 4 0 0 20 0 19 0 8726718 19498610688 26218 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4760403 26218 5896 1 0 552919 0
[pid=89659/tid=89661] ppid=89656 vsize=19041612 memory=12316 CPUtime=1.43 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 6611 0 0 0 141 2 0 0 20 0 19 0 8726718 19498610688 26218 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 26218 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19041612 memory=2272 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 26218 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19041612 memory=32140 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726739 19498610688 26218 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104872 KiB

[startup+3.10635 s]
/proc/loadavg: 4.67 4.32 4.22 5/329 89679
/proc/meminfo: memFree=109160692/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19041612 memory=127428 CPUtime=4.06 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 16338 0 0 0 401 5 0 0 20 0 19 0 8726718 19498610688 31857 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4760403 31857 5896 1 0 552922 0
[pid=89659/tid=89661] ppid=89656 vsize=19041612 memory=0 CPUtime=3.02 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 6884 0 0 0 299 3 0 0 20 0 19 0 8726718 19498610688 31857 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19041612 memory=-6000919481296380775 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 31857 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19041612 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 31857 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19041612 memory=2272 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726739 19498610688 31857 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127428 KiB

[startup+6.30024 s]
/proc/loadavg: 4.69 4.33 4.22 5/330 89680
/proc/meminfo: memFree=109098016/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19041612 memory=169024 CPUtime=7.52 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 20583 0 0 0 746 6 0 0 20 0 19 0 8726718 19498610688 42256 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4760403 42256 5911 1 0 552923 0
[pid=89659/tid=89661] ppid=89656 vsize=19041612 memory=2272 CPUtime=6.2 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 7642 0 0 0 616 4 0 0 20 0 19 0 8726718 19498610688 42256 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 42256 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19041612 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 8726721 19498610688 42256 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19041612 memory=7754043902811500216 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 8726739 19498610688 42256 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 169024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.64 4.33 4.22 5/331 89683
/proc/meminfo: memFree=108914892/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=198376 CPUtime=13.98 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 24359 0 0 0 1391 7 0 0 20 0 20 0 8726718 19566772224 49594 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 49594 5964 1 0 553228 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=12316 CPUtime=12.56 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 8202 0 0 0 1252 4 0 0 20 0 20 0 8726718 19566772224 49594 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=198344 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 49594 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=31948 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 49594 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 49594 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198376 KiB

[startup+25.5002 s]
/proc/loadavg: 4.54 4.32 4.22 5/331 89684
/proc/meminfo: memFree=108722716/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=215004 CPUtime=26.84 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 29041 0 0 0 2676 8 0 0 20 0 20 0 8726718 19566772224 53751 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 53751 5964 1 0 553228 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=6656426216303648864 CPUtime=25.28 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 9237 0 0 0 2524 4 0 0 20 0 20 0 8726718 19566772224 53751 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=11356 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 53751 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=3502 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 53751 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 53751 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215004 KiB

[startup+51.1056 s]
/proc/loadavg: 4.44 4.32 4.22 5/331 89689
/proc/meminfo: memFree=108218496/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=284920 CPUtime=52.43 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 32539 0 0 0 5233 10 0 0 20 0 20 0 8726718 19566772224 71230 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 71230 5964 1 0 553228 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2160 CPUtime=50.75 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/335 91487
/proc/meminfo: memFree=96338296/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178900 CPUtime=3281.34 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 162685 0 0 0 328003 131 0 0 20 0 20 0 8726718 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544725 5979 1 0 556405 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178892 CPUtime=3270.13 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 64203 0 0 0 326992 21 0 0 20 0 20 0 8726718 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=-6000919481296380775 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=11356 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3082 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=2178900 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3281.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/335 91500
/proc/meminfo: memFree=96304688/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178900 CPUtime=3341.24 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 163392 0 0 0 333991 133 0 0 20 0 20 0 8726718 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544725 5979 1 0 556405 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178900 CPUtime=3329.99 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 64777 0 0 0 332978 21 0 0 20 0 20 0 8726718 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=2178900 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=2160 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3082 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=2178900 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544725 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3341.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.16 4.17 5/335 91510
/proc/meminfo: memFree=96303024/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178908 CPUtime=3401.11 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 164349 0 0 0 339977 134 0 0 20 0 20 0 8726718 19566772224 544727 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544727 5979 1 0 556405 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178900 CPUtime=3389.85 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 65392 0 0 0 338964 21 0 0 20 0 20 0 8726718 19566772224 544727 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=2178908 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544727 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3164 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544727 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=2178908 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544727 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3401.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/332 91520
/proc/meminfo: memFree=96299272/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178916 CPUtime=3461.08 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 166117 0 0 0 345973 135 0 0 20 0 20 0 8726718 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544729 5979 1 0 556405 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178900 CPUtime=3449.59 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 65929 0 0 0 344938 21 0 0 20 0 20 0 8726718 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3164 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3461.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178916 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/332 91533
/proc/meminfo: memFree=96298500/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178916 CPUtime=3520.94 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 166777 0 0 0 351958 136 0 0 20 0 20 0 8726718 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544729 5979 1 0 556405 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178916 CPUtime=3509.44 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 66471 0 0 0 350922 22 0 0 20 0 20 0 8726718 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3268 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=11356 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544729 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3520.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/331 91543
/proc/meminfo: memFree=96297508/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178960 CPUtime=3580.88 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 168646 0 0 0 357950 138 0 0 20 0 20 0 8726718 19566772224 544740 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544740 5979 1 0 556410 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=2178916 CPUtime=3569.2 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) S 89656 89659 86928 0 -1 1077936192 67093 0 0 0 356898 22 0 0 20 0 20 0 8726718 19566772224 544740 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=2178916 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544740 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=16084 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3268 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544740 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=11356 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544740 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3580.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.4 s]
/proc/loadavg: 3.78 4.08 4.15 2/253 91648
/proc/meminfo: memFree=107722824/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19108176 memory=2178964 CPUtime=3600.01 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 169377 0 0 0 359862 139 0 0 20 0 20 0 8726718 19566772224 544741 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4777044 544741 5979 1 0 556410 0
[pid=89659/tid=89661] ppid=89656 vsize=19108176 memory=17851 CPUtime=3588.19 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 67307 0 0 0 358797 22 0 0 20 0 20 0 8726718 19566772224 544741 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19108176 memory=17575 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544741 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19108176 memory=548510 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3268 0 0 0 0 0 0 0 20 0 20 0 8726721 19566772224 544741 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89679] ppid=89656 vsize=19108176 memory=4533972 CPUtime=0 cores=5,7
/proc/89659/task/89679/stat : 89679 (Timer-0) S 89656 89659 86928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8726739 19566772224 544741 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.4047 s

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

[startup+3601.51 s]
/proc/loadavg: 3.78 4.08 4.15 2/253 91648
/proc/meminfo: memFree=107722824/131524600 swapFree=131071996/131071996
[pid=89659] ppid=89656 vsize=19307868 memory=2179784 CPUtime=3600.22 cores=5,7
/proc/89659/stat : 89659 (java) S 89656 89659 86928 0 -1 1077936128 172160 0 0 0 359883 139 0 0 20 0 21 0 8726718 19771256832 544946 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
/proc/89659/statm: 4826967 544946 5978 1 0 557332 0
[pid=89659/tid=89661] ppid=89656 vsize=19307868 memory=2178916 CPUtime=3588.29 cores=5,7
/proc/89659/task/89661/stat : 89661 (java) R 89656 89659 86928 0 -1 4194368 67458 0 0 0 358807 22 0 0 20 0 21 0 8726718 19771256832 544946 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89670] ppid=89656 vsize=19307868 memory=2178932 CPUtime=0 cores=5,7
/proc/89659/task/89670/stat : 89670 (Finalizer) S 89656 89659 86928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 8726721 19771256832 544946 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
[pid=89659/tid=89677] ppid=89656 vsize=19307868 memory=2178964 CPUtime=0 cores=5,7
/proc/89659/task/89677/stat : 89677 (Common-Cleaner) S 89656 89659 86928 0 -1 1077936192 3268 0 0 0 0 0 0 0 20 0 21 0 8726721 19771256832 544946 134679101440 94520658980864 94520658984560 140735165139200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94520658992376 94520658993168 94520679923712 140735165142022 140735165142112 140735165142112 140735165149128 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2179784 KiB

Child status: 143

Real time (s): 3601.53
CPU time (s): 3600.24
CPU user time (s): 3598.84
CPU system time (s): 1.4047
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2179784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.4047
maximum resident set size= 2180520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104358
involuntary context switches= 2462


# summary of solver processes directly reported to runsolver:
#   pid: 89659
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.4047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.26567 second user time and 15.9617 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-23 10:06:21
IDJOB=4456441
IDBENCH=143996
IDSOLVER=3037
FILE ID=nodeC021/4456441-1721721981
RUNJOBID= nodeC021-1721718385-86941
SLURM_JOB_ID= 7770403
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b
RANDOM SEED=841833314

nodeC021.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.679
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.35
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		: 3682.461
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	: 7007.41
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		: 3672.644
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.35
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		: 3604.909
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	: 7007.41
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		: 3672.668
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.35
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		: 3640.533
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	: 7007.41
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.246
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.35
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		: 3653.628
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109344284 kB
MemAvailable:   129193536 kB
Buffers:          151116 kB
Cached:         20432376 kB
SwapCached:            0 kB
Active:           925456 kB
Inactive:       20506620 kB
Active(anon):       1556 kB
Inactive(anon):   884732 kB
Active(file):     923900 kB
Inactive(file): 19621888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5836 kB
Writeback:             0 kB
AnonPages:        848296 kB
Mapped:           120736 kB
Shmem:             37720 kB
KReclaimable:     286224 kB
Slab:             394516 kB
SReclaimable:     286224 kB
SUnreclaim:       108292 kB
KernelStack:        5032 kB
PageTables:        11560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7386096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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:      297684 kB
DirectMap2M:    31981568 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC021 at 2024-07-23 11:06:22