Trace number 4424820

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.25 3599.93

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM0dfee3407103fe38e7e280b581c141ed
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.012434
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints54
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 2808
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2807
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.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-4424820-1720881313.wbo
0.13/0.12	c reading problem ... 
0.13/0.15	c ... done. Wall clock time 0.023s.
0.13/0.15	c declared #vars     750
0.13/0.15	c internal #vars     804
0.13/0.15	c #constraints  81
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
0.13/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.13/0.15	c org.sat4j.specs.Constr$1 => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50
0.13/0.15	c 81 constraints processed.
0.13/0.16	c objective function length is 54 literals
0.53/0.35	c SATISFIABLE
0.53/0.35	c OPTIMIZING...
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.229
0.53/0.36	o 179
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.244
0.53/0.37	o 131
0.91/0.51	c Got one! Elapsed wall clock time (in seconds):0.385
0.91/0.51	o 99
0.91/0.54	c Got one! Elapsed wall clock time (in seconds):0.414
0.91/0.54	o 85
1.09/0.61	c Got one! Elapsed wall clock time (in seconds):0.481
1.09/0.61	o 65
1.09/0.62	c Got one! Elapsed wall clock time (in seconds):0.49
1.09/0.62	o 64
1.82/1.15	c cleaning 4095 clauses out of 8198 with flag 29119/8198
2.44/1.61	c cleaning 5046 clauses out of 10103 with flag 73872/14198
2.96/2.15	c cleaning 6020 clauses out of 12058 with flag 137501/21199
3.46/2.62	c Got one! Elapsed wall clock time (in seconds):2.486
3.46/2.62	o 63
3.46/2.66	c Got one! Elapsed wall clock time (in seconds):2.536
3.46/2.66	o 53
3.88/3.08	c cleaning 9603 clauses out of 19211 with flag 41595/34372
4.17/3.34	c Got one! Elapsed wall clock time (in seconds):3.219
4.17/3.34	o 41
4.27/3.42	c cleaning 7433 clauses out of 14885 with flag 6975/39649
4.61/3.73	c Got one! Elapsed wall clock time (in seconds):3.608
4.61/3.73	o 38
4.77/3.84	c cleaning 6435 clauses out of 12873 with flag 7288/45070
4.87/4.00	c Got one! Elapsed wall clock time (in seconds):3.875
4.87/4.00	o 25
5.17/4.21	c cleaning 5757 clauses out of 11515 with flag 16578/50147
5.46/4.54	c cleaning 5873 clauses out of 11758 with flag 62174/56147
5.56/4.68	c Got one! Elapsed wall clock time (in seconds):4.561
5.56/4.68	o 15
5.76/4.80	c cleaning 5565 clauses out of 11133 with flag 20859/61395
5.97/5.07	c cleaning 5753 clauses out of 11565 with flag 71297/67392
6.57/5.63	c cleaning 6407 clauses out of 12813 with flag 129263/74393
7.27/6.32	c cleaning 7195 clauses out of 14406 with flag 199603/82393
8.67/7.75	c cleaning 8102 clauses out of 16210 with flag 279503/91392
10.26/9.34	c cleaning 9053 clauses out of 18110 with flag 374944/101394
11.56/10.65	c cleaning 10023 clauses out of 20056 with flag 468224/112393
12.70/11.77	c cleaning 10991 clauses out of 22034 with flag 556726/124394
13.92/12.95	c cleaning 11989 clauses out of 24042 with flag 659512/137393
16.19/15.20	c cleaning 13017 clauses out of 26052 with flag 788545/151392
19.11/18.11	c cleaning 14015 clauses out of 28036 with flag 937056/166393
23.46/22.56	c cleaning 15004 clauses out of 30021 with flag 1107139/182393
25.54/24.66	c cleaning 16002 clauses out of 32017 with flag 1263876/199393
27.48/26.52	c cleaning 16989 clauses out of 34015 with flag 1412521/217393
29.16/28.20	c cleaning 17993 clauses out of 36027 with flag 1556134/236394
32.00/31.07	c cleaning 19015 clauses out of 38032 with flag 1739375/256392
34.09/33.17	c cleaning 19980 clauses out of 40017 with flag 1917483/277392
37.08/36.12	c cleaning 20999 clauses out of 42039 with flag 2115118/299394
40.03/39.01	c cleaning 22001 clauses out of 44038 with flag 2282164/322392
44.51/43.53	c cleaning 23009 clauses out of 46039 with flag 2499519/346394
48.76/47.72	c cleaning 23987 clauses out of 48028 with flag 2692937/371392
51.45/50.47	c cleaning 25009 clauses out of 50045 with flag 2900382/397396
59.09/58.02	c cleaning 26015 clauses out of 52033 with flag 3141141/424393
67.93/66.84	c cleaning 27009 clauses out of 54021 with flag 3396322/452396
75.61/74.54	c cleaning 28003 clauses out of 56008 with flag 3700180/481392
85.00/83.97	c cleaning 28998 clauses out of 58005 with flag 3941875/511392
94.30/93.31	c cleaning 30001 clauses out of 60008 with flag 4137997/542393
100.50/99.59	c cleaning 30994 clauses out of 62008 with flag 4389468/574394
111.24/110.25	c cleaning 31992 clauses out of 64012 with flag 4665397/607392
121.81/120.82	c cleaning 33006 clauses out of 66021 with flag 4934594/641393
137.54/136.57	c cleaning 34001 clauses out of 68014 with flag 5175784/676392
151.42/150.40	c cleaning 34998 clauses out of 70013 with flag 5449309/712392
164.20/163.20	c cleaning 36005 clauses out of 72015 with flag 5718937/749392
181.50/180.50	c cleaning 36999 clauses out of 74010 with flag 5986934/787392
190.49/189.52	c cleaning 38000 clauses out of 76011 with flag 6339009/826392
203.88/202.71	c cleaning 39000 clauses out of 78011 with flag 6693558/866392
219.36/218.27	c cleaning 40000 clauses out of 80012 with flag 7040270/907393
236.14/235.08	c cleaning 40998 clauses out of 82012 with flag 7347698/949393
253.22/252.10	c cleaning 42005 clauses out of 84019 with flag 7657457/992398
272.89/271.84	c cleaning 43000 clauses out of 86010 with flag 7974845/1036394
291.93/290.86	c cleaning 43998 clauses out of 88009 with flag 8328123/1081393
309.19/308.13	c cleaning 44999 clauses out of 90012 with flag 8680136/1127394
325.82/324.73	c cleaning 46001 clauses out of 92011 with flag 9043095/1174392
336.30/335.27	c cleaning 46987 clauses out of 94010 with flag 9458883/1222392
357.40/356.34	c cleaning 47967 clauses out of 96024 with flag 9933948/1271393
384.54/383.53	c cleaning 48983 clauses out of 98056 with flag 10474271/1321392
407.10/406.15	c cleaning 49981 clauses out of 100074 with flag 11022979/1372393
431.86/430.81	c cleaning 50993 clauses out of 102096 with flag 11517337/1424396
458.62/457.60	c cleaning 51995 clauses out of 104099 with flag 12039093/1477392
490.96/490.02	c cleaning 52994 clauses out of 106104 with flag 12556986/1531392
529.49/528.63	c cleaning 53998 clauses out of 108110 with flag 13122919/1586392
568.97/568.03	c cleaning 54998 clauses out of 110113 with flag 13684209/1642393
606.70/605.80	c cleaning 55997 clauses out of 112114 with flag 14281005/1699392
635.65/634.55	c cleaning 56994 clauses out of 114118 with flag 14925313/1757393
664.59/663.51	c cleaning 58001 clauses out of 116124 with flag 15588194/1816393
697.29/696.27	c cleaning 59005 clauses out of 118123 with flag 16232267/1876393
732.22/731.29	c cleaning 60000 clauses out of 120117 with flag 16838359/1937392
766.46/765.51	c cleaning 60995 clauses out of 122117 with flag 17484327/1999392
807.49/806.67	c cleaning 62004 clauses out of 124123 with flag 18123958/2062393
845.47/844.50	c cleaning 63004 clauses out of 126120 with flag 18858485/2126394
879.89/879.01	c cleaning 63997 clauses out of 128116 with flag 19591568/2191394
917.60/916.88	c cleaning 65003 clauses out of 130118 with flag 20335057/2257393
971.69/971.01	c cleaning 65999 clauses out of 132114 with flag 21014534/2324392
1022.69/1022.05	c cleaning 66999 clauses out of 134117 with flag 21734007/2392394
1043.34/1042.71	c cleaning 68014 clauses out of 136116 with flag 22364991/2461392
1107.83/1107.38	c cleaning 69039 clauses out of 138102 with flag 23052046/2531392
1160.92/1160.37	c cleaning 70025 clauses out of 140064 with flag 23781067/2602393
1221.69/1221.21	c cleaning 71018 clauses out of 142041 with flag 24551610/2674395
1263.81/1263.45	c cleaning 71993 clauses out of 144020 with flag 25216809/2747392
1331.23/1330.93	c cleaning 73012 clauses out of 146029 with flag 25952026/2821394
1365.03/1364.30	c cleaning 74006 clauses out of 148015 with flag 26627321/2896392
1402.94/1402.21	c cleaning 74979 clauses out of 150009 with flag 27345603/2972392
1445.25/1444.62	c cleaning 75985 clauses out of 152030 with flag 28121654/3049392
1491.56/1491.04	c cleaning 76987 clauses out of 154045 with flag 28924407/3127392
1529.75/1529.18	c cleaning 77989 clauses out of 156061 with flag 29828490/3206395
1573.15/1572.65	c cleaning 78985 clauses out of 158069 with flag 30667549/3286392
1617.47/1616.99	c cleaning 79997 clauses out of 160084 with flag 31516828/3367392
1671.95/1671.52	c cleaning 80998 clauses out of 162087 with flag 32361467/3449392
1714.51/1714.08	c cleaning 82004 clauses out of 164090 with flag 33218094/3532393
1782.28/1782.00	c cleaning 82997 clauses out of 166089 with flag 34072418/3616396
1835.64/1835.25	c cleaning 84000 clauses out of 168090 with flag 34997678/3701394
1903.18/1902.43	c cleaning 84997 clauses out of 170088 with flag 35887547/3787392
1962.58/1961.97	c cleaning 86000 clauses out of 172091 with flag 36821028/3874392
2040.93/2040.36	c cleaning 86998 clauses out of 174093 with flag 37807019/3962394
2094.55/2094.02	c cleaning 87944 clauses out of 176093 with flag 38757164/4051392
2134.83/2134.29	c cleaning 89059 clauses out of 178149 with flag 39536760/4141392
2159.85/2159.10	c cleaning 90017 clauses out of 180091 with flag 40376793/4232393
2198.57/2197.94	c cleaning 91027 clauses out of 182073 with flag 41213989/4324392
2277.18/2276.65	c cleaning 92014 clauses out of 184046 with flag 42043261/4417392
2412.18/2411.95	c cleaning 93015 clauses out of 186033 with flag 42964253/4511393
2515.65/2515.45	c cleaning 94006 clauses out of 188017 with flag 43909552/4606392
2647.16/2646.60	c cleaning 95003 clauses out of 190011 with flag 44855337/4702392
2725.50/2725.10	c cleaning 95999 clauses out of 192008 with flag 45937992/4799392
2817.93/2817.69	c cleaning 96991 clauses out of 194010 with flag 46976953/4897393
2895.71/2895.42	c cleaning 98003 clauses out of 196018 with flag 48080257/4996392
3030.19/3030.04	c cleaning 99006 clauses out of 198015 with flag 49260389/5096392
3128.88/3128.91	c cleaning 99996 clauses out of 200011 with flag 50507978/5197394
3172.64/3172.67	c cleaning 100985 clauses out of 202013 with flag 51442599/5299392
3216.67/3216.72	c cleaning 101961 clauses out of 204028 with flag 52333875/5402392
3275.09/3275.12	c cleaning 103003 clauses out of 206067 with flag 53242387/5506392
3413.38/3413.06	c cleaning 104000 clauses out of 208064 with flag 54258159/5611392
3455.62/3455.28	c cleaning 104994 clauses out of 210066 with flag 55197502/5717394
3533.19/3532.92	c cleaning 105985 clauses out of 212070 with flag 56271814/5824392
3591.01/3590.83	c cleaning 106995 clauses out of 214085 with flag 57411565/5932392
3600.00/3599.81	c starts		: 38760
3600.00/3599.81	c conflicts		: 5973987
3600.00/3599.81	c decisions		: 11041587
3600.00/3599.81	c propagations		: 175317168
3600.00/3599.81	c inspects		: 31610536716
3600.00/3599.81	c shortcuts		: 0
3600.00/3599.81	c learnt literals	: 0
3600.00/3599.81	c learnt binary clauses	: 0
3600.00/3599.81	c learnt ternary clauses	: 0
3600.00/3599.81	c learnt constraints	: 5973987
3600.00/3599.81	c ignored constraints	: 0
3600.00/3599.81	c root simplifications	: 0
3600.00/3599.81	c removed literals (reason simplification)	: 0
3600.00/3599.81	c reason swapping (by a shorter reason)	: 0
3600.00/3599.81	c Calls to reduceDB	: 112
3600.00/3599.81	c Number of update (reduction) of LBD	: 3366954
3600.00/3599.81	c Imported unit clauses	: 0
3600.00/3599.81	c No decision after first conflict	: false
3600.00/3599.81	c number of reductions to clauses (during analyze)	: 0
3600.00/3599.81	c number of learned constraints concerned by reduction	: 0
3600.00/3599.81	c number of learning phase by resolution	: 0
3600.00/3599.81	c number of learning phase by cutting planes	: 0
3600.00/3599.81	c number of rounding to 1 operations	: 0
3600.00/3599.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3599.81	c number of reductions of the coefficients by power 2 	: 0
3600.00/3599.81	c number of right shift for reduction by power 2 	: 0
3600.00/3599.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3599.81	c number of ending skipping 	: 0
3600.00/3599.82	c number of internal skipping 	: 0
3600.00/3599.82	c number of derivation steps 	: 0
3600.00/3599.82	c number of skipped derivation steps 	: 0
3600.00/3599.82	c number of remaining unassigned 	: 0
3600.00/3599.82	c number of remaining assigned 	: 0
3600.00/3599.82	c number of falsified literals weakened from reason	: 0
3600.00/3599.82	c number of falsified literals weakened from conflict	: 0
3600.00/3599.82	c time for arithmetic operations	: 0
3600.00/3599.83	c minimum degree of deleted constraints	: null
3600.00/3599.83	c maximum degree of deleted constraints	: null
3600.00/3599.83	c number of deleted constraints	: 0
3600.00/3599.83	c speed (assignments/second)	: 48703.67783713507
3600.00/3599.83	c non guided choices	: 21929
3600.00/3599.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 148685
3600.21/3599.90	s SATISFIABLE
3600.21/3599.90	c Found 12 solution(s)
3600.21/3599.90	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 
3600.21/3599.91	c objective function=15
3600.21/3599.91	c Total wall clock time (in seconds): 3599.791

