Trace number 4516830

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 2025-06-06? (TO) 3600.16 3606.31

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
MD5SUM16b4b2caf6bd669646fef9041566c258
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.006944
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables161
Total number of constraints80
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9
Number of constraints which are nor clauses,nor cardinality constraints71
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4516830-1751241712.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.012s.
0.12/0.15	c declared #vars     161
0.12/0.15	c #constraints  80
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.12/0.15	c 80 constraints processed.
0.50/0.40	c cleaning 2495 clauses out of 5000 with flag 31647/5000
1.08/0.63	c cleaning 4253 clauses out of 8505 with flag 72714/11000
1.46/0.87	c cleaning 5610 clauses out of 11252 with flag 114712/18000
1.90/1.11	c cleaning 6806 clauses out of 13643 with flag 167192/26001
2.29/1.40	c cleaning 7910 clauses out of 15837 with flag 226527/35001
2.57/1.68	c cleaning 8959 clauses out of 17928 with flag 292239/45002
3.06/2.04	c cleaning 9962 clauses out of 19968 with flag 360943/56001
3.45/2.45	c cleaning 10989 clauses out of 22005 with flag 435476/68000
3.95/2.90	c cleaning 11994 clauses out of 24016 with flag 527835/81000
4.45/3.42	c cleaning 13000 clauses out of 26023 with flag 624737/95001
5.05/4.08	c cleaning 13996 clauses out of 28022 with flag 730522/110000
5.55/4.59	c cleaning 15004 clauses out of 30027 with flag 831353/126001
6.27/5.22	c cleaning 15998 clauses out of 32022 with flag 945381/143000
7.00/5.91	c cleaning 16999 clauses out of 34026 with flag 1069077/161002
7.80/6.79	c cleaning 18000 clauses out of 36026 with flag 1195624/180001
8.60/7.59	c cleaning 19001 clauses out of 38025 with flag 1335074/200000
9.59/8.51	c cleaning 20007 clauses out of 40024 with flag 1493194/221000
10.49/9.49	c cleaning 20994 clauses out of 42018 with flag 1647643/243001
11.58/10.50	c cleaning 21997 clauses out of 44024 with flag 1803479/266001
12.58/11.58	c cleaning 22998 clauses out of 46026 with flag 1963996/290000
13.88/12.83	c cleaning 24003 clauses out of 48028 with flag 2135366/315000
15.27/14.29	c cleaning 25006 clauses out of 50027 with flag 2321303/341002
16.57/15.59	c cleaning 26003 clauses out of 52020 with flag 2515142/368001
18.08/17.03	c cleaning 26996 clauses out of 54016 with flag 2708293/396000
19.77/18.73	c cleaning 27995 clauses out of 56020 with flag 2911517/425000
21.37/20.34	c cleaning 29002 clauses out of 58025 with flag 3118301/455000
23.07/22.08	c cleaning 30003 clauses out of 60023 with flag 3335051/486000
24.96/23.97	c cleaning 31001 clauses out of 62020 with flag 3563603/518000
26.85/25.85	c cleaning 31994 clauses out of 64019 with flag 3801466/551000
29.05/28.04	c cleaning 33001 clauses out of 66026 with flag 4039519/585001
31.24/30.29	c cleaning 34004 clauses out of 68024 with flag 4291271/620000
33.63/32.65	c cleaning 35002 clauses out of 70021 with flag 4557782/656001
36.03/35.10	c cleaning 36000 clauses out of 72018 with flag 4826371/693000
38.52/37.56	c cleaning 36996 clauses out of 74019 with flag 5092193/731001
41.62/40.65	c cleaning 38006 clauses out of 76024 with flag 5364694/770002
44.81/43.84	c cleaning 38996 clauses out of 78018 with flag 5649851/810002
48.20/47.28	c cleaning 40007 clauses out of 80021 with flag 5943618/851001
51.59/50.61	c cleaning 40992 clauses out of 82014 with flag 6229748/893001
54.99/54.10	c cleaning 42004 clauses out of 84021 with flag 6518593/936000
58.77/57.82	c cleaning 42995 clauses out of 86019 with flag 6809502/980002
62.36/61.49	c cleaning 43995 clauses out of 88023 with flag 7111587/1025001
66.25/65.36	c cleaning 45007 clauses out of 90027 with flag 7422140/1071000
70.74/69.90	c cleaning 45993 clauses out of 92022 with flag 7746144/1118002
75.16/74.26	c cleaning 47009 clauses out of 94028 with flag 8063382/1166001
79.86/78.95	c cleaning 48008 clauses out of 96018 with flag 8389913/1215000
84.54/83.69	c cleaning 49000 clauses out of 98010 with flag 8721592/1265000
89.33/88.45	c cleaning 49999 clauses out of 100010 with flag 9046651/1316000
94.22/93.31	c cleaning 51000 clauses out of 102013 with flag 9379377/1368002
99.31/98.49	c cleaning 51996 clauses out of 104011 with flag 9725087/1421000
105.10/104.21	c cleaning 52998 clauses out of 106016 with flag 10081470/1475001
110.73/109.83	c cleaning 54001 clauses out of 108017 with flag 10428635/1530000
116.61/115.79	c cleaning 55005 clauses out of 110016 with flag 10779582/1586000
122.60/121.76	c cleaning 56003 clauses out of 112013 with flag 11135101/1643002
128.59/127.76	c cleaning 56994 clauses out of 114008 with flag 11503469/1701000
134.47/133.66	c cleaning 57995 clauses out of 116014 with flag 11875123/1760000
140.97/140.14	c cleaning 59004 clauses out of 118019 with flag 12254727/1820000
148.08/147.23	c cleaning 60002 clauses out of 120015 with flag 12635143/1881000
155.06/154.21	c cleaning 60998 clauses out of 122013 with flag 13018783/1943000
161.75/160.94	c cleaning 62004 clauses out of 124016 with flag 13396896/2006001
169.13/168.34	c cleaning 62993 clauses out of 126011 with flag 13780582/2070000
176.92/176.17	c cleaning 63999 clauses out of 128019 with flag 14163005/2135001
184.70/183.97	c cleaning 65001 clauses out of 130019 with flag 14563604/2201000
192.61/191.82	c cleaning 65995 clauses out of 132018 with flag 14972614/2268000
201.39/200.65	c cleaning 67003 clauses out of 134023 with flag 15371491/2336000
209.87/209.19	c cleaning 68004 clauses out of 136021 with flag 15782900/2405001
219.04/218.32	c cleaning 69003 clauses out of 138018 with flag 16193039/2475002
228.33/227.63	c cleaning 69995 clauses out of 140014 with flag 16611708/2546001
237.85/237.18	c cleaning 70998 clauses out of 142018 with flag 17041090/2618000
247.73/247.09	c cleaning 72007 clauses out of 144020 with flag 17467888/2691000
257.40/256.75	c cleaning 72992 clauses out of 146013 with flag 17901638/2765000
267.98/267.36	c cleaning 74001 clauses out of 148021 with flag 18339132/2840000
279.35/278.70	c cleaning 75002 clauses out of 150020 with flag 18771307/2916000
290.16/289.57	c cleaning 76003 clauses out of 152020 with flag 19212455/2993002
302.23/301.60	c cleaning 76998 clauses out of 154016 with flag 19669839/3071001
314.20/313.62	c cleaning 77998 clauses out of 156017 with flag 20113686/3150000
325.76/325.20	c cleaning 79000 clauses out of 158020 with flag 20579113/3230001
338.34/337.86	c cleaning 80003 clauses out of 160019 with flag 21037498/3311000
350.54/350.02	c cleaning 80994 clauses out of 162017 with flag 21515855/3393001
363.00/362.53	c cleaning 82003 clauses out of 164023 with flag 21988515/3476001
375.48/375.06	c cleaning 83002 clauses out of 166019 with flag 22469248/3560000
389.34/388.96	c cleaning 84003 clauses out of 168018 with flag 22953628/3645001
402.34/401.91	c cleaning 84996 clauses out of 170014 with flag 23453118/3731000
415.81/415.41	c cleaning 86000 clauses out of 172019 with flag 23936588/3818001
431.37/431.01	c cleaning 87001 clauses out of 174019 with flag 24424615/3906001
446.03/445.79	c cleaning 88010 clauses out of 176021 with flag 24927068/3995004
461.42/461.16	c cleaning 88993 clauses out of 178007 with flag 25447074/4085000
476.79/476.59	c cleaning 90002 clauses out of 180015 with flag 25946316/4176001
491.95/491.75	c cleaning 90995 clauses out of 182013 with flag 26463245/4268001
508.52/508.32	c cleaning 92006 clauses out of 184018 with flag 26975463/4361001
524.69/524.51	c cleaning 92995 clauses out of 186011 with flag 27493520/4455000
541.67/541.53	c cleaning 94002 clauses out of 188018 with flag 28019251/4550002
558.43/558.31	c cleaning 94998 clauses out of 190014 with flag 28555490/4646000
576.79/576.71	c cleaning 95996 clauses out of 192016 with flag 29087073/4743000
595.35/595.38	c cleaning 97002 clauses out of 194021 with flag 29635173/4841001
613.31/613.33	c cleaning 98000 clauses out of 196019 with flag 30191408/4940001
631.98/632.03	c cleaning 99008 clauses out of 198018 with flag 30772187/5040000
650.84/650.99	c cleaning 99995 clauses out of 200010 with flag 31322445/5141000
672.04/672.18	c cleaning 101002 clauses out of 202015 with flag 31871253/5243000
691.79/691.99	c cleaning 102000 clauses out of 204013 with flag 32458325/5346000
713.24/713.41	c cleaning 103001 clauses out of 206013 with flag 33035970/5450000
735.29/735.55	c cleaning 103988 clauses out of 208012 with flag 33611463/5555000
756.53/756.82	c cleaning 105005 clauses out of 210024 with flag 34193133/5661000
779.68/780.05	c cleaning 106001 clauses out of 212019 with flag 34787994/5768000
801.43/801.85	c cleaning 107000 clauses out of 214018 with flag 35383959/5876000
823.40/823.83	c cleaning 107998 clauses out of 216020 with flag 35969823/5985002
845.65/846.19	c cleaning 109006 clauses out of 218021 with flag 36575767/6095001
869.09/869.69	c cleaning 109995 clauses out of 220014 with flag 37187531/6206000
894.13/894.70	c cleaning 111006 clauses out of 222021 with flag 37795646/6318002
918.67/919.30	c cleaning 112001 clauses out of 224015 with flag 38403817/6431002
942.80/943.51	c cleaning 113000 clauses out of 226012 with flag 39043446/6545000
970.14/970.94	c cleaning 113996 clauses out of 228012 with flag 39685034/6660000
994.98/995.89	c cleaning 115000 clauses out of 230017 with flag 40331319/6776001
1021.42/1022.37	c cleaning 115998 clauses out of 232016 with flag 40965620/6893000
1048.84/1049.82	c cleaning 117001 clauses out of 234018 with flag 41608671/7011000
1077.98/1079.04	c cleaning 118007 clauses out of 236018 with flag 42257170/7130001
1105.00/1106.11	c cleaning 118992 clauses out of 238011 with flag 42911712/7250001
1132.93/1134.18	c cleaning 119994 clauses out of 240018 with flag 43562310/7371000
1161.26/1162.54	c cleaning 121001 clauses out of 242025 with flag 44232459/7493001
1191.49/1192.87	c cleaning 121999 clauses out of 244024 with flag 44907500/7616001
1221.91/1223.30	c cleaning 123007 clauses out of 246024 with flag 45571074/7740000
1253.42/1254.98	c cleaning 124000 clauses out of 248017 with flag 46254002/7865000
1282.95/1284.53	c cleaning 124999 clauses out of 250017 with flag 46937671/7991000
1313.67/1315.35	c cleaning 125996 clauses out of 252019 with flag 47630466/8118001
1345.62/1347.20	c cleaning 127003 clauses out of 254023 with flag 48316814/8246001
1379.05/1380.75	c cleaning 127995 clauses out of 256020 with flag 48997582/8375001
1411.29/1413.02	c cleaning 129004 clauses out of 258024 with flag 49708606/8505000
1447.99/1449.86	c cleaning 130003 clauses out of 260020 with flag 50413917/8636000
1481.92/1483.83	c cleaning 131003 clauses out of 262017 with flag 51117264/8768000
1516.25/1518.26	c cleaning 132003 clauses out of 264015 with flag 51850952/8901001
1552.06/1554.00	c cleaning 133005 clauses out of 266011 with flag 52567906/9035000
1587.88/1589.91	c cleaning 133991 clauses out of 268006 with flag 53308290/9170000
1623.50/1625.69	c cleaning 134997 clauses out of 270015 with flag 54048976/9306000
1659.52/1661.73	c cleaning 135997 clauses out of 272018 with flag 54782273/9443000
1696.04/1698.37	c cleaning 136997 clauses out of 274023 with flag 55544128/9581002
1731.96/1734.35	c cleaning 138005 clauses out of 276025 with flag 56276654/9720001
1768.59/1771.06	c cleaning 139006 clauses out of 278019 with flag 57026498/9860000
1807.96/1810.48	c cleaning 140004 clauses out of 280013 with flag 57772389/10001000
1850.26/1852.82	c cleaning 140990 clauses out of 282010 with flag 58518718/10143001
1889.38/1892.05	c cleaning 142003 clauses out of 284019 with flag 59284844/10286000
1930.39/1933.16	c cleaning 143006 clauses out of 286016 with flag 60068045/10430000
1973.59/1976.48	c cleaning 143997 clauses out of 288011 with flag 60841418/10575001
2017.20/2020.18	c cleaning 145002 clauses out of 290014 with flag 61624349/10721001
2059.02/2062.04	c cleaning 145997 clauses out of 292011 with flag 62418675/10868000
2100.51/2103.60	c cleaning 147003 clauses out of 294017 with flag 63224217/11016003
2145.29/2148.44	c cleaning 148002 clauses out of 296013 with flag 64011578/11165002
2189.79/2193.05	c cleaning 148996 clauses out of 298011 with flag 64812835/11315002
2235.89/2239.30	c cleaning 149994 clauses out of 300013 with flag 65629776/11466000
2282.19/2285.65	c cleaning 151000 clauses out of 302020 with flag 66447123/11618001
2328.19/2331.71	c cleaning 152002 clauses out of 304019 with flag 67268370/11771000
2377.88/2381.55	c cleaning 153003 clauses out of 306018 with flag 68088466/11925001
2426.18/2429.99	c cleaning 153995 clauses out of 308015 with flag 68907783/12080001
2476.96/2480.83	c cleaning 155002 clauses out of 310019 with flag 69718479/12236000
2527.95/2531.90	c cleaning 156005 clauses out of 312018 with flag 70544611/12393001
2577.85/2581.93	c cleaning 156996 clauses out of 314012 with flag 71381684/12551000
2630.20/2634.36	c cleaning 158003 clauses out of 316016 with flag 72218512/12710000
2682.78/2687.05	c cleaning 158991 clauses out of 318013 with flag 73064117/12870000
2735.77/2740.17	c cleaning 160003 clauses out of 320022 with flag 73898513/13031000
2786.16/2790.69	c cleaning 161007 clauses out of 322022 with flag 74765207/13193003
2838.84/2843.50	c cleaning 161995 clauses out of 324012 with flag 75612565/13356000
2892.92/2897.66	c cleaning 163001 clauses out of 326019 with flag 76492855/13520002
2946.10/2950.91	c cleaning 164009 clauses out of 328017 with flag 77371559/13685001
2999.58/3004.58	c cleaning 164994 clauses out of 330007 with flag 78253839/13851000
3055.86/3060.93	c cleaning 165993 clauses out of 332013 with flag 79136696/14018000
3112.04/3117.25	c cleaning 167005 clauses out of 334021 with flag 80006807/14186001
3170.72/3176.10	c cleaning 168001 clauses out of 336015 with flag 80903134/14355000
3226.20/3231.65	c cleaning 168998 clauses out of 338016 with flag 81778160/14525002
3286.36/3291.92	c cleaning 170000 clauses out of 340017 with flag 82663893/14696001
3347.57/3353.23	c cleaning 170998 clauses out of 342016 with flag 83543840/14868000
3407.25/3413.02	c cleaning 172000 clauses out of 344018 with flag 84444155/15041000
3468.71/3474.69	c cleaning 172997 clauses out of 346019 with flag 85344006/15215001
3529.78/3535.86	c cleaning 173997 clauses out of 348021 with flag 86254169/15390000
3595.23/3601.48	c cleaning 175009 clauses out of 350029 with flag 87178639/15566005
3600.02/3606.21	c starts		: 30476
3600.02/3606.21	c conflicts		: 15582649
3600.02/3606.21	c decisions		: 20195095
3600.02/3606.21	c propagations		: 250546074
3600.02/3606.21	c inspects		: 59848287574
3600.02/3606.21	c shortcuts		: 0
3600.02/3606.21	c learnt literals	: 0
3600.02/3606.21	c learnt binary clauses	: 0
3600.02/3606.21	c learnt ternary clauses	: 0
3600.02/3606.21	c learnt constraints	: 15582649
3600.02/3606.21	c ignored constraints	: 0
3600.02/3606.21	c root simplifications	: 0
3600.02/3606.21	c removed literals (reason simplification)	: 24279633
3600.02/3606.21	c reason swapping (by a shorter reason)	: 0
3600.02/3606.21	c Calls to reduceDB	: 172
3600.02/3606.21	c Number of update (reduction) of LBD	: 4204425
3600.02/3606.21	c Imported unit clauses	: 0
3600.02/3606.21	c No decision after first conflict	: false
3600.02/3606.21	c number of reductions to clauses (during analyze)	: 0
3600.02/3606.21	c number of learned constraints concerned by reduction	: 0
3600.02/3606.21	c number of learning phase by resolution	: 0
3600.02/3606.21	c number of learning phase by cutting planes	: 0
3600.02/3606.21	c number of rounding to 1 operations	: 0
3600.02/3606.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3606.21	c number of reductions of the coefficients by power 2 	: 0
3600.02/3606.21	c number of right shift for reduction by power 2 	: 0
3600.02/3606.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3606.21	c number of ending skipping 	: 0
3600.02/3606.21	c number of internal skipping 	: 0
3600.02/3606.21	c number of derivation steps 	: 0
3600.02/3606.21	c number of skipped derivation steps 	: 0
3600.02/3606.21	c number of remaining unassigned 	: 0
3600.02/3606.21	c number of remaining assigned 	: 0
3600.02/3606.21	c number of falsified literals weakened from reason	: 0
3600.02/3606.21	c number of falsified literals weakened from conflict	: 0
3600.02/3606.21	c time for arithmetic operations	: 0
3600.02/3606.22	c timeout
3600.02/3606.23	c minimum degree of deleted constraints	: null
3600.02/3606.23	c maximum degree of deleted constraints	: null
3600.02/3606.23	c number of deleted constraints	: 0
3600.02/3606.23	c speed (assignments/second)	: 69478.88604646326
3600.02/3606.23	c non guided choices	: 2987
3600.02/3606.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 191664
3600.02/3606.29	s UNKNOWN
3600.02/3606.29	c Total wall clock time (in seconds): 3606.155

