Trace number 4425034

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-07OPTIMUM 2733.22 2732.37

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMd6f30eafb787975283c0eede77b5a69b
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.006649
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables400
Total number of constraints60
Number of soft constraints60
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Top cost 2653
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 2652
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2113181440
0.13/0.10	c Max memory 		16282288128
0.13/0.10	c Total memory 		2122317824
0.13/0.10	c Number of processors 	2
0.13/0.14	--- Begin Solver configuration ---
0.13/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.14	Learn all clauses as in MiniSAT
0.13/0.14	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	No reason simplification
0.13/0.14	Glucose 2.1 dynamic restart strategy
0.13/0.14	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.14	timeout=2147483s
0.13/0.14	DB Simplification allowed=false
0.13/0.14	Listener: none
0.13/0.14	--- End Solver configuration ---
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Glucose 2.1 dynamic restart strategy
0.13/0.15	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.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4425034-1720877757.wbo
0.13/0.15	c reading problem ... 
0.13/0.17	c ... done. Wall clock time 0.025s.
0.13/0.18	c declared #vars     400
0.13/0.18	c internal #vars     460
0.13/0.18	c #constraints  61
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
0.13/0.18	c org.sat4j.specs.Constr$1 => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40
0.13/0.18	c 61 constraints processed.
0.13/0.19	c objective function length is 60 literals
0.33/0.26	c SATISFIABLE
0.33/0.26	c OPTIMIZING...
0.33/0.26	c Got one! Elapsed wall clock time (in seconds):0.116
0.33/0.27	o 99
0.90/0.54	c Got one! Elapsed wall clock time (in seconds):0.386
0.90/0.54	o 85
0.90/0.54	c Got one! Elapsed wall clock time (in seconds):0.397
0.90/0.54	o 66
1.27/0.74	c cleaning 2886 clauses out of 5778 with flag 18595/5778
1.27/0.78	c Got one! Elapsed wall clock time (in seconds):0.631
1.27/0.78	o 64
1.46/0.80	c Got one! Elapsed wall clock time (in seconds):0.651
1.46/0.80	o 55
1.46/0.83	c Got one! Elapsed wall clock time (in seconds):0.683
1.46/0.83	o 51
1.46/0.84	c Got one! Elapsed wall clock time (in seconds):0.692
1.46/0.84	o 43
1.46/0.86	c Got one! Elapsed wall clock time (in seconds):0.713
1.46/0.86	o 37
1.63/0.98	c Got one! Elapsed wall clock time (in seconds):0.833
1.63/0.98	o 27
1.75/1.09	c Got one! Elapsed wall clock time (in seconds):0.944
1.75/1.09	o 8
2.05/1.32	c cleaning 6181 clauses out of 12361 with flag 25166/15247
2.72/1.93	c cleaning 6090 clauses out of 12180 with flag 72287/21247
3.39/2.36	c Got one! Elapsed wall clock time (in seconds):2.21
3.39/2.36	o 7
3.79/2.70	c cleaning 8225 clauses out of 16463 with flag 48836/31620
4.20/3.15	c cleaning 7112 clauses out of 14240 with flag 105084/37622
4.62/3.58	c cleaning 7054 clauses out of 14129 with flag 157451/44623
5.47/4.19	c cleaning 7534 clauses out of 15072 with flag 219872/52620
6.16/4.85	c cleaning 8261 clauses out of 16539 with flag 292100/61621
7.06/5.75	c cleaning 9134 clauses out of 18279 with flag 370379/71622
7.97/6.67	c cleaning 10065 clauses out of 20143 with flag 453267/82620
9.07/7.76	c cleaning 11040 clauses out of 22079 with flag 540624/94621
10.27/8.94	c cleaning 12017 clauses out of 24039 with flag 642228/107621
11.76/10.44	c cleaning 13008 clauses out of 26021 with flag 751344/121620
13.45/12.08	c cleaning 14007 clauses out of 28017 with flag 871392/136624
16.10/14.61	c cleaning 14998 clauses out of 30006 with flag 1000990/152620
18.21/16.76	c cleaning 15996 clauses out of 32008 with flag 1135000/169620
21.02/19.54	c cleaning 17003 clauses out of 34014 with flag 1297821/187622
23.41/21.91	c cleaning 17994 clauses out of 36010 with flag 1477665/206621
25.91/24.43	c cleaning 19004 clauses out of 38018 with flag 1665243/226623
28.80/27.38	c cleaning 20003 clauses out of 40011 with flag 1867022/247620
32.39/31.00	c cleaning 20999 clauses out of 42008 with flag 2091942/269620
36.69/35.29	c cleaning 21998 clauses out of 44011 with flag 2339229/292622
42.98/41.55	c cleaning 23002 clauses out of 46011 with flag 2595300/316620
49.37/47.90	c cleaning 23998 clauses out of 48009 with flag 2889163/341620
56.67/55.29	c cleaning 25003 clauses out of 50015 with flag 3189975/367624
65.05/63.68	c cleaning 25999 clauses out of 52011 with flag 3550479/394623
72.67/71.26	c cleaning 27005 clauses out of 54009 with flag 3902107/422620
79.66/78.29	c cleaning 28000 clauses out of 56005 with flag 4134395/451621
87.68/86.26	c cleaning 29000 clauses out of 58007 with flag 4386523/481623
99.58/98.15	c cleaning 30000 clauses out of 60005 with flag 4670411/512621
109.85/108.40	c cleaning 30983 clauses out of 62010 with flag 4984899/544626
117.55/116.12	c cleaning 32004 clauses out of 64021 with flag 5259920/577620
132.17/130.72	c cleaning 33001 clauses out of 66017 with flag 5569655/611620
140.26/138.87	c cleaning 34005 clauses out of 68016 with flag 5906117/646620
149.34/148.01	c cleaning 34996 clauses out of 70011 with flag 6224702/682620
163.52/162.12	c cleaning 36005 clauses out of 72018 with flag 6576966/719623
173.62/172.22	c cleaning 36995 clauses out of 74012 with flag 6919262/757622
187.30/185.94	c cleaning 38004 clauses out of 76015 with flag 7279945/796620
196.87/195.58	c cleaning 38994 clauses out of 78011 with flag 7646174/836620
211.75/210.49	c cleaning 40005 clauses out of 80017 with flag 8078231/877620
224.41/223.11	c cleaning 40983 clauses out of 82013 with flag 8474514/919621
233.88/232.50	c cleaning 42008 clauses out of 84029 with flag 8856761/962620
248.75/247.49	c cleaning 42995 clauses out of 86024 with flag 9307447/1006623
265.52/264.28	c cleaning 43999 clauses out of 88026 with flag 9747139/1051620
285.13/283.89	c cleaning 44994 clauses out of 90031 with flag 10212869/1097624
296.21/294.94	c cleaning 46005 clauses out of 92033 with flag 10643144/1144620
311.48/310.23	c cleaning 47006 clauses out of 94030 with flag 11172213/1192622
337.80/336.58	c cleaning 48004 clauses out of 96022 with flag 11719192/1241620
354.58/353.37	c cleaning 48997 clauses out of 98020 with flag 12193351/1291622
371.55/370.32	c cleaning 49997 clauses out of 100021 with flag 12735997/1342620
395.35/394.18	c cleaning 51000 clauses out of 102026 with flag 13284623/1394622
423.10/421.95	c cleaning 52007 clauses out of 104025 with flag 13856127/1447621
445.18/444.06	c cleaning 53004 clauses out of 106017 with flag 14406662/1501620
465.35/464.29	c cleaning 54003 clauses out of 108015 with flag 14987205/1556622
483.14/482.09	c cleaning 54995 clauses out of 110010 with flag 15527027/1612620
515.71/514.67	c cleaning 56000 clauses out of 112017 with flag 16126901/1669622
549.97/548.98	c cleaning 56998 clauses out of 114015 with flag 16780212/1727620
576.04/575.01	c cleaning 57994 clauses out of 116018 with flag 17379990/1786621
606.21/605.23	c cleaning 59004 clauses out of 118024 with flag 18040031/1846621
644.25/643.37	c cleaning 60004 clauses out of 120020 with flag 18732452/1907621
671.50/670.68	c cleaning 61001 clauses out of 122015 with flag 19424307/1969620
703.08/702.24	c cleaning 62003 clauses out of 124015 with flag 20155905/2032621
742.33/741.58	c cleaning 63000 clauses out of 126012 with flag 20935349/2096621
781.41/780.61	c cleaning 63999 clauses out of 128013 with flag 21700869/2161622
831.85/831.19	c cleaning 64999 clauses out of 130012 with flag 22490253/2227620
879.78/879.11	c cleaning 66001 clauses out of 132014 with flag 23334385/2294621
930.16/929.57	c cleaning 66997 clauses out of 134012 with flag 24188446/2362620
970.97/970.45	c cleaning 68000 clauses out of 136016 with flag 25068045/2431621
1011.68/1011.11	c cleaning 69002 clauses out of 138016 with flag 25894893/2501621
1069.39/1069.00	c cleaning 70002 clauses out of 140013 with flag 26801835/2572620
1125.11/1124.78	c cleaning 70997 clauses out of 142015 with flag 27763353/2644624
1182.83/1182.58	c cleaning 72000 clauses out of 144014 with flag 28703488/2717620
1216.24/1214.83	c cleaning 72991 clauses out of 146014 with flag 29513926/2791621
1259.76/1258.17	c cleaning 74010 clauses out of 148023 with flag 30113540/2866621
1283.65/1281.92	c cleaning 74991 clauses out of 150013 with flag 30766379/2942621
1315.35/1313.17	c cleaning 75991 clauses out of 152021 with flag 31423413/3019620
1347.12/1344.92	c cleaning 77001 clauses out of 154030 with flag 32064915/3097620
1382.87/1380.70	c cleaning 77996 clauses out of 156030 with flag 32778308/3176621
1410.06/1407.92	c cleaning 79013 clauses out of 158034 with flag 33485305/3256621
1435.14/1433.05	c cleaning 79996 clauses out of 160021 with flag 34215532/3337621
1463.50/1461.48	c cleaning 81007 clauses out of 162025 with flag 34985390/3419621
1488.86/1486.82	c cleaning 82000 clauses out of 164017 with flag 35895889/3502620
1512.84/1510.86	c cleaning 83004 clauses out of 166019 with flag 36823134/3586622
1541.90/1539.92	c cleaning 83999 clauses out of 168013 with flag 37685929/3671620
1571.38/1569.49	c cleaning 85003 clauses out of 170015 with flag 38513547/3757621
1623.67/1621.84	c cleaning 85999 clauses out of 172011 with flag 39340749/3844620
1687.22/1685.45	c cleaning 86992 clauses out of 174012 with flag 40238578/3932620
1744.47/1742.80	c cleaning 88000 clauses out of 176020 with flag 41257449/4021620
1797.29/1795.68	c cleaning 89001 clauses out of 178021 with flag 42259746/4111621
1842.36/1840.71	c cleaning 89999 clauses out of 180021 with flag 43092439/4202622
1900.05/1898.55	c cleaning 91007 clauses out of 182021 with flag 43932872/4294621
1961.31/1959.88	c cleaning 91998 clauses out of 184014 with flag 44850460/4387621
2000.04/1998.65	c cleaning 93001 clauses out of 186015 with flag 45718503/4481620
2054.95/2053.32	c cleaning 93996 clauses out of 188014 with flag 46671194/4576621
2101.66/2100.10	c cleaning 95004 clauses out of 190017 with flag 47658640/4672620
2158.57/2157.04	c cleaning 95995 clauses out of 192013 with flag 48640254/4769620
2221.65/2220.19	c cleaning 97002 clauses out of 194018 with flag 49718965/4867620
2286.93/2285.58	c cleaning 98005 clauses out of 196017 with flag 50779415/4966621
2350.32/2349.05	c cleaning 99003 clauses out of 198013 with flag 51967854/5066622
2406.30/2404.92	c cleaning 99995 clauses out of 200008 with flag 53147254/5167620
2467.78/2466.58	c cleaning 100997 clauses out of 202013 with flag 54366625/5269620
2554.40/2553.36	c cleaning 101998 clauses out of 204016 with flag 55680591/5372620
2635.05/2634.15	c cleaning 103003 clauses out of 206019 with flag 57114100/5476621
2692.61/2691.84	c cleaning 104006 clauses out of 208016 with flag 58502077/5581621
2733.12/2732.32	c starts		: 18564
2733.12/2732.33	c conflicts		: 5649811
2733.12/2732.33	c decisions		: 7469604
2733.12/2732.33	c propagations		: 139121274
2733.12/2732.33	c inspects		: 32892418918
2733.12/2732.33	c shortcuts		: 0
2733.12/2732.33	c learnt literals	: 11
2733.12/2732.33	c learnt binary clauses	: 7
2733.12/2732.33	c learnt ternary clauses	: 5
2733.12/2732.33	c learnt constraints	: 5649799
2733.12/2732.33	c ignored constraints	: 0
2733.12/2732.33	c root simplifications	: 0
2733.12/2732.33	c removed literals (reason simplification)	: 0
2733.12/2732.33	c reason swapping (by a shorter reason)	: 0
2733.12/2732.33	c Calls to reduceDB	: 104
2733.12/2732.33	c Number of update (reduction) of LBD	: 2998835
2733.12/2732.33	c Imported unit clauses	: 0
2733.12/2732.33	c No decision after first conflict	: false
2733.12/2732.33	c number of reductions to clauses (during analyze)	: 0
2733.12/2732.34	c number of learned constraints concerned by reduction	: 0
2733.12/2732.34	c number of learning phase by resolution	: 0
2733.12/2732.34	c number of learning phase by cutting planes	: 0
2733.12/2732.34	c number of rounding to 1 operations	: 0
2733.12/2732.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2733.12/2732.34	c number of reductions of the coefficients by power 2 	: 0
2733.12/2732.34	c number of right shift for reduction by power 2 	: 0
2733.12/2732.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
2733.12/2732.34	c number of ending skipping 	: 0
2733.12/2732.34	c number of internal skipping 	: 0
2733.12/2732.34	c number of derivation steps 	: 0
2733.12/2732.34	c number of skipped derivation steps 	: 0
2733.12/2732.34	c number of remaining unassigned 	: 0
2733.12/2732.34	c number of remaining assigned 	: 0
2733.12/2732.34	c number of falsified literals weakened from reason	: 0
2733.12/2732.34	c number of falsified literals weakened from conflict	: 0
2733.12/2732.34	c time for arithmetic operations	: 0
2733.12/2732.34	c minimum degree of deleted constraints	: null
2733.12/2732.34	c maximum degree of deleted constraints	: null
2733.12/2732.34	c number of deleted constraints	: 0
2733.12/2732.34	c speed (assignments/second)	: 50920.05310101821
2733.12/2732.34	c non guided choices	: 2659
2733.12/2732.34	s OPTIMUM FOUND
2733.12/2732.34	c Found 11 solution(s)
2733.12/2732.35	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 
2733.12/2732.35	c objective function=7
2733.12/2732.35	c Total wall clock time (in seconds): 2732.202