Verifier Data 

OK	15

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=708191, runsolver pid=708186

[startup+0.100599 s]*
/proc/loadavg: 1.06 1.10 1.17 11/327 708258
/proc/meminfo: memFree=129437192/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=18975048 memory=65460 CPUtime=0.13 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 7221 0 0 0 12 1 0 0 20 0 18 0 140301064 19430449152 16365 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4743762 16365 5707 1 0 549319 0
[pid=708191/tid=708194] ppid=708186 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 1078198336 5742 0 0 0 7 1 0 0 20 0 18 0 140301064 19430449152 16365 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=18975048 memory=17963 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140301066 19430449152 16365 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140301067 19430449152 16365 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65460 KiB

[startup+0.206373 s]*
/proc/loadavg: 1.06 1.10 1.17 13/330 708261
/proc/meminfo: memFree=129387148/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19041612 memory=73008 CPUtime=0.33 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 9335 0 0 0 30 3 0 0 20 0 19 0 140301064 19498610688 18252 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4760403 18252 5873 1 0 550813 0
[pid=708191/tid=708194] ppid=708186 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 6012 0 0 0 17 1 0 0 20 0 19 0 140301064 19498610688 18252 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19041612 memory=17963 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 18252 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140301067 19498610688 18252 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301080 19498610688 18252 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73008 KiB

