Trace number 4425035

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.27 3603.62

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM70531ee5749151dad1953cdd0a25cead
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.007806
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables480
Total number of constraints62
Number of soft constraints62
Number of constraints which are clauses32
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 constraint16
Top cost 2961
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2960
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.11	c Pseudo Boolean Optimization by upper bound
0.14/0.11	c --- Begin Solver configuration ---
0.14/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	c Learn all clauses as in MiniSAT
0.14/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	c No reason simplification
0.14/0.11	c Glucose 2.1 dynamic restart strategy
0.14/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.11	c timeout=2147483s
0.14/0.11	c DB Simplification allowed=false
0.14/0.11	c Listener: none
0.14/0.11	c --- End Solver configuration ---
0.14/0.11	c solving HOME/instance-4425035-1720878597.wbo
0.14/0.11	c reading problem ... 
0.14/0.14	c ... done. Wall clock time 0.025s.
0.14/0.14	c declared #vars     480
0.14/0.14	c internal #vars     542
0.14/0.14	c #constraints  63
0.14/0.14	c constraints type 
0.14/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.14/0.14	c org.sat4j.specs.Constr$1 => 1
0.14/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 32
0.14/0.14	c 63 constraints processed.
0.14/0.15	c objective function length is 62 literals
0.53/0.34	c SATISFIABLE
0.53/0.34	c OPTIMIZING...
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.226
0.53/0.34	o 47
0.72/0.46	c Got one! Elapsed wall clock time (in seconds):0.338
0.72/0.46	o 45
0.72/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
0.72/0.50	o 22
0.91/0.54	c Got one! Elapsed wall clock time (in seconds):0.425
0.91/0.54	o 13
1.11/0.69	c cleaning 3713 clauses out of 7441 with flag 12125/7441
1.47/0.82	c Got one! Elapsed wall clock time (in seconds):0.702
1.47/0.82	o 10
1.86/1.02	c cleaning 4420 clauses out of 8904 with flag 22052/12617
2.23/1.33	c cleaning 5188 clauses out of 10484 with flag 68648/18617
2.72/1.74	c cleaning 6147 clauses out of 12296 with flag 126107/25617
3.67/2.53	c cleaning 7074 clauses out of 14150 with flag 196974/33618
4.46/3.31	c cleaning 8035 clauses out of 16076 with flag 269587/42618
5.36/4.25	c cleaning 9020 clauses out of 18040 with flag 345026/52617
6.57/5.47	c cleaning 9970 clauses out of 20024 with flag 422137/63621
8.06/6.93	c cleaning 10981 clauses out of 22051 with flag 520132/75618
9.97/8.88	c cleaning 11990 clauses out of 24070 with flag 628209/88618
11.96/10.89	c cleaning 12997 clauses out of 26080 with flag 736058/102618
14.17/13.10	c cleaning 13999 clauses out of 28082 with flag 849532/117617
16.89/15.79	c cleaning 14996 clauses out of 30083 with flag 980538/133617
19.90/18.76	c cleaning 16002 clauses out of 32089 with flag 1138549/150619
22.99/21.84	c cleaning 17000 clauses out of 34085 with flag 1296048/168617
26.48/25.38	c cleaning 18001 clauses out of 36087 with flag 1473599/187619
30.57/29.45	c cleaning 18995 clauses out of 38084 with flag 1646235/207617
35.13/34.00	c cleaning 20005 clauses out of 40092 with flag 1828927/228620
40.09/39.04	c cleaning 20999 clauses out of 42085 with flag 2019346/250618
46.42/45.40	c cleaning 22000 clauses out of 44085 with flag 2219116/273617
54.10/53.16	c cleaning 22999 clauses out of 46085 with flag 2436457/297617
61.42/60.56	c cleaning 23997 clauses out of 48086 with flag 2655880/322617
71.01/70.18	c cleaning 24996 clauses out of 50089 with flag 2885054/348617
81.00/80.17	c cleaning 26000 clauses out of 52094 with flag 3131603/375618
91.01/90.19	c cleaning 27025 clauses out of 54093 with flag 3371773/403617
94.47/93.69	c cleaning 28026 clauses out of 56068 with flag 3601967/432617
102.05/101.23	c cleaning 29013 clauses out of 58042 with flag 3858802/462617
107.30/106.55	c cleaning 29986 clauses out of 60029 with flag 4108804/493617
112.01/111.20	c cleaning 30978 clauses out of 62044 with flag 4362932/525618
120.70/120.00	c cleaning 32012 clauses out of 64065 with flag 4628867/558617
128.52/127.76	c cleaning 33023 clauses out of 66053 with flag 4921979/592617
137.16/136.36	c cleaning 34015 clauses out of 68030 with flag 5234396/627617
143.07/142.27	c cleaning 34979 clauses out of 70016 with flag 5555716/663618
151.36/150.58	c cleaning 36017 clauses out of 72036 with flag 5879166/700617
159.28/158.47	c cleaning 37007 clauses out of 74020 with flag 6210577/738618
168.37/167.60	c cleaning 37993 clauses out of 76012 with flag 6534564/777617
197.36/196.67	c cleaning 39008 clauses out of 78019 with flag 6897390/817617
231.17/230.48	c cleaning 40004 clauses out of 80012 with flag 7299568/858618
268.50/267.86	c cleaning 40998 clauses out of 82008 with flag 7701973/900618
287.82/287.17	c cleaning 41964 clauses out of 84009 with flag 8033061/943617
309.18/308.51	c cleaning 42959 clauses out of 86045 with flag 8455058/987617
329.49/328.89	c cleaning 43983 clauses out of 88087 with flag 8928991/1032618
349.34/348.78	c cleaning 44994 clauses out of 90105 with flag 9402570/1078619
369.99/369.11	c cleaning 45996 clauses out of 92109 with flag 9895935/1125617
390.64/389.88	c cleaning 46999 clauses out of 94113 with flag 10351689/1173617
413.50/412.79	c cleaning 47997 clauses out of 96116 with flag 10806501/1222619
440.35/439.66	c cleaning 49002 clauses out of 98119 with flag 11297856/1272619
462.20/461.59	c cleaning 50000 clauses out of 100115 with flag 11822541/1323617
493.20/492.54	c cleaning 50999 clauses out of 102118 with flag 12342270/1375620
519.36/518.70	c cleaning 51997 clauses out of 104117 with flag 12876821/1428618
560.00/559.40	c cleaning 52998 clauses out of 106120 with flag 13426751/1482618
592.97/592.48	c cleaning 54000 clauses out of 108123 with flag 13955091/1537619
630.79/630.37	c cleaning 54998 clauses out of 110122 with flag 14549347/1593618
669.74/669.35	c cleaning 56000 clauses out of 112125 with flag 15190652/1650619
718.46/718.13	c cleaning 56993 clauses out of 114123 with flag 15934197/1708617
763.67/763.41	c cleaning 58001 clauses out of 116131 with flag 16669677/1767618
806.20/806.03	c cleaning 59006 clauses out of 118133 with flag 17319055/1827621
852.19/852.07	c cleaning 60005 clauses out of 120128 with flag 18005720/1888622
894.62/894.55	c cleaning 61001 clauses out of 122118 with flag 18695658/1950617
941.43/941.47	c cleaning 61992 clauses out of 124118 with flag 19457622/2013618
1001.91/1002.10	c cleaning 63001 clauses out of 126126 with flag 20237246/2077618
1051.58/1051.88	c cleaning 64004 clauses out of 128125 with flag 21042514/2142618
1106.96/1107.26	c cleaning 64996 clauses out of 130121 with flag 21788863/2208618
1156.55/1156.95	c cleaning 65998 clauses out of 132125 with flag 22560126/2275618
1211.59/1212.06	c cleaning 67004 clauses out of 134127 with flag 23294930/2343618
1270.18/1270.79	c cleaning 67998 clauses out of 136122 with flag 24078844/2412617
1329.58/1330.22	c cleaning 69001 clauses out of 138126 with flag 24958941/2482619
1388.82/1389.59	c cleaning 70002 clauses out of 140123 with flag 25813025/2553617
1450.41/1451.27	c cleaning 71001 clauses out of 142121 with flag 26747112/2625617
1512.59/1513.54	c cleaning 72001 clauses out of 144120 with flag 27605426/2698617
1582.72/1583.35	c cleaning 73000 clauses out of 146119 with flag 28438980/2772617
1644.81/1645.50	c cleaning 73996 clauses out of 148119 with flag 29320133/2847617
1702.41/1703.28	c cleaning 75002 clauses out of 150124 with flag 30114927/2923618
1751.83/1752.79	c cleaning 75999 clauses out of 152121 with flag 30900791/3000617
1809.32/1810.33	c cleaning 77043 clauses out of 154126 with flag 31567822/3078621
1861.70/1862.86	c cleaning 77980 clauses out of 156081 with flag 32257710/3157619
1932.85/1934.16	c cleaning 78985 clauses out of 158101 with flag 33038208/3237619
1998.95/2000.34	c cleaning 79991 clauses out of 160114 with flag 33765335/3318617
2068.43/2069.94	c cleaning 81000 clauses out of 162124 with flag 34534102/3400618
2140.19/2141.82	c cleaning 82002 clauses out of 164124 with flag 35299853/3483618
2218.22/2220.10	c cleaning 82997 clauses out of 166121 with flag 36105535/3567617
2280.09/2282.05	c cleaning 83998 clauses out of 168124 with flag 36947441/3652617
2354.59/2356.94	c cleaning 84996 clauses out of 170126 with flag 37814050/3738617
2405.09/2407.52	c Got one! Elapsed wall clock time (in seconds):2407.408
2405.09/2407.52	o 8
2405.79/2408.21	c cleaning 78858 clauses out of 157726 with flag 32030/3811213
2406.29/2408.74	c cleaning 42425 clauses out of 84867 with flag 72939/3817212
2406.79/2409.27	c cleaning 24709 clauses out of 49442 with flag 128619/3824212
2407.39/2409.88	c cleaning 16359 clauses out of 32734 with flag 185628/3832213
2408.09/2410.50	c cleaning 12680 clauses out of 25375 with flag 249922/3841213
2408.74/2411.15	c cleaning 11292 clauses out of 22694 with flag 332971/3851212
2410.53/2412.95	c cleaning 11154 clauses out of 22403 with flag 429699/3862213
2411.63/2414.06	c cleaning 11620 clauses out of 23250 with flag 524215/3874214
2413.13/2415.56	c cleaning 12298 clauses out of 24628 with flag 623102/3887212
2415.02/2417.44	c cleaning 13153 clauses out of 26332 with flag 741187/3901214
2416.42/2418.84	c cleaning 14064 clauses out of 28178 with flag 852597/3916213
2417.82/2420.25	c cleaning 15030 clauses out of 30113 with flag 980661/3932212
2419.73/2422.17	c cleaning 16034 clauses out of 32083 with flag 1118209/3949212
2421.62/2424.07	c cleaning 17007 clauses out of 34049 with flag 1272268/3967212
2424.21/2426.65	c cleaning 18015 clauses out of 36048 with flag 1437332/3986218
2427.17/2429.56	c cleaning 19009 clauses out of 38027 with flag 1617986/4006212
2429.67/2432.01	c cleaning 20006 clauses out of 40020 with flag 1800172/4027214
2433.37/2435.78	c cleaning 21001 clauses out of 42012 with flag 1999843/4049212
2440.15/2442.59	c cleaning 22005 clauses out of 44011 with flag 2214512/4072212
2443.34/2445.73	c cleaning 22973 clauses out of 46006 with flag 2411193/4096212
2446.14/2448.56	c cleaning 23994 clauses out of 48033 with flag 2627626/4121212
2449.93/2452.33	c cleaning 24975 clauses out of 50039 with flag 2833433/4147212
2452.52/2454.97	c cleaning 25992 clauses out of 52067 with flag 3054576/4174215
2457.73/2460.14	c cleaning 27024 clauses out of 54075 with flag 3282082/4202215
2462.11/2464.50	c cleaning 28003 clauses out of 56048 with flag 3526752/4231212
2466.19/2468.55	c cleaning 29005 clauses out of 58045 with flag 3776578/4261212
2470.38/2472.78	c cleaning 30011 clauses out of 60043 with flag 4024460/4292215
2475.08/2477.45	c cleaning 30995 clauses out of 62029 with flag 4292879/4324212
2481.96/2484.30	c cleaning 32001 clauses out of 64034 with flag 4562276/4357212
2491.45/2493.83	c cleaning 33003 clauses out of 66033 with flag 4872419/4391212
2505.11/2507.28	c cleaning 34000 clauses out of 68031 with flag 5161950/4426213
2520.79/2522.97	c cleaning 34995 clauses out of 70030 with flag 5451817/4462212
2537.46/2539.68	c cleaning 35989 clauses out of 72035 with flag 5764446/4499212
2556.42/2558.67	c cleaning 36998 clauses out of 74046 with flag 6081561/4537212
2571.49/2573.74	c cleaning 37989 clauses out of 76048 with flag 6386493/4576212
2588.56/2590.84	c cleaning 39005 clauses out of 78060 with flag 6725041/4616213
2609.51/2611.86	c cleaning 39999 clauses out of 80054 with flag 7060023/4657212
2626.87/2629.25	c cleaning 41000 clauses out of 82055 with flag 7373957/4699212
2645.34/2647.70	c cleaning 41997 clauses out of 84055 with flag 7715488/4742212
2663.34/2665.74	c cleaning 43000 clauses out of 86060 with flag 8044416/4786214
2683.01/2685.47	c cleaning 43992 clauses out of 88058 with flag 8421267/4831212
2712.96/2715.44	c cleaning 44990 clauses out of 90066 with flag 8856040/4877212
2743.09/2745.65	c cleaning 46001 clauses out of 92076 with flag 9275341/4924212
2770.14/2772.77	c cleaning 46996 clauses out of 94075 with flag 9737513/4972212
2781.01/2783.67	c cleaning 48010 clauses out of 96080 with flag 10080544/5021213
2799.48/2802.15	c cleaning 48998 clauses out of 98069 with flag 10494535/5071212
2809.55/2812.24	c cleaning 49995 clauses out of 100072 with flag 10894869/5122213
2844.38/2847.16	c cleaning 51024 clauses out of 102076 with flag 11356552/5174212
2856.02/2858.60	c cleaning 52005 clauses out of 104052 with flag 11792174/5227212
2892.65/2895.36	c cleaning 53019 clauses out of 106048 with flag 12273068/5281213
2907.33/2910.05	c cleaning 53979 clauses out of 108029 with flag 12742065/5336213
2931.88/2934.67	c cleaning 54989 clauses out of 110051 with flag 13239736/5392214
2957.53/2960.30	c cleaning 55996 clauses out of 112061 with flag 13755038/5449213
2983.59/2986.48	c cleaning 56980 clauses out of 114064 with flag 14348725/5507212
3011.03/3013.93	c cleaning 58016 clauses out of 116087 with flag 14914305/5566215
3037.08/3040.06	c cleaning 58983 clauses out of 118068 with flag 15438835/5626212
3065.61/3068.49	c cleaning 59988 clauses out of 120085 with flag 16014806/5687212
3090.46/3093.30	c cleaning 60999 clauses out of 122098 with flag 16623832/5749213
3117.40/3120.38	c cleaning 61999 clauses out of 124098 with flag 17226448/5812212
3142.54/3145.53	c cleaning 62999 clauses out of 126099 with flag 17880613/5876212
3173.57/3176.67	c cleaning 63996 clauses out of 128100 with flag 18540287/5941212
3206.00/3209.15	c cleaning 65001 clauses out of 130104 with flag 19260715/6007212
3237.62/3240.86	c cleaning 65999 clauses out of 132104 with flag 19894529/6074213
3253.64/3256.73	c cleaning 67053 clauses out of 134106 with flag 20452223/6142214
3271.17/3274.42	c cleaning 68013 clauses out of 136051 with flag 21037537/6211212
3298.14/3301.54	c cleaning 69006 clauses out of 138039 with flag 21675150/6281213
3312.14/3315.17	c cleaning 69977 clauses out of 140035 with flag 22309944/6352215
3331.60/3334.60	c cleaning 70999 clauses out of 142057 with flag 22910334/6424214
3366.63/3369.78	c cleaning 72004 clauses out of 144056 with flag 23534583/6497212
3389.49/3392.53	c cleaning 72999 clauses out of 146053 with flag 24179085/6571213
3432.02/3435.16	c cleaning 74001 clauses out of 148053 with flag 24849131/6646212
3536.58/3539.99	c cleaning 75020 clauses out of 150054 with flag 25546753/6722214
3600.05/3603.52	c starts		: 34486
3600.05/3603.52	c conflicts		: 6787031
3600.05/3603.52	c decisions		: 11525377
3600.05/3603.52	c propagations		: 128724896
3600.05/3603.52	c inspects		: 32248281900
3600.05/3603.52	c shortcuts		: 0
3600.05/3603.52	c learnt literals	: 0
3600.05/3603.52	c learnt binary clauses	: 0
3600.05/3603.52	c learnt ternary clauses	: 0
3600.05/3603.52	c learnt constraints	: 6787031
3600.05/3603.52	c ignored constraints	: 0
3600.05/3603.52	c root simplifications	: 0
3600.05/3603.52	c removed literals (reason simplification)	: 0
3600.05/3603.52	c reason swapping (by a shorter reason)	: 0
3600.05/3603.52	c Calls to reduceDB	: 155
3600.05/3603.52	c Number of update (reduction) of LBD	: 3609920
3600.05/3603.52	c Imported unit clauses	: 0
3600.05/3603.52	c No decision after first conflict	: false
3600.05/3603.52	c number of reductions to clauses (during analyze)	: 0
3600.05/3603.52	c number of learned constraints concerned by reduction	: 0
3600.05/3603.52	c number of learning phase by resolution	: 0
3600.05/3603.52	c number of learning phase by cutting planes	: 0
3600.05/3603.52	c number of rounding to 1 operations	: 0
3600.05/3603.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3603.52	c number of reductions of the coefficients by power 2 	: 0
3600.05/3603.52	c number of right shift for reduction by power 2 	: 0
3600.05/3603.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3603.52	c number of ending skipping 	: 0
3600.05/3603.52	c number of internal skipping 	: 0
3600.05/3603.52	c number of derivation steps 	: 0
3600.05/3603.52	c number of skipped derivation steps 	: 0
3600.05/3603.52	c number of remaining unassigned 	: 0
3600.05/3603.52	c number of remaining assigned 	: 0
3600.05/3603.52	c number of falsified literals weakened from reason	: 0
3600.05/3603.52	c number of falsified literals weakened from conflict	: 0
3600.05/3603.52	c time for arithmetic operations	: 0
3600.05/3603.54	c minimum degree of deleted constraints	: null
3600.05/3603.54	c maximum degree of deleted constraints	: null
3600.05/3603.54	c number of deleted constraints	: 0
3600.05/3603.54	c speed (assignments/second)	: 35723.3653615868
3600.05/3603.54	c non guided choices	: 26899
3600.05/3603.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139851
3600.05/3603.60	s SATISFIABLE
3600.05/3603.60	c Found 6 solution(s)
3600.05/3603.60	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 
3600.25/3603.60	c objective function=8
3600.25/3603.60	c Total wall clock time (in seconds): 3603.488