Verifier Data 

OK	7

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425034-1720877757/watcher-4425034-1720877757 -o /tmp/evaluation-result-4425034-1720877757/solver-4425034-1720877757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699782 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425034-1720877757.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=700410, runsolver pid=700406

[startup+0.100066 s]*
/proc/loadavg: 3.87 4.12 4.11 6/314 700449
/proc/meminfo: memFree=128927480/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=18975048 memory=61812 CPUtime=0.13 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 6968 0 0 0 11 2 0 0 20 0 18 0 139932404 19430449152 15453 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4743762 15453 5580 1 0 551361 0
[pid=700410/tid=700416] ppid=700406 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 5577 0 0 0 7 1 0 0 20 0 18 0 139932404 19430449152 15453 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=18975048 memory=5822 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139932407 19430449152 15453 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139932407 19430449152 15453 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61812 KiB

[startup+0.210954 s]*
/proc/loadavg: 3.87 4.12 4.11 10/316 700451
/proc/meminfo: memFree=128910816/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=70820 CPUtime=0.33 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 7527 0 0 0 30 3 0 0 20 0 19 0 139932404 19498610688 17705 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 17705 5793 1 0 551971 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 5884 0 0 0 18 1 0 0 20 0 19 0 139932404 19498610688 17705 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=5822 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 17705 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=13849655494580062 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 17705 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 17705 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70820 KiB