Verifier Data 

ERROR: no interpretation found !

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: 63665 MiB (62806 MiB free)
  memory of node 1: 64507 MiB (63994 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516830-1751241712/watcher-4516830-1751241712 -o /tmp/evaluation-result-4516830-1751241712/solver-4516830-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34698 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516830-1751241712.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=34752, runsolver pid=34742

[startup+0.100059 s]*
/proc/loadavg: 2.84 3.79 3.95 12/332 34824
/proc/meminfo: memFree=129731856/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18930384 memory=55488 CPUtime=0.12 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 6542 0 0 0 11 1 0 0 20 0 18 0 39851487 19384713216 13872 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4732596 13872 5329 1 0 547611 0
[pid=34752/tid=34766] ppid=34742 vsize=18930384 memory=4026532124 CPUtime=0.08 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5059 0 0 0 7 1 0 0 20 0 18 0 39851489 19384713216 13872 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18930384 memory=19950 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39851491 19384713216 13872 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39851492 19384713216 13872 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55488 KiB

[startup+0.205831 s]*
/proc/loadavg: 2.84 3.79 3.95 15/335 34827
/proc/meminfo: memFree=129559196/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=62116 CPUtime=0.31 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 7132 0 0 0 29 2 0 0 20 0 19 0 39851487 19452874752 15529 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 15529 5457 1 0 548275 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5298 0 0 0 15 1 0 0 20 0 19 0 39851489 19452874752 15529 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=19950 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 15529 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=58485492679654 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 15529 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 15529 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62116 KiB

[startup+0.30605 s]*
/proc/loadavg: 2.84 3.79 3.95 10/336 34828
/proc/meminfo: memFree=129410092/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=73512 CPUtime=0.5 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 11786 0 0 0 48 2 0 0 20 0 19 0 39851487 19452874752 18378 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 18378 5457 1 0 551220 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=-6000919494197995628 CPUtime=0.25 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5299 0 0 0 24 1 0 0 20 0 19 0 39851489 19452874752 18378 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 18378 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 18378 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 18378 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73512 KiB

[startup+0.700252 s]
/proc/loadavg: 2.84 3.79 3.95 10/337 34829
/proc/meminfo: memFree=128950712/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=85564 CPUtime=1.26 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 13600 0 0 0 123 3 0 0 20 0 19 0 39851487 19452874752 21391 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 21391 5457 1 0 552396 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=13568 CPUtime=0.62 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5341 0 0 0 61 1 0 0 20 0 19 0 39851489 19452874752 21391 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 21391 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 21391 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 21391 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85564 KiB

[startup+1.50023 s]
/proc/loadavg: 2.84 3.79 3.95 9/338 34830
/proc/meminfo: memFree=128810036/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=91964 CPUtime=2.46 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 17420 0 0 0 242 4 0 0 20 0 19 0 39851487 19452874752 22991 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 22991 5457 1 0 552398 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=10752 CPUtime=1.42 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5646 0 0 0 141 1 0 0 20 0 19 0 39851489 19452874752 22991 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 22991 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 22991 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 22991 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91964 KiB

[startup+3.10576 s]
/proc/loadavg: 2.84 3.79 3.95 6/338 34830
/proc/meminfo: memFree=128754880/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=102332 CPUtime=4.16 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 18080 0 0 0 412 4 0 0 20 0 19 0 39851487 19452874752 25583 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 25583 5457 1 0 552399 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 5915 0 0 0 300 2 0 0 20 0 19 0 39851489 19452874752 25583 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=-6000919498492962924 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 25583 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 25583 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 25583 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102332 KiB

[startup+6.30021 s]
/proc/loadavg: 2.94 3.80 3.95 6/338 34830
/proc/meminfo: memFree=128643364/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=116324 CPUtime=7.4 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 18677 0 0 0 735 5 0 0 20 0 19 0 39851487 19452874752 29081 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 29081 5457 1 0 552399 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=0 CPUtime=6.2 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 6007 0 0 0 618 2 0 0 20 0 19 0 39851489 19452874752 29081 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 29081 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 29081 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=91964 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 29081 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116324 KiB

[startup+12.7002 s]
/proc/loadavg: 3.02 3.80 3.95 6/338 34831
/proc/meminfo: memFree=128450884/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=18996948 memory=147044 CPUtime=13.78 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 20051 0 0 0 1373 5 0 0 20 0 19 0 39851487 19452874752 36761 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4749237 36761 5457 1 0 552399 0
[pid=34752/tid=34766] ppid=34742 vsize=18996948 memory=91964 CPUtime=12.59 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 6925 0 0 0 1256 3 0 0 20 0 19 0 39851489 19452874752 36761 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=18996948 memory=140900 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39851491 19452874752 36761 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39851492 19452874752 36761 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39851503 19452874752 36761 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147044 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 3.83 3.96 6/340 34833
/proc/meminfo: memFree=128073832/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=176096 CPUtime=26.55 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 21692 0 0 0 2649 6 0 0 20 0 20 0 39851487 19521036288 44024 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 44024 5457 1 0 552688 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=140900 CPUtime=25.33 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 7400 0 0 0 2530 3 0 0 20 0 20 0 39851489 19521036288 44024 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 44024 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=176096 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 44024 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 44024 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 26.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176096 KiB

[startup+51.1058 s]
/proc/loadavg: 3.55 3.84 3.96 6/340 34833
/proc/meminfo: memFree=127465696/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=184340 CPUtime=52.1 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 22853 0 0 0 5203 7 0 0 20 0 20 0 39851487 19521036288 46085 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 46085 5457 1 0 552688 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=14720 CPUtime=50.85 cores=1,3

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

/proc/meminfo: memFree=119966452/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1287020 CPUtime=3216.92 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 44899 0 0 0 321584 108 0 0 20 0 20 0 39851487 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 321755 5489 1 0 552732 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=1287020 CPUtime=3212.89 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 17501 0 0 0 321275 14 0 0 20 0 20 0 39851489 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=13568 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=1287020 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 499 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3216.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1287020 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/340 34987
/proc/meminfo: memFree=119965700/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1287020 CPUtime=3276.78 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 44970 0 0 0 327569 109 0 0 20 0 20 0 39851487 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 321755 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=1287020 CPUtime=3272.73 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 17543 0 0 0 327259 14 0 0 20 0 20 0 39851489 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=21608 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 499 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=1287020 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 321755 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3276.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1287020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.10 6/340 34989
/proc/meminfo: memFree=119942004/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3336.7 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 45834 0 0 0 333559 111 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=1287020 CPUtime=3332.54 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 17553 0 0 0 333240 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=13568 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 499 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3336.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/341 34992
/proc/meminfo: memFree=119846532/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3396.56 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 46046 0 0 0 339544 112 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=12416 CPUtime=3392.39 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 17735 0 0 0 339225 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=13568 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=-6000919498492962924 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 499 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3396.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/341 34994
/proc/meminfo: memFree=119845728/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3456.44 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 46489 0 0 0 345530 114 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=14720 CPUtime=3452.23 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 18104 0 0 0 345209 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 511 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3456.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/340 35000
/proc/meminfo: memFree=119851224/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3516.3 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 46772 0 0 0 351515 115 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=10752 CPUtime=3512.08 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 18293 0 0 0 351194 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 539 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3516.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/341 35017
/proc/meminfo: memFree=119848676/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3576.17 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 46853 0 0 0 357500 117 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=4252 CPUtime=3571.92 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 18369 0 0 0 357178 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 539 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=1315728 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3576.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.2 s]
/proc/loadavg: 3.55 4.00 4.05 3/290 35085
/proc/meminfo: memFree=127341700/131250000 swapFree=33010684/33010684
[pid=34752] ppid=34742 vsize=19063512 memory=1315728 CPUtime=3600.02 cores=1,3
/proc/34752/stat : 34752 (java) S 34742 34752 34686 0 -1 4194304 46892 0 0 0 359884 118 0 0 20 0 20 0 39851487 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
/proc/34752/statm: 4765878 328932 5489 1 0 552733 0
[pid=34752/tid=34766] ppid=34742 vsize=19063512 memory=1408 CPUtime=3595.76 cores=1,3
/proc/34752/task/34766/stat : 34766 (java) R 34742 34752 34686 0 -1 4194368 18399 0 0 0 359562 14 0 0 20 0 20 0 39851489 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34806] ppid=34742 vsize=19063512 memory=7686721470247706567 CPUtime=0 cores=1,3
/proc/34752/task/34806/stat : 34806 (Finalizer) S 34742 34752 34686 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39851491 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34823] ppid=34742 vsize=19063512 memory=7245577201579234449 CPUtime=0 cores=1,3
/proc/34752/task/34823/stat : 34823 (Common-Cleaner) S 34742 34752 34686 0 -1 4194368 539 0 0 0 0 0 0 0 20 0 20 0 39851492 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
[pid=34752/tid=34825] ppid=34742 vsize=19063512 memory=8508281339140727949 CPUtime=0 cores=1,3
/proc/34752/task/34825/stat : 34825 (Timer-0) S 34742 34752 34686 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39851503 19521036288 328932 18446744073709551615 94693271592960 94693271596656 140729610340992 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94693271604472 94693271605264 94693291397120 140729610348929 140729610349030 140729610349030 140729610354632 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.97 s, system=1.19501 s

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

