Trace number 4457479

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-07SAT (TO)-354 3600.37 3570.89

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
MD5SUM0ca7653980f86b2f84ce865c198a6840
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-354
Best CPU time to get the best result obtained on this benchmark0.00714
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint250
Maximum length of a constraint250
Number of terms in the objective function 250
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 42465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1037
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 128168
Number of bits of the biggest sum of numbers17
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.02/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.14	c See www.sat4j.org for details.
0.02/0.14	c version CUSTOM.v20240707
0.02/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.15	c java.vm.version	22.0.1+8-16
0.02/0.15	c java.vm.vendor	Oracle Corporation
0.02/0.15	c sun.arch.data.model	64
0.02/0.15	c java.version		22.0.1
0.02/0.15	c os.name		Linux
0.02/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.02/0.15	c os.arch		amd64
0.02/0.16	c Free memory 		2106806208
0.02/0.16	c Max memory 		16282288128
0.02/0.16	c Total memory 		2113929216
0.02/0.16	c Number of processors 	2
0.02/0.20	--- Begin Solver configuration ---
0.02/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.02/0.20	Learn all clauses as in MiniSAT
0.02/0.20	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.20	No reason simplification
0.02/0.20	Glucose 2.1 dynamic restart strategy
0.02/0.20	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.02/0.20	timeout=2147483s
0.02/0.20	DB Simplification allowed=false
0.02/0.20	Listener: none
0.02/0.20	--- End Solver configuration ---
0.02/0.20	c Pseudo Boolean Optimization by upper bound
0.02/0.20	c --- Begin Solver configuration ---
0.02/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.02/0.20	c Learn all clauses as in MiniSAT
0.02/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.20	c No reason simplification
0.02/0.20	c Glucose 2.1 dynamic restart strategy
0.02/0.20	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.02/0.20	c timeout=2147483s
0.02/0.20	c DB Simplification allowed=false
0.02/0.20	c Listener: none
0.02/0.20	c --- End Solver configuration ---
0.02/0.20	c solving HOME/instance-4457479-1721865114.opb
0.02/0.20	c reading problem ... 
0.02/0.20	c  objective function found
0.19/0.22	c ... done. Wall clock time 0.015s.
0.19/0.22	c declared #vars     250
0.19/0.22	c #constraints  1
0.19/0.22	c constraints type 
0.19/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.19/0.22	c 1 constraints processed.
0.19/0.23	c objective function length is 250 literals
0.19/0.24	c SATISFIABLE
0.19/0.24	c OPTIMIZING...
0.19/0.24	c Got one! Elapsed wall clock time (in seconds):0.031
0.19/0.24	o -347
0.19/0.24	c Got one! Elapsed wall clock time (in seconds):0.038
0.19/0.24	o -348
0.19/0.25	c Got one! Elapsed wall clock time (in seconds):0.045
0.19/0.25	o -351
0.19/0.25	c Got one! Elapsed wall clock time (in seconds):0.049
0.19/0.25	o -352
0.19/0.28	c Got one! Elapsed wall clock time (in seconds):0.077
0.19/0.28	o -353
1.14/0.79	c cleaning 2554 clauses out of 5108 with flag 9997/5112
1.79/1.11	c cleaning 4277 clauses out of 8554 with flag 21997/11112
2.08/1.48	c cleaning 5639 clauses out of 11278 with flag 35999/18113
2.68/1.91	c cleaning 6818 clauses out of 13639 with flag 51999/26113
3.09/2.36	c cleaning 7909 clauses out of 15821 with flag 69999/35113
3.61/2.89	c cleaning 8955 clauses out of 17912 with flag 89999/45113
4.16/3.37	c cleaning 9976 clauses out of 19956 with flag 111997/56112
4.81/3.92	c cleaning 10986 clauses out of 21980 with flag 135997/68112
5.31/4.49	c cleaning 11995 clauses out of 23994 with flag 161997/81112
6.06/5.16	c cleaning 12998 clauses out of 25999 with flag 189997/95112
6.92/5.97	c cleaning 13999 clauses out of 28003 with flag 220001/110114
7.81/6.83	c cleaning 14998 clauses out of 30002 with flag 251997/126112
8.94/7.81	c cleaning 16001 clauses out of 32004 with flag 285997/143112
9.73/8.64	c cleaning 16998 clauses out of 34006 with flag 322003/161115
10.79/9.63	c cleaning 17998 clauses out of 36006 with flag 359999/180113
11.68/10.56	c cleaning 19004 clauses out of 38009 with flag 400001/200114
12.34/11.15	c Got one! Elapsed wall clock time (in seconds):10.941
12.34/11.15	o -354
12.75/11.51	c cleaning 18463 clauses out of 36934 with flag 9997/218044
12.96/11.76	c cleaning 12234 clauses out of 24472 with flag 21999/224045
13.42/12.11	c cleaning 9619 clauses out of 19237 with flag 35997/231044
13.77/12.42	c cleaning 8809 clauses out of 17619 with flag 51999/239045
14.14/12.79	c cleaning 8905 clauses out of 17809 with flag 69997/248044
14.63/13.20	c cleaning 9453 clauses out of 18906 with flag 90001/258046
15.03/13.69	c cleaning 10222 clauses out of 20451 with flag 111997/269044
15.65/14.25	c cleaning 11115 clauses out of 22230 with flag 135999/281045
16.35/14.91	c cleaning 12057 clauses out of 24114 with flag 161997/294044
17.05/15.60	c cleaning 13029 clauses out of 26058 with flag 189999/308045
17.81/16.32	c cleaning 14010 clauses out of 28028 with flag 219997/323044
18.51/17.01	c cleaning 15005 clauses out of 30019 with flag 251999/339045
19.38/17.89	c cleaning 16004 clauses out of 32014 with flag 285999/356045
20.28/18.72	c cleaning 17003 clauses out of 34009 with flag 321997/374044
21.43/19.84	c cleaning 18004 clauses out of 36007 with flag 359999/393045
22.53/20.93	c cleaning 18997 clauses out of 38002 with flag 399997/413044
23.80/22.15	c cleaning 20003 clauses out of 40005 with flag 441997/434044
24.89/23.28	c cleaning 20999 clauses out of 42002 with flag 485997/456044
26.37/24.65	c cleaning 21999 clauses out of 44003 with flag 531997/479044
27.58/25.81	c cleaning 23001 clauses out of 46006 with flag 580002/503046
29.14/27.31	c cleaning 24002 clauses out of 48004 with flag 630000/528045
30.86/28.98	c cleaning 24996 clauses out of 50002 with flag 682000/554045
32.75/30.85	c cleaning 26002 clauses out of 52005 with flag 735998/581044
34.65/32.67	c cleaning 27001 clauses out of 54003 with flag 791998/609044
36.44/34.48	c cleaning 28002 clauses out of 56003 with flag 850001/638045
38.53/36.48	c cleaning 28997 clauses out of 58000 with flag 909999/668044
41.02/38.89	c cleaning 30002 clauses out of 60004 with flag 972003/699045
43.23/41.03	c cleaning 31000 clauses out of 62001 with flag 1036001/731044
45.56/43.31	c cleaning 32002 clauses out of 64003 with flag 1102005/764046
47.83/45.54	c cleaning 32999 clauses out of 65999 with flag 1170001/798044
50.11/47.82	c cleaning 33998 clauses out of 68001 with flag 1240003/833045
52.75/50.34	c cleaning 34999 clauses out of 70003 with flag 1312003/869045
55.23/52.88	c cleaning 35999 clauses out of 72004 with flag 1386003/906045
58.35/55.47	c cleaning 37000 clauses out of 74004 with flag 1462001/944044
61.18/58.15	c cleaning 38000 clauses out of 76005 with flag 1540003/983045
64.47/61.46	c cleaning 39003 clauses out of 78005 with flag 1620003/1023045
67.82/64.71	c cleaning 39997 clauses out of 80001 with flag 1702001/1064044
71.29/68.16	c cleaning 40992 clauses out of 82004 with flag 1786001/1106044
74.46/71.20	c cleaning 42000 clauses out of 84012 with flag 1872001/1149044
77.69/74.47	c cleaning 43004 clauses out of 86013 with flag 1960003/1193045
81.23/77.83	c cleaning 43999 clauses out of 88008 with flag 2050001/1238044
84.71/81.32	c cleaning 45000 clauses out of 90009 with flag 2142002/1284044
88.23/84.73	c cleaning 46006 clauses out of 92011 with flag 2236007/1331046
91.42/87.92	c cleaning 47001 clauses out of 94003 with flag 2332003/1379044
94.99/91.37	c cleaning 48000 clauses out of 96002 with flag 2430003/1428044
98.82/95.09	c cleaning 48998 clauses out of 98002 with flag 2530003/1478044
102.77/99.05	c cleaning 50003 clauses out of 100005 with flag 2632005/1529045
107.43/103.50	c cleaning 51000 clauses out of 102003 with flag 2736007/1581046
112.93/108.37	c cleaning 51996 clauses out of 104002 with flag 2842006/1634045
117.92/113.30	c cleaning 52996 clauses out of 106006 with flag 2950006/1688045
122.39/117.70	c cleaning 54005 clauses out of 108009 with flag 3060004/1743044
126.58/121.95	c cleaning 55001 clauses out of 110006 with flag 3172008/1799046
132.09/127.33	c cleaning 56002 clauses out of 112003 with flag 3286004/1856044
137.12/132.22	c cleaning 56999 clauses out of 114001 with flag 3402004/1914044
142.22/137.36	c cleaning 58002 clauses out of 116003 with flag 3520006/1973045
147.70/142.63	c cleaning 59000 clauses out of 118001 with flag 3640006/2033045
152.96/147.76	c cleaning 59997 clauses out of 120000 with flag 3762004/2094044
158.25/153.07	c cleaning 60999 clauses out of 122003 with flag 3886004/2156044
165.24/159.97	c cleaning 62003 clauses out of 124005 with flag 4012006/2219045
170.56/165.03	c cleaning 62994 clauses out of 126002 with flag 4140006/2283045
175.70/170.07	c cleaning 64000 clauses out of 128007 with flag 4270004/2348044
181.35/174.89	c cleaning 65004 clauses out of 130007 with flag 4402004/2414044
186.75/180.17	c cleaning 65999 clauses out of 132003 with flag 4536004/2481044
191.51/185.00	c cleaning 66999 clauses out of 134006 with flag 4672008/2549046
197.66/191.01	c cleaning 68000 clauses out of 136005 with flag 4810004/2618044
203.89/197.17	c cleaning 68998 clauses out of 138007 with flag 4950008/2688046
209.56/202.82	c cleaning 69998 clauses out of 140007 with flag 5092004/2759044
215.15/208.49	c cleaning 71001 clauses out of 142009 with flag 5236004/2831044
221.20/214.37	c cleaning 71999 clauses out of 144008 with flag 5382004/2904044
228.61/221.64	c cleaning 73002 clauses out of 146010 with flag 5530006/2978045
235.38/228.32	c cleaning 74000 clauses out of 148007 with flag 5680004/3053044
241.92/234.92	c cleaning 75002 clauses out of 150007 with flag 5832004/3129044
251.40/244.39	c cleaning 75996 clauses out of 152006 with flag 5986006/3206045
259.51/252.37	c cleaning 77005 clauses out of 154009 with flag 6142004/3284044
267.85/260.53	c cleaning 78000 clauses out of 156004 with flag 6300006/3363044
274.73/267.37	c cleaning 78998 clauses out of 158004 with flag 6460006/3443044
283.07/275.59	c cleaning 79995 clauses out of 160006 with flag 6622006/3524044
292.42/284.72	c cleaning 81004 clauses out of 162012 with flag 6786008/3606045
301.29/293.41	c cleaning 81996 clauses out of 164007 with flag 6952006/3689044
309.04/300.23	c cleaning 82995 clauses out of 166011 with flag 7120006/3773044
316.02/307.13	c cleaning 84004 clauses out of 168017 with flag 7290008/3858045
323.08/314.09	c cleaning 85005 clauses out of 170014 with flag 7462010/3944046
331.63/322.41	c cleaning 86001 clauses out of 172007 with flag 7636006/4031044
341.09/331.72	c cleaning 86997 clauses out of 174007 with flag 7812009/4119045
348.97/339.55	c cleaning 87999 clauses out of 176009 with flag 7990008/4208044
357.97/348.44	c cleaning 88997 clauses out of 178010 with flag 8170008/4298044
367.28/357.79	c cleaning 90006 clauses out of 180013 with flag 8352009/4389044
378.06/368.40	c cleaning 91004 clauses out of 182007 with flag 8536009/4481044
388.10/378.30	c cleaning 92001 clauses out of 184004 with flag 8722011/4574045
400.33/390.47	c cleaning 93000 clauses out of 186002 with flag 8910011/4668044
413.46/403.59	c cleaning 93999 clauses out of 188003 with flag 9100015/4763045
425.85/415.88	c cleaning 95002 clauses out of 190003 with flag 9292013/4859044
437.85/427.85	c cleaning 95999 clauses out of 192001 with flag 9486013/4956044
449.61/439.40	c cleaning 97000 clauses out of 194004 with flag 9682017/5054046
461.59/451.33	c cleaning 98002 clauses out of 196003 with flag 9880015/5153045
478.80/467.38	c cleaning 99000 clauses out of 198002 with flag 10080017/5253046
492.08/480.44	c cleaning 99998 clauses out of 200000 with flag 10282013/5354044
505.40/493.66	c cleaning 101002 clauses out of 202003 with flag 10486016/5456045
519.10/507.21	c cleaning 101998 clauses out of 204001 with flag 10692016/5559045
536.24/524.04	c cleaning 102991 clauses out of 206004 with flag 10900018/5663046
552.63/540.33	c cleaning 103999 clauses out of 208011 with flag 11110014/5768044
565.86/553.32	c cleaning 105004 clauses out of 210012 with flag 11322014/5874044
577.82/565.18	c cleaning 106003 clauses out of 212010 with flag 11536018/5981046
591.82/579.16	c cleaning 106993 clauses out of 214005 with flag 11752014/6089044
607.00/594.22	c cleaning 108005 clauses out of 216015 with flag 11970022/6198047
621.62/608.88	c cleaning 109000 clauses out of 218007 with flag 12190016/6308044
635.76/622.85	c cleaning 110000 clauses out of 220008 with flag 12412018/6419045
649.08/636.07	c cleaning 110997 clauses out of 222008 with flag 12636019/6531045
665.23/651.86	c cleaning 112002 clauses out of 224011 with flag 12862019/6644045
684.23/669.53	c cleaning 113001 clauses out of 226009 with flag 13090020/6758045
698.22/683.43	c cleaning 114003 clauses out of 228007 with flag 13320018/6873044
713.06/698.07	c cleaning 114996 clauses out of 230004 with flag 13552018/6989044
728.08/713.04	c cleaning 116005 clauses out of 232009 with flag 13786020/7106045
740.45/725.25	c cleaning 116997 clauses out of 234003 with flag 14022018/7224044
755.66/740.42	c cleaning 117996 clauses out of 236007 with flag 14260020/7343045
769.33/753.83	c cleaning 119004 clauses out of 238011 with flag 14500020/7463045
789.71/773.94	c cleaning 119992 clauses out of 240009 with flag 14742025/7584047
804.32/788.40	c cleaning 121003 clauses out of 242014 with flag 14986019/7706044
821.67/805.68	c cleaning 122004 clauses out of 244011 with flag 15232021/7829044
845.91/829.91	c cleaning 123001 clauses out of 246008 with flag 15480023/7953045
866.06/849.89	c cleaning 124002 clauses out of 248006 with flag 15730021/8078044
882.98/866.67	c cleaning 124999 clauses out of 250004 with flag 15982021/8204044
901.16/884.61	c cleaning 126003 clauses out of 252005 with flag 16236021/8331044
918.85/902.36	c cleaning 126999 clauses out of 254002 with flag 16492021/8459044
934.54/917.70	c cleaning 128000 clauses out of 256005 with flag 16750025/8588046
952.68/934.60	c cleaning 128997 clauses out of 258003 with flag 17010021/8718044
972.90/954.52	c cleaning 129999 clauses out of 260006 with flag 17272021/8849044
993.02/974.56	c cleaning 130999 clauses out of 262008 with flag 17536023/8981045
1011.23/992.60	c cleaning 132000 clauses out of 264008 with flag 17802021/9114044
1032.19/1013.53	c cleaning 133001 clauses out of 266009 with flag 18070023/9248045
1055.08/1036.10	c cleaning 134002 clauses out of 268007 with flag 18340021/9383044
1076.50/1057.31	c cleaning 135001 clauses out of 270005 with flag 18612021/9519044
1096.74/1077.14	c cleaning 135998 clauses out of 272005 with flag 18886023/9656045
1121.80/1102.08	c cleaning 137002 clauses out of 274006 with flag 19162021/9794044
1142.64/1122.89	c cleaning 138003 clauses out of 276006 with flag 19440025/9933046
1172.81/1152.83	c cleaning 138998 clauses out of 278002 with flag 19720023/10073045
1197.94/1177.85	c cleaning 139998 clauses out of 280005 with flag 20002025/10214046
1225.33/1205.04	c cleaning 141003 clauses out of 282005 with flag 20286022/10356044
1249.14/1228.85	c cleaning 141994 clauses out of 284002 with flag 20572022/10499044
1277.36/1257.13	c cleaning 143004 clauses out of 286010 with flag 20860027/10643046
1305.48/1285.09	c cleaning 143995 clauses out of 288004 with flag 21150025/10788044
1328.64/1308.20	c cleaning 145004 clauses out of 290010 with flag 21442029/10934045
1354.29/1333.60	c cleaning 145997 clauses out of 292006 with flag 21736030/11081045
1375.94/1355.36	c cleaning 146994 clauses out of 294009 with flag 22032031/11229045
1398.48/1377.72	c cleaning 148004 clauses out of 296017 with flag 22330035/11378047
1423.20/1401.03	c cleaning 148998 clauses out of 298010 with flag 22630029/11528044
1446.12/1423.81	c cleaning 150004 clauses out of 300012 with flag 22932030/11679044
1472.16/1449.71	c cleaning 151002 clauses out of 302009 with flag 23236035/11831045
1500.87/1478.47	c cleaning 152003 clauses out of 304007 with flag 23542035/11984045
1525.50/1502.62	c cleaning 152998 clauses out of 306004 with flag 23850035/12138045
1550.31/1527.31	c cleaning 154003 clauses out of 308006 with flag 24160036/12293045
1572.00/1548.95	c cleaning 154999 clauses out of 310003 with flag 24472036/12449045
1597.23/1574.13	c cleaning 155998 clauses out of 312003 with flag 24786035/12606044
1623.31/1600.28	c cleaning 157004 clauses out of 314007 with flag 25102040/12764046
1656.24/1633.11	c cleaning 158001 clauses out of 316002 with flag 25420038/12923045
1693.25/1669.92	c cleaning 158993 clauses out of 318000 with flag 25740036/13083044
1739.30/1715.68	c cleaning 160004 clauses out of 320007 with flag 26062041/13244044
1774.01/1750.16	c cleaning 160995 clauses out of 322003 with flag 26386041/13406044
1807.24/1783.32	c cleaning 161996 clauses out of 324008 with flag 26712049/13569044
1833.48/1809.63	c cleaning 163001 clauses out of 326012 with flag 27040060/13733044
1860.43/1836.78	c cleaning 164005 clauses out of 328012 with flag 27370067/13898045
1894.17/1870.29	c cleaning 164997 clauses out of 330007 with flag 27702093/14064045
1924.29/1900.11	c cleaning 166003 clauses out of 332009 with flag 28036107/14231044
1956.16/1931.83	c cleaning 167002 clauses out of 334006 with flag 28372110/14399044
1985.55/1961.11	c cleaning 167997 clauses out of 336006 with flag 28710121/14568046
2016.55/1992.15	c cleaning 168999 clauses out of 338011 with flag 29050131/14738048
2049.75/2025.09	c cleaning 170005 clauses out of 340009 with flag 29392127/14909045
2085.66/2060.80	c cleaning 171001 clauses out of 342004 with flag 29736129/15081045
2121.38/2096.66	c cleaning 172001 clauses out of 344004 with flag 30082134/15254046
2163.52/2139.02	c cleaning 173000 clauses out of 346002 with flag 30430132/15428045
2199.89/2175.17	c cleaning 173998 clauses out of 348001 with flag 30780131/15603044
2235.34/2208.60	c cleaning 175000 clauses out of 350004 with flag 31132136/15779045
2268.94/2242.06	c cleaning 175997 clauses out of 352003 with flag 31486135/15956044
2305.96/2279.01	c cleaning 177003 clauses out of 354007 with flag 31842140/16134045
2349.67/2322.88	c cleaning 177996 clauses out of 356003 with flag 32200143/16313044
2397.19/2370.57	c cleaning 179002 clauses out of 358008 with flag 32560149/16493045
2443.00/2416.56	c cleaning 179989 clauses out of 360006 with flag 32922160/16674045
2477.71/2451.33	c cleaning 181009 clauses out of 362018 with flag 33286162/16856046
2512.11/2485.83	c cleaning 181999 clauses out of 364007 with flag 33652159/17039044
2549.14/2522.83	c cleaning 183004 clauses out of 366011 with flag 34020172/17223047
2589.64/2563.15	c cleaning 183993 clauses out of 368005 with flag 34390170/17408045
2629.97/2603.46	c cleaning 185003 clauses out of 370012 with flag 34762170/17594045
2669.84/2643.11	c cleaning 186003 clauses out of 372008 with flag 35136171/17781044
2707.03/2680.34	c cleaning 187002 clauses out of 374005 with flag 35512172/17969044
2746.39/2719.70	c cleaning 187999 clauses out of 376005 with flag 35890186/18158046
2784.94/2758.39	c cleaning 188997 clauses out of 378005 with flag 36270187/18348045
2829.30/2802.10	c cleaning 189997 clauses out of 380007 with flag 36652186/18539044
2866.43/2839.22	c cleaning 191004 clauses out of 382012 with flag 37036211/18731046
2907.67/2880.58	c cleaning 192001 clauses out of 384006 with flag 37422207/18924044
2950.33/2923.24	c cleaning 192995 clauses out of 386005 with flag 37810213/19118044
2992.88/2965.91	c cleaning 194001 clauses out of 388010 with flag 38200218/19313044
3047.05/3020.33	c cleaning 195004 clauses out of 390009 with flag 38592220/19509044
3093.32/3066.84	c cleaning 196003 clauses out of 392008 with flag 38986226/19706047
3143.26/3117.11	c cleaning 196994 clauses out of 394002 with flag 39382224/19904044
3177.21/3150.51	c cleaning 197998 clauses out of 396009 with flag 39780227/20103045
3208.65/3181.96	c cleaning 199002 clauses out of 398010 with flag 40180225/20303044
3246.41/3219.77	c cleaning 199997 clauses out of 400008 with flag 40582225/20504044
3283.75/3257.13	c cleaning 200997 clauses out of 402011 with flag 40986226/20706044
3326.61/3300.02	c cleaning 201999 clauses out of 404015 with flag 41392232/20909045
3366.26/3339.84	c cleaning 203004 clauses out of 406016 with flag 41800233/21113045
3409.04/3382.27	c cleaning 203999 clauses out of 408011 with flag 42210237/21318044
3449.84/3420.79	c cleaning 205004 clauses out of 410013 with flag 42622243/21524045
3503.32/3474.21	c cleaning 205997 clauses out of 412008 with flag 43036245/21731044
3539.27/3510.20	c cleaning 207001 clauses out of 414011 with flag 43452248/21939044
3581.62/3552.40	c cleaning 208002 clauses out of 416010 with flag 43870248/22148044
3600.03/3570.71	c starts		: 8
3600.03/3570.72	c conflicts		: 22280857
3600.03/3570.72	c decisions		: 22282243
3600.03/3570.72	c propagations		: 121971537
3600.03/3570.72	c inspects		: 15516323475
3600.03/3570.72	c shortcuts		: 0
3600.03/3570.72	c learnt literals	: 5
3600.03/3570.72	c learnt binary clauses	: 0
3600.03/3570.72	c learnt ternary clauses	: 0
3600.03/3570.72	c learnt constraints	: 22280852
3600.03/3570.72	c ignored constraints	: 0
3600.03/3570.72	c root simplifications	: 0
3600.03/3570.72	c removed literals (reason simplification)	: 0
3600.03/3570.72	c reason swapping (by a shorter reason)	: 0
3600.03/3570.72	c Calls to reduceDB	: 221
3600.03/3570.72	c Number of update (reduction) of LBD	: 147
3600.03/3570.72	c Imported unit clauses	: 0
3600.03/3570.72	c No decision after first conflict	: false
3600.03/3570.72	c number of reductions to clauses (during analyze)	: 0
3600.03/3570.72	c number of learned constraints concerned by reduction	: 0
3600.03/3570.72	c number of learning phase by resolution	: 0
3600.03/3570.72	c number of learning phase by cutting planes	: 0
3600.03/3570.72	c number of rounding to 1 operations	: 0
3600.03/3570.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3570.72	c number of reductions of the coefficients by power 2 	: 0
3600.03/3570.72	c number of right shift for reduction by power 2 	: 0
3600.03/3570.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3570.72	c number of ending skipping 	: 0
3600.03/3570.72	c number of internal skipping 	: 0
3600.03/3570.72	c number of derivation steps 	: 0
3600.03/3570.72	c number of skipped derivation steps 	: 0
3600.03/3570.72	c number of remaining unassigned 	: 0
3600.03/3570.72	c number of remaining assigned 	: 0
3600.03/3570.72	c number of falsified literals weakened from reason	: 0
3600.03/3570.72	c number of falsified literals weakened from conflict	: 0
3600.03/3570.72	c time for arithmetic operations	: 0
3600.03/3570.74	c minimum degree of deleted constraints	: null
3600.03/3570.74	c maximum degree of deleted constraints	: null
3600.03/3570.74	c number of deleted constraints	: 0
3600.03/3570.75	c speed (assignments/second)	: 34160.81652200946
3600.03/3570.75	c non guided choices	: 0
3600.25/3570.84	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 340821
3600.25/3570.84	s SATISFIABLE
3600.25/3570.84	c Found 6 solution(s)
3600.25/3570.85	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 
3600.25/3570.85	c objective function=-354
3600.25/3570.85	c Total wall clock time (in seconds): 3570.643