[startup+0.312954 s]*
/proc/loadavg: 3.87 4.12 4.11 10/316 700451
/proc/meminfo: memFree=128890588/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=75324 CPUtime=0.53 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 9429 0 0 0 50 3 0 0 20 0 19 0 139932404 19498610688 18831 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 18831 5878 1 0 553068 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=-8673201073279115964 CPUtime=0.29 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 5907 0 0 0 28 1 0 0 20 0 19 0 139932404 19498610688 18831 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 18831 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 18831 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 18831 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75324 KiB

[startup+0.700954 s]
/proc/loadavg: 3.87 4.12 4.11 8/316 700451
/proc/meminfo: memFree=128859516/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=86872 CPUtime=1.27 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 11607 0 0 0 124 3 0 0 20 0 19 0 139932404 19498610688 21718 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 21718 5893 1 0 554246 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=35284 CPUtime=0.68 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 5915 0 0 0 66 2 0 0 20 0 19 0 139932404 19498610688 21718 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=12724 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 21718 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=2288 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 21718 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=26396 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 21718 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86872 KiB

[startup+1.50028 s]
/proc/loadavg: 4.20 4.19 4.13 8/316 700451
/proc/meminfo: memFree=128830864/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=97744 CPUtime=2.32 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 15619 0 0 0 228 4 0 0 20 0 19 0 139932404 19498610688 24436 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 24436 5893 1 0 554787 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=12724 CPUtime=1.47 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 6526 0 0 0 145 2 0 0 20 0 19 0 139932404 19498610688 24436 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 24436 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=2288 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 24436 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=26396 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 24436 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97744 KiB

