Trace number 4457752

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)-34037 3600.27 3321.86

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
MD5SUM4e250cdab7b4044f2b74367cd304c22b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-110625
Best CPU time to get the best result obtained on this benchmark0.045906
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints1
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 constraints1
Minimum length of a constraint2000
Maximum length of a constraint2000
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 977737
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10011
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1021141
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4457752-1721868461.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.15	c ... done. Wall clock time 0.031s.
0.13/0.15	c declared #vars     2000
0.13/0.15	c #constraints  1
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.15	c 1 constraints processed.
0.13/0.16	c objective function length is 2000 literals
0.13/0.18	c SATISFIABLE
0.13/0.18	c OPTIMIZING...
0.13/0.18	c Got one! Elapsed wall clock time (in seconds):0.058
0.13/0.18	o -22513
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.074
0.13/0.20	o -22961
0.33/0.21	c Got one! Elapsed wall clock time (in seconds):0.082
0.33/0.21	o -23668
3.18/2.34	c cleaning 2502 clauses out of 5003 with flag 10095/5003
5.98/4.87	c cleaning 4253 clauses out of 8506 with flag 22161/11008
9.55/8.05	c cleaning 5625 clauses out of 11250 with flag 36165/18005
13.51/11.73	c cleaning 6813 clauses out of 13625 with flag 52184/26005
17.69/15.70	c cleaning 7909 clauses out of 15818 with flag 70234/35011
22.87/20.59	c cleaning 8952 clauses out of 17903 with flag 90262/45005
28.68/25.97	c cleaning 9974 clauses out of 19947 with flag 112294/56001
35.48/32.34	c cleaning 10988 clauses out of 21975 with flag 136322/68003
42.62/39.08	c cleaning 11985 clauses out of 23986 with flag 162359/81002
51.35/46.39	c cleaning 13007 clauses out of 26013 with flag 190420/95014
53.26/48.06	c Got one! Elapsed wall clock time (in seconds):47.938
53.26/48.06	o -23674
53.26/48.07	c Got one! Elapsed wall clock time (in seconds):47.947
53.26/48.08	o -26228
53.26/48.08	c Got one! Elapsed wall clock time (in seconds):47.954
53.26/48.08	o -26564
53.26/48.09	c Got one! Elapsed wall clock time (in seconds):47.959
53.26/48.09	o -26801
53.26/48.09	c Got one! Elapsed wall clock time (in seconds):47.965
53.26/48.09	o -27147
53.26/48.10	c Got one! Elapsed wall clock time (in seconds):47.97
53.26/48.10	o -27647
53.26/48.10	c Got one! Elapsed wall clock time (in seconds):47.976
53.26/48.10	o -27836
53.42/48.11	c Got one! Elapsed wall clock time (in seconds):47.982
53.42/48.11	o -27854
53.42/48.12	c Got one! Elapsed wall clock time (in seconds):47.989
53.42/48.12	o -28309
53.42/48.12	c Got one! Elapsed wall clock time (in seconds):47.994
53.42/48.12	o -28417
53.42/48.13	c Got one! Elapsed wall clock time (in seconds):48.0
53.42/48.13	o -28790
53.42/48.13	c Got one! Elapsed wall clock time (in seconds):48.005
53.42/48.13	o -28960
53.42/48.14	c Got one! Elapsed wall clock time (in seconds):48.011
53.42/48.14	o -28985
53.42/48.14	c Got one! Elapsed wall clock time (in seconds):48.015
53.42/48.14	o -29290
53.42/48.15	c Got one! Elapsed wall clock time (in seconds):48.024
53.42/48.15	o -29301
53.42/48.15	c Got one! Elapsed wall clock time (in seconds):48.029
53.42/48.15	o -29331
53.42/48.16	c Got one! Elapsed wall clock time (in seconds):48.038
53.42/48.16	o -29349
53.42/48.17	c Got one! Elapsed wall clock time (in seconds):48.043
53.42/48.17	o -29646
53.42/48.18	c Got one! Elapsed wall clock time (in seconds):48.063
53.42/48.18	o -30268
53.59/48.21	c Got one! Elapsed wall clock time (in seconds):48.088
53.59/48.21	o -30342
53.59/48.22	c Got one! Elapsed wall clock time (in seconds):48.095
53.59/48.22	o -30385
53.83/48.42	c Got one! Elapsed wall clock time (in seconds):48.303
53.83/48.42	o -30393
53.99/48.52	c Got one! Elapsed wall clock time (in seconds):48.4
53.99/48.52	o -30412
54.60/49.15	c cleaning 9800 clauses out of 19600 with flag 4056/101608
54.69/49.20	c Got one! Elapsed wall clock time (in seconds):49.082
54.69/49.20	o -30685
54.69/49.21	c Got one! Elapsed wall clock time (in seconds):49.09
54.69/49.21	o -31102
56.17/50.54	c Got one! Elapsed wall clock time (in seconds):50.421
56.17/50.54	o -31139
56.17/50.59	c Got one! Elapsed wall clock time (in seconds):50.47
56.17/50.59	o -31444
56.37/50.73	c Got one! Elapsed wall clock time (in seconds):50.614
56.37/50.73	o -31502
56.87/51.27	c Got one! Elapsed wall clock time (in seconds):51.147
56.87/51.27	o -31605
57.72/51.81	c cleaning 8392 clauses out of 16784 with flag 2034/108592
57.92/52.02	c Got one! Elapsed wall clock time (in seconds):51.895
57.92/52.02	o -31683
57.92/52.05	c Got one! Elapsed wall clock time (in seconds):51.925
57.92/52.05	o -31736
58.22/52.32	c Got one! Elapsed wall clock time (in seconds):52.197
58.22/52.32	o -31778
60.47/54.39	c cleaning 7569 clauses out of 15138 with flag 10252/115338
61.35/55.18	c Got one! Elapsed wall clock time (in seconds):55.055
61.35/55.18	o -31853
62.34/56.16	c cleaning 6531 clauses out of 13078 with flag 6157/120847
64.68/58.17	c cleaning 6274 clauses out of 12547 with flag 18282/126847
67.42/60.71	c cleaning 6637 clauses out of 13275 with flag 32289/133849
69.73/62.81	c Got one! Elapsed wall clock time (in seconds):62.69
69.73/62.81	o -31921
69.73/62.83	c Got one! Elapsed wall clock time (in seconds):62.707
69.73/62.83	o -32315
69.73/62.85	c Got one! Elapsed wall clock time (in seconds):62.728
69.73/62.85	o -32333
69.73/62.87	c Got one! Elapsed wall clock time (in seconds):62.749
69.73/62.87	o -32531
71.60/64.40	c Got one! Elapsed wall clock time (in seconds):64.277
71.60/64.40	o -32549
71.70/64.57	c Got one! Elapsed wall clock time (in seconds):64.454
71.70/64.57	o -32550
71.80/64.60	c Got one! Elapsed wall clock time (in seconds):64.482
71.80/64.60	o -32873
72.30/65.12	c Got one! Elapsed wall clock time (in seconds):65.003
72.30/65.12	o -32953
72.70/65.51	c cleaning 9589 clauses out of 19178 with flag 2035/146389
73.70/66.52	c Got one! Elapsed wall clock time (in seconds):66.396
73.70/66.52	o -33254
74.86/67.40	c cleaning 7457 clauses out of 14919 with flag 4087/151719
74.86/67.47	c Got one! Elapsed wall clock time (in seconds):67.349
74.86/67.47	o -33307
76.46/69.03	c cleaning 6377 clauses out of 12754 with flag 10447/157011
79.45/71.20	c cleaning 6196 clauses out of 12394 with flag 22548/163028
82.02/73.67	c cleaning 6602 clauses out of 13207 with flag 36586/170037
85.03/76.44	c cleaning 7289 clauses out of 14579 with flag 52556/178011
88.59/79.80	c cleaning 8148 clauses out of 16295 with flag 70591/187016
93.03/83.74	c cleaning 9067 clauses out of 18145 with flag 90608/197014
97.36/87.84	c cleaning 10041 clauses out of 20086 with flag 112653/208022
97.96/88.48	c Got one! Elapsed wall clock time (in seconds):88.355
97.96/88.48	o -33374
99.49/89.77	c cleaning 7556 clauses out of 15146 with flag 6154/213123
101.47/91.73	c cleaning 6796 clauses out of 13591 with flag 18319/219124
104.32/94.42	c cleaning 6890 clauses out of 13798 with flag 32365/226127
107.54/97.44	c cleaning 7445 clauses out of 14902 with flag 48396/234121
111.37/101.19	c cleaning 8228 clauses out of 16458 with flag 66491/243122
116.22/105.55	c cleaning 9116 clauses out of 18231 with flag 86553/253123
120.87/109.46	c Got one! Elapsed wall clock time (in seconds):109.337
120.87/109.46	o -33406
123.45/111.44	c cleaning 11550 clauses out of 23100 with flag 10059/267108
125.39/113.12	c Got one! Elapsed wall clock time (in seconds):112.996
125.39/113.12	o -33490
125.69/113.43	c cleaning 8317 clauses out of 16638 with flag 2064/272196
128.11/115.64	c Got one! Elapsed wall clock time (in seconds):115.522
128.11/115.64	o -33493
130.31/117.82	c cleaning 9609 clauses out of 19219 with flag 10141/283094
132.82/120.15	c cleaning 7800 clauses out of 15606 with flag 22191/289090
135.51/122.63	c cleaning 7400 clauses out of 14806 with flag 36229/296090
135.91/123.05	c Got one! Elapsed wall clock time (in seconds):122.932
135.91/123.05	o -33539
137.12/124.24	c cleaning 6460 clauses out of 12919 with flag 8047/301603
139.41/126.36	c cleaning 6225 clauses out of 12460 with flag 20090/307604
142.23/128.97	c cleaning 6616 clauses out of 13242 with flag 34180/314611
145.52/132.04	c cleaning 7300 clauses out of 14605 with flag 50194/322590
149.15/135.44	c cleaning 8155 clauses out of 16309 with flag 68314/331594
153.09/139.14	c cleaning 9075 clauses out of 18151 with flag 88419/341591
157.27/143.18	c cleaning 10043 clauses out of 20088 with flag 110562/352603
162.33/147.85	c cleaning 11006 clauses out of 22035 with flag 134740/364593
167.72/153.08	c cleaning 12014 clauses out of 24031 with flag 160947/377595
174.09/158.94	c cleaning 13006 clauses out of 26011 with flag 189052/391589
181.68/165.98	c cleaning 14007 clauses out of 28015 with flag 219211/406599
188.35/172.33	c cleaning 15000 clauses out of 30013 with flag 251437/422604
195.64/179.20	c cleaning 15999 clauses out of 32006 with flag 285728/439597
203.15/186.37	c cleaning 16998 clauses out of 33999 with flag 321846/457589
210.93/193.73	c cleaning 18001 clauses out of 36001 with flag 359982/476589
220.04/200.66	c Got one! Elapsed wall clock time (in seconds):200.543
220.04/200.67	o -33640
222.73/202.96	c cleaning 20244 clauses out of 40507 with flag 10122/499096
224.81/205.01	c cleaning 13101 clauses out of 26249 with flag 22277/505082
227.75/207.77	c cleaning 10081 clauses out of 20190 with flag 36688/512124
231.19/210.90	c cleaning 9016 clauses out of 18082 with flag 52901/520097
232.18/211.94	c Got one! Elapsed wall clock time (in seconds):211.823
232.18/211.94	o -33720
232.80/212.53	c cleaning 7176 clauses out of 14353 with flag 4095/525384
235.08/214.64	c cleaning 6580 clauses out of 13173 with flag 16615/531380
237.67/217.24	c cleaning 6790 clauses out of 13594 with flag 30985/538381
240.59/220.07	c cleaning 7413 clauses out of 14829 with flag 47302/546406
244.23/223.43	c cleaning 8197 clauses out of 16393 with flag 65465/555383
248.56/227.44	c cleaning 9102 clauses out of 18206 with flag 85849/565393
253.20/231.70	c cleaning 10050 clauses out of 20099 with flag 108979/576388
258.36/236.54	c cleaning 11016 clauses out of 22040 with flag 133904/588379
263.78/241.63	c cleaning 12028 clauses out of 24058 with flag 160890/601413
269.98/247.50	c cleaning 13008 clauses out of 26025 with flag 189636/615408
276.50/253.80	c cleaning 13995 clauses out of 27991 with flag 219932/630382
283.81/260.45	c cleaning 14997 clauses out of 29995 with flag 252522/646381
291.43/267.72	c cleaning 15999 clauses out of 31999 with flag 287316/663382
299.90/275.66	c cleaning 16998 clauses out of 33999 with flag 323578/681381
308.22/283.79	c cleaning 17999 clauses out of 36000 with flag 362056/700380
318.29/293.24	c cleaning 19002 clauses out of 38004 with flag 402429/720383
329.08/303.49	c cleaning 19989 clauses out of 40004 with flag 445019/741385
342.40/313.68	c cleaning 21002 clauses out of 42016 with flag 490170/763386
353.65/324.57	c cleaning 22002 clauses out of 44007 with flag 538133/786379
365.09/335.14	c cleaning 23004 clauses out of 46007 with flag 586891/810381
377.31/346.61	c cleaning 24001 clauses out of 48006 with flag 638565/835384
391.14/359.59	c cleaning 25002 clauses out of 50004 with flag 692842/861383
404.89/372.25	c cleaning 25995 clauses out of 52021 with flag 748579/888402
418.60/385.13	c cleaning 27004 clauses out of 54009 with flag 805816/916385
433.42/399.09	c cleaning 27999 clauses out of 55999 with flag 864279/945379
449.22/413.97	c cleaning 28999 clauses out of 58000 with flag 924835/975379
464.85/428.71	c cleaning 30004 clauses out of 60021 with flag 987307/1006399
487.49/446.82	c cleaning 31001 clauses out of 62009 with flag 1052005/1038391
503.78/462.10	c cleaning 31991 clauses out of 63996 with flag 1119410/1071379
520.07/477.56	c cleaning 32998 clauses out of 66012 with flag 1188609/1105386
532.48/489.13	c Got one! Elapsed wall clock time (in seconds):489.014
532.48/489.13	o -33947
534.67/491.32	c cleaning 32621 clauses out of 65245 with flag 10010/1137617
537.31/493.65	c cleaning 19316 clauses out of 38645 with flag 22054/1143638
539.61/495.94	c cleaning 13152 clauses out of 26318 with flag 36038/1150627
542.74/498.81	c cleaning 10569 clauses out of 21157 with flag 52028/1158618
545.94/502.04	c cleaning 9759 clauses out of 19596 with flag 70124/1167626
549.62/505.51	c cleaning 9913 clauses out of 19837 with flag 90136/1177626
553.75/509.46	c cleaning 10447 clauses out of 20926 with flag 112154/1188628
557.94/513.65	c cleaning 11230 clauses out of 22469 with flag 136144/1200618
562.90/518.41	c cleaning 12123 clauses out of 24248 with flag 162188/1213627
568.73/523.95	c cleaning 13058 clauses out of 26115 with flag 190192/1227617
574.81/529.76	c cleaning 14032 clauses out of 28063 with flag 220266/1242623
581.14/535.95	c cleaning 15013 clauses out of 30026 with flag 252324/1258618
587.84/542.53	c cleaning 16008 clauses out of 32015 with flag 286389/1275620
595.72/549.81	c cleaning 17004 clauses out of 34007 with flag 322474/1293620
603.98/557.69	c cleaning 18011 clauses out of 36034 with flag 360605/1312651
613.27/566.55	c cleaning 18993 clauses out of 37990 with flag 400655/1332618
623.04/576.06	c cleaning 20009 clauses out of 40025 with flag 442911/1353646
633.74/586.18	c cleaning 20994 clauses out of 41987 with flag 486904/1375617
643.89/595.87	c cleaning 21997 clauses out of 43998 with flag 532954/1398622
657.77/606.34	c cleaning 23001 clauses out of 46003 with flag 581002/1422624
668.30/616.66	c cleaning 23995 clauses out of 47996 with flag 631098/1447618
682.02/629.83	c cleaning 25024 clauses out of 50047 with flag 683285/1473664
695.05/641.96	c cleaning 25990 clauses out of 51979 with flag 737248/1500620
708.28/654.26	c cleaning 26994 clauses out of 53989 with flag 793360/1528620
723.43/668.36	c cleaning 27997 clauses out of 55993 with flag 851483/1557618
736.45/680.98	c cleaning 28996 clauses out of 58000 with flag 911598/1587622
751.83/695.88	c cleaning 29990 clauses out of 60004 with flag 973803/1618622
767.56/710.84	c cleaning 31005 clauses out of 62009 with flag 1037919/1650617
785.37/727.28	c cleaning 32002 clauses out of 64004 with flag 1104040/1683617
804.09/745.12	c cleaning 33022 clauses out of 66043 with flag 1172300/1717658
824.98/762.13	c cleaning 34001 clauses out of 68017 with flag 1242448/1752654
842.79/779.01	c cleaning 34990 clauses out of 69979 with flag 1314511/1788617
862.55/797.57	c cleaning 35996 clauses out of 71994 with flag 1388710/1825622
882.87/816.96	c cleaning 37005 clauses out of 74010 with flag 1464969/1863634
906.77/839.34	c cleaning 38003 clauses out of 76006 with flag 1543263/1902635
927.70/859.40	c cleaning 38968 clauses out of 77989 with flag 1623498/1942621
948.68/879.39	c cleaning 40013 clauses out of 80026 with flag 1705716/1983626
976.04/901.24	c cleaning 41002 clauses out of 82004 with flag 1789923/2025617
998.60/921.01	c cleaning 42003 clauses out of 84008 with flag 1876236/2068623
1019.71/941.20	c cleaning 42997 clauses out of 86002 with flag 1964587/2112620
1041.34/961.70	c cleaning 43995 clauses out of 88008 with flag 2054927/2157623
1065.04/984.26	c cleaning 45011 clauses out of 90022 with flag 2147294/2203632
1088.15/1006.33	c cleaning 45998 clauses out of 91998 with flag 2241756/2250619
1119.41/1030.63	c cleaning 47002 clauses out of 94006 with flag 2338263/2298625
1145.76/1054.98	c cleaning 48000 clauses out of 96001 with flag 2436540/2347622
1174.34/1081.93	c cleaning 48998 clauses out of 98002 with flag 2536994/2397623
1203.90/1109.92	c cleaning 50001 clauses out of 100002 with flag 2639136/2448621
1231.79/1136.36	c cleaning 51009 clauses out of 102020 with flag 2743281/2500640
1261.55/1160.10	c Got one! Elapsed wall clock time (in seconds):1159.981
1261.55/1160.10	o -33963
1265.13/1163.79	c cleaning 51941 clauses out of 103894 with flag 10057/2553523
1267.63/1166.21	c cleaning 28992 clauses out of 57989 with flag 22134/2559559
1270.40/1168.83	c cleaning 17978 clauses out of 35959 with flag 36067/2566521
1273.30/1171.72	c cleaning 12979 clauses out of 25983 with flag 52090/2574523
1276.82/1175.18	c cleaning 10987 clauses out of 22002 with flag 70097/2583521
1280.72/1178.77	c cleaning 10509 clauses out of 21028 with flag 90127/2593534
1284.62/1182.66	c cleaning 10754 clauses out of 21514 with flag 112138/2604529
1289.18/1187.03	c cleaning 11377 clauses out of 22757 with flag 136152/2616526
1294.54/1192.19	c cleaning 12182 clauses out of 24375 with flag 162176/2629521
1300.76/1197.99	c cleaning 13101 clauses out of 26204 with flag 190259/2643532
1307.13/1203.94	c cleaning 14046 clauses out of 28093 with flag 220302/2658522
1314.49/1210.98	c cleaning 15013 clauses out of 30046 with flag 252357/2674521
1322.08/1218.27	c cleaning 16022 clauses out of 32043 with flag 286473/2691531
1328.95/1224.85	c cleaning 17000 clauses out of 34014 with flag 322536/2709524
1336.53/1232.29	c cleaning 18007 clauses out of 36013 with flag 360794/2728523
1345.87/1240.74	c cleaning 19003 clauses out of 38008 with flag 401024/2748525
1354.68/1249.14	c cleaning 20002 clauses out of 40011 with flag 443261/2769531
1363.95/1258.12	c cleaning 20998 clauses out of 42001 with flag 487681/2791523
1374.60/1268.09	c cleaning 22002 clauses out of 44004 with flag 534075/2814524
1384.78/1277.97	c cleaning 23007 clauses out of 46014 with flag 582489/2838536
1397.10/1289.73	c cleaning 23999 clauses out of 47997 with flag 632954/2863526
1412.18/1302.16	c cleaning 24999 clauses out of 50000 with flag 685291/2889528
1426.27/1314.82	c cleaning 25978 clauses out of 51994 with flag 739699/2916521
1438.88/1326.97	c cleaning 27006 clauses out of 54038 with flag 795968/2944543
1452.68/1340.08	c cleaning 28002 clauses out of 56011 with flag 854036/2973522
1465.51/1352.15	c cleaning 29002 clauses out of 58017 with flag 914351/3003530
1480.01/1365.77	c cleaning 30004 clauses out of 60007 with flag 976479/3034522
1496.07/1381.02	c cleaning 31000 clauses out of 62004 with flag 1040724/3066523
1510.87/1395.16	c cleaning 32010 clauses out of 64019 with flag 1107048/3099538
1526.91/1410.62	c cleaning 32994 clauses out of 65995 with flag 1175240/3133524
1543.49/1426.22	c cleaning 34001 clauses out of 68007 with flag 1245560/3168530
1561.13/1443.02	c cleaning 35007 clauses out of 70016 with flag 1318082/3204540
1582.99/1461.07	c cleaning 35996 clauses out of 71991 with flag 1393599/3241522
1602.38/1479.26	c cleaning 37010 clauses out of 74020 with flag 1469997/3279547
1620.98/1497.08	c cleaning 37992 clauses out of 75988 with flag 1550357/3318525
1640.88/1515.56	c cleaning 38994 clauses out of 78000 with flag 1631061/3358529
1660.71/1534.09	c cleaning 40000 clauses out of 80009 with flag 1713745/3399532
1681.44/1553.92	c cleaning 40989 clauses out of 81999 with flag 1799257/3441522
1701.84/1573.17	c cleaning 42004 clauses out of 84010 with flag 1885719/3484522
1727.80/1594.14	c cleaning 43012 clauses out of 86025 with flag 1974900/3528541
1752.86/1617.71	c cleaning 43999 clauses out of 87998 with flag 2067310/3573526
1775.84/1639.20	c cleaning 45003 clauses out of 90009 with flag 2160022/3619536
1800.02/1661.90	c cleaning 46012 clauses out of 92024 with flag 2255669/3666554
1826.98/1687.56	c cleaning 46993 clauses out of 93996 with flag 2356830/3714538
1858.36/1712.63	c cleaning 47991 clauses out of 95987 with flag 2461455/3763522
1883.14/1736.27	c cleaning 48998 clauses out of 98001 with flag 2565205/3813527
1908.80/1760.29	c cleaning 49994 clauses out of 100002 with flag 2667343/3864526
1934.30/1784.30	c cleaning 51009 clauses out of 102028 with flag 2771581/3916546
1959.17/1807.91	c cleaning 51985 clauses out of 103997 with flag 2877755/3969524
1991.54/1832.62	c cleaning 53003 clauses out of 106017 with flag 2985942/4023529
2020.70/1860.41	c cleaning 54000 clauses out of 108008 with flag 3096150/4078523
2050.34/1888.21	c cleaning 55006 clauses out of 110040 with flag 3208596/4134555
2081.60/1917.62	c cleaning 56003 clauses out of 112007 with flag 3325994/4191528
2118.38/1947.01	c cleaning 57004 clauses out of 114008 with flag 3443885/4249532
2138.10/1965.79	c Got one! Elapsed wall clock time (in seconds):1965.67
2138.10/1965.79	o -33969
2142.02/1969.61	c cleaning 50516 clauses out of 101035 with flag 10164/4293563
2145.71/1972.99	c cleaning 28270 clauses out of 56542 with flag 22223/4299586
2148.81/1976.07	c cleaning 17624 clauses out of 35271 with flag 36256/4306585
2152.38/1979.37	c cleaning 12804 clauses out of 25635 with flag 52294/4314573
2155.58/1982.52	c cleaning 10889 clauses out of 21821 with flag 70306/4323563
2159.24/1986.06	c cleaning 10456 clauses out of 20932 with flag 90348/4333563
2163.70/1990.16	c cleaning 10740 clauses out of 21480 with flag 112412/4344567
2167.79/1994.28	c cleaning 11362 clauses out of 22736 with flag 136462/4356563
2173.19/1999.47	c cleaning 12189 clauses out of 24377 with flag 162568/4369566
2173.49/1999.76	c Got one! Elapsed wall clock time (in seconds):1999.638
2173.49/1999.76	o -34027
2174.91/2001.13	c cleaning 8610 clauses out of 17219 with flag 8045/4374597
2176.81/2003.04	c cleaning 7300 clauses out of 14604 with flag 20070/4380592
2179.11/2005.32	c cleaning 7138 clauses out of 14297 with flag 34083/4387585
2182.06/2008.10	c cleaning 7579 clauses out of 15158 with flag 50093/4395584
2185.15/2011.21	c cleaning 8295 clauses out of 16590 with flag 68151/4404595
2189.24/2015.26	c cleaning 9147 clauses out of 18294 with flag 88244/4414594
2194.19/2019.91	c cleaning 10065 clauses out of 20138 with flag 110536/4425585
2198.45/2024.28	c cleaning 11037 clauses out of 22073 with flag 135817/4437585
2203.61/2029.30	c cleaning 12023 clauses out of 24045 with flag 161860/4450594
2209.38/2034.81	c cleaning 13006 clauses out of 26012 with flag 189890/4464584
2215.68/2040.91	c cleaning 14003 clauses out of 28007 with flag 219922/4479585
2223.00/2048.09	c cleaning 15005 clauses out of 30010 with flag 251995/4495591
2231.08/2055.97	c cleaning 16001 clauses out of 32002 with flag 287032/4512588
2238.70/2063.38	c cleaning 16996 clauses out of 34005 with flag 323430/4530592
2247.10/2071.18	c cleaning 18001 clauses out of 36004 with flag 361494/4549587
2256.38/2080.06	c cleaning 19001 clauses out of 38004 with flag 401584/4569588
2265.20/2088.60	c cleaning 19997 clauses out of 40000 with flag 443685/4590585
2274.92/2097.74	c cleaning 21002 clauses out of 42004 with flag 487853/4612586
2285.85/2108.37	c cleaning 22002 clauses out of 44004 with flag 533966/4635588
2299.56/2119.43	c cleaning 22997 clauses out of 45998 with flag 582333/4659584
2310.42/2129.90	c cleaning 23997 clauses out of 48005 with flag 632414/4684588
2323.02/2141.99	c cleaning 25010 clauses out of 50025 with flag 684547/4710605
2336.41/2154.66	c cleaning 25991 clauses out of 51994 with flag 738605/4737584
2351.10/2168.42	c cleaning 27003 clauses out of 54020 with flag 795010/4765601
2364.42/2181.33	c cleaning 28003 clauses out of 56022 with flag 853636/4794606
2379.29/2195.69	c cleaning 29001 clauses out of 58002 with flag 913879/4824589
2393.99/2209.70	c cleaning 30012 clauses out of 60034 with flag 977235/4855622
2409.80/2224.94	c cleaning 30995 clauses out of 61989 with flag 1041311/4887589
2426.77/2240.81	c cleaning 31999 clauses out of 64000 with flag 1107485/4920595
2443.35/2256.44	c cleaning 32997 clauses out of 65996 with flag 1175608/4954590
2460.80/2273.02	c cleaning 34008 clauses out of 68016 with flag 1246525/4989607
2481.07/2289.52	c cleaning 34987 clauses out of 69986 with flag 1318806/5025585
2500.48/2307.67	c cleaning 35991 clauses out of 72002 with flag 1393266/5062588
2519.08/2325.38	c cleaning 37000 clauses out of 74007 with flag 1470202/5100584
2541.82/2346.68	c cleaning 38013 clauses out of 76027 with flag 1549403/5139604
2561.78/2365.71	c cleaning 39022 clauses out of 78044 with flag 1630498/5179634
2582.27/2385.13	c cleaning 39990 clauses out of 79988 with flag 1713520/5220600
2606.88/2408.49	c cleaning 40990 clauses out of 81984 with flag 1800337/5262586
2633.51/2430.39	c cleaning 41997 clauses out of 83994 with flag 1886957/5305586
2654.46/2450.17	c cleaning 43001 clauses out of 86008 with flag 1975067/5349597
2676.52/2470.75	c cleaning 43998 clauses out of 88000 with flag 2065183/5394590
2698.60/2491.30	c cleaning 45013 clauses out of 90027 with flag 2157372/5440615
2725.02/2516.58	c cleaning 45994 clauses out of 91988 with flag 2251878/5487589
2749.00/2539.36	c cleaning 46989 clauses out of 93989 with flag 2349795/5535584
2780.45/2565.57	c cleaning 48004 clauses out of 96007 with flag 2448595/5584591
2811.36/2594.74	c cleaning 49004 clauses out of 98007 with flag 2549473/5634595
2840.41/2622.06	c cleaning 50009 clauses out of 100017 with flag 2653682/5685609
2867.46/2647.76	c cleaning 51000 clauses out of 101999 with flag 2758618/5737600
2905.79/2678.94	c cleaning 51992 clauses out of 103983 with flag 2866110/5790584
2912.13/2683.41	c Got one! Elapsed wall clock time (in seconds):2683.291
2912.13/2683.41	o -34037
2915.07/2686.04	c cleaning 33194 clauses out of 66406 with flag 10122/5804999
2917.15/2688.17	c cleaning 19586 clauses out of 39177 with flag 22233/5810964
2919.62/2690.65	c cleaning 13296 clauses out of 26603 with flag 36434/5817976
2922.72/2693.70	c cleaning 10649 clauses out of 21306 with flag 52832/5825975
2925.70/2696.70	c cleaning 9824 clauses out of 19650 with flag 71299/5834968
2929.79/2700.85	c cleaning 9909 clauses out of 19823 with flag 91619/5844965
2934.50/2705.32	c cleaning 10456 clauses out of 20921 with flag 114222/5855972
2939.30/2710.14	c cleaning 11234 clauses out of 22471 with flag 138877/5867978
2944.04/2714.88	c cleaning 12116 clauses out of 24231 with flag 165518/5880972
2949.89/2720.54	c cleaning 13052 clauses out of 26105 with flag 194013/5894962
2955.82/2726.25	c cleaning 14020 clauses out of 28056 with flag 224656/5909965
2962.66/2732.83	c cleaning 15020 clauses out of 30042 with flag 257083/5925971
2969.97/2739.90	c cleaning 16013 clauses out of 32026 with flag 292679/5942975
2977.23/2747.05	c cleaning 17003 clauses out of 34005 with flag 329501/5960967
2986.53/2755.70	c cleaning 17993 clauses out of 35999 with flag 368410/5979964
2994.98/2763.89	c cleaning 18991 clauses out of 38014 with flag 408580/5999972
3003.93/2772.53	c cleaning 20007 clauses out of 40014 with flag 451751/6020963
3015.20/2783.17	c cleaning 21010 clauses out of 42020 with flag 498140/6042976
3025.54/2793.14	c cleaning 22003 clauses out of 44005 with flag 544657/6065971
3037.41/2804.39	c cleaning 22997 clauses out of 45994 with flag 593655/6089963
3048.94/2815.51	c cleaning 24009 clauses out of 48022 with flag 644333/6114988
3062.13/2828.14	c cleaning 24982 clauses out of 49990 with flag 698435/6140965
3075.74/2841.09	c cleaning 26006 clauses out of 52020 with flag 753181/6167977
3091.33/2853.95	c cleaning 27000 clauses out of 54000 with flag 809594/6195963
3105.50/2866.11	c cleaning 28000 clauses out of 56013 with flag 868370/6224976
3120.46/2880.51	c cleaning 29000 clauses out of 58006 with flag 929976/6254969
3136.12/2895.52	c cleaning 30011 clauses out of 60022 with flag 992246/6285985
3152.93/2911.60	c cleaning 30996 clauses out of 62003 with flag 1056552/6317977
3169.30/2926.85	c cleaning 31986 clauses out of 63995 with flag 1123951/6350965
3185.36/2942.01	c cleaning 33002 clauses out of 66009 with flag 1193927/6384965
3201.94/2957.84	c cleaning 34006 clauses out of 68014 with flag 1269770/6419972
3219.84/2974.97	c cleaning 34996 clauses out of 70005 with flag 1343671/6455969
3238.38/2992.43	c cleaning 35999 clauses out of 72002 with flag 1419257/6492962
3260.88/3010.70	c cleaning 36999 clauses out of 74007 with flag 1497778/6530966
3280.33/3028.96	c cleaning 38002 clauses out of 76004 with flag 1577546/6569962
3300.57/3048.38	c cleaning 38994 clauses out of 78004 with flag 1661490/6609964
3321.54/3068.01	c cleaning 40002 clauses out of 80014 with flag 1747473/6650968
3342.41/3087.67	c cleaning 41019 clauses out of 82038 with flag 1835415/6692994
3363.26/3107.65	c cleaning 41969 clauses out of 83994 with flag 1924141/6735969
3385.83/3129.14	c cleaning 43014 clauses out of 86046 with flag 2015161/6779990
3413.77/3152.26	c cleaning 44009 clauses out of 88035 with flag 2110086/6824993
3437.39/3174.55	c cleaning 44992 clauses out of 89995 with flag 2206012/6870962
3461.76/3197.41	c cleaning 45993 clauses out of 92013 with flag 2304393/6917972
3487.74/3222.00	c cleaning 47007 clauses out of 94013 with flag 2403866/6965965
3512.50/3245.52	c cleaning 48004 clauses out of 96015 with flag 2502307/7014974
3546.87/3273.28	c cleaning 49001 clauses out of 98004 with flag 2602660/7064967
3575.28/3298.37	c cleaning 50006 clauses out of 100035 with flag 2705387/7115999
3600.01/3321.73	c starts		: 184
3600.01/3321.73	c conflicts		: 7165438
3600.01/3321.73	c decisions		: 7245900
3600.01/3321.73	c propagations		: 143286705
3600.01/3321.73	c inspects		: 3098660763
3600.01/3321.73	c shortcuts		: 0
3600.01/3321.73	c learnt literals	: 0
3600.01/3321.73	c learnt binary clauses	: 0
3600.01/3321.73	c learnt ternary clauses	: 0
3600.01/3321.73	c learnt constraints	: 7165438
3600.01/3321.73	c ignored constraints	: 0
3600.01/3321.73	c root simplifications	: 0
3600.01/3321.73	c removed literals (reason simplification)	: 0
3600.01/3321.73	c reason swapping (by a shorter reason)	: 0
3600.01/3321.73	c Calls to reduceDB	: 292
3600.01/3321.73	c Number of update (reduction) of LBD	: 37800
3600.01/3321.73	c Imported unit clauses	: 0
3600.01/3321.73	c No decision after first conflict	: false
3600.01/3321.73	c number of reductions to clauses (during analyze)	: 0
3600.01/3321.73	c number of learned constraints concerned by reduction	: 0
3600.01/3321.73	c number of learning phase by resolution	: 0
3600.01/3321.73	c number of learning phase by cutting planes	: 0
3600.01/3321.73	c number of rounding to 1 operations	: 0
3600.01/3321.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3321.73	c number of reductions of the coefficients by power 2 	: 0
3600.01/3321.73	c number of right shift for reduction by power 2 	: 0
3600.01/3321.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3321.73	c number of ending skipping 	: 0
3600.01/3321.73	c number of internal skipping 	: 0
3600.01/3321.73	c number of derivation steps 	: 0
3600.01/3321.73	c number of skipped derivation steps 	: 0
3600.01/3321.73	c number of remaining unassigned 	: 0
3600.01/3321.73	c number of remaining assigned 	: 0
3600.01/3321.73	c number of falsified literals weakened from reason	: 0
3600.01/3321.73	c number of falsified literals weakened from conflict	: 0
3600.01/3321.73	c time for arithmetic operations	: 0
3600.01/3321.74	c minimum degree of deleted constraints	: null
3600.01/3321.74	c maximum degree of deleted constraints	: null
3600.01/3321.74	c number of deleted constraints	: 0
3600.01/3321.76	c speed (assignments/second)	: 43138.246371444824
3600.01/3321.76	c non guided choices	: 0
3600.01/3321.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 99468
3600.21/3321.81	s SATISFIABLE
3600.21/3321.81	c Found 58 solution(s)
3600.21/3321.81	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 
3600.21/3321.81	c objective function=-34037
3600.21/3321.81	c Total wall clock time (in seconds): 3321.691