Verifier Data 

OK	-354

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=266893, runsolver pid=266885

[startup+0.101095 s]*
/proc/loadavg: 0.13 0.10 0.09 12/297 266954
/proc/meminfo: memFree=123014132/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=18776200 memory=50764 CPUtime=0.02 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 5859 0 27 0 1 1 0 0 20 0 16 0 23035412 19226828800 12691 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4694050 12691 4893 1 0 547756 0
[pid=266893/tid=266903] ppid=266885 vsize=18776200 memory=4026531971 CPUtime=0.02 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) S 266885 266893 266840 0 -1 1077936192 5123 0 21 0 1 1 0 0 20 0 16 0 23035413 19226828800 12691 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=18776200 memory=1574935 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 23035422 19226828800 12691 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266978] ppid=266885 vsize=18776200 memory=14127849065940646 CPUtime=0 cores=0,2
/proc/266893/task/266978/stat : 266978 (java) R 266885 266893 266840 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 16 0 23035422 19226828800 12691 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18776200 KiB
Current children cumulated memory: 50764 KiB

[startup+0.206109 s]*
/proc/loadavg: 0.13 0.10 0.09 14/327 266984
/proc/meminfo: memFree=122957840/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=18975048 memory=65840 CPUtime=0.19 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 7368 0 27 0 17 2 0 0 20 0 18 0 23035412 19430449152 16460 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4743762 16460 5743 1 0 549475 0
[pid=266893/tid=266903] ppid=266885 vsize=18975048 memory=664970851429515395 CPUtime=0.11 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 5826 0 21 0 10 1 0 0 20 0 18 0 23035413 19430449152 16460 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=18975048 memory=1574935 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035422 19430449152 16460 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035423 19430449152 16460 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65840 KiB

