Trace number 4432293

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)-24 3600.58 3557.44

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM6f27158fc75cdb45f11467b416377039
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-30
Best CPU time to get the best result obtained on this benchmark2.23031
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.29/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.23	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.24	c Free memory 		2115194816
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.44/0.34	--- Begin Solver configuration ---
0.44/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.34	Learn all clauses as in MiniSAT
0.44/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	No reason simplification
0.44/0.34	Glucose 2.1 dynamic restart strategy
0.44/0.34	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.34	timeout=2147483s
0.44/0.34	DB Simplification allowed=false
0.44/0.34	Listener: none
0.44/0.34	--- End Solver configuration ---
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c No reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4432293-1721062539.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c  objective function found
0.97/0.69	c ... done. Wall clock time 0.336s.
0.97/0.69	c declared #vars     450
0.97/0.69	c #constraints  17794
0.97/0.69	c constraints type 
0.97/0.69	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17794
0.97/0.69	c 17794 constraints processed.
1.13/0.73	c objective function length is 450 literals
1.13/0.74	c SATISFIABLE
1.13/0.74	c OPTIMIZING...
1.13/0.74	c Got one! Elapsed wall clock time (in seconds):0.385
1.13/0.74	o -19
1.31/0.84	c Got one! Elapsed wall clock time (in seconds):0.49
1.31/0.84	o -20
1.72/1.05	c Got one! Elapsed wall clock time (in seconds):0.703
1.72/1.05	o -21
1.92/1.14	c Got one! Elapsed wall clock time (in seconds):0.795
1.92/1.14	o -22
2.09/1.21	c Got one! Elapsed wall clock time (in seconds):0.862
2.09/1.22	o -23
2.68/1.59	c Got one! Elapsed wall clock time (in seconds):1.24
2.68/1.59	o -24
3.35/1.98	c cleaning 3425 clauses out of 6850 with flag 4137/6850
4.61/3.01	c cleaning 4710 clauses out of 9424 with flag 16643/12849
5.84/4.18	c cleaning 5857 clauses out of 11714 with flag 33312/19849
7.58/5.48	c cleaning 6925 clauses out of 13858 with flag 52583/27850
9.16/7.07	c cleaning 7967 clauses out of 15933 with flag 74279/36850
10.51/8.36	c cleaning 8984 clauses out of 17967 with flag 94664/46851
12.24/10.07	c cleaning 9990 clauses out of 19983 with flag 117097/57851
14.98/12.77	c cleaning 10996 clauses out of 21991 with flag 141696/69849
17.31/14.93	c cleaning 11996 clauses out of 23995 with flag 168321/82849
20.10/17.56	c cleaning 13000 clauses out of 26001 with flag 196957/96851
22.49/19.96	c cleaning 13998 clauses out of 28000 with flag 227582/111850
25.28/22.53	c cleaning 14994 clauses out of 30003 with flag 260191/127851
29.50/26.51	c cleaning 16002 clauses out of 32008 with flag 294924/144850
33.95/30.76	c cleaning 17001 clauses out of 34007 with flag 331697/162851
38.47/35.06	c cleaning 17998 clauses out of 36005 with flag 370386/181850
43.68/40.04	c cleaning 18996 clauses out of 38006 with flag 411193/201849
48.06/44.48	c cleaning 20006 clauses out of 40011 with flag 454077/222850
53.66/49.83	c cleaning 20998 clauses out of 42005 with flag 498936/244850
59.80/55.83	c cleaning 22003 clauses out of 44007 with flag 545677/267850
66.36/62.24	c cleaning 22999 clauses out of 46005 with flag 594568/291851
74.42/68.85	c cleaning 24002 clauses out of 48006 with flag 645693/316851
82.42/76.70	c cleaning 24997 clauses out of 50002 with flag 699033/342849
91.41/85.55	c cleaning 26000 clauses out of 52006 with flag 754111/369850
103.07/97.05	c cleaning 26999 clauses out of 54006 with flag 811326/397850
115.86/109.67	c cleaning 28000 clauses out of 56008 with flag 870630/426851
127.04/120.65	c cleaning 29002 clauses out of 58006 with flag 931826/456849
139.31/132.74	c cleaning 29998 clauses out of 60005 with flag 995103/487850
151.15/144.28	c cleaning 30997 clauses out of 62006 with flag 1060435/519849
160.56/153.50	c cleaning 32003 clauses out of 64012 with flag 1127573/552852
174.01/166.78	c cleaning 33001 clauses out of 66007 with flag 1196927/586850
188.85/180.67	c cleaning 34002 clauses out of 68005 with flag 1268434/621849
201.57/193.19	c cleaning 34997 clauses out of 70003 with flag 1342047/657849
214.71/205.83	c cleaning 36002 clauses out of 72006 with flag 1417299/694849
229.33/220.22	c cleaning 36998 clauses out of 74004 with flag 1494802/732849
247.36/237.84	c cleaning 38003 clauses out of 76009 with flag 1574089/771852
268.27/258.59	c cleaning 39001 clauses out of 78004 with flag 1655896/811850
290.58/279.34	c cleaning 39995 clauses out of 80002 with flag 1739646/852849
310.75/299.39	c cleaning 41005 clauses out of 82009 with flag 1825783/894851
330.67/318.97	c cleaning 42000 clauses out of 84002 with flag 1913504/937849
359.16/347.07	c cleaning 43002 clauses out of 86003 with flag 2003435/981850
381.23/368.96	c cleaning 44001 clauses out of 88006 with flag 2095281/1026855
409.20/396.55	c cleaning 44998 clauses out of 89999 with flag 2189246/1072849
437.10/424.06	c cleaning 45999 clauses out of 92001 with flag 2285278/1119849
464.53/451.13	c cleaning 47002 clauses out of 94004 with flag 2383379/1167851
498.19/484.41	c cleaning 47994 clauses out of 96000 with flag 2483286/1216849
533.55/519.46	c cleaning 49000 clauses out of 98006 with flag 2585441/1266849
567.72/553.30	c cleaning 49996 clauses out of 100006 with flag 2689401/1317849
604.11/587.42	c cleaning 51003 clauses out of 102011 with flag 2795458/1369850
631.95/615.09	c cleaning 52002 clauses out of 104007 with flag 2903741/1422849
662.69/645.32	c cleaning 53000 clauses out of 106005 with flag 3014001/1476849
697.72/679.90	c cleaning 54004 clauses out of 108008 with flag 3125993/1531852
739.55/721.34	c cleaning 54999 clauses out of 110002 with flag 3239607/1587850
779.22/760.59	c cleaning 55996 clauses out of 112003 with flag 3355465/1644850
820.74/801.67	c cleaning 56999 clauses out of 114006 with flag 3473910/1702849
862.45/842.94	c cleaning 57999 clauses out of 116007 with flag 3594079/1761849
897.79/877.81	c cleaning 58999 clauses out of 118009 with flag 3716238/1821850
935.76/915.36	c cleaning 59999 clauses out of 120010 with flag 3840638/1882850
982.07/959.11	c cleaning 61003 clauses out of 122010 with flag 3967134/1944849
1031.13/1008.04	c cleaning 62002 clauses out of 124011 with flag 4096035/2007853
1068.57/1044.97	c cleaning 63004 clauses out of 126007 with flag 4226445/2071851
1106.75/1082.56	c cleaning 64001 clauses out of 128002 with flag 4359193/2136850
1172.96/1148.59	c cleaning 64998 clauses out of 130001 with flag 4494333/2202850
1230.83/1205.92	c cleaning 65997 clauses out of 132003 with flag 4631177/2269850
1296.52/1271.21	c cleaning 66998 clauses out of 134005 with flag 4769934/2337849
1353.39/1327.69	c cleaning 68002 clauses out of 136008 with flag 4910847/2406850
1411.63/1385.36	c cleaning 69003 clauses out of 138005 with flag 5053909/2476849
1481.50/1454.73	c cleaning 69996 clauses out of 140002 with flag 5198885/2547849
1544.30/1517.53	c cleaning 70999 clauses out of 142006 with flag 5345581/2619849
1601.30/1574.11	c cleaning 71998 clauses out of 144007 with flag 5494511/2692849
1664.66/1636.96	c cleaning 73003 clauses out of 146009 with flag 5645561/2766849
1734.00/1703.93	c cleaning 73999 clauses out of 148006 with flag 5798491/2841849
1795.03/1764.34	c cleaning 75005 clauses out of 150009 with flag 5953140/2917851
1866.23/1835.32	c cleaning 75999 clauses out of 152002 with flag 6109395/2994849
1937.14/1905.69	c cleaning 76996 clauses out of 154003 with flag 6268664/3072849
2011.25/1979.27	c cleaning 78003 clauses out of 156009 with flag 6429665/3151851
2081.45/2048.70	c cleaning 79003 clauses out of 158005 with flag 6593309/3231850
2173.25/2139.96	c cleaning 80000 clauses out of 160003 with flag 6758567/3312851
2274.37/2240.97	c cleaning 80998 clauses out of 162001 with flag 6925510/3394849
2350.53/2316.69	c cleaning 81999 clauses out of 164004 with flag 7095177/3477850
2429.31/2394.81	c cleaning 83003 clauses out of 166005 with flag 7266752/3561850
2526.73/2491.76	c cleaning 83991 clauses out of 168001 with flag 7440497/3646849
2601.21/2565.69	c cleaning 85002 clauses out of 170010 with flag 7616396/3732849
2685.45/2647.78	c cleaning 85999 clauses out of 172009 with flag 7793995/3819850
2784.63/2746.31	c cleaning 87003 clauses out of 174010 with flag 7974215/3907850
2850.62/2812.10	c cleaning 88000 clauses out of 176006 with flag 8155952/3996849
2944.50/2905.33	c cleaning 88998 clauses out of 178007 with flag 8339751/4086850
3044.58/3004.79	c cleaning 90004 clauses out of 180009 with flag 8525438/4177850
3137.82/3097.23	c cleaning 90998 clauses out of 182005 with flag 8713217/4269850
3237.88/3197.08	c cleaning 92003 clauses out of 184007 with flag 8903105/4362850
3371.98/3330.77	c cleaning 92998 clauses out of 186004 with flag 9095078/4456850
3492.03/3450.18	c cleaning 94003 clauses out of 188006 with flag 9289278/4551850
3570.46/3527.93	c cleaning 95002 clauses out of 190005 with flag 9485098/4647852
3600.00/3557.14	c starts		: 417
3600.00/3557.15	c conflicts		: 4712895
3600.00/3557.16	c decisions		: 4937000
3600.00/3557.16	c propagations		: 26061856
3600.00/3557.16	c inspects		: 16921015901
3600.00/3557.16	c shortcuts		: 0
3600.00/3557.16	c learnt literals	: 0
3600.00/3557.16	c learnt binary clauses	: 0
3600.00/3557.16	c learnt ternary clauses	: 0
3600.00/3557.16	c learnt constraints	: 4712895
3600.00/3557.16	c ignored constraints	: 0
3600.00/3557.16	c root simplifications	: 0
3600.00/3557.16	c removed literals (reason simplification)	: 0
3600.00/3557.16	c reason swapping (by a shorter reason)	: 0
3600.00/3557.16	c Calls to reduceDB	: 92
3600.00/3557.16	c Number of update (reduction) of LBD	: 63280
3600.00/3557.16	c Imported unit clauses	: 0
3600.00/3557.16	c No decision after first conflict	: false
3600.00/3557.16	c number of reductions to clauses (during analyze)	: 0
3600.00/3557.16	c number of learned constraints concerned by reduction	: 0
3600.00/3557.16	c number of learning phase by resolution	: 0
3600.00/3557.16	c number of learning phase by cutting planes	: 0
3600.00/3557.17	c number of rounding to 1 operations	: 0
3600.00/3557.18	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3557.18	c number of reductions of the coefficients by power 2 	: 0
3600.00/3557.18	c number of right shift for reduction by power 2 	: 0
3600.00/3557.18	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3557.18	c number of ending skipping 	: 0
3600.00/3557.18	c number of internal skipping 	: 0
3600.00/3557.18	c number of derivation steps 	: 0
3600.00/3557.18	c number of skipped derivation steps 	: 0
3600.00/3557.18	c number of remaining unassigned 	: 0
3600.00/3557.18	c number of remaining assigned 	: 0
3600.00/3557.18	c number of falsified literals weakened from reason	: 0
3600.00/3557.18	c number of falsified literals weakened from conflict	: 0
3600.00/3557.18	c time for arithmetic operations	: 0
3600.00/3557.18	c minimum degree of deleted constraints	: null
3600.00/3557.18	c maximum degree of deleted constraints	: null
3600.00/3557.18	c number of deleted constraints	: 0
3600.17/3557.22	c speed (assignments/second)	: 7328.0391130836115
3600.17/3557.22	c non guided choices	: 0
3600.37/3557.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 160046
3600.37/3557.37	s SATISFIABLE
3600.37/3557.37	c Found 6 solution(s)
3600.37/3557.37	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 
3600.37/3557.37	c objective function=-24
3600.37/3557.37	c Total wall clock time (in seconds): 3557.028