[startup+3.11329 s]
/proc/loadavg: 4.20 4.19 4.13 5/316 700451
/proc/meminfo: memFree=128799076/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=112172 CPUtime=4.2 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 17035 0 0 0 415 5 0 0 20 0 19 0 139932404 19498610688 28043 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 28043 5893 1 0 554805 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=0 CPUtime=3.07 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 6795 0 0 0 305 2 0 0 20 0 19 0 139932404 19498610688 28043 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=-8745258667317043900 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 28043 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=12724 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 28043 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=2288 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 28043 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112172 KiB

[startup+6.30046 s]
/proc/loadavg: 4.27 4.20 4.13 5/316 700452
/proc/meminfo: memFree=128753576/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=132392 CPUtime=7.67 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 18371 0 0 0 761 6 0 0 20 0 19 0 139932404 19498610688 33098 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 33098 5893 1 0 554805 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=2288 CPUtime=6.26 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 7237 0 0 0 623 3 0 0 20 0 19 0 139932404 19498610688 33098 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 33098 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=12724 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 33098 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=97744 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 33098 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132392 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.20 4.13 5/317 700453
/proc/meminfo: memFree=128611732/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19041612 memory=165264 CPUtime=14.21 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 22836 0 0 0 1414 7 0 0 20 0 19 0 139932404 19498610688 41316 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4760403 41316 5893 1 0 554805 0
[pid=700410/tid=700416] ppid=700406 vsize=19041612 memory=97744 CPUtime=12.63 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 8171 0 0 0 1260 3 0 0 20 0 19 0 139932404 19498610688 41316 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 41316 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19041612 memory=161160 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139932407 19498610688 41316 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139932423 19498610688 41316 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 14.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165264 KiB

