Trace number 4425019

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.47 3596.35

General information on the benchmark

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

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.19	c version CUSTOM.v20240707
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.23	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2115194816
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2122317824
0.28/0.25	c Number of processors 	2
0.44/0.33	--- Begin Solver configuration ---
0.44/0.33	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.33	Learn all clauses as in MiniSAT
0.44/0.33	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.33	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.33	No reason simplification
0.44/0.33	Glucose 2.1 dynamic restart strategy
0.44/0.33	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.33	timeout=2147483s
0.44/0.33	DB Simplification allowed=false
0.44/0.33	Listener: none
0.44/0.33	--- End Solver configuration ---
0.44/0.34	c Pseudo Boolean Optimization by upper bound
0.44/0.34	c --- Begin Solver configuration ---
0.44/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.34	c Learn all clauses as in MiniSAT
0.44/0.34	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	c No reason simplification
0.44/0.34	c Glucose 2.1 dynamic restart strategy
0.44/0.34	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.34	c timeout=2147483s
0.44/0.34	c DB Simplification allowed=false
0.44/0.34	c Listener: none
0.44/0.34	c --- End Solver configuration ---
0.44/0.34	c solving HOME/instance-4425019-1720890791.wbo
0.44/0.34	c reading problem ... 
0.63/0.51	c ... done. Wall clock time 0.168s.
0.63/0.51	c declared #vars     832
0.63/0.52	c internal #vars     2446
0.63/0.52	c #constraints  1747
0.63/0.52	c constraints type 
0.63/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 846
0.63/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.63/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.63/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 850
0.63/0.52	c 1747 constraints processed.
0.82/0.54	c objective function length is 1614 literals
0.82/0.60	c SATISFIABLE
0.82/0.60	c OPTIMIZING...
0.82/0.60	c Got one! Elapsed wall clock time (in seconds):0.264
0.82/0.60	o 10336274
2.55/1.46	c cleaning 2494 clauses out of 5000 with flag 10895/5000
3.13/1.81	c cleaning 4248 clauses out of 8507 with flag 24470/11001
3.51/2.19	c cleaning 5621 clauses out of 11261 with flag 40108/18003
4.14/2.57	c cleaning 6808 clauses out of 13637 with flag 57408/26000
4.55/2.99	c cleaning 7905 clauses out of 15830 with flag 76729/35001
5.16/3.46	c cleaning 8952 clauses out of 17926 with flag 98625/45002
5.66/3.97	c cleaning 9975 clauses out of 19972 with flag 122351/56000
6.32/4.58	c cleaning 10989 clauses out of 21997 with flag 148363/68000
6.95/5.18	c cleaning 11996 clauses out of 24009 with flag 176096/81001
7.65/5.83	c cleaning 12996 clauses out of 26012 with flag 206481/95000
8.46/6.61	c cleaning 14004 clauses out of 28017 with flag 238601/110001
9.25/7.48	c cleaning 14997 clauses out of 30012 with flag 273198/126000
10.22/8.39	c cleaning 15999 clauses out of 32017 with flag 310679/143002
11.38/9.41	c cleaning 17000 clauses out of 34016 with flag 350214/161000
12.38/10.46	c cleaning 18000 clauses out of 36016 with flag 392034/180000
13.48/11.59	c cleaning 18997 clauses out of 38017 with flag 436547/200001
14.87/12.99	c cleaning 20001 clauses out of 40019 with flag 482907/221000
16.17/14.27	c cleaning 20997 clauses out of 42020 with flag 533209/243002
17.57/15.64	c cleaning 22005 clauses out of 44021 with flag 585914/266000
18.87/16.96	c cleaning 22997 clauses out of 46018 with flag 639467/290002
20.27/18.38	c cleaning 23995 clauses out of 48019 with flag 696833/315000
21.98/20.03	c cleaning 24999 clauses out of 50026 with flag 755323/341002
23.56/21.61	c cleaning 26001 clauses out of 52025 with flag 817298/368000
25.08/23.20	c cleaning 26998 clauses out of 54024 with flag 880981/396000
26.76/24.87	c cleaning 27998 clauses out of 56026 with flag 946771/425000
28.65/26.71	c cleaning 29003 clauses out of 58028 with flag 1014585/455000
30.45/28.56	c cleaning 30004 clauses out of 60025 with flag 1084978/486000
32.24/30.39	c cleaning 30998 clauses out of 62021 with flag 1157149/518000
34.19/32.26	c cleaning 32001 clauses out of 64023 with flag 1233110/551000
36.12/34.18	c cleaning 32993 clauses out of 66022 with flag 1309835/585000
38.20/36.25	c cleaning 33999 clauses out of 68029 with flag 1389368/620000
40.40/38.44	c cleaning 35003 clauses out of 70030 with flag 1470146/656000
42.69/40.78	c cleaning 36001 clauses out of 72027 with flag 1554038/693000
45.10/43.12	c cleaning 37003 clauses out of 74027 with flag 1639968/731001
47.29/45.38	c cleaning 37995 clauses out of 76023 with flag 1728466/770000
50.00/48.07	c cleaning 38998 clauses out of 78028 with flag 1818813/810000
52.48/50.53	c cleaning 40004 clauses out of 80030 with flag 1911871/851000
54.99/53.02	c cleaning 40997 clauses out of 82027 with flag 2007621/893001
57.68/55.77	c cleaning 41994 clauses out of 84029 with flag 2105717/936000
60.48/58.53	c cleaning 42997 clauses out of 86036 with flag 2205955/980001
63.17/61.29	c cleaning 44000 clauses out of 88038 with flag 2308251/1025000
66.19/64.25	c cleaning 45004 clauses out of 90038 with flag 2413117/1071000
69.39/67.49	c cleaning 46004 clauses out of 92034 with flag 2520259/1118000
72.47/70.58	c cleaning 47005 clauses out of 94030 with flag 2628496/1166000
75.66/73.71	c cleaning 48003 clauses out of 96025 with flag 2740007/1215000
78.86/76.97	c cleaning 49000 clauses out of 98023 with flag 2852580/1265001
82.26/80.38	c cleaning 49996 clauses out of 100022 with flag 2967257/1316000
85.55/83.62	c cleaning 51002 clauses out of 102027 with flag 3086208/1368001
89.25/87.30	c cleaning 52000 clauses out of 104024 with flag 3206441/1421000
94.23/91.67	c cleaning 53013 clauses out of 106025 with flag 3361816/1475001
99.59/97.03	c cleaning 54006 clauses out of 108011 with flag 3545033/1530000
104.57/102.02	c cleaning 55003 clauses out of 110005 with flag 3722958/1586000
109.62/107.14	c cleaning 55993 clauses out of 112002 with flag 3897336/1643000
114.58/112.20	c cleaning 57000 clauses out of 114009 with flag 4076995/1701000
119.87/117.43	c cleaning 57996 clauses out of 116009 with flag 4266259/1760000
125.43/123.07	c cleaning 59009 clauses out of 118017 with flag 4478460/1820004
132.71/130.37	c cleaning 59986 clauses out of 120004 with flag 4694088/1881000
137.96/135.63	c cleaning 60995 clauses out of 122018 with flag 4903556/1943000
143.42/141.14	c cleaning 62007 clauses out of 124023 with flag 5109586/2006000
150.00/147.78	c cleaning 63003 clauses out of 126016 with flag 5324029/2070000
155.78/153.55	c cleaning 64005 clauses out of 128013 with flag 5547198/2135000
163.07/160.66	c cleaning 64983 clauses out of 130011 with flag 5773439/2201003
169.02/166.62	c cleaning 65995 clauses out of 132025 with flag 5996839/2268000
174.67/172.38	c cleaning 67000 clauses out of 134032 with flag 6242578/2336002
181.28/178.93	c cleaning 67991 clauses out of 136030 with flag 6464414/2405000
186.67/184.32	c cleaning 69008 clauses out of 138040 with flag 6706075/2475001
192.66/190.30	c cleaning 70006 clauses out of 140033 with flag 6922694/2546002
198.14/195.86	c cleaning 71007 clauses out of 142027 with flag 7140067/2618002
203.63/201.38	c cleaning 72007 clauses out of 144018 with flag 7361556/2691000
209.68/207.35	c cleaning 72978 clauses out of 146011 with flag 7615336/2765000
215.38/213.02	c cleaning 73994 clauses out of 148033 with flag 7846446/2840000
221.66/219.34	c cleaning 75007 clauses out of 150040 with flag 8097624/2916001
228.07/225.72	c cleaning 76000 clauses out of 152033 with flag 8336944/2993001
234.46/232.19	c cleaning 76994 clauses out of 154032 with flag 8580698/3071000
240.73/238.40	c cleaning 78016 clauses out of 156042 with flag 8821809/3150004
247.23/244.96	c cleaning 79011 clauses out of 158023 with flag 9079572/3230001
254.11/251.80	c cleaning 79987 clauses out of 160013 with flag 9344783/3311002
261.20/258.99	c cleaning 81009 clauses out of 162026 with flag 9615306/3393002
267.98/265.79	c cleaning 82003 clauses out of 164016 with flag 9927675/3476001
275.16/272.92	c cleaning 83003 clauses out of 166013 with flag 10249669/3560001
282.75/280.54	c cleaning 84006 clauses out of 168013 with flag 10544953/3645004
290.14/287.95	c cleaning 84997 clauses out of 170003 with flag 10855667/3731000
297.73/295.59	c cleaning 86002 clauses out of 172006 with flag 11170149/3818000
305.61/303.40	c cleaning 86995 clauses out of 174004 with flag 11506637/3906000
314.10/311.97	c cleaning 87997 clauses out of 176009 with flag 11805253/3995000
321.88/319.72	c cleaning 88999 clauses out of 178012 with flag 12112938/4085000
329.87/327.72	c cleaning 89986 clauses out of 180013 with flag 12406367/4176000
337.65/335.50	c cleaning 91006 clauses out of 182027 with flag 12751110/4268000
346.45/344.34	c cleaning 91996 clauses out of 184021 with flag 13117248/4361000
355.73/353.65	c cleaning 93003 clauses out of 186025 with flag 13462084/4455000
364.59/362.46	c cleaning 94000 clauses out of 188022 with flag 13834702/4550000
372.88/370.72	c cleaning 94998 clauses out of 190023 with flag 14206282/4646001
381.56/379.41	c cleaning 96001 clauses out of 192025 with flag 14607263/4743001
390.84/388.60	c cleaning 97004 clauses out of 194024 with flag 15003989/4841001
400.63/398.47	c cleaning 97996 clauses out of 196019 with flag 15382924/4940000
409.91/407.73	c cleaning 98995 clauses out of 198023 with flag 15797431/5040000
419.59/417.39	c cleaning 100014 clauses out of 200031 with flag 16187010/5141003
428.97/426.70	c cleaning 100997 clauses out of 202014 with flag 16568004/5243000
438.27/436.10	c cleaning 102002 clauses out of 204017 with flag 16953301/5346000
448.52/445.69	c cleaning 102999 clauses out of 206015 with flag 17352650/5450000
457.31/454.46	c cleaning 104000 clauses out of 208017 with flag 17679539/5555001
467.29/464.48	c cleaning 105001 clauses out of 210016 with flag 18052748/5661000
476.77/473.94	c cleaning 105997 clauses out of 212015 with flag 18434398/5768000
486.89/484.01	c cleaning 107009 clauses out of 214019 with flag 18764960/5876001
496.66/493.87	c cleaning 107990 clauses out of 216011 with flag 19130906/5985002
507.04/504.22	c cleaning 109007 clauses out of 218020 with flag 19475331/6095001
516.99/514.14	c cleaning 109996 clauses out of 220012 with flag 19837012/6206000
527.97/525.16	c cleaning 110984 clauses out of 222016 with flag 20199160/6318000
538.76/535.90	c cleaning 111985 clauses out of 224033 with flag 20651905/6431001
548.64/545.84	c cleaning 113012 clauses out of 226047 with flag 21076676/6545000
559.63/556.84	c cleaning 113998 clauses out of 228036 with flag 21561391/6660001
571.52/568.76	c cleaning 115013 clauses out of 230037 with flag 21998138/6776000
583.51/580.73	c cleaning 116002 clauses out of 232024 with flag 22403965/6893000
594.33/591.50	c cleaning 117005 clauses out of 234022 with flag 22863632/7011000
607.31/604.55	c cleaning 118002 clauses out of 236019 with flag 23294079/7130002
618.80/616.05	c cleaning 118990 clauses out of 238015 with flag 23781849/7250000
630.69/627.96	c cleaning 120006 clauses out of 240025 with flag 24204819/7371000
643.17/640.46	c cleaning 120993 clauses out of 242020 with flag 24636696/7493001
657.54/654.84	c cleaning 121994 clauses out of 244028 with flag 25113079/7616002
672.54/669.82	c cleaning 123007 clauses out of 246033 with flag 25537583/7740001
686.73/684.08	c cleaning 123991 clauses out of 248025 with flag 25999370/7865000
699.15/696.44	c cleaning 125003 clauses out of 250034 with flag 26436670/7991000
710.34/707.62	c cleaning 125999 clauses out of 252034 with flag 26854968/8118003
724.21/721.50	c cleaning 127009 clauses out of 254033 with flag 27326593/8246001
738.63/735.99	c cleaning 127993 clauses out of 256023 with flag 27859380/8375000
754.02/751.35	c cleaning 129010 clauses out of 258032 with flag 28347335/8505002
766.49/763.88	c cleaning 130002 clauses out of 260020 with flag 28835219/8636000
778.94/776.30	c cleaning 131000 clauses out of 262018 with flag 29268598/8768000
791.52/788.90	c cleaning 132009 clauses out of 264018 with flag 29717420/8901000
805.10/802.48	c cleaning 132994 clauses out of 266011 with flag 30213309/9035002
817.44/814.77	c cleaning 133994 clauses out of 268015 with flag 30715345/9170000
830.42/827.77	c cleaning 134992 clauses out of 270021 with flag 31226289/9306000
843.80/841.15	c cleaning 136012 clauses out of 272029 with flag 31736406/9443000
857.27/854.61	c cleaning 137003 clauses out of 274020 with flag 32259176/9581003
869.72/867.03	c cleaning 137997 clauses out of 276014 with flag 32773444/9720000
882.28/879.68	c cleaning 138999 clauses out of 278017 with flag 33322777/9860000
895.56/892.91	c cleaning 139992 clauses out of 280018 with flag 33818014/10001000
909.93/907.36	c cleaning 140999 clauses out of 282026 with flag 34387749/10143000
922.32/919.70	c cleaning 141991 clauses out of 284029 with flag 34886671/10286002
936.06/933.44	c cleaning 143000 clauses out of 286036 with flag 35379576/10430000
950.23/947.65	c cleaning 144008 clauses out of 288040 with flag 35921529/10575004
963.21/960.62	c cleaning 144985 clauses out of 290028 with flag 36432122/10721000
977.08/974.56	c cleaning 146022 clauses out of 292043 with flag 36955585/10868000
991.58/989.02	c cleaning 146995 clauses out of 294021 with flag 37457759/11016000
1008.19/1004.95	c cleaning 148000 clauses out of 296026 with flag 37995945/11165000
1023.46/1020.23	c cleaning 149013 clauses out of 298029 with flag 38531165/11315003
1040.63/1037.44	c cleaning 150000 clauses out of 300014 with flag 39107081/11466001
1056.79/1053.68	c cleaning 151005 clauses out of 302013 with flag 39637198/11618000
1074.16/1071.08	c cleaning 152004 clauses out of 304008 with flag 40203801/11771000
1091.30/1088.11	c cleaning 152992 clauses out of 306004 with flag 40747505/11925000
1106.06/1102.81	c cleaning 154001 clauses out of 308012 with flag 41325119/12080000
1123.70/1120.47	c cleaning 155000 clauses out of 310014 with flag 41875388/12236003
1139.66/1136.44	c cleaning 155994 clauses out of 312011 with flag 42461824/12393000
1158.63/1155.48	c cleaning 157002 clauses out of 314018 with flag 43072577/12551001
1174.90/1171.70	c cleaning 158003 clauses out of 316017 with flag 43658242/12710002
1191.07/1187.86	c cleaning 158994 clauses out of 318013 with flag 44279836/12870001
1209.43/1206.22	c cleaning 160000 clauses out of 320018 with flag 44905733/13031000
1225.59/1222.37	c cleaning 161002 clauses out of 322018 with flag 45564337/13193000
1241.07/1237.89	c cleaning 161999 clauses out of 324016 with flag 46228654/13356000
1258.65/1255.49	c cleaning 163000 clauses out of 326017 with flag 46888118/13520000
1277.08/1273.83	c cleaning 163994 clauses out of 328019 with flag 47596173/13685002
1295.85/1292.65	c cleaning 165006 clauses out of 330023 with flag 48219931/13851000
1312.91/1309.73	c cleaning 165994 clauses out of 332017 with flag 48854245/14018000
1329.47/1326.29	c cleaning 166999 clauses out of 334023 with flag 49548119/14186000
1345.84/1342.63	c cleaning 168004 clauses out of 336026 with flag 50196842/14355002
1363.41/1360.22	c cleaning 169007 clauses out of 338023 with flag 50794866/14525003
1383.89/1380.72	c cleaning 169992 clauses out of 340014 with flag 51424296/14696001
1402.45/1399.28	c cleaning 171007 clauses out of 342022 with flag 52069035/14868001
1421.52/1418.36	c cleaning 171982 clauses out of 344014 with flag 52682789/15041000
1442.39/1439.24	c cleaning 173012 clauses out of 346032 with flag 53299270/15215000
1466.05/1462.95	c cleaning 173997 clauses out of 348020 with flag 53999503/15390000
1489.44/1486.27	c cleaning 175009 clauses out of 350023 with flag 54640015/15566000
1508.91/1505.70	c cleaning 176000 clauses out of 352015 with flag 55364167/15743001
1529.68/1526.50	c cleaning 177002 clauses out of 354017 with flag 55982296/15921003
1553.37/1549.85	c cleaning 178005 clauses out of 356012 with flag 56623468/16100000
1577.22/1573.75	c cleaning 178999 clauses out of 358010 with flag 57258431/16280003
1595.90/1592.47	c cleaning 179992 clauses out of 360009 with flag 57904167/16461001
1615.58/1612.13	c cleaning 180993 clauses out of 362016 with flag 58581913/16643000
1637.51/1634.02	c cleaning 181985 clauses out of 364024 with flag 59300009/16826001
1655.66/1652.27	c cleaning 182995 clauses out of 366038 with flag 60035614/17010000
1675.54/1672.11	c cleaning 184014 clauses out of 368043 with flag 60758793/17195000
1694.51/1691.05	c cleaning 184986 clauses out of 370030 with flag 61482150/17381001
1710.87/1707.46	c cleaning 186003 clauses out of 372043 with flag 62210798/17568000
1728.34/1724.95	c cleaning 187005 clauses out of 374040 with flag 62951003/17756000
1745.92/1742.47	c cleaning 187995 clauses out of 376035 with flag 63650629/17945000
1765.99/1762.54	c cleaning 189012 clauses out of 378042 with flag 64366969/18135002
1784.36/1780.99	c cleaning 189995 clauses out of 380028 with flag 65094326/18326000
1805.13/1801.79	c cleaning 191005 clauses out of 382033 with flag 65793284/18518000
1822.58/1819.16	c cleaning 191999 clauses out of 384028 with flag 66557108/18711000
1842.44/1839.07	c cleaning 193003 clauses out of 386029 with flag 67311707/18905000
1862.28/1858.81	c cleaning 194000 clauses out of 388027 with flag 68046368/19100001
1881.14/1877.75	c cleaning 194994 clauses out of 390027 with flag 68785177/19296001
1899.43/1896.09	c cleaning 196004 clauses out of 392032 with flag 69553649/19493000
1918.91/1915.41	c cleaning 196998 clauses out of 394030 with flag 70290078/19691002
1937.98/1934.57	c cleaning 198003 clauses out of 396030 with flag 71064284/19890000
1955.74/1952.39	c cleaning 199009 clauses out of 398029 with flag 71814579/20090002
1976.17/1972.66	c cleaning 200000 clauses out of 400018 with flag 72569744/20291000
1994.55/1991.08	c cleaning 200993 clauses out of 402018 with flag 73352542/20493000
2013.96/2010.40	c cleaning 202005 clauses out of 404026 with flag 74129262/20696001
2033.92/2030.48	c cleaning 202996 clauses out of 406021 with flag 74930341/20900001
2056.78/2053.30	c cleaning 204004 clauses out of 408024 with flag 75629847/21105000
2080.18/2076.78	c cleaning 204997 clauses out of 410022 with flag 76371912/21311002
2103.55/2100.19	c cleaning 206008 clauses out of 412023 with flag 77049945/21518000
2127.01/2123.56	c cleaning 207002 clauses out of 414015 with flag 77769045/21726000
2150.86/2147.47	c cleaning 207998 clauses out of 416017 with flag 78492691/21935004
2180.39/2176.92	c cleaning 209003 clauses out of 418015 with flag 79189229/22145000
2202.75/2199.34	c cleaning 209996 clauses out of 420013 with flag 79895876/22356001
2231.58/2228.20	c cleaning 210994 clauses out of 422016 with flag 80624078/22568000
2260.31/2256.96	c cleaning 212006 clauses out of 424022 with flag 81348025/22781000
2285.02/2281.69	c cleaning 212989 clauses out of 426017 with flag 82069596/22995001
2313.07/2309.78	c cleaning 214005 clauses out of 428030 with flag 82835907/23210003
2342.33/2338.60	c cleaning 215003 clauses out of 430022 with flag 83591532/23426000
2369.29/2365.60	c cleaning 216002 clauses out of 432025 with flag 84305461/23643006
2394.59/2390.95	c cleaning 216999 clauses out of 434019 with flag 85018384/23861002
2425.75/2422.17	c cleaning 218002 clauses out of 436018 with flag 85785011/24080000
2447.49/2443.92	c cleaning 218995 clauses out of 438019 with flag 86602665/24300003
2477.25/2473.73	c cleaning 219991 clauses out of 440021 with flag 87400407/24521000
2501.79/2498.25	c cleaning 221007 clauses out of 442032 with flag 88306016/24743002
2523.96/2520.47	c cleaning 221998 clauses out of 444023 with flag 89137957/24966000
2546.61/2542.93	c cleaning 223005 clauses out of 446025 with flag 89952241/25190000
2574.85/2571.28	c cleaning 224007 clauses out of 448022 with flag 90742913/25415002
2602.14/2598.43	c cleaning 224995 clauses out of 450013 with flag 91563306/25641000
2626.61/2622.90	c cleaning 225994 clauses out of 452018 with flag 92397678/25868000
2651.98/2648.23	c cleaning 227008 clauses out of 454026 with flag 93260860/26096002
2675.05/2671.35	c cleaning 228003 clauses out of 456019 with flag 94196327/26325003
2698.21/2694.51	c cleaning 228999 clauses out of 458013 with flag 95084849/26555000
2725.13/2721.48	c cleaning 229992 clauses out of 460015 with flag 95966675/26786001
2753.18/2749.51	c cleaning 230999 clauses out of 462022 with flag 96820709/27018000
2779.39/2775.69	c cleaning 231990 clauses out of 464025 with flag 97593934/27251002
2803.35/2799.69	c cleaning 233002 clauses out of 466033 with flag 98492527/27485000
2826.21/2822.50	c cleaning 234011 clauses out of 468032 with flag 99407764/27720001
2848.87/2845.14	c cleaning 234995 clauses out of 470020 with flag 100288954/27956000
2877.59/2873.80	c cleaning 236003 clauses out of 472025 with flag 101161641/28193000
2899.86/2896.15	c cleaning 236983 clauses out of 474022 with flag 102115404/28431000
2926.91/2923.12	c cleaning 238005 clauses out of 476039 with flag 102988264/28670000
2951.26/2947.51	c cleaning 239003 clauses out of 478034 with flag 103864514/28910000
2978.91/2975.27	c cleaning 240011 clauses out of 480031 with flag 104792769/29151000
3005.70/3002.08	c cleaning 240991 clauses out of 482020 with flag 105747265/29393000
3031.30/3027.62	c cleaning 242001 clauses out of 484030 with flag 106732028/29636001
3060.73/3057.04	c cleaning 242997 clauses out of 486029 with flag 107733637/29880001
3091.02/3087.31	c cleaning 243984 clauses out of 488031 with flag 108722040/30125000
3122.38/3118.63	c cleaning 245019 clauses out of 490047 with flag 109655130/30371000
3147.34/3143.65	c cleaning 246005 clauses out of 492029 with flag 110586249/30618001
3176.78/3172.77	c cleaning 246988 clauses out of 494023 with flag 111538693/30866000
3204.65/3200.61	c cleaning 247998 clauses out of 496035 with flag 112524655/31115000
3234.20/3230.24	c cleaning 248996 clauses out of 498038 with flag 113466805/31365001
3261.24/3257.32	c cleaning 250011 clauses out of 500041 with flag 114341960/31616000
3293.01/3289.02	c cleaning 251003 clauses out of 502030 with flag 115331072/31868000
3327.94/3324.02	c cleaning 252001 clauses out of 504027 with flag 116347878/32121000
3360.81/3356.80	c cleaning 252994 clauses out of 506026 with flag 117307245/32375000
3388.07/3384.19	c cleaning 254003 clauses out of 508032 with flag 118198752/32630000
3418.39/3414.55	c cleaning 255005 clauses out of 510030 with flag 119182246/32886001
3446.95/3443.06	c cleaning 256000 clauses out of 512024 with flag 120099982/33143000
3473.49/3469.68	c cleaning 257007 clauses out of 514026 with flag 120990224/33401002
3502.09/3498.17	c cleaning 257995 clauses out of 516020 with flag 121905786/33660003
3530.74/3526.82	c cleaning 259008 clauses out of 518023 with flag 122759463/33920001
3561.91/3558.01	c cleaning 259997 clauses out of 520014 with flag 123649749/34181000
3591.36/3587.43	c cleaning 261006 clauses out of 522019 with flag 124627491/34443002
3600.06/3596.14	c starts		: 2905
3600.06/3596.14	c conflicts		: 34547952
3600.06/3596.14	c decisions		: 106958928
3600.06/3596.14	c propagations		: 10725601062
3600.06/3596.14	c inspects		: 24314426398
3600.06/3596.14	c shortcuts		: 0
3600.06/3596.14	c learnt literals	: 0
3600.06/3596.14	c learnt binary clauses	: 0
3600.06/3596.14	c learnt ternary clauses	: 0
3600.06/3596.14	c learnt constraints	: 34547952
3600.06/3596.14	c ignored constraints	: 0
3600.06/3596.14	c root simplifications	: 0
3600.06/3596.14	c removed literals (reason simplification)	: 0
3600.06/3596.14	c reason swapping (by a shorter reason)	: 0
3600.06/3596.14	c Calls to reduceDB	: 258
3600.06/3596.14	c Number of update (reduction) of LBD	: 15031217
3600.06/3596.14	c Imported unit clauses	: 0
3600.06/3596.14	c No decision after first conflict	: false
3600.06/3596.14	c number of reductions to clauses (during analyze)	: 0
3600.06/3596.14	c number of learned constraints concerned by reduction	: 0
3600.06/3596.14	c number of learning phase by resolution	: 0
3600.06/3596.14	c number of learning phase by cutting planes	: 0
3600.06/3596.14	c number of rounding to 1 operations	: 0
3600.06/3596.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3596.14	c number of reductions of the coefficients by power 2 	: 0
3600.06/3596.14	c number of right shift for reduction by power 2 	: 0
3600.06/3596.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3596.14	c number of ending skipping 	: 0
3600.06/3596.14	c number of internal skipping 	: 0
3600.06/3596.14	c number of derivation steps 	: 0
3600.06/3596.14	c number of skipped derivation steps 	: 0
3600.06/3596.14	c number of remaining unassigned 	: 0
3600.06/3596.14	c number of remaining assigned 	: 0
3600.06/3596.14	c number of falsified literals weakened from reason	: 0
3600.06/3596.14	c number of falsified literals weakened from conflict	: 0
3600.06/3596.14	c time for arithmetic operations	: 0
3600.06/3596.16	c minimum degree of deleted constraints	: null
3600.06/3596.16	c maximum degree of deleted constraints	: null
3600.06/3596.16	c number of deleted constraints	: 0
3600.06/3596.16	c speed (assignments/second)	: 2982986.1291269977
3600.06/3596.16	c non guided choices	: 95
3600.22/3596.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 365963
3600.22/3596.30	s SATISFIABLE
3600.22/3596.30	c Found 1 solution(s)
3600.41/3596.31	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 
3600.41/3596.31	c objective function=10336274
3600.41/3596.31	c Total wall clock time (in seconds): 3595.972

