Trace number 4526621

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-06MSAT (TO) 3600.32 3605.83

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-myciel5g-4_wcsp.wbo
MD5SUMb56876b89107ed3e0a8ba992f083f41d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark9.83015
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables188
Total number of constraints991
Number of soft constraints944
Number of constraints which are clauses944
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 237
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4526621-1751634585.wbo
0.14/0.13	c reading problem ... 
0.14/0.18	c ... done. Wall clock time 0.051s.
0.14/0.18	c declared #vars     188
0.14/0.18	c internal #vars     1132
0.14/0.18	c #constraints  1039
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 991
0.14/0.18	c 1039 constraints processed.
0.14/0.20	c objective function length is 944 literals
0.32/0.23	c SATISFIABLE
0.32/0.23	c OPTIMIZING...
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.099
0.32/0.23	o 24
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.136
0.32/0.26	o 22
0.32/0.28	c Got one! Elapsed wall clock time (in seconds):0.152
0.32/0.28	o 8
0.32/0.31	c Got one! Elapsed wall clock time (in seconds):0.177
0.32/0.31	o 7
1.48/0.80	c cleaning 2825 clauses out of 5651 with flag 26756/5651
2.14/1.21	c cleaning 4396 clauses out of 8826 with flag 69135/11651
2.63/1.64	c cleaning 5701 clauses out of 11430 with flag 136263/18651
3.20/2.15	c cleaning 6845 clauses out of 13729 with flag 193144/26651
3.81/2.71	c cleaning 7924 clauses out of 15884 with flag 264016/35651
4.41/3.33	c cleaning 8955 clauses out of 17960 with flag 345129/45651
5.11/4.04	c cleaning 9990 clauses out of 20005 with flag 431230/56651
5.92/4.90	c cleaning 11006 clauses out of 22017 with flag 553267/68653
7.17/5.90	c cleaning 12003 clauses out of 24009 with flag 718836/81651
8.27/7.03	c cleaning 12998 clauses out of 26006 with flag 902783/95651
9.27/8.02	c cleaning 13994 clauses out of 28008 with flag 1005049/110651
10.27/9.09	c cleaning 14996 clauses out of 30016 with flag 1136687/126653
11.48/10.29	c cleaning 16003 clauses out of 32018 with flag 1291924/143651
12.70/11.48	c cleaning 16992 clauses out of 34015 with flag 1443568/161651
14.01/12.77	c cleaning 17990 clauses out of 36023 with flag 1600514/180651
15.41/14.16	c cleaning 19013 clauses out of 38034 with flag 1796375/200652
16.90/15.66	c cleaning 19993 clauses out of 40020 with flag 1978591/221651
18.70/17.46	c cleaning 21006 clauses out of 42027 with flag 2261148/243651
20.40/19.18	c cleaning 21998 clauses out of 44021 with flag 2503313/266651
22.30/21.09	c cleaning 22999 clauses out of 46023 with flag 2785179/290651
24.59/23.30	c cleaning 24009 clauses out of 48025 with flag 3145481/315652
26.58/25.36	c cleaning 24996 clauses out of 50015 with flag 3398227/341651
28.88/27.62	c cleaning 25994 clauses out of 52019 with flag 3719859/368651
31.47/30.25	c cleaning 27003 clauses out of 54026 with flag 4127333/396652
33.97/32.75	c cleaning 28005 clauses out of 56023 with flag 4476640/425652
36.57/35.30	c cleaning 28998 clauses out of 58017 with flag 4853014/455651
39.56/38.36	c cleaning 29995 clauses out of 60020 with flag 5309777/486652
42.75/41.52	c cleaning 31005 clauses out of 62024 with flag 5727001/518651
45.55/44.38	c cleaning 32001 clauses out of 64019 with flag 6059544/551651
49.04/47.89	c cleaning 33003 clauses out of 66021 with flag 6455903/585654
52.83/51.61	c cleaning 34006 clauses out of 68017 with flag 6918783/620653
56.62/55.43	c cleaning 34989 clauses out of 70010 with flag 7369772/656652
60.41/59.28	c cleaning 35990 clauses out of 72020 with flag 7883418/693651
64.40/63.26	c cleaning 36999 clauses out of 74031 with flag 8389417/731652
68.29/67.16	c cleaning 37997 clauses out of 76031 with flag 8855774/770651
72.40/71.21	c cleaning 39010 clauses out of 78035 with flag 9302691/810652
76.89/75.78	c cleaning 39993 clauses out of 80024 with flag 9809840/851651
82.07/80.96	c cleaning 41007 clauses out of 82032 with flag 10366488/893652
87.17/86.09	c cleaning 41987 clauses out of 84024 with flag 10892072/936651
92.65/91.54	c cleaning 43001 clauses out of 86038 with flag 11457275/980652
97.54/96.46	c cleaning 44014 clauses out of 88037 with flag 11968708/1025652
103.03/101.96	c cleaning 45005 clauses out of 90023 with flag 12530579/1071652
108.61/107.50	c cleaning 46000 clauses out of 92019 with flag 13063501/1118653
114.41/113.31	c cleaning 47007 clauses out of 94018 with flag 13650386/1166652
120.01/118.96	c cleaning 48002 clauses out of 96013 with flag 14213456/1215654
125.79/124.77	c cleaning 48988 clauses out of 98008 with flag 14807681/1265651
132.49/131.41	c cleaning 50006 clauses out of 100023 with flag 15485469/1316654
138.87/137.83	c cleaning 50991 clauses out of 102015 with flag 16103282/1368652
145.76/144.72	c cleaning 52008 clauses out of 104025 with flag 16711304/1421653
153.04/152.10	c cleaning 52997 clauses out of 106015 with flag 17396766/1475651
160.92/160.00	c cleaning 54001 clauses out of 108021 with flag 18144957/1530654
168.81/167.81	c cleaning 55002 clauses out of 110018 with flag 18805070/1586652
176.61/175.66	c cleaning 55998 clauses out of 112015 with flag 19540265/1643651
184.59/183.67	c cleaning 57003 clauses out of 114018 with flag 20240935/1701652
193.18/192.21	c cleaning 57996 clauses out of 116014 with flag 20954075/1760651
200.97/200.03	c cleaning 59002 clauses out of 118018 with flag 21660592/1820651
209.34/208.40	c cleaning 60002 clauses out of 120017 with flag 22356891/1881652
218.62/217.77	c cleaning 61003 clauses out of 122015 with flag 23147368/1943652
228.03/227.13	c cleaning 61988 clauses out of 124013 with flag 23904692/2006653
236.31/235.41	c cleaning 63000 clauses out of 126024 with flag 24636567/2070652
245.79/244.95	c cleaning 64009 clauses out of 128026 with flag 25412867/2135654
255.56/254.79	c cleaning 64993 clauses out of 130014 with flag 26239235/2201651
265.64/264.80	c cleaning 65997 clauses out of 132021 with flag 27064268/2268651
275.69/275.00	c cleaning 67002 clauses out of 134024 with flag 27979698/2336651
285.98/285.26	c cleaning 67997 clauses out of 136022 with flag 28876548/2405651
296.86/296.11	c cleaning 69004 clauses out of 138025 with flag 29771710/2475651
307.44/306.78	c cleaning 70011 clauses out of 140021 with flag 30614722/2546651
318.61/317.98	c cleaning 70994 clauses out of 142011 with flag 31502384/2618652
330.38/329.75	c cleaning 71997 clauses out of 144017 with flag 32487493/2691652
342.05/341.40	c cleaning 73005 clauses out of 146020 with flag 33394502/2765652
353.85/353.24	c cleaning 74001 clauses out of 148015 with flag 34309902/2840652
365.82/365.29	c cleaning 74987 clauses out of 150014 with flag 35228416/2916652
377.99/377.42	c cleaning 76006 clauses out of 152027 with flag 36211468/2993652
390.86/390.34	c cleaning 77004 clauses out of 154022 with flag 37181567/3071653
403.83/403.31	c cleaning 77994 clauses out of 156016 with flag 38106993/3150651
416.92/416.40	c cleaning 79006 clauses out of 158024 with flag 39041949/3230653
430.89/430.49	c cleaning 79990 clauses out of 160016 with flag 40015709/3311651
443.76/443.35	c cleaning 81006 clauses out of 162026 with flag 40940533/3393651
457.83/457.41	c cleaning 81996 clauses out of 164020 with flag 41930651/3476651
471.30/470.97	c cleaning 83002 clauses out of 166024 with flag 42893774/3560651
485.29/484.99	c cleaning 84003 clauses out of 168022 with flag 43845755/3645651
500.06/499.74	c cleaning 85004 clauses out of 170019 with flag 44862566/3731651
514.82/514.58	c cleaning 86002 clauses out of 172016 with flag 45873458/3818652
529.48/529.27	c cleaning 86993 clauses out of 174014 with flag 46940098/3906652
543.37/543.11	c cleaning 88010 clauses out of 176021 with flag 47983886/3995652
557.73/557.55	c cleaning 88993 clauses out of 178010 with flag 49013441/4085651
572.33/572.19	c cleaning 89996 clauses out of 180017 with flag 50085738/4176651
587.58/587.42	c cleaning 91000 clauses out of 182026 with flag 51144751/4268656
601.95/601.84	c cleaning 91982 clauses out of 184022 with flag 52111153/4361652
615.52/615.48	c cleaning 92996 clauses out of 186039 with flag 53257968/4455651
628.98/628.93	c cleaning 94017 clauses out of 188050 with flag 54329077/4550658
643.48/643.40	c cleaning 95001 clauses out of 190026 with flag 55561126/4646651
658.85/658.81	c cleaning 96001 clauses out of 192025 with flag 56878827/4743651
674.81/674.82	c cleaning 96997 clauses out of 194026 with flag 58026337/4841653
691.36/691.47	c cleaning 97999 clauses out of 196027 with flag 59194383/4940651
707.23/707.34	c cleaning 98993 clauses out of 198028 with flag 60461133/5040651
723.29/723.46	c cleaning 100009 clauses out of 200038 with flag 61738820/5141654
740.58/740.74	c cleaning 100996 clauses out of 202026 with flag 62982731/5243651
757.04/757.23	c cleaning 102003 clauses out of 204030 with flag 64123222/5346651
777.41/777.60	c cleaning 102994 clauses out of 206028 with flag 65618294/5450652
795.77/796.10	c cleaning 103993 clauses out of 208033 with flag 66830858/5555651
813.93/814.28	c cleaning 105005 clauses out of 210041 with flag 68048054/5661652
833.08/833.44	c cleaning 106012 clauses out of 212035 with flag 69367573/5768651
852.59/852.90	c cleaning 107004 clauses out of 214024 with flag 70806694/5876652
874.84/875.28	c cleaning 107996 clauses out of 216019 with flag 72375044/5985651
894.10/894.54	c cleaning 108994 clauses out of 218025 with flag 73707277/6095653
916.55/917.10	c cleaning 110007 clauses out of 220031 with flag 75423120/6206653
936.61/937.14	c cleaning 110995 clauses out of 222022 with flag 76685127/6318651
958.31/958.82	c cleaning 111999 clauses out of 224027 with flag 78180076/6431651
980.27/980.87	c cleaning 113000 clauses out of 226028 with flag 79466682/6545651
1002.71/1003.30	c cleaning 114012 clauses out of 228028 with flag 80794224/6660651
1025.37/1026.05	c cleaning 115003 clauses out of 230016 with flag 82128218/6776651
1047.92/1048.62	c cleaning 115995 clauses out of 232013 with flag 83463903/6893651
1069.77/1070.54	c cleaning 116998 clauses out of 234019 with flag 84770747/7011652
1092.86/1093.61	c cleaning 118000 clauses out of 236022 with flag 86115895/7130653
1116.90/1117.78	c cleaning 118969 clauses out of 238020 with flag 87382501/7250651
1143.44/1144.34	c cleaning 120014 clauses out of 240051 with flag 89046622/7371651
1169.28/1170.21	c cleaning 121006 clauses out of 242037 with flag 90546454/7493651
1194.81/1195.84	c cleaning 122009 clauses out of 244033 with flag 91833683/7616653
1223.01/1223.92	c cleaning 122998 clauses out of 246023 with flag 93567716/7740652
1251.34/1252.35	c cleaning 123989 clauses out of 248024 with flag 95211278/7865651
1277.85/1278.84	c cleaning 125006 clauses out of 250037 with flag 96590428/7991653
1304.29/1305.35	c cleaning 125988 clauses out of 252029 with flag 98079819/8118651
1330.34/1331.45	c cleaning 126996 clauses out of 254041 with flag 99532676/8246651
1358.37/1359.51	c cleaning 128018 clauses out of 256046 with flag 101167060/8375652
1386.40/1387.69	c cleaning 129012 clauses out of 258028 with flag 102722741/8505652
1413.74/1415.09	c cleaning 130003 clauses out of 260015 with flag 104015928/8636651
1444.06/1445.45	c cleaning 130994 clauses out of 262012 with flag 105570102/8768651
1475.16/1476.51	c cleaning 131992 clauses out of 264018 with flag 107045730/8901651
1504.90/1506.39	c cleaning 132989 clauses out of 266027 with flag 108527013/9035652
1535.43/1536.99	c cleaning 134005 clauses out of 268038 with flag 110069827/9170652
1565.57/1567.19	c cleaning 135011 clauses out of 270034 with flag 111497404/9306653
1597.90/1599.56	c cleaning 136012 clauses out of 272025 with flag 112939531/9443655
1629.43/1631.15	c cleaning 136996 clauses out of 274009 with flag 114362799/9581651
1662.24/1664.02	c cleaning 137995 clauses out of 276014 with flag 115907194/9720652
1693.53/1695.32	c cleaning 138991 clauses out of 278018 with flag 117381670/9860651
1728.26/1730.17	c cleaning 140005 clauses out of 280027 with flag 118852312/10001651
1765.27/1767.27	c cleaning 140998 clauses out of 282022 with flag 120496538/10143651
1801.10/1803.16	c cleaning 142002 clauses out of 284024 with flag 122142454/10286651
1838.11/1840.26	c cleaning 143005 clauses out of 286023 with flag 123641846/10430652
1876.23/1878.41	c cleaning 143999 clauses out of 288017 with flag 125263271/10575651
1912.85/1915.10	c cleaning 144980 clauses out of 290018 with flag 126824163/10721651
1952.86/1955.20	c cleaning 146011 clauses out of 292040 with flag 128448487/10868653
1990.85/1993.20	c cleaning 147011 clauses out of 294027 with flag 129996494/11016651
2029.36/2031.87	c cleaning 147994 clauses out of 296016 with flag 131581582/11165651
2067.77/2070.34	c cleaning 149000 clauses out of 298022 with flag 133157838/11315651
2108.88/2111.51	c cleaning 150009 clauses out of 300023 with flag 134776590/11466652
2149.18/2151.94	c cleaning 150991 clauses out of 302013 with flag 136428838/11618651
2194.06/2196.97	c cleaning 152000 clauses out of 304022 with flag 138164672/11771651
2236.35/2239.34	c cleaning 152998 clauses out of 306022 with flag 139871164/11925651
2275.56/2278.60	c cleaning 154009 clauses out of 308026 with flag 141605728/12080653
2311.27/2314.45	c cleaning 154997 clauses out of 310015 with flag 143157623/12236651
2347.58/2350.86	c cleaning 156006 clauses out of 312018 with flag 144687262/12393651
2384.48/2387.71	c cleaning 156995 clauses out of 314012 with flag 146149331/12551651
2422.20/2425.53	c cleaning 157995 clauses out of 316017 with flag 147739369/12710651
2461.31/2464.71	c cleaning 159001 clauses out of 318024 with flag 149406350/12870653
2502.32/2505.84	c cleaning 160003 clauses out of 320022 with flag 150960172/13031652
2543.73/2547.36	c cleaning 160994 clauses out of 322019 with flag 152548796/13193652
2584.14/2587.88	c cleaning 162002 clauses out of 324027 with flag 154095964/13356654
2625.65/2629.47	c cleaning 163004 clauses out of 326023 with flag 155704083/13520652
2669.16/2673.07	c cleaning 163990 clauses out of 328018 with flag 157405651/13685651
2710.27/2714.24	c cleaning 165009 clauses out of 330028 with flag 158880937/13851651
2753.30/2757.20	c cleaning 166000 clauses out of 332020 with flag 160611961/14018652
2800.60/2804.62	c cleaning 167001 clauses out of 334019 with flag 162575588/14186651
2845.91/2850.05	c cleaning 168008 clauses out of 336019 with flag 164177536/14355652
2893.00/2897.21	c cleaning 168992 clauses out of 338012 with flag 165857454/14525653
2936.89/2941.22	c cleaning 169995 clauses out of 340018 with flag 167351317/14696651
2983.37/2987.87	c cleaning 171007 clauses out of 342024 with flag 169043329/14868652
3029.76/3034.38	c cleaning 171989 clauses out of 344016 with flag 170651370/15041651
3076.35/3081.01	c cleaning 172998 clauses out of 346028 with flag 172265828/15215652
3125.63/3130.44	c cleaning 174014 clauses out of 348032 with flag 173967746/15390654
3174.32/3179.11	c cleaning 174986 clauses out of 350018 with flag 175592940/15566654
3223.21/3228.14	c cleaning 176002 clauses out of 352030 with flag 177281318/15743652
3273.79/3278.83	c cleaning 177009 clauses out of 354030 with flag 178990751/15921654
3326.78/3331.92	c cleaning 178009 clauses out of 356019 with flag 180736448/16100652
3377.37/3382.64	c cleaning 179001 clauses out of 358012 with flag 182453953/16280654
3430.15/3435.57	c cleaning 179985 clauses out of 360008 with flag 184109759/16461651
3483.54/3489.05	c cleaning 181002 clauses out of 362025 with flag 185643487/16643653
3535.91/3541.50	c cleaning 182002 clauses out of 364022 with flag 187345341/16826652
3589.58/3595.23	c cleaning 182999 clauses out of 366020 with flag 189068572/17010652
3600.06/3605.72	c starts		: 38177
3600.06/3605.73	c conflicts		: 17063459
3600.06/3605.73	c decisions		: 42316074
3600.06/3605.73	c propagations		: 8983203073
3600.06/3605.73	c inspects		: 36215795632
3600.06/3605.73	c shortcuts		: 0
3600.06/3605.73	c learnt literals	: 0
3600.06/3605.73	c learnt binary clauses	: 0
3600.06/3605.73	c learnt ternary clauses	: 0
3600.06/3605.73	c learnt constraints	: 17063459
3600.06/3605.73	c ignored constraints	: 0
3600.06/3605.73	c root simplifications	: 0
3600.06/3605.73	c removed literals (reason simplification)	: 79021261
3600.06/3605.73	c reason swapping (by a shorter reason)	: 0
3600.06/3605.73	c Calls to reduceDB	: 180
3600.06/3605.73	c Number of update (reduction) of LBD	: 9851701
3600.06/3605.73	c Imported unit clauses	: 0
3600.06/3605.73	c No decision after first conflict	: false
3600.06/3605.73	c number of reductions to clauses (during analyze)	: 0
3600.06/3605.73	c number of learned constraints concerned by reduction	: 0
3600.06/3605.73	c number of learning phase by resolution	: 0
3600.06/3605.73	c number of learning phase by cutting planes	: 0
3600.06/3605.73	c number of rounding to 1 operations	: 0
3600.06/3605.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3605.73	c number of reductions of the coefficients by power 2 	: 0
3600.06/3605.73	c number of right shift for reduction by power 2 	: 0
3600.06/3605.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3605.73	c number of ending skipping 	: 0
3600.06/3605.73	c number of internal skipping 	: 0
3600.06/3605.73	c number of derivation steps 	: 0
3600.06/3605.74	c number of skipped derivation steps 	: 0
3600.06/3605.74	c number of remaining unassigned 	: 0
3600.06/3605.74	c number of remaining assigned 	: 0
3600.06/3605.74	c number of falsified literals weakened from reason	: 0
3600.06/3605.74	c number of falsified literals weakened from conflict	: 0
3600.06/3605.74	c time for arithmetic operations	: 0
3600.06/3605.74	c minimum degree of deleted constraints	: null
3600.06/3605.74	c maximum degree of deleted constraints	: null
3600.06/3605.75	c number of deleted constraints	: 0
3600.06/3605.75	c speed (assignments/second)	: 2491493.1350279427
3600.06/3605.75	c non guided choices	: 123
3600.27/3605.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 235828
3600.27/3605.82	s SATISFIABLE
3600.27/3605.82	c Found 4 solution(s)
3600.27/3605.82	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 
3600.27/3605.82	c objective function=7
3600.27/3605.82	c Total wall clock time (in seconds): 3605.691