Verifier Data 

OK	-34037

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (46301 MiB free)
  memory of node 1: 64473 MiB (43123 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457752-1721868461/watcher-4457752-1721868461 -o /tmp/evaluation-result-4457752-1721868461/solver-4457752-1721868461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457752-1721868461.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

solver pid=269051, runsolver pid=269048
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.48 4.61 4.64 5/329 269069
/proc/meminfo: memFree=91529396/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=18975048 memory=62812 CPUtime=0.13 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 7207 0 0 0 12 1 0 0 20 0 18 0 23370045 19430449152 15703 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4743762 15703 5620 1 0 549335 0
[pid=269051/tid=269053] ppid=269048 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) S 269048 269051 266840 0 -1 1077936192 5743 0 0 0 8 1 0 0 20 0 18 0 23370046 19430449152 15703 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23370048 19430449152 15703 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23370049 19430449152 15703 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62812 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.48 4.61 4.64 7/330 269070
/proc/meminfo: memFree=91521012/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19041612 memory=71516 CPUtime=0.33 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 7714 0 0 0 31 2 0 0 20 0 19 0 23370045 19498610688 17879 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4760403 17879 5819 1 0 549894 0
[pid=269051/tid=269053] ppid=269048 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 6012 0 0 0 18 1 0 0 20 0 19 0 23370046 19498610688 17879 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19041612 memory=1574935 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23370048 19498610688 17879 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23370049 19498610688 17879 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23370063 19498610688 17879 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71516 KiB