Child status: 143

Real time (s): 3606.31
CPU time (s): 3600.16
CPU user time (s): 3598.97
CPU system time (s): 1.19501
CPU usage (%): 99.8296
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1315728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.19501
maximum resident set size= 1317008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102685
involuntary context switches= 6150


# summary of solver processes directly reported to runsolver:
#   pid: 34752
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.97
#   total CPU system time (s): 1.19501

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53097 second user time and 16.9452 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 02:01:52
IDJOB=4516830
IDBENCH=175833
IDSOLVER=3363
FILE ID=nodeC013/4516830-1751241712
RUNJOBID= nodeC013-1751241712-34698
SLURM_JOB_ID= 9587732
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516830-1751241712/watcher-4516830-1751241712 -o /tmp/evaluation-result-4516830-1751241712/solver-4516830-1751241712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751241712-34698 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516830-1751241712.opb

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

MD5SUM BENCH= 16b4b2caf6bd669646fef9041566c258
RANDOM SEED=1293250273

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.017
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.824
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3600.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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3600.592
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.842
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3606.085
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3600.970
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
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		: 3599.845
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129851328 kB
MemAvailable:   129787744 kB
Buffers:            3280 kB
Cached:           739248 kB
SwapCached:            0 kB
Active:           313564 kB
Inactive:         495760 kB
Active(anon):      80080 kB
Inactive(anon):        0 kB
Active(file):     233484 kB
Inactive(file):   495760 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2912 kB
Writeback:             8 kB
AnonPages:         69952 kB
Mapped:            97876 kB
Shmem:             13284 kB
KReclaimable:      92424 kB
Slab:             179052 kB
SReclaimable:      92424 kB
SUnreclaim:        86628 kB
KernelStack:        4024 kB
PageTables:         2428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     317600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC013 at 2025-06-30 03:01:59