Verifier Data 

OK	10336274

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: 64059 MiB (63375 MiB free)
  memory of node 1: 64510 MiB (63540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425019-1720890791/watcher-4425019-1720890791 -o /tmp/evaluation-result-4425019-1720890791/solver-4425019-1720890791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720890802-707998 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425019-1720890791.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=708351, runsolver pid=708348

[startup+0.100371 s]*
/proc/loadavg: 0.10 0.10 0.10 13/302 708383
/proc/meminfo: memFree=129884396/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=18975048 memory=54632 CPUtime=0.11 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 6270 0 0 0 7 4 0 0 20 0 18 0 141236079 19430449152 13658 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4743762 13658 5502 1 0 550686 0
[pid=708351/tid=708353] ppid=708348 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 5321 0 0 0 5 3 0 0 20 0 18 0 141236080 19430449152 13658 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=18975048 memory=657 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141236087 19430449152 13658 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=18975048 memory=15260341814695506 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141236088 19430449152 13658 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54632 KiB

[startup+0.217004 s]*
/proc/loadavg: 0.10 0.10 0.10 13/311 708392
/proc/meminfo: memFree=129869152/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=18975048 memory=58412 CPUtime=0.28 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 7076 0 0 0 23 5 0 0 20 0 18 0 141236079 19430449152 14603 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4743762 14603 5655 1 0 551319 0
[pid=708351/tid=708353] ppid=708348 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 5655 0 0 0 14 4 0 0 20 0 18 0 141236080 19430449152 14603 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=18975048 memory=657 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141236087 19430449152 14603 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=18975048 memory=15260341814695506 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141236088 19430449152 14603 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58412 KiB

[startup+0.313996 s]*
/proc/loadavg: 0.10 0.10 0.10 17/313 708396
/proc/meminfo: memFree=129848516/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=18975048 memory=65464 CPUtime=0.44 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 7337 0 0 0 38 6 0 0 20 0 18 0 141236079 19430449152 16366 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4743762 16366 5664 1 0 551484 0
[pid=708351/tid=708353] ppid=708348 vsize=18975048 memory=-9175916446836236988 CPUtime=0.27 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 5822 0 0 0 23 4 0 0 20 0 18 0 141236080 19430449152 16397 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141236087 19430449152 16397 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141236088 19430449152 16397 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65464 KiB

[startup+0.700986 s]
/proc/loadavg: 0.10 0.10 0.10 9/272 708412
/proc/meminfo: memFree=129938640/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19041612 memory=74740 CPUtime=1.15 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 7959 0 0 0 107 8 0 0 20 0 19 0 141236079 19498610688 18685 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4760403 18685 5833 1 0 552154 0
[pid=708351/tid=708353] ppid=708348 vsize=19041612 memory=5524 CPUtime=0.63 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 6064 0 0 0 58 5 0 0 20 0 19 0 141236080 19498610688 18685 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19041612 memory=12556 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141236087 19498610688 18685 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141236088 19498610688 18685 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74740 KiB

[startup+1.51099 s]
/proc/loadavg: 0.10 0.10 0.10 10/313 708526
/proc/meminfo: memFree=129848240/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19041612 memory=90424 CPUtime=2.75 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 15711 0 0 0 266 9 0 0 20 0 19 0 141236079 19498610688 22606 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4760403 22606 5864 1 0 554343 0
[pid=708351/tid=708353] ppid=708348 vsize=19041612 memory=0 CPUtime=1.39 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 7132 0 0 0 134 5 0 0 20 0 19 0 141236080 19498610688 22606 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19041612 memory=12556 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141236087 19498610688 22606 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141236088 19498610688 22606 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19041612 memory=224194199869 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141236135 19498610688 22606 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90424 KiB

[startup+3.11399 s]
/proc/loadavg: 0.81 0.25 0.15 8/314 708660
/proc/meminfo: memFree=129661100/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19041612 memory=116164 CPUtime=4.84 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 17081 0 0 0 474 10 0 0 20 0 19 0 141236079 19498610688 29041 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4760403 29041 5880 1 0 554543 0
[pid=708351/tid=708353] ppid=708348 vsize=19041612 memory=12556 CPUtime=2.99 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 7456 0 0 0 293 6 0 0 20 0 19 0 141236080 19498610688 29041 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19041612 memory=79012 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141236087 19498610688 29041 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141236088 19498610688 29041 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19041612 memory=35328 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141236135 19498610688 29041 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116164 KiB

[startup+6.30043 s]
/proc/loadavg: 0.81 0.25 0.15 7/315 708795
/proc/meminfo: memFree=129561472/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19041612 memory=161948 CPUtime=8.15 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 17314 0 0 0 804 11 0 0 20 0 19 0 141236079 19498610688 40487 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4760403 40487 5880 1 0 554559 0
[pid=708351/tid=708353] ppid=708348 vsize=19041612 memory=0 CPUtime=6.17 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 7605 0 0 0 610 7 0 0 20 0 19 0 141236080 19498610688 40487 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19041612 memory=35328 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141236087 19498610688 40487 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19041612 memory=12556 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141236088 19498610688 40487 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19041612 memory=-7098080424032564416 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141236135 19498610688 40487 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161948 KiB

[startup+12.7004 s]
/proc/loadavg: 1.45 0.40 0.20 5/319 708801
/proc/meminfo: memFree=129324348/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=210156 CPUtime=14.67 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 21856 0 0 0 1454 13 0 0 20 0 20 0 141236079 19566772224 52539 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 52539 5944 1 0 554848 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=185088 CPUtime=12.39 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 8161 0 0 0 1232 7 0 0 20 0 20 0 141236080 19566772224 52539 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=-8600018644486234812 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 52539 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 52539 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 52539 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 14.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210156 KiB

[startup+25.5004 s]
/proc/loadavg: 1.92 0.54 0.25 5/319 708802
/proc/meminfo: memFree=128914668/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=238912 CPUtime=27.46 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 24089 0 0 0 2732 14 0 0 20 0 20 0 141236079 19566772224 59728 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 59728 5944 1 0 554848 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=185088 CPUtime=25.03 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 9191 0 0 0 2496 7 0 0 20 0 20 0 141236080 19566772224 59728 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 59728 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 59728 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=90424 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 59728 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 238912 KiB

[startup+51.1131 s]
/proc/loadavg: 2.63 0.82 0.35 5/319 708807
/proc/meminfo: memFree=128041216/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=347524 CPUtime=53.09 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 30099 0 0 0 5291 18 0 0 20 0 20 0 141236079 19566772224 86881 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 86881 5944 1 0 554848 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=310608 CPUtime=50.2 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 11087 0 0 0 5013 7 0 0 20 0 20 0 141236080 19566772224 86881 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=-8600018644486234812 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 86881 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=298320 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 86881 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=12556 CPUtime=0 cores=4,6

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

Current children cumulated memory: 2581328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/318 710599
/proc/meminfo: memFree=111777492/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581392 CPUtime=3346.34 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 129249 0 0 0 334441 193 0 0 20 0 20 0 141236079 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645348 5975 1 0 657037 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=12556 CPUtime=3322.76 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 47334 0 0 0 332244 32 0 0 20 0 20 0 141236080 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=2581328 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1776 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=2616 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3346.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.18 5/318 710609
/proc/meminfo: memFree=111777168/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581392 CPUtime=3406.22 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 129542 0 0 0 340426 196 0 0 20 0 20 0 141236079 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645348 5975 1 0 657037 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=2581328 CPUtime=3382.59 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 47603 0 0 0 338227 32 0 0 20 0 20 0 141236080 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=35360 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1776 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=2581392 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645348 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3406.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/320 710624
/proc/meminfo: memFree=111776660/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581444 CPUtime=3466.2 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 130998 0 0 0 346423 197 0 0 20 0 20 0 141236079 19566772224 645361 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645361 5975 1 0 657041 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=2581328 CPUtime=3442.33 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 47992 0 0 0 344201 32 0 0 20 0 20 0 141236080 19566772224 645361 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=2581392 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645361 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=2581444 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645361 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=1900 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645361 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3466.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/319 710634
/proc/meminfo: memFree=111776380/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581448 CPUtime=3526.25 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 131400 0 0 0 352425 200 0 0 20 0 20 0 141236079 19566772224 645362 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645362 5975 1 0 657041 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=2581444 CPUtime=3502.02 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 48152 0 0 0 350170 32 0 0 20 0 20 0 141236080 19566772224 645362 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=2581444 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645362 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645362 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=2616 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645362 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3526.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.23 4.19 5/320 710714
/proc/meminfo: memFree=118990624/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581460 CPUtime=3586.26 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 131658 0 0 0 358425 201 0 0 20 0 20 0 141236079 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645365 5975 1 0 657041 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=12556 CPUtime=3561.72 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 48257 0 0 0 356140 32 0 0 20 0 20 0 141236080 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=2581460 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.11 s]
/proc/loadavg: 4.30 4.24 4.19 5/295 710888
/proc/meminfo: memFree=124821168/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19108176 memory=2581460 CPUtime=3600.06 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 131658 0 0 0 359804 202 0 0 20 0 20 0 141236079 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4777044 645365 5975 1 0 657041 0
[pid=708351/tid=708353] ppid=708348 vsize=19108176 memory=2581460 CPUtime=3575.51 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 48257 0 0 0 357519 32 0 0 20 0 20 0 141236080 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19108176 memory=2581460 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141236087 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19108176 memory=2581444 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 20 0 141236088 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708417] ppid=708348 vsize=19108176 memory=2581460 CPUtime=0 cores=4,6
/proc/708351/task/708417/stat : 708417 (Timer-0) S 708348 708351 707987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141236135 19566772224 645365 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581460 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.43 s, system=2.04681 s

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