[startup+0.306268 s]*
/proc/loadavg: 0.13 0.10 0.09 11/309 266988
/proc/meminfo: memFree=122956772/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19041612 memory=72396 CPUtime=0.38 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 9022 0 27 0 36 2 0 0 20 0 19 0 23035412 19498610688 18099 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4760403 18099 5803 1 0 550811 0
[pid=266893/tid=266903] ppid=266885 vsize=19041612 memory=-8601137955812909756 CPUtime=0.21 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 6000 0 21 0 20 1 0 0 20 0 19 0 23035413 19498610688 18099 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19041612 memory=1469648420131013209 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 18099 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 18099 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035435 19498610688 18099 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72396 KiB

[startup+0.70422 s]
/proc/loadavg: 0.13 0.10 0.09 10/310 267004
/proc/meminfo: memFree=122935236/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19041612 memory=102116 CPUtime=1.14 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 13718 0 27 0 111 3 0 0 20 0 19 0 23035412 19498610688 25529 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4760403 25529 5819 1 0 554041 0
[pid=266893/tid=266903] ppid=266885 vsize=19041612 memory=16104 CPUtime=0.59 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 6047 0 21 0 58 1 0 0 20 0 19 0 23035413 19498610688 25529 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19041612 memory=12992 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 25529 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19041612 memory=32404 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 25529 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035435 19498610688 25529 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102116 KiB