[startup+0.306373 s]*
/proc/loadavg: 1.06 1.10 1.17 11/331 708262
/proc/meminfo: memFree=129368128/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19041612 memory=76944 CPUtime=0.53 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 10671 0 0 0 50 3 0 0 20 0 19 0 140301064 19498610688 19236 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4760403 19236 5873 1 0 551683 0
[pid=708191/tid=708194] ppid=708186 vsize=19041612 memory=-8816755476065067708 CPUtime=0.27 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 6023 0 0 0 26 1 0 0 20 0 19 0 140301064 19498610688 19236 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 19236 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140301067 19498610688 19236 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301080 19498610688 19236 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76944 KiB

[startup+0.700376 s]
/proc/loadavg: 1.06 1.10 1.17 10/331 708262
/proc/meminfo: memFree=129340092/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19041612 memory=86768 CPUtime=1.28 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 11048 0 0 0 125 3 0 0 20 0 19 0 140301064 19498610688 21692 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4760403 21692 5888 1 0 551941 0
[pid=708191/tid=708194] ppid=708186 vsize=19041612 memory=35024 CPUtime=0.65 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 6041 0 0 0 64 1 0 0 20 0 19 0 140301064 19498610688 21692 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19041612 memory=12312 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 21692 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140301067 19498610688 21692 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301080 19498610688 21692 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86768 KiB