Verifier Data 

OK	8

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425035-1720878597/watcher-4425035-1720878597 -o /tmp/evaluation-result-4425035-1720878597/solver-4425035-1720878597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720878609-709375 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425035-1720878597.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
solver pid=709435, runsolver pid=709428
Current StackSize limit: 8192 KiB


[startup+0.100739 s]*
/proc/loadavg: 1.15 1.30 2.30 14/324 709504
/proc/meminfo: memFree=129371936/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=18975048 memory=62756 CPUtime=0.14 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 7258 0 0 0 13 1 0 0 20 0 18 0 140028600 19430449152 15689 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4743762 15689 5584 1 0 549345 0
[pid=709435/tid=709444] ppid=709428 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 5784 0 0 0 8 1 0 0 20 0 18 0 140028600 19430449152 15689 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=18975048 memory=15932 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140028602 19430449152 15689 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140028603 19430449152 15689 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62756 KiB

[startup+0.206387 s]*
/proc/loadavg: 1.15 1.30 2.30 16/328 709508
/proc/meminfo: memFree=129343024/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=70384 CPUtime=0.33 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 9059 0 0 0 31 2 0 0 20 0 19 0 140028600 19498610688 17596 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 17596 5894 1 0 550506 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 6005 0 0 0 17 1 0 0 20 0 19 0 140028600 19498610688 17596 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=15932 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 17596 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=14408211646121490 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 17596 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 17596 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70384 KiB