[startup+25.5005 s]
/proc/loadavg: 4.28 4.21 4.14 5/318 700457
/proc/meminfo: memFree=128444108/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=186404 CPUtime=27 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 24951 0 0 0 2692 8 0 0 20 0 20 0 139932404 19566772224 46601 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 46601 5941 1 0 555094 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=161160 CPUtime=25.35 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 8808 0 0 0 2532 3 0 0 20 0 20 0 139932404 19566772224 46601 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=-7595718315334132110 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 46601 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=35284 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 46601 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=3741 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 46601 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186404 KiB

[startup+51.1138 s]
/proc/loadavg: 4.33 4.22 4.14 5/318 700527
/proc/meminfo: memFree=128108980/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=207080 CPUtime=52.58 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 27692 0 0 0 5248 10 0 0 20 0 20 0 139932404 19566772224 51770 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 51770 5941 1 0 555094 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=207080 CPUtime=50.8 cores=5,7

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

[pid=700410] ppid=700406 vsize=19108176 memory=1443132 CPUtime=2688.83 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 121709 0 0 0 268700 183 0 0 20 0 20 0 139932404 19566772224 360783 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 360783 5985 1 0 560262 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=-8599449127527817916 CPUtime=2676.93 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 40357 0 0 0 267683 10 0 0 20 0 20 0 139932404 19566772224 360783 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=8260 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 360783 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=2252 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2725 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 360783 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=3356 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 360783 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2688.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1443132 KiB