[startup+1.50043 s]
/proc/loadavg: 1.06 1.10 1.17 7/331 708262
/proc/meminfo: memFree=129263460/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19041612 memory=94012 CPUtime=2.34 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 15139 0 0 0 230 4 0 0 20 0 19 0 140301064 19498610688 23503 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4760403 23503 5888 1 0 552113 0
[pid=708191/tid=708194] ppid=708186 vsize=19041612 memory=12312 CPUtime=1.45 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 7089 0 0 0 143 2 0 0 20 0 19 0 140301064 19498610688 23503 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 23503 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140301067 19498610688 23503 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301080 19498610688 23503 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94012 KiB

[startup+3.10578 s]
/proc/loadavg: 1.06 1.10 1.17 5/333 708264
/proc/meminfo: memFree=129046608/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19041612 memory=118712 CPUtime=3.98 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 15922 0 0 0 393 5 0 0 20 0 19 0 140301064 19498610688 29678 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4760403 29678 5888 1 0 552117 0
[pid=708191/tid=708194] ppid=708186 vsize=19041612 memory=0 CPUtime=3.05 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 7565 0 0 0 302 3 0 0 20 0 19 0 140301064 19498610688 29678 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19041612 memory=-8743010131678503612 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140301066 19498610688 29678 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19041612 memory=12312 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140301067 19498610688 29678 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19041612 memory=2220 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140301080 19498610688 29678 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 118712 KiB

