Trace number 4459775

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-92 3600.84 3443.41

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
MD5SUMa8db507b9a19068579e2e54aa556294a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark71345.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

Quality of the solution as a function of time


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

Solver Data 

0.14/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.11	c See www.sat4j.org for details.
0.14/0.12	c version CUSTOM.v20240707
0.14/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.14	c java.vm.version	22.0.1+8-16
0.14/0.14	c java.vm.vendor	Oracle Corporation
0.14/0.14	c sun.arch.data.model	64
0.14/0.14	c java.version		22.0.1
0.14/0.14	c os.name		Linux
0.14/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.14	c os.arch		amd64
0.14/0.14	c Free memory 		2113181440
0.14/0.14	c Max memory 		16282288128
0.14/0.14	c Total memory 		2122317824
0.14/0.14	c Number of processors 	2
0.14/0.18	--- Begin Solver configuration ---
0.14/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.18	Learn all clauses as in MiniSAT
0.14/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.18	No reason simplification
0.14/0.18	Glucose 2.1 dynamic restart strategy
0.14/0.18	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.18	timeout=2147483s
0.14/0.18	DB Simplification allowed=false
0.14/0.18	Listener: none
0.14/0.18	--- End Solver configuration ---
0.14/0.19	c Pseudo Boolean Optimization by upper bound
0.14/0.19	c --- Begin Solver configuration ---
0.14/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.19	c Learn all clauses as in MiniSAT
0.14/0.19	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.19	c No reason simplification
0.14/0.19	c Glucose 2.1 dynamic restart strategy
0.14/0.19	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.19	c timeout=2147483s
0.14/0.19	c DB Simplification allowed=false
0.14/0.19	c Listener: none
0.14/0.19	c --- End Solver configuration ---
0.14/0.19	c solving HOME/instance-4459775-1721939473.opb
0.14/0.19	c reading problem ... 
0.14/0.19	c  objective function found
0.50/0.37	c ... done. Wall clock time 0.181s.
0.50/0.37	c declared #vars     500
0.50/0.37	c internal #vars     3664
0.50/0.37	c #constraints  7328
0.50/0.37	c constraints type 
0.50/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3164
0.50/0.37	c org.sat4j.specs.Constr$1 => 563
0.50/0.37	c org.sat4j.pb.constraints.pb.UnitClausesPB => 391
0.50/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3164
0.50/0.37	c org.sat4j.pb.constraints.pb.UnitClausePB => 46
0.50/0.37	c 7328 constraints processed.
0.50/0.39	c objective function length is 500 literals
0.68/0.44	c SATISFIABLE
0.68/0.44	c OPTIMIZING...
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.256
0.68/0.44	o -82
1.80/1.09	c Got one! Elapsed wall clock time (in seconds):0.906
1.80/1.09	o -83
1.80/1.10	c Got one! Elapsed wall clock time (in seconds):0.911
1.80/1.10	o -85
2.19/1.27	c cleaning 2632 clauses out of 5264 with flag 2099/5264
3.20/1.80	c cleaning 4315 clauses out of 8632 with flag 14486/11264
3.39/1.88	c Got one! Elapsed wall clock time (in seconds):1.696
3.39/1.88	o -86
3.75/2.09	c cleaning 5146 clauses out of 10291 with flag 8397/17238
4.22/2.45	c cleaning 5570 clauses out of 11144 with flag 20797/23237
4.62/2.82	c cleaning 6285 clauses out of 12575 with flag 35261/30238
5.17/3.33	c cleaning 7141 clauses out of 14289 with flag 51753/38237
5.77/3.88	c cleaning 8074 clauses out of 16148 with flag 70309/47237
5.95/3.96	c Got one! Elapsed wall clock time (in seconds):3.768
5.95/3.96	o -87
6.55/4.37	c cleaning 6858 clauses out of 13724 with flag 8695/52887
6.70/4.49	c Got one! Elapsed wall clock time (in seconds):4.299
6.70/4.49	o -88
6.91/4.67	c cleaning 6126 clauses out of 12255 with flag 6618/58276
7.32/5.02	c cleaning 6060 clauses out of 12128 with flag 19646/64275
8.11/5.88	c cleaning 6527 clauses out of 13068 with flag 34591/71275
9.05/6.61	c cleaning 7266 clauses out of 14541 with flag 50888/79275
9.46/7.10	c cleaning 8136 clauses out of 16275 with flag 69330/88275
10.05/7.61	c cleaning 9066 clauses out of 18139 with flag 89821/98275
10.21/7.77	c Got one! Elapsed wall clock time (in seconds):7.591
10.21/7.77	o -89
10.49/7.99	c cleaning 7323 clauses out of 14652 with flag 8240/103854
10.79/8.26	c cleaning 6662 clauses out of 13329 with flag 20574/109854
11.15/8.56	c cleaning 6830 clauses out of 13668 with flag 34937/116855
11.83/9.07	c cleaning 7416 clauses out of 14838 with flag 51465/124855
12.22/9.48	c cleaning 8211 clauses out of 16421 with flag 69884/133854
13.08/10.16	c cleaning 9105 clauses out of 18210 with flag 90427/143854
13.68/10.70	c cleaning 10048 clauses out of 20106 with flag 112999/154855
14.18/11.25	c cleaning 11027 clauses out of 22057 with flag 137532/166854
14.79/11.89	c cleaning 12012 clauses out of 24031 with flag 164137/179855
15.65/12.65	c cleaning 13005 clauses out of 26019 with flag 192914/193855
16.35/13.37	c cleaning 14005 clauses out of 28013 with flag 223733/208854
17.70/14.43	c cleaning 15004 clauses out of 30009 with flag 256692/224855
18.59/15.33	c cleaning 15997 clauses out of 32004 with flag 291659/241854
19.94/16.53	c cleaning 17003 clauses out of 34007 with flag 328662/259854
21.04/17.69	c cleaning 17999 clauses out of 36005 with flag 367667/278855
22.68/19.08	c cleaning 19003 clauses out of 38006 with flag 408748/298855
24.07/20.40	c cleaning 19996 clauses out of 40002 with flag 451904/319854
25.96/22.14	c cleaning 21004 clauses out of 42007 with flag 497075/341855
27.55/23.72	c cleaning 21999 clauses out of 44003 with flag 544140/364855
29.64/25.62	c cleaning 22998 clauses out of 46003 with flag 593411/388854
31.43/27.49	c cleaning 23998 clauses out of 48005 with flag 644687/413854
34.13/29.88	c cleaning 24997 clauses out of 50008 with flag 698154/439855
37.01/32.37	c cleaning 26004 clauses out of 52010 with flag 753579/466854
39.31/34.66	c cleaning 27003 clauses out of 54007 with flag 811185/494855
41.83/36.98	c cleaning 27999 clauses out of 56003 with flag 870846/523854
44.82/39.64	c cleaning 29002 clauses out of 58004 with flag 932812/553854
46.92/41.76	c cleaning 29997 clauses out of 60003 with flag 996547/584855
49.54/44.27	c cleaning 30998 clauses out of 62005 with flag 1062512/616854
52.64/47.08	c cleaning 32003 clauses out of 64009 with flag 1130480/649856
56.05/50.18	c cleaning 33000 clauses out of 66005 with flag 1200413/683855
58.63/52.77	c cleaning 34001 clauses out of 68005 with flag 1272533/718855
61.48/55.58	c cleaning 34998 clauses out of 70003 with flag 1346634/754854
64.67/58.54	c cleaning 35999 clauses out of 72005 with flag 1422804/791854
68.25/61.80	c cleaning 36998 clauses out of 74007 with flag 1501037/829855
71.84/65.12	c cleaning 38003 clauses out of 76008 with flag 1581478/868854
75.64/68.62	c cleaning 38998 clauses out of 78006 with flag 1663798/908855
81.62/73.04	c cleaning 40002 clauses out of 80007 with flag 1748163/949854
85.45/76.65	c cleaning 41004 clauses out of 82007 with flag 1834840/991856
89.76/80.85	c cleaning 41997 clauses out of 84002 with flag 1923365/1034855
93.84/84.69	c cleaning 43001 clauses out of 86004 with flag 2014020/1078854
98.60/89.17	c cleaning 43998 clauses out of 88005 with flag 2106929/1123856
103.94/94.18	c cleaning 45001 clauses out of 90005 with flag 2201608/1169854
108.46/98.32	c cleaning 46001 clauses out of 92005 with flag 2298703/1216855
112.69/102.25	c cleaning 47001 clauses out of 94003 with flag 2398495/1264854
117.34/106.53	c cleaning 47995 clauses out of 96002 with flag 2499216/1313854
121.70/110.77	c cleaning 49000 clauses out of 98009 with flag 2602239/1363856
127.05/115.88	c cleaning 50004 clauses out of 100007 with flag 2707368/1414854
133.54/121.52	c cleaning 50998 clauses out of 102004 with flag 2814242/1466855
138.70/126.39	c cleaning 52000 clauses out of 104005 with flag 2923915/1519854
146.70/132.39	c cleaning 52999 clauses out of 106006 with flag 3035371/1573855
153.33/138.47	c cleaning 53999 clauses out of 108006 with flag 3148804/1628854
159.11/144.00	c cleaning 54998 clauses out of 110007 with flag 3264682/1684854
165.85/150.45	c cleaning 56000 clauses out of 112009 with flag 3382404/1741854
171.49/155.93	c cleaning 56999 clauses out of 114009 with flag 3502053/1799854
178.44/162.68	c cleaning 58002 clauses out of 116010 with flag 3624016/1858854
184.74/168.24	c cleaning 59002 clauses out of 118008 with flag 3747996/1918854
191.36/174.58	c cleaning 59998 clauses out of 120006 with flag 3873810/1979854
198.81/181.79	c cleaning 60998 clauses out of 122008 with flag 4001727/2041854
207.29/189.99	c cleaning 62004 clauses out of 124010 with flag 4131542/2104854
217.14/199.10	c cleaning 63001 clauses out of 126007 with flag 4263909/2168855
229.31/208.90	c cleaning 64002 clauses out of 128007 with flag 4398450/2233856
237.38/216.77	c cleaning 64999 clauses out of 130003 with flag 4534932/2299854
244.12/222.95	c cleaning 65993 clauses out of 132004 with flag 4674078/2366854
252.32/230.82	c cleaning 67001 clauses out of 134011 with flag 4814594/2434854
260.74/238.97	c cleaning 68004 clauses out of 136011 with flag 4957306/2503855
268.28/245.98	c cleaning 69002 clauses out of 138008 with flag 5102818/2573856
276.91/254.22	c cleaning 70001 clauses out of 140006 with flag 5250508/2644856
286.37/262.92	c cleaning 71001 clauses out of 142003 with flag 5399133/2716854
294.33/270.59	c cleaning 71998 clauses out of 144004 with flag 5550534/2789856
304.44/280.49	c cleaning 73002 clauses out of 146005 with flag 5703118/2863855
313.35/288.66	c cleaning 73995 clauses out of 148003 with flag 5857697/2938855
322.11/297.18	c cleaning 74998 clauses out of 150007 with flag 6014090/3014854
330.89/305.31	c cleaning 76002 clauses out of 152009 with flag 6173464/3091854
338.83/313.04	c cleaning 76996 clauses out of 154008 with flag 6335537/3169855
347.40/321.19	c cleaning 78003 clauses out of 156011 with flag 6499825/3248854
356.76/329.76	c cleaning 79001 clauses out of 158009 with flag 6665743/3328855
368.05/340.69	c cleaning 79999 clauses out of 160008 with flag 6832910/3409855
384.69/354.21	c cleaning 81003 clauses out of 162008 with flag 7002055/3491854
396.36/365.68	c cleaning 82000 clauses out of 164005 with flag 7173326/3574854
407.46/376.16	c cleaning 82998 clauses out of 166006 with flag 7346851/3658855
419.09/387.43	c cleaning 84000 clauses out of 168007 with flag 7522250/3743854
431.98/399.61	c cleaning 85001 clauses out of 170007 with flag 7700062/3829854
444.08/411.35	c cleaning 85999 clauses out of 172006 with flag 7879127/3916854
456.69/423.27	c cleaning 87004 clauses out of 174008 with flag 8060242/4004855
469.24/435.47	c cleaning 87999 clauses out of 176005 with flag 8243691/4093856
480.39/445.85	c cleaning 88997 clauses out of 178005 with flag 8429120/4183855
493.10/458.25	c cleaning 90000 clauses out of 180008 with flag 8616119/4274855
504.92/469.47	c cleaning 90999 clauses out of 182008 with flag 8805362/4366855
519.80/483.67	c cleaning 91997 clauses out of 184008 with flag 8996359/4459854
531.75/495.20	c cleaning 93002 clauses out of 186013 with flag 9189910/4553856
543.33/506.06	c cleaning 93998 clauses out of 188009 with flag 9387524/4648854
554.83/516.80	c cleaning 95004 clauses out of 190011 with flag 9587078/4744854
571.95/531.89	c cleaning 95994 clauses out of 192007 with flag 9787088/4841854
586.74/545.84	c cleaning 97002 clauses out of 194014 with flag 9989524/4939855
604.79/563.35	c cleaning 98001 clauses out of 196012 with flag 10193348/5038855
618.01/576.20	c cleaning 99004 clauses out of 198012 with flag 10398142/5138856
636.42/593.45	c cleaning 99998 clauses out of 200006 with flag 10605359/5239854
651.80/608.45	c cleaning 100997 clauses out of 202008 with flag 10815197/5341854
673.22/628.80	c cleaning 102003 clauses out of 204011 with flag 11026763/5444854
689.72/644.96	c cleaning 102999 clauses out of 206010 with flag 11240447/5548856
705.64/659.98	c cleaning 104001 clauses out of 208011 with flag 11456516/5653856
726.19/680.07	c cleaning 105001 clauses out of 210009 with flag 11674194/5759855
746.60/699.49	c cleaning 105999 clauses out of 212009 with flag 11893819/5866856
763.93/716.34	c cleaning 107001 clauses out of 214008 with flag 12115338/5974854
781.66/733.29	c cleaning 108002 clauses out of 216009 with flag 12338904/6083856
800.65/751.88	c cleaning 109000 clauses out of 218006 with flag 12564398/6193855
821.06/771.54	c cleaning 110000 clauses out of 220006 with flag 12791942/6304855
839.61/789.72	c cleaning 110998 clauses out of 222006 with flag 13022319/6416855
854.66/803.92	c cleaning 112002 clauses out of 224007 with flag 13255971/6529854
876.96/823.31	c cleaning 113000 clauses out of 226006 with flag 13491439/6643855
895.40/841.35	c cleaning 114001 clauses out of 228005 with flag 13728251/6758854
914.37/859.44	c cleaning 114998 clauses out of 230005 with flag 13967083/6874855
931.93/876.11	c cleaning 115994 clauses out of 232006 with flag 14207081/6991854
952.72/896.35	c cleaning 117002 clauses out of 234012 with flag 14449061/7109854
973.92/916.68	c cleaning 118003 clauses out of 236010 with flag 14693228/7228854
988.84/930.67	c cleaning 119002 clauses out of 238008 with flag 14942388/7348855
995.92/937.26	c Got one! Elapsed wall clock time (in seconds):937.075
995.92/937.26	o -90
999.91/941.29	c cleaning 98343 clauses out of 196696 with flag 10786/7426545
1002.21/943.58	c cleaning 52172 clauses out of 104352 with flag 23668/7432544
1003.21/944.55	c cleaning 29588 clauses out of 59180 with flag 38629/7439544
1003.72/945.01	c cleaning 18790 clauses out of 37592 with flag 55695/7447544
1004.11/945.45	c cleaning 13897 clauses out of 27803 with flag 74688/7456545
1004.61/945.91	c cleaning 11949 clauses out of 23905 with flag 95409/7466544
1004.61/945.96	c Got one! Elapsed wall clock time (in seconds):945.778
1004.61/945.96	o -91
1004.83/946.18	c cleaning 8700 clauses out of 17401 with flag 8596/7471989
1005.12/946.42	c cleaning 7343 clauses out of 14700 with flag 21383/7477988
1005.32/946.68	c cleaning 7176 clauses out of 14358 with flag 35944/7484989
1005.75/947.02	c cleaning 7587 clauses out of 15182 with flag 52535/7492989
1006.13/947.41	c cleaning 8297 clauses out of 16594 with flag 71330/7501988
1006.53/947.86	c cleaning 9148 clauses out of 18297 with flag 92028/7511988
1007.03/948.35	c cleaning 10071 clauses out of 20149 with flag 114660/7522988
1007.63/948.93	c cleaning 11034 clauses out of 22078 with flag 139359/7534988
1008.23/949.55	c cleaning 12021 clauses out of 24046 with flag 166092/7547990
1008.93/950.26	c cleaning 13009 clauses out of 26023 with flag 194787/7561988
1009.91/951.17	c cleaning 14008 clauses out of 28015 with flag 225547/7576989
1010.81/952.05	c cleaning 15002 clauses out of 30006 with flag 258360/7592988
1011.81/953.02	c cleaning 16000 clauses out of 32004 with flag 293347/7609988
1012.81/954.02	c cleaning 16998 clauses out of 34004 with flag 330189/7627988
1014.14/955.29	c cleaning 17999 clauses out of 36006 with flag 369448/7646988
1015.44/956.51	c cleaning 19000 clauses out of 38008 with flag 410832/7666989
1016.85/957.93	c cleaning 20000 clauses out of 40007 with flag 454053/7687988
1018.77/959.60	c cleaning 21001 clauses out of 42008 with flag 499439/7709989
1020.27/961.16	c cleaning 22001 clauses out of 44007 with flag 546867/7732989
1021.88/962.71	c cleaning 23000 clauses out of 46006 with flag 596574/7756989
1023.93/964.52	c cleaning 24003 clauses out of 48005 with flag 648471/7781988
1025.54/966.16	c cleaning 24997 clauses out of 50002 with flag 702541/7807988
1027.23/967.86	c cleaning 25999 clauses out of 52006 with flag 758695/7834989
1029.50/969.91	c cleaning 27004 clauses out of 54007 with flag 816796/7862989
1031.49/971.95	c cleaning 28001 clauses out of 56002 with flag 876884/7891988
1033.49/973.90	c cleaning 29000 clauses out of 58004 with flag 938715/7921991
1035.57/975.97	c cleaning 29997 clauses out of 60002 with flag 1002646/7952989
1037.57/977.98	c cleaning 31002 clauses out of 62004 with flag 1068548/7984988
1039.95/980.18	c cleaning 32001 clauses out of 64003 with flag 1136340/8017989
1042.34/982.52	c cleaning 33000 clauses out of 66001 with flag 1206401/8051988
1045.31/985.36	c cleaning 33999 clauses out of 68001 with flag 1278431/8086988
1048.50/988.52	c cleaning 35002 clauses out of 70003 with flag 1352844/8122989
1051.57/991.44	c cleaning 35995 clauses out of 72001 with flag 1429308/8159989
1054.88/994.72	c cleaning 36999 clauses out of 74006 with flag 1507548/8197989
1057.77/997.58	c cleaning 38003 clauses out of 76006 with flag 1587752/8236988
1060.47/1000.28	c cleaning 39000 clauses out of 78004 with flag 1670421/8276989
1063.67/1003.45	c cleaning 39997 clauses out of 80003 with flag 1755133/8317988
1067.36/1006.80	c cleaning 41001 clauses out of 82006 with flag 1841828/8359988
1070.35/1009.88	c cleaning 41999 clauses out of 84006 with flag 1930785/8402989
1073.94/1013.24	c cleaning 43001 clauses out of 86007 with flag 2022041/8446989
1077.64/1016.91	c cleaning 44002 clauses out of 88006 with flag 2115248/8491989
1080.91/1020.12	c cleaning 44999 clauses out of 90004 with flag 2210066/8537989
1084.87/1023.87	c cleaning 45997 clauses out of 92004 with flag 2306875/8584988
1089.07/1028.06	c cleaning 47002 clauses out of 94008 with flag 2405799/8632989
1092.66/1031.53	c cleaning 47998 clauses out of 96005 with flag 2507234/8681988
1098.90/1037.50	c cleaning 49003 clauses out of 98007 with flag 2612022/8731988
1103.50/1042.18	c cleaning 50002 clauses out of 100006 with flag 2716570/8782990
1107.53/1046.15	c cleaning 50998 clauses out of 102003 with flag 2823464/8834989
1112.14/1050.51	c cleaning 51996 clauses out of 104004 with flag 2932651/8887988
1117.81/1055.85	c cleaning 53001 clauses out of 106009 with flag 3043966/8941989
1122.71/1060.78	c cleaning 54000 clauses out of 108007 with flag 3157474/8996988
1127.30/1065.26	c cleaning 55001 clauses out of 110007 with flag 3272950/9052988
1133.21/1070.96	c cleaning 56000 clauses out of 112007 with flag 3389947/9109989
1138.63/1076.08	c cleaning 57004 clauses out of 114007 with flag 3509466/9167989
1145.31/1082.35	c cleaning 57995 clauses out of 116004 with flag 3630981/9226990
1152.20/1089.21	c cleaning 59004 clauses out of 118009 with flag 3754120/9286990
1158.25/1095.23	c cleaning 60000 clauses out of 120005 with flag 3878890/9347990
1164.00/1100.80	c cleaning 61002 clauses out of 122003 with flag 4006109/9409988
1170.72/1107.36	c cleaning 62000 clauses out of 124002 with flag 4135248/9472989
1179.29/1115.62	c cleaning 62997 clauses out of 126001 with flag 4266063/9536988
1187.14/1123.15	c cleaning 64000 clauses out of 128005 with flag 4398926/9601989
1194.69/1130.31	c cleaning 65001 clauses out of 130004 with flag 4533959/9667988
1202.00/1137.29	c cleaning 65998 clauses out of 132003 with flag 4671046/9734988
1209.15/1143.93	c cleaning 67000 clauses out of 134006 with flag 4811244/9802989
1220.12/1152.51	c cleaning 68000 clauses out of 136007 with flag 4952492/9871990
1228.54/1160.29	c cleaning 68997 clauses out of 138006 with flag 5096194/9941989
1236.97/1168.11	c cleaning 69997 clauses out of 140008 with flag 5242123/10012988
1244.15/1174.82	c cleaning 70997 clauses out of 142012 with flag 5390123/10084989
1252.05/1182.27	c cleaning 72001 clauses out of 144014 with flag 5540673/10157988
1260.34/1190.06	c cleaning 73002 clauses out of 146013 with flag 5693549/10231988
1268.08/1197.37	c cleaning 74004 clauses out of 148013 with flag 5848694/10306990
1276.23/1205.03	c cleaning 75000 clauses out of 150007 with flag 6005033/10382988
1283.65/1212.03	c cleaning 75998 clauses out of 152008 with flag 6163713/10459989
1291.76/1219.73	c cleaning 77000 clauses out of 154011 with flag 6324303/10537990
1299.56/1227.28	c cleaning 78001 clauses out of 156009 with flag 6486745/10616988
1306.92/1234.38	c cleaning 79000 clauses out of 158008 with flag 6651125/10696988
1314.40/1241.68	c cleaning 80003 clauses out of 160010 with flag 6817672/10777990
1322.82/1249.99	c cleaning 81003 clauses out of 162005 with flag 6986462/10859988
1333.17/1259.31	c cleaning 81995 clauses out of 164002 with flag 7157507/10942988
1343.33/1269.09	c cleaning 82997 clauses out of 166008 with flag 7330485/11026989
1352.91/1278.23	c cleaning 84002 clauses out of 168011 with flag 7505468/11111989
1361.41/1286.35	c cleaning 85003 clauses out of 170009 with flag 7682244/11197989
1372.94/1297.66	c cleaning 85998 clauses out of 172006 with flag 7861672/11284989
1384.58/1308.69	c cleaning 87002 clauses out of 174007 with flag 8043360/11372988
1397.57/1321.19	c cleaning 88000 clauses out of 176006 with flag 8225520/11461989
1410.34/1333.51	c cleaning 88997 clauses out of 178005 with flag 8410341/11551988
1423.64/1346.62	c cleaning 90003 clauses out of 180008 with flag 8597914/11642988
1438.64/1360.74	c cleaning 90997 clauses out of 182005 with flag 8787037/11734988
1451.97/1373.69	c cleaning 92001 clauses out of 184008 with flag 8978803/11827988
1466.18/1387.58	c cleaning 93003 clauses out of 186007 with flag 9172774/11921988
1482.17/1400.42	c cleaning 93995 clauses out of 188004 with flag 9368455/12016988
1495.81/1413.57	c cleaning 95001 clauses out of 190009 with flag 9565938/12112988
1510.10/1427.42	c cleaning 96002 clauses out of 192010 with flag 9765992/12209990
1523.32/1440.43	c cleaning 97000 clauses out of 194006 with flag 9968319/12307988
1541.88/1458.39	c cleaning 97998 clauses out of 196006 with flag 10172493/12406988
1557.15/1473.28	c cleaning 99000 clauses out of 198008 with flag 10378656/12506988
1562.42/1478.12	c Got one! Elapsed wall clock time (in seconds):1477.935
1562.42/1478.12	o -92
1564.80/1480.55	c cleaning 79220 clauses out of 158454 with flag 10341/12566434
1565.79/1481.58	c cleaning 42611 clauses out of 85236 with flag 22693/12572436
1566.28/1482.10	c cleaning 24804 clauses out of 49623 with flag 37137/12579434
1566.68/1482.49	c cleaning 16406 clauses out of 32819 with flag 53647/12587434
1567.08/1482.88	c cleaning 12699 clauses out of 25413 with flag 72172/12596434
1567.47/1483.26	c cleaning 11354 clauses out of 22715 with flag 92708/12606435
1567.98/1483.76	c cleaning 11179 clauses out of 22361 with flag 115406/12617435
1568.61/1484.32	c cleaning 11588 clauses out of 23183 with flag 140894/12629436
1569.20/1484.91	c cleaning 12297 clauses out of 24593 with flag 168563/12642434
1569.80/1485.57	c cleaning 13145 clauses out of 26297 with flag 198122/12656435
1570.49/1486.29	c cleaning 14076 clauses out of 28152 with flag 229848/12671435
1571.28/1487.01	c cleaning 15035 clauses out of 30075 with flag 263162/12687434
1572.33/1487.94	c cleaning 16017 clauses out of 32041 with flag 298470/12704435
1573.12/1488.76	c cleaning 17009 clauses out of 34024 with flag 335627/12722435
1574.01/1489.69	c cleaning 18004 clauses out of 36014 with flag 375536/12741434
1575.20/1490.82	c cleaning 19004 clauses out of 38010 with flag 417768/12761434
1577.54/1492.90	c cleaning 20002 clauses out of 40006 with flag 461161/12782434
1578.65/1494.06	c cleaning 21002 clauses out of 42004 with flag 508868/12804434
1579.93/1495.30	c cleaning 21998 clauses out of 44002 with flag 558775/12827434
1581.43/1496.81	c cleaning 22999 clauses out of 46004 with flag 610365/12851434
1583.30/1498.64	c cleaning 23997 clauses out of 48005 with flag 663771/12876434
1585.10/1500.44	c cleaning 25001 clauses out of 50008 with flag 718672/12902434
1586.81/1502.18	c cleaning 26000 clauses out of 52007 with flag 774288/12929434
1588.71/1503.91	c cleaning 27000 clauses out of 54008 with flag 832235/12957435
1590.61/1505.83	c cleaning 28003 clauses out of 56008 with flag 893367/12986435
1593.25/1508.27	c cleaning 29001 clauses out of 58005 with flag 957298/13016435
1595.45/1510.42	c cleaning 30000 clauses out of 60003 with flag 1023230/13047434
1597.74/1512.76	c cleaning 30995 clauses out of 62003 with flag 1090767/13079434
1600.25/1515.13	c cleaning 32004 clauses out of 64009 with flag 1158622/13112435
1602.33/1517.29	c cleaning 33000 clauses out of 66004 with flag 1229078/13146434
1604.99/1519.73	c cleaning 33999 clauses out of 68004 with flag 1301641/13181434
1607.88/1522.63	c cleaning 34999 clauses out of 70006 with flag 1376832/13217435
1611.35/1526.00	c cleaning 35997 clauses out of 72006 with flag 1454260/13254434
1614.46/1529.08	c cleaning 37002 clauses out of 74010 with flag 1532436/13292435
1617.54/1532.00	c cleaning 38000 clauses out of 76008 with flag 1612781/13331435
1620.54/1534.90	c cleaning 39002 clauses out of 78008 with flag 1695330/13371435
1623.90/1538.16	c cleaning 40000 clauses out of 80005 with flag 1779808/13412434
1627.69/1542.00	c cleaning 41000 clauses out of 82006 with flag 1866093/13454435
1631.51/1545.67	c cleaning 42000 clauses out of 84005 with flag 1954482/13497434
1635.69/1549.40	c cleaning 43002 clauses out of 86005 with flag 2045011/13541434
1639.18/1552.92	c cleaning 43997 clauses out of 88004 with flag 2137935/13586435
1643.65/1557.15	c cleaning 44998 clauses out of 90006 with flag 2232755/13632434
1649.23/1562.76	c cleaning 45999 clauses out of 92008 with flag 2329028/13679434
1653.56/1566.93	c cleaning 47000 clauses out of 94009 with flag 2427525/13727434
1659.57/1572.67	c cleaning 48006 clauses out of 96012 with flag 2528320/13776437
1664.32/1577.46	c cleaning 48999 clauses out of 98003 with flag 2630818/13826434
1670.22/1583.25	c cleaning 50000 clauses out of 100005 with flag 2735452/13877435
1676.13/1588.80	c cleaning 51000 clauses out of 102004 with flag 2841931/13929434
1681.08/1593.87	c cleaning 52001 clauses out of 104005 with flag 2950594/13982435
1685.50/1598.13	c cleaning 52997 clauses out of 106004 with flag 3061877/14036435
1692.57/1604.96	c cleaning 54000 clauses out of 108007 with flag 3175387/14091435
1697.56/1609.97	c cleaning 55001 clauses out of 110007 with flag 3291155/14147435
1703.37/1615.71	c cleaning 56000 clauses out of 112005 with flag 3408764/14204434
1710.51/1622.62	c cleaning 56995 clauses out of 114006 with flag 3527856/14262435
1717.06/1628.80	c cleaning 58004 clauses out of 116012 with flag 3649250/14321436
1722.36/1634.19	c cleaning 58999 clauses out of 118006 with flag 3772796/14381434
1727.78/1639.58	c cleaning 60003 clauses out of 120009 with flag 3898726/14442436
1734.92/1646.50	c cleaning 60999 clauses out of 122005 with flag 4026888/14504435
1741.79/1653.19	c cleaning 62001 clauses out of 124005 with flag 4156265/14567434
1749.86/1660.81	c cleaning 62997 clauses out of 126004 with flag 4287785/14631434
1757.31/1667.87	c cleaning 63999 clauses out of 128009 with flag 4421312/14696436
1765.51/1676.08	c cleaning 65005 clauses out of 130010 with flag 4556875/14762436
1772.07/1682.56	c cleaning 65997 clauses out of 132004 with flag 4694838/14829435
1779.55/1689.87	c cleaning 67002 clauses out of 134006 with flag 4835065/14897434
1789.83/1699.98	c cleaning 68000 clauses out of 136004 with flag 4976652/14966434
1799.48/1709.32	c cleaning 69001 clauses out of 138004 with flag 5120741/15036434
1809.49/1719.04	c cleaning 70002 clauses out of 140003 with flag 5267823/15107434
1818.36/1727.53	c cleaning 70993 clauses out of 142002 with flag 5416538/15179435
1827.51/1736.39	c cleaning 72001 clauses out of 144009 with flag 5566174/15252435
1836.45/1744.98	c cleaning 73003 clauses out of 146007 with flag 5717925/15326434
1848.54/1756.67	c cleaning 73999 clauses out of 148005 with flag 5872224/15401435
1856.80/1764.50	c cleaning 74997 clauses out of 150006 with flag 6028401/15477435
1865.70/1773.10	c cleaning 76004 clauses out of 152010 with flag 6186211/15554436
1875.26/1782.27	c cleaning 76999 clauses out of 154005 with flag 6345819/15632435
1883.98/1790.63	c cleaning 77998 clauses out of 156005 with flag 6508771/15711434
1892.36/1798.73	c cleaning 79001 clauses out of 158007 with flag 6673355/15791434
1903.99/1810.17	c cleaning 80000 clauses out of 160007 with flag 6839539/15872435
1917.98/1821.76	c cleaning 81003 clauses out of 162006 with flag 7007928/15954434
1928.56/1832.04	c cleaning 82000 clauses out of 164003 with flag 7178215/16037434
1939.03/1842.29	c cleaning 82997 clauses out of 166003 with flag 7350701/16121434
1950.38/1853.36	c cleaning 83998 clauses out of 168006 with flag 7524988/16206434
1960.79/1863.50	c cleaning 85000 clauses out of 170009 with flag 7701162/16292435
1973.07/1875.62	c cleaning 86001 clauses out of 172010 with flag 7879571/16379436
1985.21/1887.62	c cleaning 87003 clauses out of 174009 with flag 8060115/16467436
1995.43/1897.73	c cleaning 88000 clauses out of 176006 with flag 8243496/16556436
2005.57/1907.85	c cleaning 88999 clauses out of 178004 with flag 8429240/16646434
2019.00/1920.24	c cleaning 89995 clauses out of 180006 with flag 8616717/16737435
2031.46/1932.14	c cleaning 91000 clauses out of 182010 with flag 8806104/16829434
2043.50/1943.77	c cleaning 92000 clauses out of 184010 with flag 8997448/16922434
2054.07/1953.93	c cleaning 93006 clauses out of 186013 with flag 9191300/17016437
2065.64/1965.26	c cleaning 93997 clauses out of 188004 with flag 9386374/17111434
2076.64/1976.07	c cleaning 94999 clauses out of 190008 with flag 9584268/17207435
2090.17/1988.84	c cleaning 96002 clauses out of 192008 with flag 9784724/17304434
2102.39/2000.58	c cleaning 96994 clauses out of 194007 with flag 9985920/17402435
2116.12/2013.84	c cleaning 98005 clauses out of 196012 with flag 10188844/17501434
2130.61/2028.02	c cleaning 99001 clauses out of 198008 with flag 10394077/17601435
2142.63/2039.87	c cleaning 100000 clauses out of 200007 with flag 10601961/17702435
2154.73/2051.21	c cleaning 101000 clauses out of 202007 with flag 10812603/17804435
2168.81/2064.85	c cleaning 101998 clauses out of 204007 with flag 11024286/17907435
2183.85/2079.51	c cleaning 103003 clauses out of 206009 with flag 11237618/18011435
2200.22/2095.74	c cleaning 104001 clauses out of 208005 with flag 11453588/18116434
2215.29/2110.13	c cleaning 105002 clauses out of 210005 with flag 11671197/18222435
2231.75/2126.14	c cleaning 105995 clauses out of 212002 with flag 11890726/18329434
2247.52/2141.64	c cleaning 107002 clauses out of 214009 with flag 12112734/18437436
2261.64/2154.86	c cleaning 108001 clauses out of 216006 with flag 12337564/18546435
2278.70/2171.45	c cleaning 109002 clauses out of 218004 with flag 12563733/18656434
2294.99/2187.42	c cleaning 109996 clauses out of 220002 with flag 12791609/18767434
2314.76/2206.05	c cleaning 111001 clauses out of 222007 with flag 13021114/18879435
2329.08/2219.94	c cleaning 112000 clauses out of 224006 with flag 13253135/18992435
2351.52/2239.16	c cleaning 113000 clauses out of 226007 with flag 13487204/19106436
2366.96/2254.15	c cleaning 114000 clauses out of 228005 with flag 13724015/19221434
2383.22/2270.12	c cleaning 114997 clauses out of 230006 with flag 13963120/19337435
2398.62/2284.83	c cleaning 116002 clauses out of 232008 with flag 14205523/19454434
2412.87/2298.61	c cleaning 116997 clauses out of 234007 with flag 14448396/19572435
2429.80/2314.61	c cleaning 118001 clauses out of 236009 with flag 14693136/19691434
2447.72/2331.98	c cleaning 119000 clauses out of 238009 with flag 14939668/19811435
2468.40/2351.77	c cleaning 120001 clauses out of 240008 with flag 15188608/19932434
2487.04/2369.80	c cleaning 121002 clauses out of 242008 with flag 15439333/20054435
2506.66/2388.50	c cleaning 121998 clauses out of 244006 with flag 15692507/20177435
2528.35/2409.69	c cleaning 122995 clauses out of 246007 with flag 15946925/20301434
2551.37/2431.79	c cleaning 124002 clauses out of 248012 with flag 16204084/20426434
2570.31/2450.17	c cleaning 124997 clauses out of 250011 with flag 16464419/20552435
2589.79/2468.74	c cleaning 126001 clauses out of 252013 with flag 16726966/20679434
2610.47/2488.91	c cleaning 127004 clauses out of 254012 with flag 16990357/20807434
2632.26/2509.71	c cleaning 128003 clauses out of 256009 with flag 17255990/20936435
2652.77/2529.82	c cleaning 129001 clauses out of 258006 with flag 17523389/21066435
2673.24/2549.55	c cleaning 129999 clauses out of 260005 with flag 17792836/21197435
2699.62/2573.42	c cleaning 130995 clauses out of 262005 with flag 18063913/21329434
2722.23/2595.44	c cleaning 132003 clauses out of 264011 with flag 18336773/21462435
2744.07/2616.85	c cleaning 133002 clauses out of 266008 with flag 18611805/21596435
2767.37/2639.29	c cleaning 133998 clauses out of 268005 with flag 18888811/21731434
2790.46/2661.86	c cleaning 135000 clauses out of 270008 with flag 19168004/21867435
2816.39/2686.73	c cleaning 135998 clauses out of 272008 with flag 19449187/22004435
2842.33/2712.26	c cleaning 136998 clauses out of 274009 with flag 19733201/22142434
2878.49/2747.49	c cleaning 137997 clauses out of 276011 with flag 20018541/22281434
2909.50/2777.97	c cleaning 139000 clauses out of 278014 with flag 20306663/22421434
2943.49/2810.98	c cleaning 140004 clauses out of 280014 with flag 20595981/22562434
2977.36/2844.27	c cleaning 140999 clauses out of 282010 with flag 20887827/22704434
3003.57/2869.70	c cleaning 142001 clauses out of 284011 with flag 21182894/22847434
3031.40/2896.39	c cleaning 142997 clauses out of 286010 with flag 21477954/22991434
3064.26/2928.53	c cleaning 143999 clauses out of 288014 with flag 21774885/23136435
3086.56/2949.79	c cleaning 145002 clauses out of 290014 with flag 22076501/23282434
3111.19/2973.91	c cleaning 146002 clauses out of 292012 with flag 22380089/23429434
3139.47/2997.98	c cleaning 147002 clauses out of 294011 with flag 22684514/23577435
3168.22/3025.58	c cleaning 147999 clauses out of 296008 with flag 22990630/23726434
3196.74/3053.56	c cleaning 149001 clauses out of 298009 with flag 23298266/23876434
3226.63/3082.43	c cleaning 150004 clauses out of 300009 with flag 23608021/24027435
3258.74/3113.42	c cleaning 151001 clauses out of 302005 with flag 23920378/24179435
3297.50/3151.59	c cleaning 151996 clauses out of 304003 with flag 24234160/24332434
3331.57/3184.79	c cleaning 153001 clauses out of 306007 with flag 24550878/24486434
3359.73/3211.84	c cleaning 154002 clauses out of 308008 with flag 24868661/24641436
3388.35/3239.96	c cleaning 155000 clauses out of 310004 with flag 25188501/24797434
3430.51/3281.01	c cleaning 155997 clauses out of 312004 with flag 25510118/24954434
3468.77/3318.16	c cleaning 157001 clauses out of 314008 with flag 25834602/25112435
3505.32/3353.50	c cleaning 157999 clauses out of 316007 with flag 26161621/25271435
3552.52/3396.64	c cleaning 159000 clauses out of 318007 with flag 26489617/25431434
3593.16/3436.48	c cleaning 159997 clauses out of 320007 with flag 26819411/25592434
3600.10/3443.04	c starts		: 11
3600.10/3443.04	c conflicts		: 25641354
3600.10/3443.04	c decisions		: 28677072
3600.10/3443.04	c propagations		: 181511785
3600.10/3443.04	c inspects		: 19890297002
3600.10/3443.04	c shortcuts		: 0
3600.10/3443.04	c learnt literals	: 0
3600.10/3443.04	c learnt binary clauses	: 0
3600.10/3443.04	c learnt ternary clauses	: 0
3600.10/3443.05	c learnt constraints	: 25641354
3600.10/3443.05	c ignored constraints	: 0
3600.10/3443.05	c root simplifications	: 0
3600.10/3443.05	c removed literals (reason simplification)	: 0
3600.10/3443.05	c reason swapping (by a shorter reason)	: 0
3600.10/3443.05	c Calls to reduceDB	: 389
3600.10/3443.05	c Number of update (reduction) of LBD	: 143347
3600.10/3443.05	c Imported unit clauses	: 0
3600.10/3443.05	c No decision after first conflict	: false
3600.10/3443.09	c number of reductions to clauses (during analyze)	: 0
3600.10/3443.09	c number of learned constraints concerned by reduction	: 0
3600.10/3443.09	c number of learning phase by resolution	: 0
3600.10/3443.09	c number of learning phase by cutting planes	: 0
3600.10/3443.09	c number of rounding to 1 operations	: 0
3600.10/3443.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3443.09	c number of reductions of the coefficients by power 2 	: 0
3600.10/3443.09	c number of right shift for reduction by power 2 	: 0
3600.10/3443.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3443.09	c number of ending skipping 	: 0
3600.10/3443.09	c number of internal skipping 	: 0
3600.10/3443.09	c number of derivation steps 	: 0
3600.10/3443.09	c number of skipped derivation steps 	: 0
3600.10/3443.09	c number of remaining unassigned 	: 0
3600.10/3443.09	c number of remaining assigned 	: 0
3600.10/3443.09	c number of falsified literals weakened from reason	: 0
3600.10/3443.09	c number of falsified literals weakened from conflict	: 0
3600.10/3443.09	c time for arithmetic operations	: 0
3600.31/3443.11	c minimum degree of deleted constraints	: null
3600.31/3443.11	c maximum degree of deleted constraints	: null
3600.31/3443.11	c number of deleted constraints	: 0
3600.31/3443.11	c speed (assignments/second)	: 52723.96280689381
3600.31/3443.11	c non guided choices	: 0
3600.66/3443.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 208930
3600.66/3443.33	s SATISFIABLE
3600.66/3443.34	c Found 10 solution(s)
3600.66/3443.34	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 
3600.66/3443.34	c objective function=-92
3600.66/3443.36	c Total wall clock time (in seconds): 3443.158