[startup+0.306385 s]*
/proc/loadavg: 1.15 1.30 2.30 14/328 709508
/proc/meminfo: memFree=129319212/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=76908 CPUtime=0.53 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 10503 0 0 0 50 3 0 0 20 0 19 0 140028600 19498610688 19227 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 19227 5925 1 0 551574 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=-9176759767959773884 CPUtime=0.28 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 6011 0 0 0 26 2 0 0 20 0 19 0 140028600 19498610688 19227 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 19227 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 19227 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 19227 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 76908 KiB

[startup+0.700356 s]
/proc/loadavg: 1.15 1.30 2.30 13/328 709508
/proc/meminfo: memFree=129296188/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=88348 CPUtime=1.27 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 12385 0 0 0 124 3 0 0 20 0 19 0 140028600 19498610688 22087 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 22087 5925 1 0 552796 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=35052 CPUtime=0.64 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 6071 0 0 0 62 2 0 0 20 0 19 0 140028600 19498610688 22087 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=12512 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 22087 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 22087 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=25944 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 22087 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88348 KiB

[startup+1.50038 s]
/proc/loadavg: 1.15 1.30 2.30 9/328 709510
/proc/meminfo: memFree=129241884/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=107340 CPUtime=2.51 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 15260 0 0 0 247 4 0 0 20 0 19 0 140028600 19498610688 26835 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 26835 5925 1 0 552819 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=12512 CPUtime=1.43 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 6395 0 0 0 141 2 0 0 20 0 19 0 140028600 19498610688 26835 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 26835 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 26835 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=25944 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 26835 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107340 KiB