[startup+0.306708 s]*
/proc/loadavg: 4.48 4.61 4.64 7/330 269070
/proc/meminfo: memFree=91512240/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19041612 memory=80468 CPUtime=0.52 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 9842 0 0 0 50 2 0 0 20 0 19 0 23370045 19498610688 20117 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4760403 20117 5889 1 0 550946 0
[pid=269051/tid=269053] ppid=269048 vsize=19041612 memory=-8600021938625815228 CPUtime=0.28 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 6021 0 0 0 27 1 0 0 20 0 19 0 23370046 19498610688 20117 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23370048 19498610688 20117 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23370049 19498610688 20117 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23370063 19498610688 20117 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80468 KiB

[startup+0.700255 s]
/proc/loadavg: 4.48 4.61 4.64 7/330 269070
/proc/meminfo: memFree=91498844/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19041612 memory=113284 CPUtime=1.28 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 12482 0 0 0 125 3 0 0 20 0 19 0 23370045 19498610688 28321 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4760403 28321 5905 1 0 552491 0
[pid=269051/tid=269053] ppid=269048 vsize=19041612 memory=73996 CPUtime=0.66 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 6057 0 0 0 65 1 0 0 20 0 19 0 23370046 19498610688 28321 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19041612 memory=12992 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23370048 19498610688 28321 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19041612 memory=2336 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23370049 19498610688 28321 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19041612 memory=32404 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23370063 19498610688 28321 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 113284 KiB