Verifier Data 

OK	-24

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: 64096 MiB (61060 MiB free)
  memory of node 1: 64473 MiB (60823 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432293-1721062539/watcher-4432293-1721062539 -o /tmp/evaluation-result-4432293-1721062539/solver-4432293-1721062539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806267 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432293-1721062539.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101608 s]*
/proc/loadavg: 1.06 1.34 2.23 13/307 806391
/proc/meminfo: memFree=124674668/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=18975048 memory=55584 CPUtime=0.12 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 6409 0 0 0 8 4 0 0 20 0 18 0 158411030 19430449152 13896 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4743762 13896 5616 1 0 550764 0
[pid=806314/tid=806317] ppid=806306 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 5309 0 0 0 4 3 0 0 20 0 18 0 158411031 19430449152 13896 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=18975048 memory=4674 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411037 19430449152 13896 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411038 19430449152 13896 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55584 KiB

[startup+0.218323 s]*
/proc/loadavg: 1.06 1.34 2.23 9/311 806395
/proc/meminfo: memFree=124655752/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=18975048 memory=58284 CPUtime=0.29 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 7091 0 0 0 24 5 0 0 20 0 18 0 158411030 19430449152 14571 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4743762 14571 5673 1 0 551327 0
[pid=806314/tid=806317] ppid=806306 vsize=18975048 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 5669 0 0 0 15 3 0 0 20 0 18 0 158411031 19430449152 14571 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=18975048 memory=4674 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411037 19430449152 14571 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411038 19430449152 14571 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58284 KiB