[startup+3.10583 s]
/proc/loadavg: 1.15 1.30 2.30 8/328 709510
/proc/meminfo: memFree=129111032/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=131984 CPUtime=4.27 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 16455 0 0 0 423 4 0 0 20 0 19 0 140028600 19498610688 32996 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 32996 5925 1 0 552824 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=0 CPUtime=3.02 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 6643 0 0 0 299 3 0 0 20 0 19 0 140028600 19498610688 32996 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=-8600580490633061052 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 32996 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=12512 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 32996 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 32996 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 131984 KiB

[startup+6.30024 s]
/proc/loadavg: 1.62 1.40 2.32 5/329 709511
/proc/meminfo: memFree=128992180/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19041612 memory=156480 CPUtime=7.46 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 17451 0 0 0 741 5 0 0 20 0 19 0 140028600 19498610688 39120 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4760403 39120 5925 1 0 552824 0
[pid=709435/tid=709444] ppid=709428 vsize=19041612 memory=12512 CPUtime=6.2 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 7272 0 0 0 617 3 0 0 20 0 19 0 140028600 19498610688 39120 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140028602 19498610688 39120 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140028603 19498610688 39120 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19041612 memory=109388 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140028615 19498610688 39120 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156480 KiB

[startup+12.7002 s]
/proc/loadavg: 2.05 1.49 2.35 5/332 709515
/proc/meminfo: memFree=128809256/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=185764 CPUtime=13.87 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 20193 0 0 0 1380 7 0 0 20 0 20 0 140028600 19566772224 46441 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 46441 5976 1 0 553113 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=109388 CPUtime=12.58 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 7699 0 0 0 1254 4 0 0 20 0 20 0 140028600 19566772224 46441 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=185764 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 46441 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 46441 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 46441 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185764 KiB