[startup+1.5012 s]
/proc/loadavg: 0.13 0.10 0.09 10/331 267054
/proc/meminfo: memFree=122749304/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19041612 memory=162380 CPUtime=2.22 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 16560 0 27 0 218 4 0 0 20 0 19 0 23035412 19498610688 40595 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4760403 40595 5835 1 0 554611 0
[pid=266893/tid=266903] ppid=266885 vsize=19041612 memory=12992 CPUtime=1.38 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 6432 0 21 0 136 2 0 0 20 0 19 0 23035413 19498610688 40595 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 40595 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19041612 memory=32404 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 40595 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035435 19498610688 40595 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162380 KiB

[startup+3.11324 s]
/proc/loadavg: 0.52 0.18 0.12 6/334 267059
/proc/meminfo: memFree=121851864/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=280136 CPUtime=3.94 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 19605 0 27 0 387 7 0 0 20 0 20 0 23035412 19566772224 70034 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 70034 5841 1 0 554918 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=-8815060037624636092 CPUtime=2.86 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 6737 0 21 0 283 3 0 0 20 0 20 0 23035413 19566772224 70034 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 70034 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 70034 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=32404 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 70034 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 280136 KiB

[startup+6.30028 s]
/proc/loadavg: 0.52 0.18 0.12 5/335 267060
/proc/meminfo: memFree=120762444/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=497596 CPUtime=7.32 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 20821 0 27 0 720 12 0 0 20 0 20 0 23035412 19566772224 124399 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 124399 5841 1 0 757519 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=0 CPUtime=5.87 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 6867 0 21 0 584 3 0 0 20 0 20 0 23035413 19566772224 124399 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=32404 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 124399 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=12992 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 124399 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=-8815060037624636092 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 124399 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497596 KiB