Verifier Data 

OK	-92

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62157 MiB free)
  memory of node 1: 64510 MiB (61285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459775-1721939473/watcher-4459775-1721939473 -o /tmp/evaluation-result-4459775-1721939473/solver-4459775-1721939473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298709 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459775-1721939473.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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=299228, runsolver pid=299225

[startup+0.107457 s]*
/proc/loadavg: 1.17 0.32 0.25 5/316 299246
/proc/meminfo: memFree=126370036/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=18993908 memory=58040 CPUtime=0.14 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 6731 0 0 0 11 3 0 0 20 0 18 0 29936701 19449761792 14488 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4748477 14488 5884 1 0 550967 0
[pid=299228/tid=299230] ppid=299225 vsize=18993908 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 5657 0 0 0 7 2 0 0 20 0 18 0 29936702 19449761792 14510 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936705 19449761792 14510 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29936706 19449761792 14510 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 58040 KiB

[startup+0.216451 s]*
/proc/loadavg: 1.17 0.32 0.25 7/316 299246
/proc/meminfo: memFree=126360308/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=18993908 memory=67080 CPUtime=0.32 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 7511 0 0 0 29 3 0 0 20 0 18 0 29936701 19449761792 16770 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4748477 16770 5901 1 0 551633 0
[pid=299228/tid=299230] ppid=299225 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 6021 0 0 0 17 2 0 0 20 0 18 0 29936702 19449761792 16770 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=18993908 memory=1967857 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936705 19449761792 16770 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29936706 19449761792 16770 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67080 KiB

[startup+0.311445 s]*
/proc/loadavg: 1.17 0.32 0.25 8/316 299246
/proc/meminfo: memFree=126355716/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=18993908 memory=74568 CPUtime=0.5 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 7604 0 0 0 47 3 0 0 20 0 18 0 29936701 19449761792 18642 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4748477 18642 6092 1 0 551653 0
[pid=299228/tid=299230] ppid=299225 vsize=18993908 memory=-8816755471619433148 CPUtime=0.28 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 6040 0 0 0 26 2 0 0 20 0 18 0 29936702 19449761792 18642 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29936705 19449761792 18642 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29936706 19449761792 18642 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 74568 KiB

[startup+0.700316 s]
/proc/loadavg: 1.17 0.32 0.25 7/317 299247
/proc/meminfo: memFree=126344836/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19060472 memory=98028 CPUtime=1.21 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 10493 0 0 0 116 5 0 0 20 0 19 0 29936701 19517923328 24507 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4765118 24507 6135 1 0 553527 0
[pid=299228/tid=299230] ppid=299225 vsize=19060472 memory=5640 CPUtime=0.6 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 6177 0 0 0 57 3 0 0 20 0 19 0 29936702 19517923328 24507 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29936705 19517923328 24507 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19060472 memory=4929 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29936706 19517923328 24507 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19060472 memory=2244 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29936742 19517923328 24507 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 98028 KiB

[startup+1.50044 s]
/proc/loadavg: 1.17 0.32 0.25 7/317 299247
/proc/meminfo: memFree=126242076/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19060472 memory=156036 CPUtime=2.79 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 18625 0 0 0 271 8 0 0 20 0 19 0 29936701 19517923328 39009 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4765118 39009 6167 1 0 555566 0
[pid=299228/tid=299230] ppid=299225 vsize=19060472 memory=0 CPUtime=1.37 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 7242 0 0 0 133 4 0 0 20 0 19 0 29936702 19517923328 39009 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29936705 19517923328 39009 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29936706 19517923328 39009 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19060472 memory=1967624 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29936742 19517923328 39009 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 156036 KiB

[startup+3.10644 s]
/proc/loadavg: 1.48 0.40 0.28 5/318 299248
/proc/meminfo: memFree=125528444/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=366088 CPUtime=4.98 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 20694 0 0 0 485 13 0 0 20 0 20 0 29936701 19586084864 91522 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 91522 6199 1 0 555857 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=0 CPUtime=2.78 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 7577 0 0 0 274 4 0 0 20 0 20 0 29936702 19586084864 91522 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 91522 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=33 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 91522 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 91522 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 366088 KiB

[startup+6.30046 s]
/proc/loadavg: 1.48 0.40 0.28 5/318 299248
/proc/meminfo: memFree=124313488/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=700440 CPUtime=8.65 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 21955 0 0 0 844 21 0 0 20 0 20 0 29936701 19586084864 175110 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 175110 6199 1 0 1084352 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=0 CPUtime=5.67 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) S 299225 299228 298698 0 -1 1077936192 7825 0 0 0 558 9 0 0 20 0 20 0 29936702 19586084864 175110 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=7164220281548334698 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 175110 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=632452 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 175110 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=166276 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 175110 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 700440 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 0.47 0.31 7/318 299251
/proc/meminfo: memFree=122364236/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=1406316 CPUtime=15.75 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 23333 0 0 0 1538 37 0 0 20 0 20 0 29936701 19586084864 351579 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 351579 6215 1 0 1656712 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=864420 CPUtime=11.43 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 8058 0 0 0 1128 15 0 0 20 0 20 0 29936702 19586084864 351579 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=1289556 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 351579 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=-8816755471619433148 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 351579 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=1094996 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 351579 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 15.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1406316 KiB