[startup+1.50029 s]
/proc/loadavg: 4.48 4.61 4.64 5/330 269070
/proc/meminfo: memFree=91435896/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=257320 CPUtime=2.25 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 13664 0 0 0 218 7 0 0 20 0 20 0 23370045 19566772224 64330 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 64330 5905 1 0 552781 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=12992 CPUtime=1.4 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 6244 0 0 0 137 3 0 0 20 0 20 0 23370046 19566772224 64330 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 64330 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 64330 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=32404 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 64330 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 257320 KiB

[startup+3.10569 s]
/proc/loadavg: 4.44 4.60 4.63 5/331 269071
/proc/meminfo: memFree=91174148/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=417812 CPUtime=4.08 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 17704 0 0 0 398 10 0 0 20 0 20 0 23370045 19566772224 104453 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 104453 5905 1 0 552842 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=0 CPUtime=2.85 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 7484 0 0 0 282 3 0 0 20 0 20 0 23370046 19566772224 104453 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=-8600021938625815228 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 104453 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 104453 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 104453 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 417812 KiB

[startup+6.30071 s]
/proc/loadavg: 4.44 4.60 4.63 5/331 269071
/proc/meminfo: memFree=90626932/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=963644 CPUtime=7.71 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 20411 0 0 0 750 21 0 0 20 0 20 0 23370045 19566772224 240911 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 240911 5905 1 0 1050230 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=2336 CPUtime=5.71 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 7662 0 0 0 565 6 0 0 20 0 20 0 23370046 19566772224 240911 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 240911 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 240911 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 240911 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 963644 KiB

