Trace number 4424824

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.37 3575.32

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM4aa959acef268827fee52a48855c070a
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.101849
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints63
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 3157
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4424824-1720881313.wbo
0.14/0.12	c reading problem ... 
0.14/0.17	c ... done. Wall clock time 0.045s.
0.14/0.17	c declared #vars     3600
0.14/0.17	c internal #vars     3663
0.14/0.17	c #constraints  171
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48
0.14/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 32
0.14/0.17	c org.sat4j.specs.Constr$1 => 1
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 90
0.14/0.17	c 171 constraints processed.
0.14/0.18	c objective function length is 63 literals
1.27/0.76	c SATISFIABLE
1.27/0.76	c OPTIMIZING...
1.27/0.76	c Got one! Elapsed wall clock time (in seconds):0.629
1.27/0.76	o 78
2.02/1.21	c cleaning 2887 clauses out of 5785 with flag 12768/5785
3.08/2.00	c cleaning 4440 clauses out of 8898 with flag 52689/11785
3.86/2.77	c cleaning 5723 clauses out of 11459 with flag 108987/18786
5.06/3.96	c cleaning 6859 clauses out of 13735 with flag 174540/26785
6.22/5.06	c Got one! Elapsed wall clock time (in seconds):4.923
6.22/5.06	o 60
6.22/5.08	c Got one! Elapsed wall clock time (in seconds):4.952
6.22/5.08	o 56
6.63/5.36	c Got one! Elapsed wall clock time (in seconds):5.238
6.63/5.36	o 37
7.04/5.76	c cleaning 9348 clauses out of 18714 with flag 15431/38623
7.44/6.12	c Got one! Elapsed wall clock time (in seconds):5.992
7.44/6.12	o 33
7.44/6.19	c cleaning 7252 clauses out of 14517 with flag 4952/43774
8.29/6.95	c cleaning 6620 clauses out of 13263 with flag 47486/49772
9.29/7.93	c cleaning 6805 clauses out of 13641 with flag 101436/56770
10.54/9.12	c cleaning 7406 clauses out of 14835 with flag 168581/64769
11.23/9.82	c Got one! Elapsed wall clock time (in seconds):9.692
11.23/9.82	o 14
11.23/9.84	c Got one! Elapsed wall clock time (in seconds):9.716
11.23/9.84	o 3
11.72/10.39	c cleaning 8973 clauses out of 17957 with flag 42737/75297
12.68/11.23	c cleaning 7488 clauses out of 14985 with flag 94185/81298
13.57/12.12	c cleaning 7233 clauses out of 14496 with flag 154192/88297
14.44/12.94	c cleaning 7621 clauses out of 15263 with flag 220469/96297
15.03/13.56	c cleaning 8286 clauses out of 16642 with flag 281609/105297
16.70/15.11	c cleaning 9144 clauses out of 18357 with flag 362609/115298
18.82/17.13	c cleaning 10071 clauses out of 20213 with flag 462520/126298
19.92/18.11	c cleaning 11047 clauses out of 22143 with flag 540898/138299
21.41/19.69	c cleaning 12041 clauses out of 24096 with flag 633390/151299
24.64/22.84	c cleaning 13019 clauses out of 26053 with flag 752574/165297
26.61/24.70	c cleaning 14001 clauses out of 28034 with flag 878734/180297
28.10/26.28	c cleaning 15004 clauses out of 30033 with flag 992146/196297
31.44/29.50	c cleaning 16005 clauses out of 32029 with flag 1125034/213297
34.51/32.58	c cleaning 17001 clauses out of 34025 with flag 1287679/231298
38.69/36.69	c cleaning 18001 clauses out of 36023 with flag 1466098/250297
44.19/42.07	c cleaning 18997 clauses out of 38022 with flag 1663674/270297
49.98/47.78	c cleaning 20006 clauses out of 40028 with flag 1876895/291300
57.56/55.24	c cleaning 20998 clauses out of 42019 with flag 2114127/313297
68.17/65.55	c cleaning 22000 clauses out of 44022 with flag 2367351/336298
71.45/68.74	c cleaning 22968 clauses out of 46021 with flag 2539189/360297
75.23/72.44	c cleaning 24014 clauses out of 48054 with flag 2710018/385298
79.10/76.26	c cleaning 24993 clauses out of 50040 with flag 2897387/411298
82.79/79.81	c cleaning 25998 clauses out of 52048 with flag 3084879/438299
87.39/84.38	c cleaning 26998 clauses out of 54050 with flag 3266628/466299
91.24/88.08	c cleaning 27989 clauses out of 56050 with flag 3457060/495297
100.81/97.63	c cleaning 29004 clauses out of 58061 with flag 3676733/525297
111.37/108.03	c cleaning 30003 clauses out of 60060 with flag 3904176/556300
122.91/119.13	c cleaning 30997 clauses out of 62056 with flag 4146166/588299
139.47/135.72	c cleaning 31999 clauses out of 64061 with flag 4412052/621301
154.42/150.54	c cleaning 33018 clauses out of 66059 with flag 4689030/655298
170.27/166.29	c cleaning 33997 clauses out of 68043 with flag 4974171/690300
186.93/182.72	c cleaning 35002 clauses out of 70043 with flag 5285641/726297
204.49/200.39	c cleaning 35998 clauses out of 72042 with flag 5617429/763298
210.73/206.49	c cleaning 37007 clauses out of 74045 with flag 5882149/801299
218.17/213.77	c cleaning 37989 clauses out of 76037 with flag 6137617/840298
242.83/238.49	c cleaning 38994 clauses out of 78047 with flag 6482207/880297
251.54/246.61	c cleaning 39998 clauses out of 80055 with flag 6804656/921299
262.04/257.22	c cleaning 41008 clauses out of 82058 with flag 7083641/963300
272.39/267.48	c cleaning 42002 clauses out of 84047 with flag 7419295/1006297
303.69/298.59	c cleaning 43007 clauses out of 86050 with flag 7767648/1050302
316.16/310.83	c cleaning 43996 clauses out of 88038 with flag 8143201/1095297
326.12/320.67	c cleaning 44984 clauses out of 90044 with flag 8487496/1141299
334.29/328.66	c cleaning 46008 clauses out of 92062 with flag 8819519/1188301
343.05/337.20	c cleaning 47013 clauses out of 94052 with flag 9138340/1236299
351.69/345.40	c cleaning 47998 clauses out of 96037 with flag 9457084/1285297
369.35/363.07	c cleaning 49000 clauses out of 98039 with flag 9825018/1335297
379.94/373.52	c cleaning 50002 clauses out of 100041 with flag 10138666/1386299
388.99/382.46	c cleaning 51009 clauses out of 102039 with flag 10473899/1438299
397.85/391.16	c cleaning 51995 clauses out of 104028 with flag 10818537/1491297
409.87/402.86	c cleaning 53018 clauses out of 106036 with flag 11185955/1545300
421.44/414.26	c cleaning 53996 clauses out of 108015 with flag 11553026/1600297
432.48/425.15	c cleaning 54997 clauses out of 110019 with flag 11886028/1656297
460.70/453.17	c cleaning 55997 clauses out of 112022 with flag 12303328/1713297
476.93/469.28	c cleaning 57003 clauses out of 114028 with flag 12720091/1771300
488.56/479.90	c cleaning 57995 clauses out of 116022 with flag 13102404/1830297
501.37/492.72	c cleaning 58998 clauses out of 118027 with flag 13491889/1890297
514.02/505.30	c cleaning 60001 clauses out of 120029 with flag 13892058/1951297
526.89/518.11	c cleaning 61005 clauses out of 122028 with flag 14275224/2013297
540.43/531.33	c cleaning 62005 clauses out of 124023 with flag 14652787/2076297
553.76/544.55	c cleaning 62994 clauses out of 126019 with flag 15059075/2140298
566.35/556.96	c cleaning 63980 clauses out of 128026 with flag 15470291/2205299
578.63/568.96	c cleaning 65001 clauses out of 130044 with flag 15889505/2271297
594.27/584.45	c cleaning 66004 clauses out of 132043 with flag 16353247/2338297
613.70/603.55	c cleaning 67006 clauses out of 134040 with flag 16824648/2406298
628.26/617.92	c cleaning 68000 clauses out of 136033 with flag 17248966/2475297
643.76/633.32	c cleaning 69001 clauses out of 138034 with flag 17687919/2545298
669.56/658.81	c cleaning 69987 clauses out of 140032 with flag 18212853/2616297
690.01/678.67	c cleaning 70998 clauses out of 142045 with flag 18689922/2688297
711.77/700.06	c cleaning 71999 clauses out of 144047 with flag 19170339/2761297
729.04/717.17	c cleaning 73005 clauses out of 146048 with flag 19641564/2835297
749.95/737.96	c cleaning 73989 clauses out of 148043 with flag 20086167/2910297
769.35/757.38	c cleaning 75017 clauses out of 150055 with flag 20586303/2986298
789.17/776.88	c cleaning 75999 clauses out of 152039 with flag 21054437/3063299
810.48/798.14	c cleaning 76999 clauses out of 154039 with flag 21525871/3141298
829.55/817.19	c cleaning 78012 clauses out of 156041 with flag 22015013/3220299
851.44/838.98	c cleaning 79011 clauses out of 158027 with flag 22494358/3300297
873.33/860.57	c cleaning 80006 clauses out of 160019 with flag 23031435/3381300
895.47/882.56	c cleaning 80967 clauses out of 162011 with flag 23526509/3463298
920.92/907.85	c cleaning 82014 clauses out of 164044 with flag 24056799/3546298
943.88/930.78	c cleaning 83005 clauses out of 166030 with flag 24591898/3630298
969.59/956.31	c cleaning 84003 clauses out of 168027 with flag 25101024/3715300
997.35/983.87	c cleaning 84986 clauses out of 170021 with flag 25614890/3801297
1023.70/1010.10	c cleaning 85998 clauses out of 172035 with flag 26149885/3888297
1048.20/1034.23	c cleaning 87007 clauses out of 174037 with flag 26705142/3976297
1071.86/1057.76	c cleaning 88016 clauses out of 176032 with flag 27269093/4065299
1098.05/1083.40	c cleaning 88988 clauses out of 178014 with flag 27826280/4155297
1125.22/1110.76	c cleaning 90013 clauses out of 180027 with flag 28395235/4246298
1155.31/1140.41	c cleaning 90994 clauses out of 182014 with flag 28953432/4338298
1183.34/1168.42	c cleaning 92004 clauses out of 184022 with flag 29542587/4431300
1212.90/1197.95	c cleaning 93004 clauses out of 186017 with flag 30137756/4525299
1241.56/1226.43	c cleaning 93985 clauses out of 188012 with flag 30727100/4620298
1271.99/1256.77	c cleaning 95000 clauses out of 190027 with flag 31331319/4716298
1304.99/1289.89	c cleaning 96009 clauses out of 192027 with flag 31929510/4813298
1338.48/1323.42	c cleaning 96997 clauses out of 194017 with flag 32527046/4911297
1370.64/1355.33	c cleaning 97999 clauses out of 196021 with flag 33140916/5010298
1402.40/1387.13	c cleaning 98994 clauses out of 198021 with flag 33768769/5110297
1434.70/1419.42	c cleaning 99995 clauses out of 200028 with flag 34401351/5211298
1466.53/1451.21	c cleaning 100996 clauses out of 202033 with flag 35052947/5313298
1499.95/1484.38	c cleaning 101995 clauses out of 204036 with flag 35722523/5416297
1533.10/1517.31	c cleaning 102995 clauses out of 206041 with flag 36373496/5520297
1567.26/1551.48	c cleaning 104019 clauses out of 208049 with flag 37030982/5625300
1601.17/1585.07	c cleaning 105013 clauses out of 210028 with flag 37697167/5731298
1634.50/1618.24	c cleaning 105993 clauses out of 212014 with flag 38389134/5838297
1671.86/1655.11	c cleaning 106995 clauses out of 214021 with flag 39067191/5946297
1705.95/1689.05	c cleaning 107991 clauses out of 216027 with flag 39758826/6055298
1740.24/1723.23	c cleaning 109004 clauses out of 218037 with flag 40470297/6165299
1778.98/1761.64	c cleaning 109996 clauses out of 220031 with flag 41170558/6276297
1814.56/1797.07	c cleaning 111006 clauses out of 222036 with flag 41885974/6388298
1853.65/1835.71	c cleaning 111995 clauses out of 224029 with flag 42604270/6501297
1890.09/1872.18	c cleaning 113008 clauses out of 226039 with flag 43337125/6615302
1933.39/1914.21	c cleaning 114003 clauses out of 228028 with flag 44058473/6730299
1974.93/1955.78	c cleaning 115002 clauses out of 230023 with flag 44797953/6846297
2015.58/1996.01	c cleaning 116004 clauses out of 232023 with flag 45555766/6963299
2056.74/2036.96	c cleaning 117006 clauses out of 234019 with flag 46313196/7081299
2098.29/2078.21	c cleaning 117997 clauses out of 236012 with flag 47086382/7200298
2139.51/2119.28	c cleaning 118993 clauses out of 238015 with flag 47852862/7320298
2182.41/2161.97	c cleaning 119986 clauses out of 240021 with flag 48628178/7441297
2220.32/2199.64	c cleaning 121000 clauses out of 242035 with flag 49438238/7563297
2264.75/2243.91	c cleaning 122000 clauses out of 244036 with flag 50227315/7686298
2308.96/2288.30	c cleaning 123014 clauses out of 246038 with flag 51026818/7810300
2355.61/2334.90	c cleaning 124008 clauses out of 248022 with flag 51833840/7935298
2400.30/2379.53	c cleaning 124997 clauses out of 250013 with flag 52658186/8061297
2446.33/2425.64	c cleaning 125992 clauses out of 252017 with flag 53481081/8188298
2491.41/2470.86	c cleaning 127002 clauses out of 254024 with flag 54322633/8316297
2539.23/2518.65	c cleaning 127999 clauses out of 256022 with flag 55149576/8445297
2586.92/2566.25	c cleaning 129003 clauses out of 258024 with flag 55991709/8575298
2635.15/2614.04	c cleaning 130002 clauses out of 260021 with flag 56846328/8706298
2686.17/2665.01	c cleaning 131000 clauses out of 262019 with flag 57700818/8838298
2734.48/2713.18	c cleaning 131990 clauses out of 264018 with flag 58571788/8971297
2784.34/2762.89	c cleaning 133005 clauses out of 266030 with flag 59444486/9105299
2838.63/2816.65	c cleaning 134002 clauses out of 268023 with flag 60319468/9240297
2888.68/2866.66	c cleaning 134993 clauses out of 270021 with flag 61228999/9376297
2938.97/2916.85	c cleaning 136013 clauses out of 272028 with flag 62141813/9513297
2990.62/2968.36	c cleaning 136999 clauses out of 274015 with flag 63045236/9651297
3046.60/3023.81	c cleaning 138000 clauses out of 276016 with flag 64008249/9790297
3099.00/3075.94	c cleaning 139003 clauses out of 278016 with flag 64929915/9930297
3155.10/3131.92	c cleaning 140005 clauses out of 280016 with flag 65848752/10071300
3210.30/3187.06	c cleaning 140986 clauses out of 282008 with flag 66795366/10213297
3269.98/3245.91	c cleaning 142004 clauses out of 284024 with flag 67732573/10356299
3328.49/3304.79	c cleaning 143008 clauses out of 286018 with flag 68686414/10500297
3385.19/3361.36	c cleaning 143993 clauses out of 288010 with flag 69650658/10645297
3446.45/3422.13	c cleaning 144991 clauses out of 290017 with flag 70611577/10791297
3504.02/3479.36	c cleaning 146010 clauses out of 292026 with flag 71598965/10938297
3565.58/3540.89	c cleaning 146999 clauses out of 294016 with flag 72581796/11086297
3600.01/3575.12	c starts		: 64409
3600.01/3575.12	c conflicts		: 11181049
3600.01/3575.12	c decisions		: 122246710
3600.01/3575.12	c propagations		: 496208898
3600.01/3575.12	c inspects		: 33048088435
3600.01/3575.12	c shortcuts		: 0
3600.01/3575.12	c learnt literals	: 0
3600.01/3575.12	c learnt binary clauses	: 0
3600.01/3575.12	c learnt ternary clauses	: 0
3600.01/3575.12	c learnt constraints	: 11181049
3600.01/3575.12	c ignored constraints	: 0
3600.01/3575.12	c root simplifications	: 0
3600.01/3575.12	c removed literals (reason simplification)	: 0
3600.01/3575.12	c reason swapping (by a shorter reason)	: 0
3600.01/3575.12	c Calls to reduceDB	: 153
3600.01/3575.12	c Number of update (reduction) of LBD	: 5130607
3600.01/3575.12	c Imported unit clauses	: 0
3600.01/3575.12	c No decision after first conflict	: false
3600.01/3575.12	c number of reductions to clauses (during analyze)	: 0
3600.01/3575.12	c number of learned constraints concerned by reduction	: 0
3600.01/3575.12	c number of learning phase by resolution	: 0
3600.01/3575.12	c number of learning phase by cutting planes	: 0
3600.01/3575.12	c number of rounding to 1 operations	: 0
3600.01/3575.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3575.12	c number of reductions of the coefficients by power 2 	: 0
3600.01/3575.12	c number of right shift for reduction by power 2 	: 0
3600.01/3575.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3575.12	c number of ending skipping 	: 0
3600.01/3575.12	c number of internal skipping 	: 0
3600.01/3575.12	c number of derivation steps 	: 0
3600.01/3575.12	c number of skipped derivation steps 	: 0
3600.01/3575.12	c number of remaining unassigned 	: 0
3600.01/3575.12	c number of remaining assigned 	: 0
3600.01/3575.12	c number of falsified literals weakened from reason	: 0
3600.01/3575.12	c number of falsified literals weakened from conflict	: 0
3600.01/3575.12	c time for arithmetic operations	: 0
3600.01/3575.14	c minimum degree of deleted constraints	: null
3600.01/3575.14	c maximum degree of deleted constraints	: null
3600.01/3575.14	c number of deleted constraints	: 0
3600.01/3575.15	c speed (assignments/second)	: 138801.5165514064
3600.01/3575.15	c non guided choices	: 2909103
3600.22/3575.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 241769
3600.22/3575.23	s SATISFIABLE
3600.22/3575.23	c Found 7 solution(s)
3600.22/3575.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
3600.22/3575.25	c objective function=3
3600.22/3575.25	c Total wall clock time (in seconds): 3575.125

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62957 MiB free)
  memory of node 1: 64510 MiB (63516 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424824-1720881313/watcher-4424824-1720881313 -o /tmp/evaluation-result-4424824-1720881313/solver-4424824-1720881313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720881326-708128 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424824-1720881313.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=708230, runsolver pid=708225

[startup+0.100059 s]*
/proc/loadavg: 1.06 1.10 1.17 12/327 708258
/proc/meminfo: memFree=129426256/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=18975048 memory=65344 CPUtime=0.14 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 7232 0 0 0 12 2 0 0 20 0 18 0 140301066 19430449152 16336 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4743762 16336 5671 1 0 549341 0
[pid=708230/tid=708233] ppid=708225 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 5749 0 0 0 7 1 0 0 20 0 18 0 140301066 19430449152 16336 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140301069 19430449152 16336 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140301069 19430449152 16336 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65344 KiB

[startup+0.215677 s]*
/proc/loadavg: 1.06 1.10 1.17 12/331 708262
/proc/meminfo: memFree=129381096/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19041612 memory=75892 CPUtime=0.35 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 7760 0 0 0 33 2 0 0 20 0 19 0 140301066 19498610688 18973 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4760403 18973 5830 1 0 549937 0
[pid=708230/tid=708233] ppid=708225 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 6000 0 0 0 17 1 0 0 20 0 19 0 140301066 19498610688 18973 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19041612 memory=17963 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 18973 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 18973 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301085 19498610688 18973 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75892 KiB

[startup+0.306677 s]*
/proc/loadavg: 1.06 1.10 1.17 9/331 708262
/proc/meminfo: memFree=129362860/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19041612 memory=85156 CPUtime=0.53 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 11347 0 0 0 50 3 0 0 20 0 19 0 140301066 19498610688 21289 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4760403 21289 5846 1 0 551710 0
[pid=708230/tid=708233] ppid=708225 vsize=19041612 memory=-8816755476065067708 CPUtime=0.27 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 6050 0 0 0 26 1 0 0 20 0 19 0 140301066 19498610688 21289 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 21289 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 21289 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301085 19498610688 21289 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85156 KiB

[startup+0.700678 s]
/proc/loadavg: 1.06 1.10 1.17 15/331 708262
/proc/meminfo: memFree=129331256/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19041612 memory=100608 CPUtime=1.27 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 11680 0 0 0 124 3 0 0 20 0 19 0 140301066 19498610688 25152 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4760403 25152 5862 1 0 551850 0
[pid=708230/tid=708233] ppid=708225 vsize=19041612 memory=35024 CPUtime=0.65 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 6059 0 0 0 63 2 0 0 20 0 19 0 140301066 19498610688 25152 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 25152 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 25152 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301085 19498610688 25152 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100608 KiB

[startup+1.50068 s]
/proc/loadavg: 1.06 1.10 1.17 8/331 708262
/proc/meminfo: memFree=129263460/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19041612 memory=128264 CPUtime=2.39 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 15689 0 0 0 235 4 0 0 20 0 19 0 140301066 19498610688 32066 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4760403 32066 5862 1 0 551962 0
[pid=708230/tid=708233] ppid=708225 vsize=19041612 memory=12312 CPUtime=1.43 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 7133 0 0 0 141 2 0 0 20 0 19 0 140301066 19498610688 32066 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 32066 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140301069 19498610688 32066 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301085 19498610688 32066 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128264 KiB

[startup+3.10567 s]
/proc/loadavg: 1.06 1.10 1.17 5/333 708264
/proc/meminfo: memFree=129044532/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=202408 CPUtime=4.27 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 18289 0 0 0 421 6 0 0 20 0 20 0 140301066 19566772224 50602 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 50602 5878 1 0 552709 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=0 CPUtime=2.98 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 7380 0 0 0 295 3 0 0 20 0 20 0 140301066 19566772224 50602 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=-8816755476065067708 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 50602 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 50602 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=2220 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 50602 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202408 KiB

[startup+6.30937 s]
/proc/loadavg: 1.30 1.15 1.18 5/334 708265
/proc/meminfo: memFree=128747844/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=284152 CPUtime=7.65 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 19927 0 0 0 758 7 0 0 20 0 20 0 140301066 19566772224 71038 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 71038 5878 1 0 553152 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=2220 CPUtime=6.09 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) S 708225 708230 703901 0 -1 1077936192 7523 0 0 0 606 3 0 0 20 0 20 0 140301066 19566772224 71038 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 71038 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 71038 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 71038 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 7.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 284152 KiB