[startup+0.319114 s]*
/proc/loadavg: 1.06 1.34 2.23 16/311 806395
/proc/meminfo: memFree=124630104/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=18975048 memory=66176 CPUtime=0.44 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 7357 0 0 0 39 5 0 0 20 0 18 0 158411030 19430449152 16544 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4743762 16544 5777 1 0 551493 0
[pid=806314/tid=806317] ppid=806306 vsize=18975048 memory=-8528524008991597244 CPUtime=0.28 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 5838 0 0 0 24 4 0 0 20 0 18 0 158411031 19430449152 16544 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411037 19430449152 16544 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411038 19430449152 16544 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66176 KiB

[startup+0.708115 s]
/proc/loadavg: 1.06 1.34 2.23 14/311 806395
/proc/meminfo: memFree=124598404/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=18975048 memory=100404 CPUtime=1.13 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 9168 0 0 0 106 7 0 0 20 0 18 0 158411030 19430449152 25101 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4743762 25101 5873 1 0 552668 0
[pid=806314/tid=806317] ppid=806306 vsize=18975048 memory=5540 CPUtime=0.58 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 5969 0 0 0 53 5 0 0 20 0 18 0 158411031 19430449152 25101 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=18975048 memory=12508 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411037 19430449152 25101 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=18975048 memory=1936 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411038 19430449152 25101 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 100404 KiB