[startup+25.5005 s]
/proc/loadavg: 2.47 0.69 0.38 5/318 299253
/proc/meminfo: memFree=118332160/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=2572828 CPUtime=29.54 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 27538 0 0 0 2894 60 0 0 20 0 20 0 29936701 19586084864 643207 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 643207 6215 1 0 1988848 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=1289556 CPUtime=23.12 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 9171 0 0 0 2291 21 0 0 20 0 20 0 29936702 19586084864 643207 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 643207 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 643207 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=1957528 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 643207 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 29.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2572828 KiB

[startup+51.1135 s]
/proc/loadavg: 3.33 1.04 0.50 5/318 299258
/proc/meminfo: memFree=112146040/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=4392792 CPUtime=57.05 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 31725 0 0 0 5607 98 0 0 20 0 20 0 29936701 19586084864 1098198 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 1098198 6215 1 0 2089117 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=4136720 CPUtime=46.58 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 10416 0 0 0 4630 28 0 0 20 0 20 0 29936702 19586084864 1098198 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=2837020 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 1098198 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0

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

Current children cumulated memory: 15449372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.33 4.23 5/317 300534
/proc/meminfo: memFree=75414324/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449424 CPUtime=3308.47 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 469196 0 0 0 330302 545 0 0 20 0 20 0 29936701 19586084864 3862356 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862356 6230 1 0 4094388 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=15449372 CPUtime=3017.92 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 128975 0 0 0 301657 135 0 0 20 0 20 0 29936702 19586084864 3862356 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=15449412 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862356 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=18484 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 805 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862356 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=15449424 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862356 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3308.47 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.36 4.25 5/317 300544
/proc/meminfo: memFree=75413904/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449448 CPUtime=3370.78 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 470590 0 0 0 336530 548 0 0 20 0 20 0 29936701 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862362 6230 1 0 4094388 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=15449372 CPUtime=3075.2 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 129515 0 0 0 307384 136 0 0 20 0 20 0 29936702 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=15449372 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=15449448 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=-8816755471619433148 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3370.78 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.35 4.25 5/316 300938
/proc/meminfo: memFree=75298096/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449448 CPUtime=3431.79 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 471286 0 0 0 342628 551 0 0 20 0 20 0 29936701 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862362 6230 1 0 4094388 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=15449448 CPUtime=3133.84 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 130037 0 0 0 313248 136 0 0 20 0 20 0 29936702 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=15449448 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=72956 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862362 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3431.79 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.37 4.27 6/315 301014
/proc/meminfo: memFree=91386660/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449476 CPUtime=3493.38 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 472475 0 0 0 348784 554 0 0 20 0 20 0 29936701 19586084864 3862369 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862369 6230 1 0 4094388 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=12264 CPUtime=3191.93 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 130611 0 0 0 319057 136 0 0 20 0 20 0 29936702 19586084864 3862369 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=72956 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862369 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=-8816755471619433148 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862369 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862369 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3493.38 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.33 4.26 6/316 301025
/proc/meminfo: memFree=90886776/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449792 CPUtime=3558.37 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 503412 0 0 0 355276 561 0 0 20 0 20 0 29936701 19586084864 3862448 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862448 6246 1 0 4094440 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=15449476 CPUtime=3250.01 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 142259 0 0 0 324864 137 0 0 20 0 20 0 29936702 19586084864 3862448 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=15449792 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862448 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=72956 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862448 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=15449792 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862448 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3558.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3443 s]*
/proc/loadavg: 4.17 4.31 4.26 6/318 301203
/proc/meminfo: memFree=90841164/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19127036 memory=15449804 CPUtime=3600.1 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 504602 0 0 0 359447 563 0 0 20 0 20 0 29936701 19586084864 3862451 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4781759 3862451 6246 1 0 4094440 0
[pid=299228/tid=299230] ppid=299225 vsize=19127036 memory=-8959174152059265724 CPUtime=3289.49 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 142584 0 0 0 328812 137 0 0 20 0 20 0 29936702 19586084864 3862451 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19127036 memory=-4421386496147483239 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29936705 19586084864 3862451 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19127036 memory=-4421386496147483239 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 20 0 29936706 19586084864 3862451 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299247] ppid=299225 vsize=19127036 memory=2768 CPUtime=0 cores=4,6
/proc/299228/task/299247/stat : 299247 (Timer-0) S 299225 299228 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29936742 19586084864 3862451 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 15449804 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.15 s, system=5.69387 s

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