[startup+12.7007 s]
/proc/loadavg: 1.51 1.20 1.20 5/334 708267
/proc/meminfo: memFree=128343784/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=545504 CPUtime=14.23 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 23308 0 0 0 1412 11 0 0 20 0 20 0 140301066 19566772224 136376 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 136376 5889 1 0 659661 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=12312 CPUtime=12.2 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 8622 0 0 0 1217 3 0 0 20 0 20 0 140301066 19566772224 136376 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=398884 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 136376 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=35024 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 136376 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 136376 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 14.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 545504 KiB

[startup+25.5007 s]
/proc/loadavg: 2.14 1.35 1.25 5/335 708269
/proc/meminfo: memFree=127107832/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=1126696 CPUtime=27.4 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 28762 0 0 0 2716 24 0 0 20 0 20 0 140301066 19566772224 281674 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 281674 5889 1 0 787124 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=6943526294502006880 CPUtime=24.53 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 9648 0 0 0 2446 7 0 0 20 0 20 0 140301066 19566772224 281674 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 281674 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=3444 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 281674 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 281674 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 27.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1126696 KiB

[startup+51.1057 s]
/proc/loadavg: 2.83 1.58 1.33 5/334 708274
/proc/meminfo: memFree=125435052/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=1782256 CPUtime=53.38 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 31430 0 0 0 5299 39 0 0 20 0 20 0 140301066 19566772224 445564 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 445564 5889 1 0 787135 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=37484 CPUtime=49.47 cores=1,3

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