[startup+1.50111 s]
/proc/loadavg: 1.06 1.34 2.23 14/316 806400
/proc/meminfo: memFree=124382412/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19041612 memory=143396 CPUtime=2.68 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 15312 0 0 0 259 9 0 0 20 0 19 0 158411030 19498610688 35849 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4760403 35849 5874 1 0 555308 0
[pid=806314/tid=806317] ppid=806306 vsize=19041612 memory=12508 CPUtime=1.3 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 6648 0 0 0 124 6 0 0 20 0 19 0 158411031 19498610688 35849 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19041612 memory=1936 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158411037 19498610688 35849 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158411038 19498610688 35849 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19041612 memory=11420 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158411103 19498610688 35849 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143396 KiB

[startup+3.10512 s]
/proc/loadavg: 1.70 1.47 2.27 7/319 806403
/proc/meminfo: memFree=123880672/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=205828 CPUtime=4.73 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 17045 0 0 0 462 11 0 0 20 0 20 0 158411030 19566772224 51457 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 51457 5911 1 0 555660 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 7582 0 0 0 277 6 0 0 20 0 20 0 158411031 19566772224 51457 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 51457 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 51457 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=-8745259741058802364 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 51457 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205828 KiB

[startup+6.30112 s]
/proc/loadavg: 1.70 1.47 2.27 6/319 806405
/proc/meminfo: memFree=122694428/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=358224 CPUtime=8.46 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 17984 0 0 0 831 15 0 0 20 0 20 0 158411030 19566772224 89556 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 89556 5911 1 0 555664 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=12508 CPUtime=5.75 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 7608 0 0 0 569 6 0 0 20 0 20 0 158411031 19566772224 89556 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=7667492055218214243 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 89556 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 89556 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=42444 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 89556 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 358224 KiB