[startup+12.7007 s]
/proc/loadavg: 4.61 4.63 4.64 5/331 269072
/proc/meminfo: memFree=90003292/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=1668084 CPUtime=14.5 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 22047 0 0 0 1415 35 0 0 20 0 20 0 23370045 19566772224 417021 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 417021 5905 1 0 1455469 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=12992 CPUtime=11.6 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 8054 0 0 0 1150 10 0 0 20 0 20 0 23370046 19566772224 417021 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=1154148 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 417021 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=73996 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 417021 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 417021 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 14.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1668084 KiB

[startup+25.5007 s]
/proc/loadavg: 4.67 4.64 4.65 6/331 269074
/proc/meminfo: memFree=88071676/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=3145828 CPUtime=28.28 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 27781 0 0 0 2763 65 0 0 20 0 20 0 23370045 19566772224 786457 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 786457 5905 1 0 1653924 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=6943526294502006880 CPUtime=23.27 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 9068 0 0 0 2309 18 0 0 20 0 20 0 23370046 19566772224 786457 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 786457 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=3551 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 786457 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 786457 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3145828 KiB

[startup+51.1059 s]
/proc/loadavg: 4.57 4.62 4.64 5/331 269078
/proc/meminfo: memFree=85571932/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=4879528 CPUtime=56.78 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 47372 0 0 0 5574 104 0 0 20 0 20 0 23370045 19566772224 1219882 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 1219882 5946 1 0 1752296 0

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