/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 93604 0 0 0 317324 57 0 0 20 0 20 0 140301066 19566772224 3488919 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=13450936 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3488919 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=13828700 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1222 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3488919 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=13450936 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3488919 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3246.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13955676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/332 710047
/proc/meminfo: memFree=102192312/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14596708 CPUtime=3306.3 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 267172 0 0 0 330190 440 0 0 20 0 20 0 140301066 19566772224 3649177 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3649177 5904 1 0 4087497 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=14477916 CPUtime=3232.9 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 95495 0 0 0 323221 69 0 0 20 0 20 0 140301066 19566772224 3649177 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=14596708 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3649177 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=-7090487320845313148 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1225 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3649177 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=37484 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3649177 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3306.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14596708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.09 6/336 710118
/proc/meminfo: memFree=101969384/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14818108 CPUtime=3366.22 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 269956 0 0 0 336174 448 0 0 20 0 20 0 140301066 19566772224 3704527 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3704527 5904 1 0 4087497 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=12316 CPUtime=3292.28 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 97129 0 0 0 329158 70 0 0 20 0 20 0 140301066 19566772224 3704527 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=14596708 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3704527 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=14818108 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1225 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3704527 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=14818108 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3704527 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3366.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14818108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/336 710128
/proc/meminfo: memFree=101965220/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14822212 CPUtime=3426.15 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 272967 0 0 0 342164 451 0 0 20 0 20 0 140301066 19566772224 3705553 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3705553 5904 1 0 4087497 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=35152 CPUtime=3351.78 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 99323 0 0 0 335108 70 0 0 20 0 20 0 140301066 19566772224 3705553 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=14818108 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705553 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=14822212 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1226 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705553 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=14822212 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3705553 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3426.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14822212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.09 6/336 710139
/proc/meminfo: memFree=101964652/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14822260 CPUtime=3487.05 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 280836 0 0 0 348252 453 0 0 20 0 20 0 140301066 19566772224 3705565 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3705565 5904 1 0 4087497 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=14822260 CPUtime=3410.61 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 102160 0 0 0 340990 71 0 0 20 0 20 0 140301066 19566772224 3705565 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705565 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=14822260 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1272 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705565 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3705565 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3487.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14822260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/336 710150
/proc/meminfo: memFree=101964248/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14822264 CPUtime=3547.26 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 289172 0 0 0 354270 456 0 0 20 0 20 0 140301066 19566772224 3705566 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3705566 5904 1 0 4087497 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=14822260 CPUtime=3469.97 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 105603 0 0 0 346926 71 0 0 20 0 20 0 140301066 19566772224 3705566 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705566 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=14822264 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1273 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705566 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=14822264 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3705566 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3547.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14822264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.11 s]
/proc/loadavg: 4.16 4.16 4.10 5/335 710159
/proc/meminfo: memFree=101961744/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19108176 memory=14822312 CPUtime=3600.01 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 291938 0 0 0 359544 457 0 0 20 0 20 0 140301066 19566772224 3705578 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4777044 3705578 5904 1 0 4087506 0
[pid=708230/tid=708233] ppid=708225 vsize=19108176 memory=14822264 CPUtime=3522.02 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 107522 0 0 0 352130 72 0 0 20 0 20 0 140301066 19566772224 3705578 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19108176 memory=14822300 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705578 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19108176 memory=14822300 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1319 0 0 0 0 0 0 0 20 0 20 0 140301069 19566772224 3705578 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708262] ppid=708225 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/708230/task/708262/stat : 708262 (Timer-0) S 708225 708230 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301085 19566772224 3705578 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14822312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.75 s, system=4.61701 s

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