Verifier Data 

OK	7

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62877 MiB free)
  memory of node 1: 64465 MiB (63589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526621-1751634585/watcher-4526621-1751634585 -o /tmp/evaluation-result-4526621-1751634585/solver-4526621-1751634585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751630972-92819 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526621-1751634585.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=94242, runsolver pid=94239
Current StackSize limit: 8192 KiB


[startup+0.100026 s]*
/proc/loadavg: 4.44 4.22 4.14 6/336 94260
/proc/meminfo: memFree=129408716/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18930384 memory=57952 CPUtime=0.14 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 6618 0 0 0 12 2 0 0 20 0 18 0 79136369 19384713216 14488 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4732596 14488 5349 1 0 547658 0
[pid=94242/tid=94244] ppid=94239 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 5092 0 0 0 7 1 0 0 20 0 18 0 79136370 19384713216 14488 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79136372 19384713216 14488 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 79136372 19384713216 14488 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57952 KiB

[startup+0.205669 s]*
/proc/loadavg: 4.44 4.22 4.14 7/337 94261
/proc/meminfo: memFree=129404872/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=64608 CPUtime=0.32 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 7250 0 0 0 30 2 0 0 20 0 19 0 79136369 19452874752 16152 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 16152 5445 1 0 548326 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 5367 0 0 0 16 1 0 0 20 0 19 0 79136370 19452874752 16152 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=16099 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 16152 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 16152 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 16152 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64608 KiB

[startup+0.305693 s]*
/proc/loadavg: 4.44 4.22 4.14 6/337 94261
/proc/meminfo: memFree=129397060/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=73172 CPUtime=0.52 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 9970 0 0 0 49 3 0 0 20 0 19 0 79136369 19452874752 18293 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 18293 5445 1 0 549850 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=-6000919468445296742 CPUtime=0.27 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 5404 0 0 0 26 1 0 0 20 0 19 0 79136370 19452874752 18293 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 18293 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 18293 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 18293 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73172 KiB

[startup+0.700232 s]
/proc/loadavg: 4.44 4.22 4.14 6/337 94261
/proc/meminfo: memFree=129397060/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=82148 CPUtime=1.28 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 12589 0 0 0 125 3 0 0 20 0 19 0 79136369 19452874752 20537 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 20537 5477 1 0 551475 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=14336 CPUtime=0.65 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 5411 0 0 0 64 1 0 0 20 0 19 0 79136370 19452874752 20537 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 20537 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 20537 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 20537 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82148 KiB

[startup+1.50018 s]
/proc/loadavg: 4.44 4.22 4.14 5/337 94261
/proc/meminfo: memFree=129390760/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=85232 CPUtime=2.53 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 17441 0 0 0 250 3 0 0 20 0 19 0 79136369 19452874752 21308 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 21308 5477 1 0 551682 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=0 CPUtime=1.44 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 5829 0 0 0 143 1 0 0 20 0 19 0 79136370 19452874752 21308 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 21308 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 21308 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 21308 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85232 KiB

[startup+3.10541 s]
/proc/loadavg: 4.44 4.22 4.14 5/337 94261
/proc/meminfo: memFree=129307268/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=91376 CPUtime=4.22 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 18108 0 0 0 419 3 0 0 20 0 19 0 79136369 19452874752 22844 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 22844 5477 1 0 551683 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=10624 CPUtime=3.05 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 6092 0 0 0 303 2 0 0 20 0 19 0 79136370 19452874752 22844 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=-6000919468445296742 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 22844 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 22844 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 22844 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91376 KiB

[startup+6.30015 s]
/proc/loadavg: 4.40 4.21 4.14 5/338 94263
/proc/meminfo: memFree=129101116/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=101616 CPUtime=7.57 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 22953 0 0 0 753 4 0 0 20 0 19 0 79136369 19452874752 25404 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 25404 5477 1 0 552053 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=0 CPUtime=6.23 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 6753 0 0 0 621 2 0 0 20 0 19 0 79136370 19452874752 25404 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 25404 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 25404 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=85232 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 25404 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101616 KiB

[startup+12.7002 s]
/proc/loadavg: 4.37 4.21 4.13 5/338 94263
/proc/meminfo: memFree=128732480/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=118000 CPUtime=14.01 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 26124 0 0 0 1397 4 0 0 20 0 19 0 79136369 19452874752 29500 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 29500 5509 1 0 552053 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=85232 CPUtime=12.61 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 7339 0 0 0 1259 2 0 0 20 0 19 0 79136370 19452874752 29500 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=115824 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 29500 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 29500 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 29500 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118000 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.20 4.13 5/338 94263
/proc/meminfo: memFree=127950144/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=18996948 memory=150768 CPUtime=26.78 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 27085 0 0 0 2673 5 0 0 20 0 19 0 79136369 19452874752 37692 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4749237 37692 5509 1 0 552053 0
[pid=94242/tid=94244] ppid=94239 vsize=18996948 memory=115824 CPUtime=25.38 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 8045 0 0 0 2535 3 0 0 20 0 19 0 79136370 19452874752 37692 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 37692 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=18996948 memory=138480 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 79136372 19452874752 37692 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=18996948 memory=14336 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79136389 19452874752 37692 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150768 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.18 4.13 5/340 94265
/proc/meminfo: memFree=126746692/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=175852 CPUtime=52.33 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 28529 0 0 0 5227 6 0 0 20 0 20 0 79136369 19521036288 43963 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 43963 5541 1 0 552342 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=175852 CPUtime=50.9 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/340 94510
/proc/meminfo: memFree=109000136/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3277.29 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 48175 0 0 0 327615 114 0 0 20 0 20 0 79136369 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 329041 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=14336 CPUtime=3272.54 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 16670 0 0 0 327241 13 0 0 20 0 20 0 79136370 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=-6000919468445296742 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 565 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3277.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/340 94512
/proc/meminfo: memFree=109000024/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3337.16 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 48541 0 0 0 333600 116 0 0 20 0 20 0 79136369 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 329041 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3332.39 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 16939 0 0 0 333226 13 0 0 20 0 20 0 79136370 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3337.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/340 94514
/proc/meminfo: memFree=108999804/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3397.03 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 48609 0 0 0 339585 118 0 0 20 0 20 0 79136369 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 329041 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3392.23 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 16996 0 0 0 339210 13 0 0 20 0 20 0 79136370 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=9216 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3397.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316164 KiB

[startup+3462.3 s]
/proc/loadavg: 3.59 4.02 4.12 4/315 94549
/proc/meminfo: memFree=124386008/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3456.9 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 48675 0 0 0 345571 119 0 0 20 0 20 0 79136369 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 329041 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3452.07 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 17057 0 0 0 345194 13 0 0 20 0 20 0 79136370 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3456.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316164 KiB

[startup+3522.3 s]
/proc/loadavg: 3.25 3.84 4.06 4/313 94551
/proc/meminfo: memFree=124386652/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3516.76 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 49415 0 0 0 351556 120 0 0 20 0 20 0 79136369 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 329041 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=14156 CPUtime=3511.92 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 17699 0 0 0 351179 13 0 0 20 0 20 0 79136370 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1316164 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 582 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 329041 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3516.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316164 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.70 3.99 4/313 94553
/proc/meminfo: memFree=124305488/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1400132 CPUtime=3576.7 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 50308 0 0 0 357547 123 0 0 20 0 20 0 79136369 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 350033 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3571.67 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 18060 0 0 0 357154 13 0 0 20 0 20 0 79136370 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1400132 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 588 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3576.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1400132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.7 s]
/proc/loadavg: 2.95 3.62 3.96 3/288 94587
/proc/meminfo: memFree=126427160/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19063512 memory=1400132 CPUtime=3600.06 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 50569 0 0 0 359882 124 0 0 20 0 20 0 79136369 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4765878 350033 5541 1 0 552358 0
[pid=94242/tid=94244] ppid=94239 vsize=19063512 memory=1316164 CPUtime=3595.01 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 18214 0 0 0 359488 13 0 0 20 0 20 0 79136370 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19063512 memory=1400132 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19063512 memory=1400132 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 588 0 0 0 0 0 0 0 20 0 20 0 79136372 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94261] ppid=94239 vsize=19063512 memory=1400132 CPUtime=0 cores=0,2
/proc/94242/task/94261/stat : 94261 (Timer-0) S 94239 94242 89339 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79136389 19521036288 350033 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1400132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=1.25808 s

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