[startup+3596.2 s]
/proc/loadavg: 4.30 4.24 4.19 5/295 710888
/proc/meminfo: memFree=124821168/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19307868 memory=2578604 CPUtime=3600.22 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 133552 0 0 0 359820 202 0 0 20 0 21 0 141236079 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4826967 644651 5974 1 0 657975 0
[pid=708351/tid=708353] ppid=708348 vsize=19307868 memory=511 CPUtime=3575.57 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 48483 0 0 0 357525 32 0 0 20 0 21 0 141236080 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19307868 memory=21873 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 141236087 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19307868 memory=3906644189701734480 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 21 0 141236088 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2578604 KiB

[startup+3596.3 s]
/proc/loadavg: 4.30 4.24 4.19 5/295 710888
/proc/meminfo: memFree=124821168/131655788 swapFree=131071996/131071996
[pid=708351] ppid=708348 vsize=19307868 memory=2578604 CPUtime=3600.41 cores=4,6
/proc/708351/stat : 708351 (java) S 708348 708351 707987 0 -1 1077936128 133620 0 0 0 359838 203 0 0 20 0 21 0 141236079 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
/proc/708351/statm: 4826967 644651 5974 1 0 657982 0
[pid=708351/tid=708353] ppid=708348 vsize=19307868 memory=2581460 CPUtime=3575.65 cores=4,6
/proc/708351/task/708353/stat : 708353 (java) R 708348 708351 707987 0 -1 4194368 48483 0 0 0 357533 32 0 0 20 0 21 0 141236080 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708374] ppid=708348 vsize=19307868 memory=2581460 CPUtime=0 cores=4,6
/proc/708351/task/708374/stat : 708374 (Finalizer) S 708348 708351 707987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 141236087 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
[pid=708351/tid=708381] ppid=708348 vsize=19307868 memory=2581444 CPUtime=0 cores=4,6
/proc/708351/task/708381/stat : 708381 (Common-Cleaner) S 708348 708351 707987 0 -1 1077936192 1821 0 0 0 0 0 0 0 20 0 21 0 141236088 19771256832 644651 134679101440 94886551322624 94886551326320 140722642504784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94886551334136 94886551334928 94886579064832 140722642506789 140722642506879 140722642506879 140722642513864 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2578604 KiB