[startup+3575.22 s]
/proc/loadavg: 4.16 4.16 4.10 5/335 710159
/proc/meminfo: memFree=101961744/131524600 swapFree=131071996/131071996
[pid=708230] ppid=708225 vsize=19307868 memory=14823052 CPUtime=3600.22 cores=1,3
/proc/708230/stat : 708230 (java) S 708225 708230 703901 0 -1 1077936128 295105 0 0 0 359565 457 0 0 20 0 21 0 140301066 19771256832 3705763 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
/proc/708230/statm: 4826967 3705763 5903 1 0 4088448 0
[pid=708230/tid=708233] ppid=708225 vsize=19307868 memory=12316 CPUtime=3522.13 cores=1,3
/proc/708230/task/708233/stat : 708233 (java) R 708225 708230 703901 0 -1 4194368 107641 0 0 0 352141 72 0 0 20 0 21 0 140301066 19771256832 3705763 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708251] ppid=708225 vsize=19307868 memory=35152 CPUtime=0 cores=1,3
/proc/708230/task/708251/stat : 708251 (Finalizer) S 708225 708230 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140301069 19771256832 3705763 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
[pid=708230/tid=708258] ppid=708225 vsize=19307868 memory=2220 CPUtime=0 cores=1,3
/proc/708230/task/708258/stat : 708258 (Common-Cleaner) S 708225 708230 703901 0 -1 1077936192 1319 0 0 0 0 0 0 0 20 0 21 0 140301069 19771256832 3705763 134679101440 94745086464000 94745086467696 140720879953584 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94745086475512 94745086476304 94745094832128 140720879961069 140720879961159 140720879961159 140720879968200 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14823052 KiB