[startup+25.5003 s]
/proc/loadavg: 3.14 1.76 2.42 5/332 709517
/proc/meminfo: memFree=128410852/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=185824 CPUtime=26.68 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 24413 0 0 0 2661 7 0 0 20 0 20 0 140028600 19566772224 46456 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 46456 5976 1 0 553113 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=185764 CPUtime=25.35 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 8677 0 0 0 2531 4 0 0 20 0 20 0 140028600 19566772224 46456 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=185824 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 46456 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=35052 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 46456 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=-9176759767959773884 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 46456 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185824 KiB

[startup+51.1064 s]
/proc/loadavg: 3.67 2.00 2.49 7/335 709528
/proc/meminfo: memFree=126757544/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=202468 CPUtime=52.08 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 27470 0 0 0 5198 10 0 0 20 0 20 0 140028600 19566772224 50617 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 50617 5976 1 0 553113 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=202464 CPUtime=50.65 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/332 711302
/proc/meminfo: memFree=109945980/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2092440 CPUtime=3278.99 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 130713 0 0 0 327754 145 0 0 20 0 20 0 140028600 19566772224 523110 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523110 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=2092440 CPUtime=3269.71 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 56086 0 0 0 326956 15 0 0 20 0 20 0 140028600 19566772224 523110 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2092440 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523110 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4564 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523110 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=35164 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523110 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3278.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2092440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/332 711312
/proc/meminfo: memFree=109863012/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3339.28 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 139387 0 0 0 333781 147 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=12512 CPUtime=3329.45 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 58257 0 0 0 332930 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=5500 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4635 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=35164 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3339.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/330 711322
/proc/meminfo: memFree=109862448/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3399.27 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 140501 0 0 0 339778 149 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=12512 CPUtime=3389.21 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 59119 0 0 0 338906 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=2400 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4640 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3399.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/330 711334
/proc/meminfo: memFree=109861420/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3459.16 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 141149 0 0 0 345765 151 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=12512 CPUtime=3449.06 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 59640 0 0 0 344891 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2088324 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4730 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3459.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/330 711344
/proc/meminfo: memFree=109852368/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3519.02 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 141688 0 0 0 351749 153 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=12088 CPUtime=3508.9 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 59940 0 0 0 350875 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=2400 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4862 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=-8600580490633061052 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3519.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/330 711354
/proc/meminfo: memFree=109775684/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3578.89 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 142827 0 0 0 357734 155 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=12088 CPUtime=3568.74 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 60850 0 0 0 356859 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=35164 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4951 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=12088 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3578.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 4.14 4.13 4.09 7/328 711491
/proc/meminfo: memFree=124208692/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19108176 memory=2094516 CPUtime=3600.05 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 142918 0 0 0 359849 156 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4777044 523629 6007 1 0 555866 0
[pid=709435/tid=709444] ppid=709428 vsize=19108176 memory=-8600580490633061052 CPUtime=3589.88 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 60933 0 0 0 358973 15 0 0 20 0 20 0 140028600 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19108176 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140028602 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19108176 memory=12512 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4951 0 0 0 0 0 0 0 20 0 20 0 140028603 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709507] ppid=709428 vsize=19108176 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709507/stat : 709507 (Timer-0) S 709428 709435 706602 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140028615 19566772224 523629 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.69 s, system=1.57758 s

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