[startup+3605.8 s]
/proc/loadavg: 2.95 3.62 3.96 3/288 94587
/proc/meminfo: memFree=126427160/131249996 swapFree=33000896/33010684
[pid=94242] ppid=94239 vsize=19263204 memory=1401156 CPUtime=3600.27 cores=0,2
/proc/94242/stat : 94242 (java) S 94239 94242 89339 0 -1 4194304 52986 0 0 0 359902 125 0 0 20 0 21 0 79136369 19725520896 350289 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
/proc/94242/statm: 4815801 350289 5541 1 0 553309 0
[pid=94242/tid=94244] ppid=94239 vsize=19263204 memory=-6000919468445296742 CPUtime=3595.1 cores=0,2
/proc/94242/task/94244/stat : 94244 (java) R 94239 94242 89339 0 -1 4194368 18398 0 0 0 359497 13 0 0 20 0 21 0 79136370 19725520896 350289 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94253] ppid=94239 vsize=19263204 memory=10624 CPUtime=0 cores=0,2
/proc/94242/task/94253/stat : 94253 (Finalizer) S 94239 94242 89339 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79136372 19725520896 350289 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
[pid=94242/tid=94260] ppid=94239 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/94242/task/94260/stat : 94260 (Common-Cleaner) S 94239 94242 89339 0 -1 4194368 588 0 0 0 0 0 0 0 20 0 21 0 79136372 19725520896 350289 18446744073709551615 94494230888448 94494230892144 140722824259504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94494230899960 94494230900752 94494239334400 140722824264063 140722824264164 140722824264164 140722824269768 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1401156 KiB

