Trace number 4432509

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.37 3592.85

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.13/0.12	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.17	--- Begin Solver configuration ---
0.13/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.17	Learn all clauses as in MiniSAT
0.13/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.17	No reason simplification
0.13/0.17	Glucose 2.1 dynamic restart strategy
0.13/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.17	timeout=2147483s
0.13/0.17	DB Simplification allowed=false
0.13/0.17	Listener: none
0.13/0.17	--- End Solver configuration ---
0.13/0.17	c Pseudo Boolean Optimization by upper bound
0.13/0.17	c --- Begin Solver configuration ---
0.13/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.17	c Learn all clauses as in MiniSAT
0.13/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.17	c No reason simplification
0.13/0.17	c Glucose 2.1 dynamic restart strategy
0.13/0.17	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.17	c timeout=2147483s
0.13/0.17	c DB Simplification allowed=false
0.13/0.17	c Listener: none
0.13/0.17	c --- End Solver configuration ---
0.13/0.17	c solving HOME/instance-4432509-1721166473.opb
0.13/0.17	c reading problem ... 
0.13/0.17	c  objective function found
1.07/0.63	c ... done. Wall clock time 0.454s.
1.07/0.64	c declared #vars     9632
1.07/0.64	c #constraints  29620
1.07/0.64	c constraints type 
1.07/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16520
1.07/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 304
1.07/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1764
1.07/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11032
1.07/0.64	c 29620 constraints processed.
1.07/0.65	c objective function length is 26 literals
2.22/1.29	c cleaning 2496 clauses out of 5000 with flag 15108/5000
3.22/1.77	c cleaning 4233 clauses out of 8505 with flag 29227/11001
3.62/1.98	c cleaning 5607 clauses out of 11271 with flag 45540/18000
4.20/2.20	c cleaning 6817 clauses out of 13665 with flag 63935/26001
4.60/2.49	c cleaning 7892 clauses out of 15849 with flag 83514/35002
5.23/2.88	c cleaning 8954 clauses out of 17955 with flag 108405/45000
5.63/3.29	c cleaning 9995 clauses out of 20001 with flag 136016/56000
6.13/3.74	c cleaning 10977 clauses out of 22006 with flag 163990/68000
6.54/4.18	c cleaning 11994 clauses out of 24030 with flag 194664/81001
6.94/4.59	c cleaning 12975 clauses out of 26039 with flag 226212/95004
7.56/5.13	c cleaning 14004 clauses out of 28060 with flag 259612/110000
8.14/5.78	c cleaning 14996 clauses out of 30056 with flag 295317/126000
8.91/6.41	c cleaning 15991 clauses out of 32060 with flag 334838/143000
9.37/6.88	c cleaning 17013 clauses out of 34070 with flag 372267/161001
9.87/7.37	c cleaning 18011 clauses out of 36056 with flag 410269/180000
10.47/8.00	c cleaning 19003 clauses out of 38045 with flag 451837/200000
11.37/8.80	c cleaning 19990 clauses out of 40043 with flag 502195/221001
12.36/9.82	c cleaning 20996 clauses out of 42055 with flag 550200/243003
13.36/10.89	c cleaning 22001 clauses out of 44056 with flag 600197/266000
14.46/11.96	c cleaning 22988 clauses out of 46061 with flag 661212/290006
15.57/13.01	c cleaning 24011 clauses out of 48070 with flag 716944/315003
16.46/13.99	c cleaning 24996 clauses out of 50057 with flag 781260/341001
17.57/15.09	c cleaning 26017 clauses out of 52060 with flag 841656/368000
18.87/16.36	c cleaning 27009 clauses out of 54045 with flag 902343/396002
20.19/17.62	c cleaning 27980 clauses out of 56034 with flag 971081/425000
21.60/19.01	c cleaning 28989 clauses out of 58054 with flag 1035951/455000
23.70/21.11	c cleaning 29999 clauses out of 60065 with flag 1114873/486000
25.38/22.84	c cleaning 30997 clauses out of 62069 with flag 1196160/518003
27.38/24.83	c cleaning 32000 clauses out of 64070 with flag 1268210/551001
29.38/26.89	c cleaning 33006 clauses out of 66071 with flag 1340747/585002
31.60/29.07	c cleaning 34007 clauses out of 68063 with flag 1416888/620000
34.08/31.58	c cleaning 35009 clauses out of 70056 with flag 1493845/656000
35.78/33.27	c cleaning 36016 clauses out of 72049 with flag 1572542/693002
37.37/34.87	c cleaning 36993 clauses out of 74033 with flag 1663308/731002
39.18/36.68	c cleaning 37985 clauses out of 76039 with flag 1742999/770001
41.17/38.69	c cleaning 39010 clauses out of 78053 with flag 1842085/810000
44.07/41.59	c cleaning 40005 clauses out of 80043 with flag 1950011/851000
46.07/43.50	c cleaning 40964 clauses out of 82042 with flag 2053011/893004
48.36/45.81	c cleaning 41985 clauses out of 84074 with flag 2146810/936000
51.26/48.71	c cleaning 43002 clauses out of 86089 with flag 2256620/980000
54.15/51.66	c cleaning 44006 clauses out of 88090 with flag 2393333/1025003
56.05/53.60	c cleaning 45016 clauses out of 90084 with flag 2513098/1071003
58.05/55.54	c cleaning 45989 clauses out of 92065 with flag 2629572/1118000
61.44/58.98	c cleaning 47005 clauses out of 94078 with flag 2752070/1166002
64.15/61.67	c cleaning 48001 clauses out of 96071 with flag 2875946/1215000
67.05/64.50	c cleaning 48995 clauses out of 98070 with flag 2995293/1265000
69.46/66.96	c cleaning 50019 clauses out of 100077 with flag 3119813/1316002
71.75/69.26	c cleaning 50998 clauses out of 102056 with flag 3231062/1368000
74.84/72.32	c cleaning 52002 clauses out of 104060 with flag 3337095/1421002
78.86/76.32	c cleaning 53001 clauses out of 106061 with flag 3453678/1475005
82.95/80.40	c cleaning 53996 clauses out of 108056 with flag 3572188/1530001
87.04/84.59	c cleaning 54979 clauses out of 110061 with flag 3695341/1586002
90.35/87.89	c cleaning 56022 clauses out of 112080 with flag 3817893/1643000
94.23/91.79	c cleaning 56986 clauses out of 114060 with flag 3973872/1701002
102.13/99.60	c cleaning 57998 clauses out of 116072 with flag 4122850/1760000
109.02/106.50	c cleaning 58995 clauses out of 118075 with flag 4274722/1820001
112.70/110.23	c cleaning 60013 clauses out of 120082 with flag 4417008/1881003
115.48/113.05	c cleaning 61004 clauses out of 122066 with flag 4565071/1943000
119.66/117.28	c cleaning 61999 clauses out of 124065 with flag 4713073/2006003
123.53/121.16	c cleaning 63009 clauses out of 126064 with flag 4868034/2070001
127.66/125.28	c cleaning 63997 clauses out of 128055 with flag 5015433/2135001
132.74/130.38	c cleaning 64990 clauses out of 130060 with flag 5161228/2201003
136.26/133.83	c cleaning 66000 clauses out of 132068 with flag 5323261/2268001
139.05/136.60	c cleaning 66991 clauses out of 134067 with flag 5487402/2336000
145.77/143.34	c cleaning 67999 clauses out of 136079 with flag 5665929/2405003
153.35/150.93	c cleaning 68999 clauses out of 138078 with flag 5849528/2475001
157.28/154.85	c cleaning 70019 clauses out of 140078 with flag 6019536/2546000
161.37/158.91	c cleaning 70985 clauses out of 142061 with flag 6185760/2618002
166.25/163.81	c cleaning 72009 clauses out of 144074 with flag 6344389/2691000
169.78/167.38	c cleaning 72992 clauses out of 146065 with flag 6510124/2765000
173.07/170.60	c cleaning 73997 clauses out of 148073 with flag 6681393/2840000
178.98/176.58	c cleaning 75009 clauses out of 150077 with flag 6847126/2916001
183.27/180.83	c cleaning 76012 clauses out of 152069 with flag 7013000/2993002
187.53/185.08	c cleaning 76987 clauses out of 154056 with flag 7190360/3071001
190.63/188.18	c cleaning 78007 clauses out of 156070 with flag 7374015/3150002
194.01/191.57	c cleaning 79021 clauses out of 158061 with flag 7554784/3230000
198.57/196.05	c cleaning 79991 clauses out of 160040 with flag 7735703/3311000
203.94/201.47	c cleaning 81007 clauses out of 162054 with flag 7921866/3393005
210.61/208.05	c cleaning 82000 clauses out of 164042 with flag 8105200/3476000
217.29/214.71	c cleaning 83003 clauses out of 166044 with flag 8289372/3560002
223.98/221.47	c cleaning 84000 clauses out of 168040 with flag 8475541/3645001
227.88/225.23	c cleaning 85013 clauses out of 170040 with flag 8657949/3731001
232.78/230.12	c cleaning 85985 clauses out of 172026 with flag 8846520/3818000
237.26/234.60	c cleaning 87018 clauses out of 174041 with flag 9044345/3906000
242.43/239.70	c cleaning 88008 clauses out of 176023 with flag 9237932/3995000
247.03/244.33	c cleaning 88955 clauses out of 178015 with flag 9428586/4085000
251.42/248.76	c cleaning 90007 clauses out of 180061 with flag 9627770/4176001
256.41/253.70	c cleaning 90986 clauses out of 182054 with flag 9844490/4268001
261.06/258.35	c cleaning 92030 clauses out of 184069 with flag 10051840/4361002
266.56/263.82	c cleaning 93010 clauses out of 186039 with flag 10239871/4455002
273.86/271.18	c cleaning 94007 clauses out of 188027 with flag 10429867/4550000
281.14/278.37	c cleaning 95004 clauses out of 190021 with flag 10621869/4646001
287.62/284.82	c cleaning 95994 clauses out of 192016 with flag 10815895/4743000
293.11/290.38	c cleaning 96988 clauses out of 194026 with flag 11026467/4841004
298.92/296.17	c cleaning 97988 clauses out of 196035 with flag 11251136/4940001
308.44/305.04	c cleaning 98981 clauses out of 198047 with flag 11476311/5040001
316.61/313.25	c cleaning 99999 clauses out of 200066 with flag 11714968/5141001
325.09/321.74	c cleaning 100975 clauses out of 202067 with flag 11960019/5243001
331.18/327.80	c cleaning 101998 clauses out of 204094 with flag 12186083/5346003
337.37/333.90	c cleaning 103019 clauses out of 206094 with flag 12428780/5450001
343.67/340.26	c cleaning 104014 clauses out of 208074 with flag 12659911/5555000
349.47/346.07	c cleaning 104991 clauses out of 210060 with flag 12910021/5661000
365.44/361.95	c cleaning 105998 clauses out of 212070 with flag 13151500/5768001
373.64/370.16	c cleaning 107002 clauses out of 214073 with flag 13395712/5876002
382.52/379.01	c cleaning 108012 clauses out of 216071 with flag 13652331/5985002
395.90/392.40	c cleaning 109012 clauses out of 218057 with flag 13911929/6095000
404.99/401.47	c cleaning 109989 clauses out of 220048 with flag 14158998/6206003
413.47/410.00	c cleaning 110976 clauses out of 222058 with flag 14424611/6318002
418.76/415.29	c cleaning 112011 clauses out of 224081 with flag 14678572/6431001
424.57/420.90	c cleaning 112989 clauses out of 226070 with flag 14931254/6545001
434.95/431.31	c cleaning 114005 clauses out of 228081 with flag 15206051/6660001
442.94/439.36	c cleaning 115023 clauses out of 230075 with flag 15475072/6776000
452.41/448.77	c cleaning 115997 clauses out of 232054 with flag 15727933/6893002
470.28/466.65	c cleaning 117004 clauses out of 234059 with flag 15971326/7011004
480.46/476.85	c cleaning 117979 clauses out of 236051 with flag 16256591/7130000
487.43/483.76	c cleaning 119004 clauses out of 238073 with flag 16559565/7250001
497.41/493.79	c cleaning 119993 clauses out of 240068 with flag 16860452/7371000
516.28/512.68	c cleaning 121020 clauses out of 242078 with flag 17198494/7493003
531.86/528.21	c cleaning 122013 clauses out of 244058 with flag 17561732/7616003
553.10/549.42	c cleaning 123002 clauses out of 246043 with flag 17927230/7740001
566.38/562.79	c cleaning 124018 clauses out of 248040 with flag 18256937/7865000
576.05/572.44	c cleaning 124973 clauses out of 250024 with flag 18544694/7991002
585.22/581.53	c cleaning 126003 clauses out of 252050 with flag 18851754/8118001
595.10/591.43	c cleaning 127019 clauses out of 254047 with flag 19141645/8246001
604.20/600.48	c cleaning 128005 clauses out of 256028 with flag 19413463/8375001
614.28/610.54	c cleaning 128986 clauses out of 258024 with flag 19689628/8505002
624.36/620.60	c cleaning 129990 clauses out of 260037 with flag 19991020/8636001
631.87/628.03	c cleaning 130993 clauses out of 262049 with flag 20306056/8768003
640.95/637.17	c cleaning 132000 clauses out of 264056 with flag 20623733/8901003
650.62/646.85	c cleaning 133022 clauses out of 266053 with flag 20912731/9035000
663.88/659.71	c cleaning 134006 clauses out of 268033 with flag 21225499/9170002
672.67/668.52	c cleaning 134983 clauses out of 270025 with flag 21532490/9306000
682.55/678.45	c cleaning 136001 clauses out of 272042 with flag 21815592/9443000
692.28/688.12	c cleaning 136954 clauses out of 274042 with flag 22117138/9581001
702.26/698.17	c cleaning 138021 clauses out of 276088 with flag 22439465/9720001
714.01/709.91	c cleaning 139008 clauses out of 278066 with flag 22745904/9860000
724.03/719.90	c cleaning 140006 clauses out of 280060 with flag 23060215/10001002
739.78/735.65	c cleaning 140983 clauses out of 282053 with flag 23356856/10143001
748.76/744.62	c cleaning 142024 clauses out of 284073 with flag 23683126/10286004
758.46/754.26	c cleaning 143020 clauses out of 286047 with flag 24011361/10430002
768.45/764.24	c cleaning 143998 clauses out of 288025 with flag 24341249/10575000
783.12/778.92	c cleaning 144969 clauses out of 290028 with flag 24681373/10721001
797.80/793.56	c cleaning 145981 clauses out of 292058 with flag 25024694/10868000
810.30/806.07	c cleaning 147033 clauses out of 294078 with flag 25352112/11016001
821.96/817.70	c cleaning 147977 clauses out of 296044 with flag 25711031/11165000
831.66/827.32	c cleaning 149002 clauses out of 298067 with flag 26060889/11315000
844.04/839.79	c cleaning 150015 clauses out of 300067 with flag 26395417/11466002
855.33/851.02	c cleaning 150994 clauses out of 302052 with flag 26743490/11618002
865.80/861.46	c cleaning 152004 clauses out of 304057 with flag 27085028/11771001
876.28/872.01	c cleaning 152970 clauses out of 306052 with flag 27437027/11925000
887.96/883.69	c cleaning 154002 clauses out of 308083 with flag 27780803/12080001
900.04/895.66	c cleaning 155023 clauses out of 310080 with flag 28145661/12236000
916.00/911.54	c cleaning 156017 clauses out of 312062 with flag 28487808/12393005
952.84/948.40	c cleaning 157001 clauses out of 314040 with flag 28891276/12551000
989.78/985.44	c cleaning 157999 clauses out of 316040 with flag 29284480/12710001
1038.23/1033.86	c cleaning 159000 clauses out of 318044 with flag 29726743/12870004
1057.03/1052.56	c cleaning 159945 clauses out of 320040 with flag 30138769/13031000
1071.71/1067.28	c cleaning 161023 clauses out of 322095 with flag 30521311/13193000
1086.27/1081.04	c cleaning 162015 clauses out of 324072 with flag 30897309/13356000
1097.73/1092.51	c cleaning 163022 clauses out of 326057 with flag 31251028/13520000
1108.25/1103.01	c cleaning 163999 clauses out of 328037 with flag 31640946/13685002
1121.32/1116.14	c cleaning 164993 clauses out of 330036 with flag 32011377/13851000
1132.79/1127.64	c cleaning 165992 clauses out of 332046 with flag 32418390/14018003
1149.72/1144.44	c cleaning 167009 clauses out of 334051 with flag 32779653/14186000
1167.41/1162.18	c cleaning 168006 clauses out of 336045 with flag 33117666/14355003
1182.15/1176.99	c cleaning 168983 clauses out of 338037 with flag 33477805/14525001
1193.95/1188.63	c cleaning 170000 clauses out of 340053 with flag 33865082/14696000
1208.63/1203.38	c cleaning 170994 clauses out of 342055 with flag 34240835/14868002
1228.48/1223.18	c cleaning 172024 clauses out of 344059 with flag 34626233/15041000
1243.54/1238.25	c cleaning 173015 clauses out of 346037 with flag 35002264/15215002
1258.02/1252.72	c cleaning 173989 clauses out of 348020 with flag 35396987/15390000
1273.26/1267.96	c cleaning 174991 clauses out of 350031 with flag 35790098/15566000
1289.34/1284.09	c cleaning 175985 clauses out of 352041 with flag 36167843/15743001
1302.97/1297.69	c cleaning 177026 clauses out of 354057 with flag 36576723/15921002
1318.84/1313.56	c cleaning 177978 clauses out of 356029 with flag 36989444/16100000
1338.15/1332.84	c cleaning 178974 clauses out of 358051 with flag 37374929/16280000
1348.82/1343.50	c cleaning 180003 clauses out of 360077 with flag 37791462/16461000
1373.35/1368.03	c cleaning 180991 clauses out of 362075 with flag 38245174/16643001
1404.77/1399.52	c cleaning 182029 clauses out of 364083 with flag 38688398/16826000
1463.00/1457.74	c cleaning 183017 clauses out of 366056 with flag 39117833/17010002
1555.65/1550.53	c cleaning 184008 clauses out of 368037 with flag 39534872/17195000
1619.57/1614.41	c cleaning 185003 clauses out of 370029 with flag 39959425/17381000
1636.70/1631.47	c cleaning 185975 clauses out of 372026 with flag 40377697/17568000
1671.74/1666.52	c cleaning 187017 clauses out of 374052 with flag 40791385/17756001
1698.79/1693.50	c cleaning 187987 clauses out of 376036 with flag 41198439/17945002
1727.44/1722.21	c cleaning 188994 clauses out of 378049 with flag 41606095/18135002
1759.19/1753.99	c cleaning 190001 clauses out of 380053 with flag 42024755/18326000
1771.27/1766.07	c cleaning 190975 clauses out of 382053 with flag 42479594/18518001
1787.26/1781.92	c cleaning 192036 clauses out of 384077 with flag 42926952/18711000
1823.80/1818.53	c cleaning 193016 clauses out of 386042 with flag 43321005/18905001
1847.70/1842.32	c cleaning 193985 clauses out of 388025 with flag 43742785/19100000
1864.38/1859.04	c cleaning 194984 clauses out of 390042 with flag 44199390/19296002
1897.49/1892.01	c cleaning 195997 clauses out of 392056 with flag 44675588/19493000
1912.46/1907.05	c cleaning 196985 clauses out of 394059 with flag 45124780/19691000
1929.51/1923.96	c cleaning 198019 clauses out of 396078 with flag 45532759/19890004
1943.90/1938.37	c cleaning 199002 clauses out of 398059 with flag 45955564/20090004
1962.83/1957.15	c cleaning 199974 clauses out of 400058 with flag 46397795/20291005
1978.48/1972.88	c cleaning 201022 clauses out of 402079 with flag 46867662/20493000
2003.95/1997.78	c cleaning 202002 clauses out of 404058 with flag 47303428/20696001
2029.61/2023.41	c cleaning 203007 clauses out of 406056 with flag 47717623/20900001
2060.88/2054.67	c cleaning 203997 clauses out of 408050 with flag 48127627/21105002
2101.72/2095.52	c cleaning 204996 clauses out of 410051 with flag 48539625/21311000
2133.29/2127.03	c cleaning 205993 clauses out of 412055 with flag 48974410/21518000
2153.64/2147.37	c cleaning 206994 clauses out of 414064 with flag 49449118/21726002
2168.92/2162.64	c cleaning 208007 clauses out of 416069 with flag 49941498/21935001
2186.20/2179.81	c cleaning 209031 clauses out of 418061 with flag 50413195/22145000
2217.46/2211.17	c cleaning 209995 clauses out of 420030 with flag 50841197/22356000
2237.91/2231.59	c cleaning 210980 clauses out of 422035 with flag 51321939/22568000
2255.88/2249.59	c cleaning 211995 clauses out of 424057 with flag 51815684/22781002
2281.49/2275.02	c cleaning 213000 clauses out of 426060 with flag 52292689/22995000
2325.61/2319.29	c cleaning 214007 clauses out of 428062 with flag 52744528/23210002
2349.98/2343.53	c cleaning 214969 clauses out of 430053 with flag 53252706/23426000
2376.23/2369.89	c cleaning 216003 clauses out of 432084 with flag 53796762/23643000
2403.78/2397.32	c cleaning 217013 clauses out of 434083 with flag 54273558/23861002
2426.64/2420.25	c cleaning 218016 clauses out of 436068 with flag 54763333/24080000
2465.37/2458.97	c cleaning 219011 clauses out of 438054 with flag 55248147/24300002
2488.62/2482.20	c cleaning 219997 clauses out of 440043 with flag 55743925/24521002
2508.94/2502.33	c cleaning 220991 clauses out of 442044 with flag 56255660/24743000
2538.38/2531.83	c cleaning 221982 clauses out of 444056 with flag 56796014/24966003
2558.14/2551.68	c cleaning 223031 clauses out of 446073 with flag 57300721/25190002
2577.51/2570.96	c cleaning 223995 clauses out of 448040 with flag 57807715/25415000
2603.76/2597.21	c cleaning 224988 clauses out of 450046 with flag 58320155/25641001
2644.43/2637.82	c cleaning 225997 clauses out of 452057 with flag 58813713/25868000
2685.76/2679.21	c cleaning 226998 clauses out of 454063 with flag 59311103/26096003
2703.65/2697.15	c cleaning 227999 clauses out of 456063 with flag 59846905/26325001
2722.54/2715.96	c cleaning 229015 clauses out of 458063 with flag 60371463/26555000
2747.81/2741.26	c cleaning 229987 clauses out of 460049 with flag 60897958/26786001
2776.67/2770.18	c cleaning 231005 clauses out of 462062 with flag 61446535/27018001
2801.56/2794.96	c cleaning 231978 clauses out of 464057 with flag 61987530/27251001
2826.32/2819.70	c cleaning 233008 clauses out of 466079 with flag 62516422/27485001
2860.68/2854.19	c cleaning 233989 clauses out of 468071 with flag 63030852/27720001
2881.35/2874.77	c cleaning 235038 clauses out of 470085 with flag 63610137/27956004
2907.91/2901.35	c cleaning 235975 clauses out of 472044 with flag 64157584/28193001
2945.08/2938.40	c cleaning 237004 clauses out of 474069 with flag 64670175/28431001
2988.39/2981.89	c cleaning 238012 clauses out of 476066 with flag 65191973/28670002
3011.15/3004.61	c cleaning 238982 clauses out of 478052 with flag 65745871/28910000
3033.67/3027.04	c cleaning 239999 clauses out of 480070 with flag 66334316/29151000
3061.05/3053.71	c cleaning 240995 clauses out of 482071 with flag 66926167/29393000
3086.91/3079.65	c cleaning 241998 clauses out of 484079 with flag 67476348/29636003
3113.45/3106.15	c cleaning 243008 clauses out of 486078 with flag 68043449/29880000
3149.49/3142.25	c cleaning 244002 clauses out of 488070 with flag 68581664/30125000
3168.43/3161.09	c cleaning 244996 clauses out of 490068 with flag 69149749/30371000
3201.65/3194.33	c cleaning 246015 clauses out of 492073 with flag 69696833/30618001
3225.49/3218.08	c cleaning 247004 clauses out of 494057 with flag 70271069/30866000
3253.92/3246.53	c cleaning 248015 clauses out of 496053 with flag 70847174/31115000
3284.46/3277.05	c cleaning 248986 clauses out of 498038 with flag 71475943/31365000
3316.28/3308.70	c cleaning 250004 clauses out of 500052 with flag 72030055/31616000
3344.53/3336.91	c cleaning 251013 clauses out of 502050 with flag 72570057/31868002
3408.70/3401.24	c cleaning 251995 clauses out of 504035 with flag 73104274/32121000
3431.92/3424.39	c cleaning 252984 clauses out of 506042 with flag 73684639/32375002
3457.67/3450.18	c cleaning 254017 clauses out of 508056 with flag 74275120/32630000
3498.96/3491.64	c cleaning 254993 clauses out of 510042 with flag 74829346/32886003
3554.29/3547.07	c cleaning 256010 clauses out of 512049 with flag 75405232/33143003
3582.18/3574.71	c cleaning 256954 clauses out of 514036 with flag 75995809/33401000
3600.06/3592.62	c starts		: 41889
3600.06/3592.63	c timeout
3600.06/3592.64	c conflicts		: 33621440
3600.06/3592.64	c decisions		: 95722501
3600.06/3592.64	c propagations		: 2274975102
3600.06/3592.64	c inspects		: 42520351077
3600.06/3592.64	c shortcuts		: 0
3600.06/3592.64	c learnt literals	: 0
3600.06/3592.64	c learnt binary clauses	: 2178
3600.06/3592.65	c learnt ternary clauses	: 1454
3600.06/3592.65	c learnt constraints	: 33621440
3600.06/3592.65	c ignored constraints	: 0
3600.06/3592.65	c root simplifications	: 0
3600.06/3592.65	c removed literals (reason simplification)	: 0
3600.06/3592.65	c reason swapping (by a shorter reason)	: 0
3600.06/3592.66	c Calls to reduceDB	: 254
3600.06/3592.66	c Number of update (reduction) of LBD	: 2204035
3600.06/3592.66	c Imported unit clauses	: 0
3600.06/3592.66	c No decision after first conflict	: false
3600.06/3592.66	c number of reductions to clauses (during analyze)	: 0
3600.06/3592.66	c number of learned constraints concerned by reduction	: 0
3600.06/3592.66	c number of learning phase by resolution	: 0
3600.06/3592.66	c number of learning phase by cutting planes	: 0
3600.06/3592.66	c number of rounding to 1 operations	: 0
3600.06/3592.66	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3592.66	c number of reductions of the coefficients by power 2 	: 0
3600.06/3592.66	c number of right shift for reduction by power 2 	: 0
3600.06/3592.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3592.66	c number of ending skipping 	: 0
3600.06/3592.66	c number of internal skipping 	: 0
3600.06/3592.66	c number of derivation steps 	: 0
3600.06/3592.66	c number of skipped derivation steps 	: 0
3600.06/3592.66	c number of remaining unassigned 	: 0
3600.06/3592.66	c number of remaining assigned 	: 0
3600.06/3592.66	c number of falsified literals weakened from reason	: 0
3600.06/3592.66	c number of falsified literals weakened from conflict	: 0
3600.06/3592.67	c time for arithmetic operations	: 0
3600.06/3592.69	c minimum degree of deleted constraints	: null
3600.06/3592.69	c maximum degree of deleted constraints	: null
3600.06/3592.69	c number of deleted constraints	: 0
3600.06/3592.69	c speed (assignments/second)	: 633341.6115003846
3600.06/3592.69	c non guided choices	: 24904175
3600.31/3592.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 475344
3600.31/3592.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2178
3600.31/3592.82	s UNKNOWN
3600.31/3592.82	c Total wall clock time (in seconds): 3592.649

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: 64059 MiB (61678 MiB free)
  memory of node 1: 64510 MiB (63388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432509-1721166473/watcher-4432509-1721166473 -o /tmp/evaluation-result-4432509-1721166473/solver-4432509-1721166473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721162884-861442 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432509-1721166473.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=863604, runsolver pid=863600

[startup+0.103833 s]*
/proc/loadavg: 4.42 4.22 4.15 11/292 863622
/proc/meminfo: memFree=128012360/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=18975048 memory=56304 CPUtime=0.13 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 6669 0 0 0 10 3 0 0 20 0 18 0 168806934 19430449152 14056 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4743746 14076 5552 1 0 550971 0
[pid=863604/tid=863606] ppid=863600 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 5598 0 0 0 6 3 0 0 20 0 18 0 168806935 19430449152 14076 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168806940 19430449152 14076 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168806941 19430449152 14076 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56304 KiB

[startup+0.213989 s]*
/proc/loadavg: 4.42 4.22 4.15 11/292 863622
/proc/meminfo: memFree=127981620/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=18975048 memory=68148 CPUtime=0.33 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 7382 0 0 0 29 4 0 0 20 0 18 0 168806934 19430449152 17037 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4743762 17037 5749 1 0 551569 0
[pid=863604/tid=863606] ppid=863600 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 5940 0 0 0 16 3 0 0 20 0 18 0 168806935 19430449152 17037 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=18975048 memory=671 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168806940 19430449152 17037 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=18975048 memory=14697383271339398 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168806941 19430449152 17037 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68148 KiB

[startup+0.317088 s]*
/proc/loadavg: 4.42 4.22 4.15 12/292 863622
/proc/meminfo: memFree=127922744/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=18975048 memory=97960 CPUtime=0.56 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 7600 0 0 0 51 5 0 0 20 0 18 0 168806934 19430449152 24490 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4743762 24490 5818 1 0 551709 0
[pid=863604/tid=863606] ppid=863600 vsize=18975048 memory=-9177602019535725244 CPUtime=0.31 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 5977 0 0 0 27 4 0 0 20 0 18 0 168806935 19430449152 24490 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168806940 19430449152 24490 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168806941 19430449152 24490 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97960 KiB

[startup+0.70583 s]
/proc/loadavg: 4.42 4.22 4.15 10/293 863623
/proc/meminfo: memFree=127841652/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=167028 CPUtime=1.25 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 9583 0 0 0 118 7 0 0 20 0 20 0 168806934 19566772224 41757 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 41757 5871 1 0 553457 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=5544 CPUtime=0.61 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 6111 0 0 0 56 5 0 0 20 0 20 0 168806935 19566772224 41757 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=12776 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 41757 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 41757 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 167028 KiB

[startup+1.50082 s]
/proc/loadavg: 4.42 4.22 4.15 9/296 863626
/proc/meminfo: memFree=127794436/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=178052 CPUtime=2.82 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 17773 0 0 0 274 8 0 0 20 0 20 0 168806934 19566772224 44513 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 44513 5886 1 0 555993 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=12776 CPUtime=1.41 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 7500 0 0 0 135 6 0 0 20 0 20 0 168806935 19566772224 44513 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 44513 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 44513 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 44513 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178052 KiB

[startup+3.10554 s]
/proc/loadavg: 4.42 4.22 4.15 7/317 863679
/proc/meminfo: memFree=127621524/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=190804 CPUtime=5.53 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 24243 0 0 0 544 9 0 0 20 0 20 0 168806934 19566772224 47701 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 47701 5902 1 0 559041 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=0 CPUtime=2.99 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 7838 0 0 0 293 6 0 0 20 0 20 0 168806935 19566772224 47701 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 47701 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 47701 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=12776 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 47701 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190804 KiB

[startup+6.30041 s]
/proc/loadavg: 4.47 4.23 4.16 5/317 863679
/proc/meminfo: memFree=127626004/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=189208 CPUtime=8.81 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 25250 0 0 0 871 10 0 0 20 0 20 0 168806934 19566772224 47302 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 47302 5918 1 0 559058 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=0 CPUtime=6.12 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 7893 0 0 0 606 6 0 0 20 0 20 0 168806935 19566772224 47302 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=12776 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 47302 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 47302 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=42120 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 47302 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 8.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189208 KiB

[startup+12.7004 s]
/proc/loadavg: 4.51 4.24 4.16 5/317 863680
/proc/meminfo: memFree=127586368/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=201600 CPUtime=15.26 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 25584 0 0 0 1516 10 0 0 20 0 20 0 168806934 19566772224 50400 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 50400 5918 1 0 559058 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=279797523947984 CPUtime=12.45 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 8119 0 0 0 1239 6 0 0 20 0 20 0 168806935 19566772224 50400 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 50400 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=201600 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 50400 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=190804 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 50400 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201600 KiB

[startup+25.5005 s]
/proc/loadavg: 4.48 4.25 4.16 5/317 863682
/proc/meminfo: memFree=127462084/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=251256 CPUtime=28.08 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 28987 0 0 0 2796 12 0 0 20 0 20 0 168806934 19566772224 62814 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 62814 5949 1 0 559058 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=0 CPUtime=25.02 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 9576 0 0 0 2496 6 0 0 20 0 20 0 168806935 19566772224 62814 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=201600 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 62814 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 62814 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=189208 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 62814 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 251256 KiB

[startup+51.1132 s]
/proc/loadavg: 4.39 4.24 4.16 5/317 863685
/proc/meminfo: memFree=127117532/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=359948 CPUtime=53.66 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 33977 0 0 0 5349 17 0 0 20 0 20 0 168806934 19566772224 89987 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 89987 5949 1 0 559058 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=11464 CPUtime=50.06 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 11639 0 0 0 5000 6 0 0 20 0 20 0 168806935 19566772224 89987 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=275856 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 89987 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=232532 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 89987 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0

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

[startup+3282.3 s]
/proc/loadavg: 4.24 4.20 4.21 5/320 865982
/proc/meminfo: memFree=120152556/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624492 CPUtime=3289.88 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 154997 0 0 0 328750 238 0 0 20 0 20 0 168806934 19566772224 656123 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656123 5949 1 0 672002 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=2622132 CPUtime=3260.35 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 57477 0 0 0 326002 33 0 0 20 0 20 0 168806935 19566772224 656123 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2622132 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656123 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=16116 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1370 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656123 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656123 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3289.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.20 5/320 865992
/proc/meminfo: memFree=120152136/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624496 CPUtime=3349.92 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 155294 0 0 0 334752 240 0 0 20 0 20 0 168806934 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656124 5949 1 0 672002 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=2624492 CPUtime=3320.11 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 57678 0 0 0 331977 34 0 0 20 0 20 0 168806935 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2622148 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=2624492 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1415 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=2624496 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3349.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624496 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.19 5/320 866003
/proc/meminfo: memFree=120151708/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624496 CPUtime=3409.81 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 155538 0 0 0 340737 244 0 0 20 0 20 0 168806934 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656124 5949 1 0 672002 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=11464 CPUtime=3379.95 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 57802 0 0 0 337961 34 0 0 20 0 20 0 168806935 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2624496 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=2624496 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1416 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=2624496 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656124 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3409.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.19 5/317 866014
/proc/meminfo: memFree=120151208/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624544 CPUtime=3469.76 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 155730 0 0 0 346728 248 0 0 20 0 20 0 168806934 19566772224 656136 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656136 5949 1 0 672011 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=2624496 CPUtime=3439.22 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 57887 0 0 0 343888 34 0 0 20 0 20 0 168806935 19566772224 656136 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2624544 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656136 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=2624544 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1416 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656136 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=37764 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656136 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3469.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/317 866024
/proc/meminfo: memFree=120151140/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624660 CPUtime=3529.61 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 156556 0 0 0 352710 251 0 0 20 0 20 0 168806934 19566772224 656165 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656165 5949 1 0 672011 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=2624496 CPUtime=3498.8 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 58557 0 0 0 349846 34 0 0 20 0 20 0 168806935 19566772224 656165 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2624544 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656165 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=2624660 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1416 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656165 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=42120 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656165 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3529.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/317 866035
/proc/meminfo: memFree=120150404/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624672 CPUtime=3589.77 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 158799 0 0 0 358724 253 0 0 20 0 20 0 168806934 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656168 5949 1 0 672011 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=2624496 CPUtime=3558.49 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 59218 0 0 0 355815 34 0 0 20 0 20 0 168806935 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2624660 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=2624660 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3589.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.6 s]
/proc/loadavg: 4.15 4.16 4.18 5/317 866036
/proc/meminfo: memFree=120150348/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19108176 memory=2624672 CPUtime=3600.06 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 158860 0 0 0 359752 254 0 0 20 0 20 0 168806934 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4777044 656168 5949 1 0 672011 0
[pid=863604/tid=863606] ppid=863600 vsize=19108176 memory=-9177602019535725244 CPUtime=3568.77 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) R 863600 863604 861429 0 -1 4194368 59277 0 0 0 356843 34 0 0 20 0 20 0 168806935 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19108176 memory=2800 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168806940 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19108176 memory=3408 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 20 0 168806941 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863626] ppid=863600 vsize=19108176 memory=1447552 CPUtime=0 cores=5,7
/proc/863604/task/863626/stat : 863626 (Timer-0) S 863600 863604 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168807001 19566772224 656168 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2624672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.8 s, system=2.56845 s

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