[startup+12.7003 s]
/proc/loadavg: 1.06 0.30 0.16 6/335 267061
/proc/meminfo: memFree=118784948/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=952416 CPUtime=14.14 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 27305 0 27 0 1392 22 0 0 20 0 20 0 23035412 19566772224 238104 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 238104 5848 1 0 928809 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=-8815060037624636092 CPUtime=11.98 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 8001 0 21 0 1192 6 0 0 20 0 20 0 23035413 19566772224 238104 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 238104 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=832036 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 238104 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=280900927973616 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 238104 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 14.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 952416 KiB

[startup+25.5003 s]
/proc/loadavg: 1.59 0.44 0.21 5/335 267064
/proc/meminfo: memFree=114862076/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=1513780 CPUtime=27.28 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 30225 0 27 0 2695 33 0 0 20 0 20 0 23035412 19566772224 378445 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 378445 5848 1 0 928818 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=0 CPUtime=24.32 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 8768 0 21 0 2424 8 0 0 20 0 20 0 23035413 19566772224 378445 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 378445 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=-8815060037624636092 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 378445 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=505788 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 378445 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 27.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1513780 KiB

[startup+51.1062 s]
/proc/loadavg: 2.72 0.79 0.33 5/335 267068
/proc/meminfo: memFree=106847232/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=2801328 CPUtime=53.55 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 33990 0 27 0 5295 60 0 0 20 0 20 0 23035412 19566772224 700332 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 700332 5848 1 0 1056243 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=2502260 CPUtime=48.95 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 9876 0 21 0 4882 13 0 0 20 0 20 0 23035413 19566772224 700332 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0

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