[startup+2982.3 s]
/proc/loadavg: 4.20 4.19 4.36 5/330 271092
/proc/meminfo: memFree=100362164/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15601504 CPUtime=3227.27 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 463395 0 0 0 322231 496 0 0 20 0 20 0 23370045 19566772224 3900376 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3900376 5959 1 0 4084231 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=15601488 CPUtime=2786.35 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 90089 0 0 0 278513 122 0 0 20 0 20 0 23370046 19566772224 3900376 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=15601488 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3900376 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=15601488 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 827 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3900376 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3900376 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3227.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15601504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.35 6/330 271104
/proc/meminfo: memFree=100095988/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15601512 CPUtime=3294.59 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 486219 0 0 0 328956 503 0 0 20 0 20 0 23370045 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3900378 5959 1 0 4084231 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=15601512 CPUtime=2841.75 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) S 269048 269051 266840 0 -1 1077936192 93083 0 0 0 284052 123 0 0 20 0 20 0 23370046 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=15601504 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=73996 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 882 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=15601512 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3294.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15601512 KiB

[startup+3102.3 s]
/proc/loadavg: 4.27 4.21 4.35 5/330 271116
/proc/meminfo: memFree=100095384/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15601512 CPUtime=3357.98 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 489198 0 0 0 335292 506 0 0 20 0 20 0 23370045 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3900378 5959 1 0 4084231 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=11624 CPUtime=2897.39 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 94148 0 0 0 289616 123 0 0 20 0 20 0 23370046 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=15601512 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=15601512 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 882 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=15601512 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3357.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15601512 KiB