[startup+6.30028 s]
/proc/loadavg: 1.30 1.15 1.18 5/334 708265
/proc/meminfo: memFree=128747844/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=177388 CPUtime=7.27 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 20925 0 0 0 720 7 0 0 20 0 20 0 140301064 19566772224 44347 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 44347 5904 1 0 552406 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=12312 CPUtime=6.23 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 8526 0 0 0 619 4 0 0 20 0 20 0 140301064 19566772224 44347 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 44347 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 44347 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=96060 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 44347 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177388 KiB

[startup+12.7004 s]
/proc/loadavg: 1.51 1.20 1.20 6/334 708267
/proc/meminfo: memFree=128345832/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=188288 CPUtime=13.72 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 26382 0 0 0 1364 8 0 0 20 0 20 0 140301064 19566772224 47072 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 47072 5920 1 0 552406 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=96060 CPUtime=12.59 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 9422 0 0 0 1255 4 0 0 20 0 20 0 140301064 19566772224 47072 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=187756 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 47072 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=-8743010131678503612 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 47072 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 47072 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188288 KiB

[startup+25.5004 s]
/proc/loadavg: 2.14 1.35 1.25 5/335 708269
/proc/meminfo: memFree=127107832/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=323656 CPUtime=26.49 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 28859 0 0 0 2637 12 0 0 20 0 20 0 140301064 19566772224 80914 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 80914 5920 1 0 552406 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=12316 CPUtime=25.13 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 10328 0 0 0 2509 4 0 0 20 0 20 0 140301064 19566772224 80914 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=260168 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 80914 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=19461 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 80914 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 80914 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 323656 KiB