[startup+3222.3 s]
/proc/loadavg: 4.84 4.72 4.68 6/331 268912
/proc/meminfo: memFree=62784012/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=12944772 CPUtime=3248.99 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 349408 0 27 0 324494 405 0 0 20 0 20 0 23035412 19566772224 3236193 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3236193 5861 1 0 3903930 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=5508 CPUtime=3162.62 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 107771 0 21 0 316174 88 0 0 20 0 20 0 23035413 19566772224 3236193 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=73996 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3236193 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=12938616 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1693 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3236193 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=12944760 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3236193 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3248.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12944772 KiB

[startup+3282.3 s]
/proc/loadavg: 4.53 4.65 4.65 5/331 268989
/proc/meminfo: memFree=77466536/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=13221264 CPUtime=3309.07 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 354315 0 27 0 330494 413 0 0 20 0 20 0 23035412 19566772224 3305316 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3305316 5861 1 0 3903930 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=12952972 CPUtime=3221.32 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 109509 0 21 0 322044 88 0 0 20 0 20 0 23035413 19566772224 3305316 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=12944772 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3305316 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=73996 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1693 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3305316 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=32404 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3305316 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3309.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13221264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.60 4.64 6/331 269000
/proc/meminfo: memFree=77011004/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=13348240 CPUtime=3369.01 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 356847 0 27 0 336484 417 0 0 20 0 20 0 23035412 19566772224 3337060 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3337060 5861 1 0 3903930 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=13221264 CPUtime=3280.19 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 111542 0 21 0 327931 88 0 0 20 0 20 0 23035413 19566772224 3337060 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=13221264 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3337060 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=13221264 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1743 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3337060 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=13221264 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3337060 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3369.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13348240 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.61 4.64 5/331 269078
/proc/meminfo: memFree=85190112/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=13976976 CPUtime=3428.93 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 358367 0 27 0 342464 429 0 0 20 0 20 0 23035412 19566772224 3494244 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3494244 5861 1 0 3903930 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=13221264 CPUtime=3339.07 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 112737 0 21 0 333819 88 0 0 20 0 20 0 23035413 19566772224 3494244 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=13976976 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3494244 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=13976976 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1743 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3494244 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=13976976 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3494244 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3428.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.59 4.63 6/331 269089
/proc/meminfo: memFree=82164044/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=14824880 CPUtime=3491.52 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 382145 0 27 0 348703 449 0 0 20 0 20 0 23035412 19566772224 3706220 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3706220 5887 1 0 3983420 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=13221264 CPUtime=3397.91 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 115403 0 21 0 339697 94 0 0 20 0 20 0 23035413 19566772224 3706220 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=13221264 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3706220 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=14824880 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1757 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3706220 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=14824880 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3706220 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3491.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14824880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.57 4.62 5/332 269105
/proc/meminfo: memFree=80253784/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=14824936 CPUtime=3551.61 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 385204 0 27 0 354709 452 0 0 20 0 20 0 23035412 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3706234 5887 1 0 3983420 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=14824936 CPUtime=3456.72 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 117611 0 21 0 345578 94 0 0 20 0 20 0 23035413 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=14824880 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=11624 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1757 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=14824936 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3551.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14824936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3570.7 s]
/proc/loadavg: 4.90 4.66 4.65 5/332 269114
/proc/meminfo: memFree=79043408/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19108176 memory=14824936 CPUtime=3600.03 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 386224 0 27 0 359549 454 0 0 20 0 20 0 23035412 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4777044 3706234 5887 1 0 3983420 0
[pid=266893/tid=266903] ppid=266885 vsize=19108176 memory=14824936 CPUtime=3504.79 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 118376 0 21 0 350385 94 0 0 20 0 20 0 23035413 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19108176 memory=-8815060037624636092 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19108176 memory=14824936 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1758 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266986] ppid=266885 vsize=19108176 memory=14824936 CPUtime=0 cores=0,2
/proc/266893/task/266986/stat : 266986 (Timer-0) S 266885 266893 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035435 19566772224 3706234 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14824936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.79 s, system=4.58477 s

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