[startup+3162.3 s]
/proc/loadavg: 4.35 4.23 4.35 6/332 271132
/proc/meminfo: memFree=100094596/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15601512 CPUtime=3424.66 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 491315 0 0 0 341955 511 0 0 20 0 20 0 23370045 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3900378 5959 1 0 4084231 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=11624 CPUtime=2953.72 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 95039 0 0 0 295248 124 0 0 20 0 20 0 23370046 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=73996 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=15601512 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 882 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=5508 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3900378 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3424.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15601512 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.22 4.33 5/332 271143
/proc/meminfo: memFree=100093224/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15601944 CPUtime=3488.14 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 493340 0 0 0 348300 514 0 0 20 0 20 0 23370045 19566772224 3900486 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3900486 5959 1 0 4084313 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=11624 CPUtime=3009.82 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 95647 0 0 0 300858 124 0 0 20 0 20 0 23370046 19566772224 3900486 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=15601832 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3900486 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=15601944 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 883 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3900486 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=15601944 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3900486 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3488.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15601944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.21 4.32 5/332 271154
/proc/meminfo: memFree=100090416/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15604060 CPUtime=3558.23 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 518358 0 0 0 355301 522 0 0 20 0 20 0 23370045 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3901015 5959 1 0 4084319 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=15604060 CPUtime=3066.04 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 99897 0 0 0 306479 125 0 0 20 0 20 0 23370046 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=-8600021938625815228 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 888 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=15601944 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3558.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15604060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3321.7 s]
/proc/loadavg: 4.19 4.20 4.32 5/332 271162
/proc/meminfo: memFree=100089956/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19108176 memory=15604060 CPUtime=3600.01 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 521383 0 0 0 359477 524 0 0 20 0 20 0 23370045 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4777044 3901015 5959 1 0 4084319 0
[pid=269051/tid=269053] ppid=269048 vsize=19108176 memory=15604060 CPUtime=3102.55 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 100599 0 0 0 310130 125 0 0 20 0 20 0 23370046 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19108176 memory=15604060 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23370048 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19108176 memory=15604060 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 914 0 0 0 0 0 0 0 20 0 20 0 23370049 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269070] ppid=269048 vsize=19108176 memory=15604060 CPUtime=0 cores=4,6
/proc/269051/task/269070/stat : 269070 (Timer-0) S 269048 269051 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23370063 19566772224 3901015 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15604060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.99 s, system=5.28681 s

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