[startup+51.1058 s]
/proc/loadavg: 2.83 1.58 1.33 5/334 708274
/proc/meminfo: memFree=125435136/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=532732 CPUtime=52.16 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 32580 0 0 0 5199 17 0 0 20 0 20 0 140301064 19566772224 133183 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 133183 5946 1 0 552406 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=12316 CPUtime=50.46 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.10 7/332 710047
/proc/meminfo: memFree=102192312/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2119632 CPUtime=3282.27 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 112418 0 0 0 328057 170 0 0 20 0 20 0 140301064 19566772224 529908 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 529908 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2119632 CPUtime=3269.03 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 35070 0 0 0 326894 9 0 0 20 0 20 0 140301064 19566772224 529908 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 529908 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2119632 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1843 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 529908 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 529908 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3282.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.09 8/336 710118
/proc/meminfo: memFree=101969384/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2119652 CPUtime=3342.79 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 118085 0 0 0 334106 173 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 529913 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2119632 CPUtime=3328.76 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 35172 0 0 0 332867 9 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2119632 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1843 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3342.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.09 6/336 710128
/proc/meminfo: memFree=101965220/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2119652 CPUtime=3402.69 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 118505 0 0 0 340095 174 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 529913 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2119632 CPUtime=3388.63 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 35402 0 0 0 338854 9 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1919 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3402.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.09 7/336 710139
/proc/meminfo: memFree=101964652/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2119652 CPUtime=3462.71 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 120305 0 0 0 346094 177 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 529913 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2119632 CPUtime=3448.37 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 36014 0 0 0 344828 9 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1947 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3462.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.10 6/336 710150
/proc/meminfo: memFree=101964248/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2119652 CPUtime=3522.61 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 120373 0 0 0 352082 179 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 529913 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2119652 CPUtime=3508.23 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 36078 0 0 0 350814 9 0 0 20 0 20 0 140301064 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2119652 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1947 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 529913 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3522.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/309 710195
/proc/meminfo: memFree=116793716/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2121700 CPUtime=3582.52 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 120883 0 0 0 358071 181 0 0 20 0 20 0 140301064 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 530425 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=2121700 CPUtime=3567.86 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 36228 0 0 0 356777 9 0 0 20 0 20 0 140301064 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=2121700 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=2121700 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1947 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3582.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.8 s]
/proc/loadavg: 3.66 4.04 4.06 4/283 710230
/proc/meminfo: memFree=126576676/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19108176 memory=2121700 CPUtime=3600 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 120890 0 0 0 359818 182 0 0 20 0 20 0 140301064 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4777044 530425 5946 1 0 558190 0
[pid=708191/tid=708194] ppid=708186 vsize=19108176 memory=32004 CPUtime=3585.33 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 36233 0 0 0 358524 9 0 0 20 0 20 0 140301064 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19108176 memory=-8743010131678503612 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140301066 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19108176 memory=40304 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1947 0 0 0 0 0 0 0 20 0 20 0 140301067 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708260] ppid=708186 vsize=19108176 memory=8236 CPUtime=0 cores=5,7
/proc/708191/task/708260/stat : 708260 (Timer-0) S 708186 708191 703901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140301080 19566772224 530425 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.41 s, system=1.83485 s

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