[startup+3570.81 s]
/proc/loadavg: 4.90 4.66 4.65 5/332 269114
/proc/meminfo: memFree=79043408/131524600 swapFree=131056796/131071996
[pid=266893] ppid=266885 vsize=19307868 memory=14825728 CPUtime=3600.25 cores=0,2
/proc/266893/stat : 266893 (java) S 266885 266893 266840 0 -1 1077936128 388182 0 27 0 359571 454 0 0 20 0 21 0 23035412 19771256832 3706432 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
/proc/266893/statm: 4826967 3706432 5890 1 0 3984340 0
[pid=266893/tid=266903] ppid=266885 vsize=19307868 memory=1573245 CPUtime=3504.9 cores=0,2
/proc/266893/task/266903/stat : 266903 (java) R 266885 266893 266840 0 -1 4194368 118399 0 21 0 350396 94 0 0 20 0 21 0 23035413 19771256832 3706432 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266965] ppid=266885 vsize=19307868 memory=1571997 CPUtime=0 cores=0,2
/proc/266893/task/266965/stat : 266965 (Finalizer) S 266885 266893 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23035422 19771256832 3706432 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
[pid=266893/tid=266982] ppid=266885 vsize=19307868 memory=1877345 CPUtime=0 cores=0,2
/proc/266893/task/266982/stat : 266982 (Common-Cleaner) S 266885 266893 266840 0 -1 1077936192 1758 0 0 0 0 0 0 0 20 0 21 0 23035423 19771256832 3706432 134679101440 94124701954048 94124701957744 140733486125712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124701965560 94124701966352 94124713476096 140733486134279 140733486134369 140733486134369 140733486141384 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14825728 KiB