[startup+3321.81 s]
/proc/loadavg: 4.19 4.20 4.32 5/332 271162
/proc/meminfo: memFree=100089956/131524600 swapFree=131056796/131071996
[pid=269051] ppid=269048 vsize=19307868 memory=15604752 CPUtime=3600.21 cores=4,6
/proc/269051/stat : 269051 (java) S 269048 269051 266840 0 -1 1077936128 523281 0 0 0 359497 524 0 0 20 0 21 0 23370045 19771256832 3901188 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
/proc/269051/statm: 4826967 3901188 5958 1 0 4085232 0
[pid=269051/tid=269053] ppid=269048 vsize=19307868 memory=39140 CPUtime=3102.65 cores=4,6
/proc/269051/task/269053/stat : 269053 (java) R 269048 269051 266840 0 -1 4194368 100687 0 0 0 310140 125 0 0 20 0 21 0 23370046 19771256832 3901188 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269062] ppid=269048 vsize=19307868 memory=15604060 CPUtime=0 cores=4,6
/proc/269051/task/269062/stat : 269062 (Finalizer) S 269048 269051 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23370048 19771256832 3901188 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
[pid=269051/tid=269069] ppid=269048 vsize=19307868 memory=15604060 CPUtime=0 cores=4,6
/proc/269051/task/269069/stat : 269069 (Common-Cleaner) S 269048 269051 266840 0 -1 1077936192 914 0 0 0 0 0 0 0 20 0 21 0 23370049 19771256832 3901188 134679101440 93958928326656 93958928330352 140729046039168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93958928338168 93958928338960 93958959321088 140729046045703 140729046045793 140729046045793 140729046052808 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15604752 KiB

Child status: 143

Real time (s): 3321.86
CPU time (s): 3600.27
CPU user time (s): 3594.99
CPU system time (s): 5.28681
CPU usage (%): 108.381
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15604752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.99
system time used= 5.28681
maximum resident set size= 15605440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122677
involuntary context switches= 29875


# summary of solver processes directly reported to runsolver:
#   pid: 269051
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3594.99
#   total CPU system time (s): 5.28681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1289 second user time and 16.5801 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 02:47:41
IDJOB=4457752
IDBENCH=176755
IDSOLVER=3058
FILE ID=nodeC030/4457752-1721868461
RUNJOBID= nodeC030-1721865114-266851
SLURM_JOB_ID= 8089185
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457752-1721868461/watcher-4457752-1721868461 -o /tmp/evaluation-result-4457752-1721868461/solver-4457752-1721868461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457752-1721868461.opb

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

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=2101936449

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        91571780 kB
MemAvailable:   98164108 kB
Buffers:          272720 kB
Cached:          7106600 kB
SwapCached:          300 kB
Active:          2566476 kB
Inactive:       36635044 kB
Active(anon):       2216 kB
Inactive(anon): 31872756 kB
Active(file):    2564260 kB
Inactive(file):  4762288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:      31819188 kB
Mapped:           130044 kB
Shmem:             53048 kB
KReclaimable:     211208 kB
Slab:             333916 kB
SReclaimable:     211208 kB
SUnreclaim:       122708 kB
KernelStack:        5072 kB
PageTables:        72284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   35333436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31391744 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 03:43:03