Child status: 143

Real time (s): 3596.35
CPU time (s): 3600.47
CPU user time (s): 3598.43
CPU system time (s): 2.04681
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2581460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.43
system time used= 2.04681
maximum resident set size= 2582148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107533
involuntary context switches= 3598


# summary of solver processes directly reported to runsolver:
#   pid: 708351
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3598.43
#   total CPU system time (s): 2.04681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3945 second user time and 37.7105 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-13 19:13:24
IDJOB=4425019
IDBENCH=143995
IDSOLVER=3037
FILE ID=nodeC012/4425019-1720890791
RUNJOBID= nodeC012-1720890802-707998
SLURM_JOB_ID= 7485800
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 5a30a67be6312dd77591c1a6d070d2d2
RANDOM SEED=1187577518

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129966860 kB
MemAvailable:   129917952 kB
Buffers:          325948 kB
Cached:           474096 kB
SwapCached:            0 kB
Active:           484516 kB
Inactive:         707456 kB
Active(anon):       1416 kB
Inactive(anon):   428196 kB
Active(file):     483100 kB
Inactive(file):   279260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3184 kB
Writeback:             0 kB
AnonPages:        392056 kB
Mapped:           121240 kB
Shmem:             37704 kB
KReclaimable:      57528 kB
Slab:             146572 kB
SReclaimable:      57528 kB
SUnreclaim:        89044 kB
KernelStack:        4352 kB
PageTables:        10324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5135960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46016 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      207688 kB
DirectMap2M:    10182656 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC012 at 2024-07-13 20:13:20