[startup+3603.6 s]
/proc/loadavg: 4.14 4.13 4.09 7/328 711491
/proc/meminfo: memFree=124208692/131524600 swapFree=131071996/131071996
[pid=709435] ppid=709428 vsize=19307868 memory=2095172 CPUtime=3600.25 cores=5,7
/proc/709435/stat : 709435 (java) S 709428 709435 706602 0 -1 1077936128 146651 0 0 0 359869 156 0 0 20 0 21 0 140028600 19771256832 523793 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
/proc/709435/statm: 4826967 523793 6006 1 0 556769 0
[pid=709435/tid=709444] ppid=709428 vsize=19307868 memory=21664 CPUtime=3589.98 cores=5,7
/proc/709435/task/709444/stat : 709444 (java) R 709428 709435 706602 0 -1 4194368 61332 0 0 0 358983 15 0 0 20 0 21 0 140028600 19771256832 523793 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709479] ppid=709428 vsize=19307868 memory=1904 CPUtime=0 cores=5,7
/proc/709435/task/709479/stat : 709479 (Finalizer) S 709428 709435 706602 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140028602 19771256832 523793 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
[pid=709435/tid=709502] ppid=709428 vsize=19307868 memory=2094516 CPUtime=0 cores=5,7
/proc/709435/task/709502/stat : 709502 (Common-Cleaner) S 709428 709435 706602 0 -1 1077936192 4951 0 0 0 0 0 0 0 20 0 21 0 140028603 19771256832 523793 134679101440 93855545405440 93855545409136 140723850488368 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93855545416952 93855545417744 93855568805888 140723850490861 140723850490951 140723850490951 140723850497992 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2095172 KiB