[startup+12.7004 s]
/proc/loadavg: 2.21 1.58 2.30 6/319 806405
/proc/meminfo: memFree=121020232/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=595084 CPUtime=14.98 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 19955 0 0 0 1478 20 0 0 20 0 20 0 158411030 19566772224 148771 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 148771 5911 1 0 929553 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=566412 CPUtime=11.77 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 8448 0 0 0 1169 8 0 0 20 0 20 0 158411031 19566772224 148771 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=-8745259741058802364 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 148771 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 148771 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=12508 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 148771 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 14.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 595084 KiB

[startup+25.5005 s]
/proc/loadavg: 2.48 1.66 2.32 6/319 806406
/proc/meminfo: memFree=117378296/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=1306000 CPUtime=28.49 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 24890 0 0 0 2812 37 0 0 20 0 20 0 158411030 19566772224 326500 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 326500 5921 1 0 1132177 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=566412 CPUtime=23.71 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 9485 0 0 0 2359 12 0 0 20 0 20 0 158411031 19566772224 326500 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=674956 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 326500 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=1140304 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 326500 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 326500 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1306000 KiB

[startup+51.113 s]
/proc/loadavg: 3.00 1.85 2.36 6/319 806411
/proc/meminfo: memFree=113066868/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=2285180 CPUtime=55.13 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 27790 0 0 0 5454 59 0 0 20 0 20 0 158411030 19566772224 571295 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 571295 5921 1 0 1132187 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=2162288 CPUtime=48.11 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 10641 0 0 0 4797 14 0 0 20 0 20 0 158411031 19566772224 571295 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=3684 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 571295 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=7235 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 571295 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0

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

/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 81008 0 0 0 317458 51 0 0 20 0 20 0 158411031 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1151 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3263.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8806372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.46 4.34 6/318 807792
/proc/meminfo: memFree=80498408/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8806372 CPUtime=3323.65 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 222247 0 0 0 331998 367 0 0 20 0 20 0 158411030 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2201593 5936 1 0 2477840 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=8806372 CPUtime=3234.47 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 81347 0 0 0 323396 51 0 0 20 0 20 0 158411031 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1151 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2201593 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3323.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8806372 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.40 4.33 6/320 807806
/proc/meminfo: memFree=80493856/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8806388 CPUtime=3383.56 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 223198 0 0 0 337986 370 0 0 20 0 20 0 158411030 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2201597 5936 1 0 2477844 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=8806384 CPUtime=3294.33 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 82183 0 0 0 329382 51 0 0 20 0 20 0 158411031 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=8806384 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1151 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=8806384 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3383.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8806388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.34 4.32 6/320 807817
/proc/meminfo: memFree=80304700/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8806388 CPUtime=3444.3 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 226159 0 0 0 344057 373 0 0 20 0 20 0 158411030 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2201597 5936 1 0 2477844 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=8806388 CPUtime=3353.3 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 82741 0 0 0 335279 51 0 0 20 0 20 0 158411031 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8806372 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1200 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3444.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8806388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.29 4.30 6/320 807827
/proc/meminfo: memFree=80138080/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8806388 CPUtime=3504.21 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 226696 0 0 0 350046 375 0 0 20 0 20 0 158411030 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2201597 5936 1 0 2477844 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=11420 CPUtime=3413.16 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 83273 0 0 0 341265 51 0 0 20 0 20 0 158411031 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8806388 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1200 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=11420 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2201597 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3504.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8806388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.27 4.29 5/320 807904
/proc/meminfo: memFree=93590756/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8808440 CPUtime=3564.87 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 227838 0 0 0 356110 377 0 0 20 0 20 0 158411030 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2202110 5936 1 0 2477844 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=8806388 CPUtime=3472.17 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 83897 0 0 0 347165 52 0 0 20 0 20 0 158411031 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=8806388 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8806388 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1200 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=8808440 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3564.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8808440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3557.11 s]
/proc/loadavg: 4.28 4.29 4.29 7/320 808047
/proc/meminfo: memFree=112171576/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19108176 memory=8808440 CPUtime=3600 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 228587 0 0 0 359622 378 0 0 20 0 20 0 158411030 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4777044 2202110 5936 1 0 2477844 0
[pid=806314/tid=806317] ppid=806306 vsize=19108176 memory=8808440 CPUtime=3506.53 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 84330 0 0 0 350601 52 0 0 20 0 20 0 158411031 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19108176 memory=8808440 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411037 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19108176 memory=8808440 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1200 0 0 0 0 0 0 0 20 0 20 0 158411038 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806397] ppid=806306 vsize=19108176 memory=8808440 CPUtime=0 cores=5,7
/proc/806314/task/806397/stat : 806397 (Timer-0) S 806306 806314 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411103 19566772224 2202110 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8808440 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.74 s, system=3.83609 s

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