[startup+2713.6 s]
/proc/loadavg: 4.13 4.15 4.19 6/320 702179
/proc/meminfo: memFree=109894604/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1467688 CPUtime=2714.37 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122180 0 0 0 271252 185 0 0 20 0 20 0 139932404 19566772224 366922 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 366922 5985 1 0 560262 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=1381328 CPUtime=2702.45 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 40820 0 0 0 270234 11 0 0 20 0 20 0 139932404 19566772224 366922 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 366922 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=12724 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2725 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 366922 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=5620 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 366922 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2714.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1467688 KiB

[startup+2720 s]*
/proc/loadavg: 4.12 4.15 4.19 6/320 702181
/proc/meminfo: memFree=109887316/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1472716 CPUtime=2720.76 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122278 0 0 0 271891 185 0 0 20 0 20 0 139932404 19566772224 368179 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 368179 5985 1 0 560265 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=-8599449127527817916 CPUtime=2708.84 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 40868 0 0 0 270873 11 0 0 20 0 20 0 139932404 19566772224 368179 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=-4421386483312912743 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 368179 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=19496 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 368179 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=7060 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 368179 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2720.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1472716 KiB

[startup+2726.4 s]
/proc/loadavg: 4.27 4.18 4.20 6/320 702182
/proc/meminfo: memFree=109792716/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1476812 CPUtime=2727.14 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122346 0 0 0 272528 186 0 0 20 0 20 0 139932404 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369203 5985 1 0 560265 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=11408 CPUtime=2715.21 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 40908 0 0 0 271510 11 0 0 20 0 20 0 139932404 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=1469736 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=1469736 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=1459496 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2727.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1476812 KiB

[startup+2729.6 s]
/proc/loadavg: 4.33 4.20 4.20 6/320 702182
/proc/meminfo: memFree=109792624/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1476812 CPUtime=2730.33 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122346 0 0 0 272847 186 0 0 20 0 20 0 139932404 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369203 5985 1 0 560265 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=1474764 CPUtime=2718.4 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 40908 0 0 0 271829 11 0 0 20 0 20 0 139932404 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=1474764 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=1476812 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369203 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2730.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1476812 KiB

[startup+2731.2 s]
/proc/loadavg: 4.33 4.20 4.20 6/320 702182
/proc/meminfo: memFree=109790596/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1478864 CPUtime=2731.98 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122756 0 0 0 273012 186 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369716 5985 1 0 560265 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=-8745258667317043900 CPUtime=2719.99 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 41062 0 0 0 271988 11 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=12724 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=5620 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=2560 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2731.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1478864 KiB

[startup+2732 s]*
/proc/loadavg: 4.30 4.19 4.20 6/320 702182
/proc/meminfo: memFree=109790500/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1478864 CPUtime=2732.79 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 122992 0 0 0 273093 186 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369716 5985 1 0 560265 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=-8599449127527817916 CPUtime=2720.82 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 41199 0 0 0 272071 11 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=-4421386483312912743 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=3907208234871816279 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=4792 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2732.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1478864 KiB