Child status: 143

Real time (s): 3603.62
CPU time (s): 3600.27
CPU user time (s): 3598.69
CPU system time (s): 1.57758
CPU usage (%): 99.9072
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2095172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.57758
maximum resident set size= 2095932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105112
involuntary context switches= 4144


# summary of solver processes directly reported to runsolver:
#   pid: 709435
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.69
#   total CPU system time (s): 1.57758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.7563 second user time and 19.0786 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-13 15:50:09
IDJOB=4425035
IDBENCH=143142
IDSOLVER=3037
FILE ID=nodeC032/4425035-1720878597
RUNJOBID= nodeC032-1720878609-709375
SLURM_JOB_ID= 7483773
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_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-4425035-1720878597/watcher-4425035-1720878597 -o /tmp/evaluation-result-4425035-1720878597/solver-4425035-1720878597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720878609-709375 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4425035-1720878597.wbo

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

MD5SUM BENCH= 70531ee5749151dad1953cdd0a25cead
RANDOM SEED=1517112503

nodeC032.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		: 3498.717
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.33
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		: 3634.789
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3608.049
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.33
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		: 3662.074
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3602.090
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.33
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		: 3647.851
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3663.114
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.33
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		: 3666.318
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129542088 kB
MemAvailable:   129761248 kB
Buffers:          320364 kB
Cached:           742888 kB
SwapCached:            0 kB
Active:           474624 kB
Inactive:         944260 kB
Active(anon):       1452 kB
Inactive(anon):   391892 kB
Active(file):     473172 kB
Inactive(file):   552368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2712 kB
Writeback:             0 kB
AnonPages:        356040 kB
Mapped:           101476 kB
Shmem:             37720 kB
KReclaimable:      66884 kB
Slab:             165368 kB
SReclaimable:      66884 kB
SUnreclaim:        98484 kB
KernelStack:        3956 kB
PageTables:         9496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     675448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55840 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:      172756 kB
DirectMap2M:     6940672 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-13 16:50:13