[startup+3599.91 s]
/proc/loadavg: 3.66 4.04 4.06 4/283 710230
/proc/meminfo: memFree=126576676/131524600 swapFree=131071996/131071996
[pid=708191] ppid=708186 vsize=19307868 memory=2122436 CPUtime=3600.21 cores=5,7
/proc/708191/stat : 708191 (java) S 708186 708191 703901 0 -1 1077936128 123957 0 0 0 359839 182 0 0 20 0 21 0 140301064 19771256832 530609 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
/proc/708191/statm: 4826967 530609 5945 1 0 559129 0
[pid=708191/tid=708194] ppid=708186 vsize=19307868 memory=12316 CPUtime=3585.44 cores=5,7
/proc/708191/task/708194/stat : 708194 (java) R 708186 708191 703901 0 -1 4194368 36412 0 0 0 358534 10 0 0 20 0 21 0 140301064 19771256832 530609 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708235] ppid=708186 vsize=19307868 memory=35152 CPUtime=0 cores=5,7
/proc/708191/task/708235/stat : 708235 (Finalizer) S 708186 708191 703901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140301066 19771256832 530609 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
[pid=708191/tid=708245] ppid=708186 vsize=19307868 memory=2121700 CPUtime=0 cores=5,7
/proc/708191/task/708245/stat : 708245 (Common-Cleaner) S 708186 708191 703901 0 -1 1077936192 1947 0 0 0 0 0 0 0 20 0 21 0 140301067 19771256832 530609 134679101440 94190063296512 94190063300208 140736967161312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94190063308024 94190063308816 94190076260352 140736967164909 140736967164999 140736967164999 140736967172040 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2122436 KiB

Child status: 143

Real time (s): 3599.93
CPU time (s): 3600.25
CPU user time (s): 3598.41
CPU system time (s): 1.83485
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2122436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 1.83485
maximum resident set size= 2123384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105559
involuntary context switches= 3355


# summary of solver processes directly reported to runsolver:
#   pid: 708191
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3598.41
#   total CPU system time (s): 1.83485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87383 second user time and 18.044 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 0dfee3407103fe38e7e280b581c141ed
RANDOM SEED=1211026060

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129591216 kB
MemAvailable:   129738760 kB
Buffers:          319800 kB
Cached:           672740 kB
SwapCached:            0 kB
Active:           475440 kB
Inactive:         897700 kB
Active(anon):       1484 kB
Inactive(anon):   417148 kB
Active(file):     473956 kB
Inactive(file):   480552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:        380280 kB
Mapped:           109076 kB
Shmem:             37716 kB
KReclaimable:      65368 kB
Slab:             163068 kB
SReclaimable:      65368 kB
SUnreclaim:        97700 kB
KernelStack:        4040 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     688208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:    11106304 kB
DirectMap1G:    124780544 kB

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