[startup+2732.2 s]
/proc/loadavg: 4.30 4.19 4.20 6/320 702182
/proc/meminfo: memFree=109790500/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1478864 CPUtime=2733.02 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 123014 0 0 0 273115 187 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369716 5985 1 0 560268 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=5676 CPUtime=2720.99 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 41201 0 0 0 272088 11 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=20403 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=3907208234871816279 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=19736 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2733.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1478864 KiB

[startup+2732.3 s]
/proc/loadavg: 4.30 4.19 4.20 6/320 702182
/proc/meminfo: memFree=109790500/131655788 swapFree=131071996/131071996
[pid=700410] ppid=700406 vsize=19108176 memory=1478864 CPUtime=2733.12 cores=5,7
/proc/700410/stat : 700410 (java) S 700406 700410 697515 0 -1 1077936128 123020 0 0 0 273125 187 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
/proc/700410/statm: 4777044 369716 5985 1 0 560268 0
[pid=700410/tid=700416] ppid=700406 vsize=19108176 memory=1422288 CPUtime=2721.09 cores=5,7
/proc/700410/task/700416/stat : 700416 (java) R 700406 700410 697515 0 -1 4194368 41207 0 0 0 272098 11 0 0 20 0 20 0 139932404 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700433] ppid=700406 vsize=19108176 memory=1373136 CPUtime=0 cores=5,7
/proc/700410/task/700433/stat : 700433 (Finalizer) S 700406 700410 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700448] ppid=700406 vsize=19108176 memory=1381328 CPUtime=0 cores=5,7
/proc/700410/task/700448/stat : 700448 (Common-Cleaner) S 700406 700410 697515 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 139932407 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
[pid=700410/tid=700450] ppid=700406 vsize=19108176 memory=1472708 CPUtime=0 cores=5,7
/proc/700410/task/700450/stat : 700450 (Timer-0) S 700406 700410 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139932423 19566772224 369716 134679101440 94517389684736 94517389688432 140731932934464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94517389696248 94517389697040 94517393592320 140731932939245 140731932939335 140731932939335 140731932946376 0
Current children cumulated CPU time: 2733.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1478864 KiB

Child status: 30

Real time (s): 2732.37
CPU time (s): 2733.22
CPU user time (s): 2731.34
CPU system time (s): 1.88413
CPU usage (%): 100.031
Max. virtual memory (cumulated for all children) (KiB): 19111448
Max. memory (cumulated for all children) (KiB): 1478864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2731.34
system time used= 1.88413
maximum resident set size= 1484316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81488
involuntary context switches= 1649


# summary of solver processes directly reported to runsolver:
#   pid: 700410
#   total CPU time (s): 2733.22
#   total CPU user time (s): 2731.34
#   total CPU system time (s): 1.88413

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8182 second user time and 31.0282 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 15:36:10
IDJOB=4425034
IDBENCH=143129
IDSOLVER=3037
FILE ID=nodeC007/4425034-1720877757
RUNJOBID= nodeC007-1720877762-699782
SLURM_JOB_ID= 7483755
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425034-1720877757/watcher-4425034-1720877757 -o /tmp/evaluation-result-4425034-1720877757/solver-4425034-1720877757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699782 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425034-1720877757.wbo

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

MD5SUM BENCH= d6f30eafb787975283c0eede77b5a69b
RANDOM SEED=1733574896

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.670
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.25
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		: 1197.213
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.30
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		: 3641.974
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.25
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		: 3536.026
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.30
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		: 3491.745
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.25
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		: 3491.657
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.30
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		: 3491.628
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.25
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		: 3491.654
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129008744 kB
MemAvailable:   128902348 kB
Buffers:          318264 kB
Cached:           424596 kB
SwapCached:            0 kB
Active:           485832 kB
Inactive:        1662460 kB
Active(anon):       1452 kB
Inactive(anon):  1441380 kB
Active(file):     484380 kB
Inactive(file):   221080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18472 kB
Writeback:            12 kB
AnonPages:       1405272 kB
Mapped:           121752 kB
Shmem:             37704 kB
KReclaimable:      56348 kB
Slab:             145920 kB
SReclaimable:      56348 kB
SUnreclaim:        89572 kB
KernelStack:        4444 kB
PageTables:        12584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10890904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45600 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1169408 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC007 at 2024-07-13 16:21:42