[startup+3592.8 s]
/proc/loadavg: 4.15 4.16 4.18 5/317 866036
/proc/meminfo: memFree=120150348/131655788 swapFree=131071996/131071996
[pid=863604] ppid=863600 vsize=19307868 memory=2625428 CPUtime=3600.31 cores=5,7
/proc/863604/stat : 863604 (java) S 863600 863604 861429 0 -1 1077936128 161331 0 0 0 359777 254 0 0 20 0 21 0 168806934 19771256832 656357 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
/proc/863604/statm: 4826967 656357 5948 1 0 672946 0
[pid=863604/tid=863606] ppid=863600 vsize=19307868 memory=2624672 CPUtime=3568.79 cores=5,7
/proc/863604/task/863606/stat : 863606 (java) S 863600 863604 861429 0 -1 1077936192 59352 0 0 0 356845 34 0 0 20 0 21 0 168806935 19771256832 656357 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863615] ppid=863600 vsize=19307868 memory=1832 CPUtime=0 cores=5,7
/proc/863604/task/863615/stat : 863615 (Finalizer) S 863600 863604 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 168806940 19771256832 656357 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
[pid=863604/tid=863622] ppid=863600 vsize=19307868 memory=5500 CPUtime=0 cores=5,7
/proc/863604/task/863622/stat : 863622 (Common-Cleaner) S 863600 863604 861429 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 21 0 168806941 19771256832 656357 134679101440 93873125093376 93873125097072 140736709567296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93873125104888 93873125105680 93873134678016 140736709571591 140736709571681 140736709571681 140736709578696 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2625428 KiB