[startup+3557.21 s]
/proc/loadavg: 4.28 4.29 4.29 7/320 808047
/proc/meminfo: memFree=112171576/131655788 swapFree=131071996/131071996
[pid=806314] ppid=806306 vsize=19307868 memory=8809176 CPUtime=3600.17 cores=5,7
/proc/806314/stat : 806314 (java) S 806306 806314 806254 0 -1 1077936128 231260 0 0 0 359639 378 0 0 20 0 21 0 158411030 19771256832 2202294 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
/proc/806314/statm: 4826967 2202294 5935 1 0 2478766 0
[pid=806314/tid=806317] ppid=806306 vsize=19307868 memory=2340 CPUtime=3506.61 cores=5,7
/proc/806314/task/806317/stat : 806317 (java) R 806306 806314 806254 0 -1 4194368 84456 0 0 0 350609 52 0 0 20 0 21 0 158411031 19771256832 2202294 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806359] ppid=806306 vsize=19307868 memory=32180 CPUtime=0 cores=5,7
/proc/806314/task/806359/stat : 806359 (Finalizer) S 806306 806314 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158411037 19771256832 2202294 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
[pid=806314/tid=806372] ppid=806306 vsize=19307868 memory=21560 CPUtime=0 cores=5,7
/proc/806314/task/806372/stat : 806372 (Common-Cleaner) S 806306 806314 806254 0 -1 1077936192 1200 0 0 0 0 0 0 0 20 0 21 0 158411038 19771256832 2202294 134679101440 94392691331072 94392691334768 140733485976080 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94392691342584 94392691343376 94392696295424 140733485982727 140733485982817 140733485982817 140733485989832 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 8809176 KiB

[startup+3557.42 s]*
/proc/loadavg: 4.74 4.38 4.32 6/302 808050
/proc/meminfo: memFree=120729432/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3557.44
CPU time (s): 3600.58
CPU user time (s): 3596.74
CPU system time (s): 3.83609
CPU usage (%): 101.213
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 8809176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.74
system time used= 3.83609
maximum resident set size= 8810184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110436
involuntary context switches= 5207


# summary of solver processes directly reported to runsolver:
#   pid: 806314
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3596.74
#   total CPU system time (s): 3.83609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0284 second user time and 34.4515 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 18:55:51
IDJOB=4432293
IDBENCH=146688
IDSOLVER=3058
FILE ID=nodeC011/4432293-1721062539
RUNJOBID= nodeC011-1721062551-806267
SLURM_JOB_ID= 7505516
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432293-1721062539/watcher-4432293-1721062539 -o /tmp/evaluation-result-4432293-1721062539/solver-4432293-1721062539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806267 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432293-1721062539.opb

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

MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039
RANDOM SEED=1691794273

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124813380 kB
MemAvailable:   129893368 kB
Buffers:          387672 kB
Cached:          5470900 kB
SwapCached:            0 kB
Active:           654968 kB
Inactive:        5523564 kB
Active(anon):       1348 kB
Inactive(anon):   356332 kB
Active(file):     653620 kB
Inactive(file):  5167232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3152 kB
Writeback:            56 kB
AnonPages:        319996 kB
Mapped:           102908 kB
Shmem:             37704 kB
KReclaimable:     198672 kB
Slab:             308288 kB
SReclaimable:     198672 kB
SUnreclaim:       109616 kB
KernelStack:        3568 kB
PageTables:         9444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     641168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-15 19:55:09