Child status: 143

Real time (s): 3605.83
CPU time (s): 3600.32
CPU user time (s): 3599.06
CPU system time (s): 1.25808
CPU usage (%): 99.8471
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1401156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.25808
maximum resident set size= 1401284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103059
involuntary context switches= 8860


# summary of solver processes directly reported to runsolver:
#   pid: 94242
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3599.06
#   total CPU system time (s): 1.25808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40475 second user time and 17.5111 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 15:09:45
IDJOB=4526621
IDBENCH=144129
IDSOLVER=3380
FILE ID=nodeC023/4526621-1751634585
RUNJOBID= nodeC023-1751630972-92819
SLURM_JOB_ID= 9598950
Free space on /tmp= 431868 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-myciel5g-4_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526621-1751634585/watcher-4526621-1751634585 -o /tmp/evaluation-result-4526621-1751634585/solver-4526621-1751634585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751630972-92819 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526621-1751634585.wbo

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

MD5SUM BENCH= b56876b89107ed3e0a8ba992f083f41d
RANDOM SEED=2123894777

nodeC023 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		: 3599.862
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.78
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.876
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.78
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		: 3599.557
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.78
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		: 3572.396
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.78
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.883
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.78
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		: 3599.886
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.78
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		: 3598.059
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.78
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		: 3598.092
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129518708 kB
MemAvailable:   129299848 kB
Buffers:              16 kB
Cached:           523596 kB
SwapCached:         2904 kB
Active:           646932 kB
Inactive:         380092 kB
Active(anon):     462580 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   326728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4456 kB
Writeback:             0 kB
AnonPages:        503456 kB
Mapped:           117912 kB
Shmem:             12532 kB
KReclaimable:     218596 kB
Slab:             310040 kB
SReclaimable:     218596 kB
SUnreclaim:        91444 kB
KernelStack:        5084 kB
PageTables:         4712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7046640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431868 MiB
End job on nodeC023 at 2025-07-04 16:09:51