Child status: 143

Real time (s): 3592.85
CPU time (s): 3600.37
CPU user time (s): 3597.8
CPU system time (s): 2.56845
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2625428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.56845
maximum resident set size= 2626340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109425
involuntary context switches= 3850


# summary of solver processes directly reported to runsolver:
#   pid: 863604
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597.8
#   total CPU system time (s): 2.56845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7636 second user time and 39.1138 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 23:48:05
IDJOB=4432509
IDBENCH=158396
IDSOLVER=3058
FILE ID=nodeC009/4432509-1721166473
RUNJOBID= nodeC009-1721162884-861442
SLURM_JOB_ID= 7505781
Free space on /tmp= 723748 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432509-1721166473/watcher-4432509-1721166473 -o /tmp/evaluation-result-4432509-1721166473/solver-4432509-1721166473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721162884-861442 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432509-1721166473.opb

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=748033636

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128078472 kB
MemAvailable:   129720092 kB
Buffers:          441796 kB
Cached:          2024516 kB
SwapCached:            0 kB
Active:           778328 kB
Inactive:        2233888 kB
Active(anon):       1460 kB
Inactive(anon):   581812 kB
Active(file):     776868 kB
Inactive(file):  1652076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7220 kB
Writeback:            12 kB
AnonPages:        545764 kB
Mapped:           125040 kB
Shmem:             37700 kB
KReclaimable:     105416 kB
Slab:             204820 kB
SReclaimable:     105416 kB
SUnreclaim:        99404 kB
KernelStack:        4348 kB
PageTables:        10672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5263556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53888 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-17 00:47:58