Child status: 143

Real time (s): 3570.89
CPU time (s): 3600.37
CPU user time (s): 3595.79
CPU system time (s): 4.58477
CPU usage (%): 100.826
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14825728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.58477
maximum resident set size= 14826632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388371
page faults= 27
swaps= 0
block input operations= 9320
block output operations= 4000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115322
involuntary context switches= 36702


# summary of solver processes directly reported to runsolver:
#   pid: 266893
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3595.79
#   total CPU system time (s): 4.58477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21297 second user time and 18.9787 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 01:51:55
IDJOB=4457479
IDBENCH=176371
IDSOLVER=3058
FILE ID=nodeC030/4457479-1721865114
RUNJOBID= nodeC030-1721865114-266850
SLURM_JOB_ID= 8089185
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457479-1721865114/watcher-4457479-1721865114 -o /tmp/evaluation-result-4457479-1721865114/solver-4457479-1721865114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266850 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457479-1721865114.opb

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

MD5SUM BENCH= 0ca7653980f86b2f84ce865c198a6840
RANDOM SEED=824514501

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123157996 kB
MemAvailable:   129686444 kB
Buffers:          267944 kB
Cached:          7047852 kB
SwapCached:          300 kB
Active:          2556796 kB
Inactive:        5122800 kB
Active(anon):       2096 kB
Inactive(anon):   414752 kB
Active(file):    2554700 kB
Inactive(file):  4708048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              1316 kB
Writeback:             0 kB
AnonPages:        359636 kB
Mapped:           109560 kB
Shmem:             53048 kB
KReclaimable:     211048 kB
Slab:             332584 kB
SReclaimable:     211048 kB
SUnreclaim:       121536 kB
KernelStack:        3748 kB
PageTables:         9176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     588764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 02:51:25