[startup+3443.2 s]
/proc/loadavg: 4.17 4.31 4.26 6/318 301203
/proc/meminfo: memFree=90841164/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19326728 memory=15450396 CPUtime=3600.47 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 506374 0 0 0 359483 564 0 0 20 0 21 0 29936701 19790569472 3862599 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4831682 3862599 6245 1 0 4095327 0
[pid=299228/tid=299230] ppid=299225 vsize=19326728 memory=15449804 CPUtime=3289.68 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 142726 0 0 0 328831 137 0 0 20 0 21 0 29936702 19790569472 3862599 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19326728 memory=72956 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29936705 19790569472 3862599 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19326728 memory=15449792 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 21 0 29936706 19790569472 3862599 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 15450396 KiB

[startup+3443.3 s]
/proc/loadavg: 4.17 4.31 4.26 6/318 301203
/proc/meminfo: memFree=90841164/131655788 swapFree=131060868/131071996
[pid=299228] ppid=299225 vsize=19326728 memory=15450460 CPUtime=3600.66 cores=4,6
/proc/299228/stat : 299228 (java) S 299225 299228 298698 0 -1 1077936128 506423 0 0 0 359502 564 0 0 20 0 21 0 29936701 19790569472 3862615 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
/proc/299228/statm: 4831682 3862615 6245 1 0 4095327 0
[pid=299228/tid=299230] ppid=299225 vsize=19326728 memory=15449476 CPUtime=3289.76 cores=4,6
/proc/299228/task/299230/stat : 299230 (java) R 299225 299228 298698 0 -1 4194368 142726 0 0 0 328839 137 0 0 20 0 21 0 29936702 19790569472 3862615 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299239] ppid=299225 vsize=19326728 memory=15449804 CPUtime=0 cores=4,6
/proc/299228/task/299239/stat : 299239 (Finalizer) S 299225 299228 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 29936705 19790569472 3862615 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
[pid=299228/tid=299246] ppid=299225 vsize=19326728 memory=15449804 CPUtime=0 cores=4,6
/proc/299228/task/299246/stat : 299246 (Common-Cleaner) S 299225 299228 298698 0 -1 1077936192 817 0 0 0 0 0 0 0 20 0 21 0 29936706 19790569472 3862615 134679101440 93853666504704 93853666508400 140726144005600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93853666516216 93853666517008 93853689327616 140726144013322 140726144013412 140726144013412 140726144020424 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 15450460 KiB