[startup+3575.31 s]*
/proc/loadavg: 4.16 4.16 4.10 5/317 710162
/proc/meminfo: memFree=116421784/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3575.32
CPU time (s): 3600.37
CPU user time (s): 3595.75
CPU system time (s): 4.61701
CPU usage (%): 100.701
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14823052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.61701
maximum resident set size= 14824032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112816
involuntary context switches= 17263


# summary of solver processes directly reported to runsolver:
#   pid: 708230
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3595.75
#   total CPU system time (s): 4.61701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33906 second user time and 18.4273 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-13 16:35:26
IDJOB=4424824
IDBENCH=143478
IDSOLVER=3037
FILE ID=nodeC033/4424824-1720881313
RUNJOBID= nodeC033-1720881326-708128
SLURM_JOB_ID= 7483774
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424824-1720881313/watcher-4424824-1720881313 -o /tmp/evaluation-result-4424824-1720881313/solver-4424824-1720881313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720881326-708128 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424824-1720881313.wbo

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

MD5SUM BENCH= 4aa959acef268827fee52a48855c070a
RANDOM SEED=1211026060

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129562864 kB
MemAvailable:   129711380 kB
Buffers:          319812 kB
Cached:           673700 kB
SwapCached:            0 kB
Active:           475440 kB
Inactive:         925536 kB
Active(anon):       1484 kB
Inactive(anon):   444012 kB
Active(file):     473956 kB
Inactive(file):   481524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3336 kB
Writeback:             0 kB
AnonPages:        407164 kB
Mapped:           112964 kB
Shmem:             37716 kB
KReclaimable:      65368 kB
Slab:             163068 kB
SReclaimable:      65368 kB
SUnreclaim:        97700 kB
KernelStack:        4124 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4965536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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:      201428 kB
DirectMap2M:    11106304 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC033 at 2024-07-13 17:35:01