Child status: 143

Real time (s): 3443.41
CPU time (s): 3600.84
CPU user time (s): 3595.15
CPU system time (s): 5.69387
CPU usage (%): 104.572
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 15450460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.15
system time used= 5.69387
maximum resident set size= 15451508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119503
involuntary context switches= 13947


# summary of solver processes directly reported to runsolver:
#   pid: 299228
#   total CPU time (s): 3600.84
#   total CPU user time (s): 3595.15
#   total CPU system time (s): 5.69387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3156 second user time and 30.6644 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 22:31:13
IDJOB=4459775
IDBENCH=148554
IDSOLVER=3058
FILE ID=nodeC005/4459775-1721939473
RUNJOBID= nodeC005-1721939462-298709
SLURM_JOB_ID= 8247259
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459775-1721939473/watcher-4459775-1721939473 -o /tmp/evaluation-result-4459775-1721939473/solver-4459775-1721939473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298709 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459775-1721939473.opb

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

MD5SUM BENCH= a8db507b9a19068579e2e54aa556294a
RANDOM SEED=297469877

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126406196 kB
MemAvailable:   128370328 kB
Buffers:          324464 kB
Cached:          2456620 kB
SwapCached:          320 kB
Active:          1729004 kB
Inactive:        2945312 kB
Active(anon):       1620 kB
Inactive(anon):  1944580 kB
Active(file):    1727384 kB
Inactive(file):  1000732 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:       1893148 kB
Mapped:           119356 kB
Shmem:             52956 kB
KReclaimable:     152092 kB
Slab:             259940 kB
SReclaimable:     152092 kB
SUnreclaim:       107848 kB
KernelStack:        4864 kB
PageTables:        13824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9598284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-25 23:28:36