Trace number 4440475

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 2024 2024-07-07? (TO) 3600.22 3621.74

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1207_5.std.opb
MD5SUM58b69e9a96bb9e80c29d595afb46d459
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 benchmark132
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234036
Number of constraints which are clauses232836
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint65
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.13	c version CUSTOM.v20240707
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.16	c java.version		22.0.1
0.11/0.16	c os.name		Linux
0.11/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.16	c os.arch		amd64
0.11/0.16	c Free memory 		2113181440
0.11/0.16	c Max memory 		16282288128
0.11/0.17	c Total memory 		2122317824
0.11/0.17	c Number of processors 	2
0.25/0.26	--- Begin Solver configuration ---
0.25/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.26	Learn all clauses as in MiniSAT
0.25/0.26	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.26	Expensive reason simplification
0.25/0.26	Glucose 2.1 dynamic restart strategy
0.25/0.26	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.25/0.26	timeout=2147483s
0.25/0.26	DB Simplification allowed=false
0.25/0.26	Listener: none
0.25/0.26	--- End Solver configuration ---
0.25/0.26	c Pseudo Boolean Optimization by upper bound
0.25/0.26	c --- Begin Solver configuration ---
0.25/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.26	c Learn all clauses as in MiniSAT
0.25/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.26	c Expensive reason simplification
0.25/0.26	c Glucose 2.1 dynamic restart strategy
0.25/0.26	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.25/0.26	c timeout=2147483s
0.25/0.26	c DB Simplification allowed=false
0.25/0.26	c Listener: none
0.25/0.26	c --- End Solver configuration ---
0.25/0.26	c solving HOME/instance-4440475-1721820331.opb
0.25/0.26	c reading problem ... 
0.25/0.27	c using VERIPB proof format
0.25/0.27	c  objective function found
2.53/1.49	c ... done. Wall clock time 1.215s.
2.53/1.49	c declared #vars     72842
2.53/1.49	c #constraints  234036
2.53/1.49	c constraints type 
2.53/1.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 186343
2.53/1.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1200
2.53/1.49	c org.sat4j.specs.Constr$1 => 10037
2.53/1.49	c org.sat4j.pb.constraints.pb.UnitClausePB => 3275
2.53/1.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 33181
2.53/1.49	c 234036 constraints processed.
2.53/1.49	c objective function length is 300 literals
5.06/2.70	c SATISFIABLE
5.06/2.70	c OPTIMIZING...
5.06/2.70	c Got one! Elapsed wall clock time (in seconds):2.438
5.06/2.70	o 168
5.24/2.85	c Got one! Elapsed wall clock time (in seconds):2.575
5.24/2.85	o 163
5.42/2.96	c Got one! Elapsed wall clock time (in seconds):2.699
5.42/2.97	o 156
5.82/3.15	c Got one! Elapsed wall clock time (in seconds):2.884
5.82/3.15	o 152
6.30/3.47	c Got one! Elapsed wall clock time (in seconds):3.212
6.30/3.47	o 151
6.63/3.66	c Got one! Elapsed wall clock time (in seconds):3.398
6.63/3.66	o 150
7.37/4.19	c cleaning 3328 clauses out of 6659 with flag 15045/6659
7.91/4.42	c Got one! Elapsed wall clock time (in seconds):4.159
7.91/4.42	o 149
8.29/4.62	c Got one! Elapsed wall clock time (in seconds):4.354
8.29/4.62	o 148
8.48/4.76	c Got one! Elapsed wall clock time (in seconds):4.497
8.48/4.76	o 145
8.88/4.91	c Got one! Elapsed wall clock time (in seconds):4.643
8.88/4.91	o 144
9.80/5.44	c Got one! Elapsed wall clock time (in seconds):5.178
9.80/5.44	o 143
10.47/6.07	c Got one! Elapsed wall clock time (in seconds):5.812
10.47/6.07	o 142
10.96/6.57	c cleaning 6072 clauses out of 12161 with flag 10790/15489
12.46/7.76	c cleaning 6032 clauses out of 12089 with flag 51566/21489
13.42/8.51	c Got one! Elapsed wall clock time (in seconds):8.244
13.42/8.51	o 141
13.84/8.94	c cleaning 5735 clauses out of 11501 with flag 11507/26933
15.17/10.23	c cleaning 5860 clauses out of 11766 with flag 42142/32933
16.65/11.60	c cleaning 6444 clauses out of 12906 with flag 85195/39933
19.19/14.16	c cleaning 7225 clauses out of 14462 with flag 141300/47933
20.98/15.92	c Got one! Elapsed wall clock time (in seconds):15.655
20.98/15.92	o 140
21.98/16.90	c cleaning 10423 clauses out of 20867 with flag 34922/61563
23.08/18.10	c cleaning 8215 clauses out of 16442 with flag 68117/67561
24.68/19.66	c cleaning 7600 clauses out of 15229 with flag 105186/74563
26.50/21.61	c cleaning 7803 clauses out of 15627 with flag 151170/82561
28.49/23.59	c cleaning 8400 clauses out of 16825 with flag 201322/91562
30.49/25.59	c cleaning 9206 clauses out of 18424 with flag 267496/101561
32.79/27.81	c cleaning 10098 clauses out of 20219 with flag 335568/112562
33.97/28.70	c Got one! Elapsed wall clock time (in seconds):28.435
33.97/28.70	o 139
34.50/29.22	c cleaning 7970 clauses out of 15950 with flag 19053/118391
36.09/30.61	c cleaning 6985 clauses out of 13979 with flag 54612/124390
37.62/32.12	c cleaning 6983 clauses out of 13995 with flag 93197/131391
39.82/34.24	c cleaning 7494 clauses out of 15012 with flag 129284/139391
41.72/36.17	c cleaning 8247 clauses out of 16516 with flag 181315/148389
44.01/38.48	c cleaning 9125 clauses out of 18269 with flag 232182/158389
46.64/41.01	c cleaning 10065 clauses out of 20145 with flag 292208/169391
49.25/43.53	c cleaning 11027 clauses out of 22078 with flag 361063/181389
51.95/46.11	c cleaning 12022 clauses out of 24053 with flag 442850/194391
55.23/49.44	c cleaning 12999 clauses out of 26029 with flag 521129/208390
58.77/53.16	c cleaning 14007 clauses out of 28030 with flag 608434/223390
62.76/57.15	c cleaning 14992 clauses out of 30022 with flag 701841/239390
66.84/61.21	c cleaning 15994 clauses out of 32032 with flag 807263/256392
71.23/65.63	c cleaning 17003 clauses out of 34035 with flag 916296/274389
75.35/69.77	c cleaning 17996 clauses out of 36033 with flag 1028075/293390
76.35/70.79	c Got one! Elapsed wall clock time (in seconds):70.527
76.35/70.79	o 138
76.66/71.10	c cleaning 11788 clauses out of 23600 with flag 5100/298953
77.85/72.23	c cleaning 7515 clauses out of 17811 with flag 31343/304952
79.56/73.93	c cleaning 6885 clauses out of 17297 with flag 59849/311953
81.36/75.74	c cleaning 7858 clauses out of 18417 with flag 92600/319958
83.55/77.93	c cleaning 8871 clauses out of 19557 with flag 129840/328956
86.04/80.34	c cleaning 9863 clauses out of 20683 with flag 171374/338953
88.77/83.24	c cleaning 10813 clauses out of 21820 with flag 215635/349953
91.75/86.11	c cleaning 11489 clauses out of 23007 with flag 270214/361953
94.93/89.11	c cleaning 12244 clauses out of 24517 with flag 325232/374952
97.81/91.95	c cleaning 13134 clauses out of 26273 with flag 405684/388952
101.74/95.80	c cleaning 14057 clauses out of 28140 with flag 474219/403953
105.64/99.71	c cleaning 15040 clauses out of 30085 with flag 555438/419955
109.82/103.96	c cleaning 16008 clauses out of 32042 with flag 654410/436952
113.81/107.94	c cleaning 17008 clauses out of 34037 with flag 765932/454955
118.02/112.15	c cleaning 17999 clauses out of 36026 with flag 889563/473952
123.62/118.19	c cleaning 19004 clauses out of 38028 with flag 989010/493953
128.90/123.44	c cleaning 20001 clauses out of 40026 with flag 1096728/514955
134.37/128.99	c cleaning 21001 clauses out of 42022 with flag 1207694/536952
139.96/134.54	c cleaning 22004 clauses out of 44022 with flag 1333035/559953
145.56/140.14	c cleaning 22997 clauses out of 46018 with flag 1464083/583953
151.96/146.85	c cleaning 23991 clauses out of 48021 with flag 1601227/608953
153.46/148.35	c Got one! Elapsed wall clock time (in seconds):148.087
153.46/148.35	o 137
154.95/149.84	c cleaning 16844 clauses out of 34724 with flag 29207/619647
156.35/151.24	c cleaning 5919 clauses out of 23880 with flag 54871/625647
158.26/153.14	c cleaning 6922 clauses out of 24962 with flag 83738/632648
160.05/154.99	c cleaning 7872 clauses out of 26038 with flag 121401/640646
162.34/157.29	c cleaning 8886 clauses out of 27167 with flag 159195/649647
164.74/159.68	c cleaning 9910 clauses out of 28280 with flag 209619/659646
167.53/162.44	c cleaning 10803 clauses out of 29370 with flag 256218/670646
170.43/165.39	c cleaning 11810 clauses out of 30570 with flag 309766/682649
173.82/168.76	c cleaning 12768 clauses out of 31758 with flag 363635/695647
177.31/172.29	c cleaning 13794 clauses out of 32989 with flag 423317/709646
181.79/177.33	c cleaning 14751 clauses out of 34195 with flag 487223/724646
185.77/181.33	c cleaning 15798 clauses out of 35444 with flag 552598/740646
190.17/185.76	c cleaning 16742 clauses out of 36646 with flag 622547/757646
194.76/190.32	c cleaning 17669 clauses out of 37905 with flag 704454/775647
199.24/194.89	c cleaning 18641 clauses out of 39237 with flag 811085/794648
204.52/200.06	c cleaning 19650 clauses out of 40593 with flag 892912/814646
209.39/205.14	c cleaning 20707 clauses out of 41945 with flag 1021008/835648
214.97/210.74	c cleaning 21611 clauses out of 43238 with flag 1116069/857648
220.99/216.74	c cleaning 22297 clauses out of 44626 with flag 1212760/880647
227.08/222.82	c cleaning 23151 clauses out of 46329 with flag 1317303/904647
233.46/229.25	c cleaning 24078 clauses out of 48177 with flag 1426759/929646
240.45/236.47	c cleaning 25030 clauses out of 50098 with flag 1558010/955646
247.34/243.39	c cleaning 26020 clauses out of 52069 with flag 1694382/982647
254.83/250.88	c cleaning 27015 clauses out of 54049 with flag 1852436/1010647
262.90/258.91	c cleaning 28010 clauses out of 56033 with flag 1996443/1039646
270.50/266.76	c cleaning 29000 clauses out of 58022 with flag 2155599/1069646
279.18/275.43	c cleaning 29993 clauses out of 60022 with flag 2296800/1100646
288.06/284.30	c cleaning 31007 clauses out of 62030 with flag 2444429/1132647
296.94/293.26	c cleaning 31995 clauses out of 64023 with flag 2612047/1165647
306.24/302.70	c cleaning 32995 clauses out of 66028 with flag 2779287/1199647
315.83/312.34	c cleaning 34010 clauses out of 68033 with flag 2941652/1234647
325.22/321.73	c cleaning 34999 clauses out of 70022 with flag 3115274/1270646
335.30/331.92	c cleaning 36003 clauses out of 72024 with flag 3308266/1307647
346.18/342.77	c cleaning 36992 clauses out of 74021 with flag 3502913/1345647
356.96/353.55	c cleaning 38003 clauses out of 76029 with flag 3705029/1384647
367.94/364.63	c cleaning 38997 clauses out of 78028 with flag 3910313/1424649
379.49/376.26	c cleaning 39999 clauses out of 80033 with flag 4117139/1465651
390.77/387.53	c cleaning 40994 clauses out of 82029 with flag 4345882/1507646
403.37/400.24	c cleaning 42005 clauses out of 84036 with flag 4567271/1550647
416.35/413.23	c cleaning 43010 clauses out of 86030 with flag 4797813/1594646
431.34/432.21	c cleaning 43992 clauses out of 88020 with flag 5012921/1639646
445.12/446.01	c cleaning 44998 clauses out of 90028 with flag 5249453/1685646
459.16/460.12	c cleaning 45994 clauses out of 92030 with flag 5485308/1732646
472.62/473.69	c cleaning 46997 clauses out of 94036 with flag 5726058/1780646
487.98/489.02	c cleaning 48006 clauses out of 96039 with flag 5956023/1829646
501.95/503.06	c cleaning 49011 clauses out of 98035 with flag 6198935/1879648
516.77/517.95	c cleaning 50004 clauses out of 100023 with flag 6478379/1930647
532.74/533.99	c cleaning 50994 clauses out of 102018 with flag 6740358/1982646
548.81/550.10	c cleaning 51987 clauses out of 104026 with flag 7013384/2035648
565.05/566.36	c cleaning 53005 clauses out of 106038 with flag 7276872/2089647
582.24/583.95	c cleaning 54001 clauses out of 108032 with flag 7545073/2144646
599.95/601.65	c cleaning 55008 clauses out of 110031 with flag 7835351/2200646
617.29/619.04	c cleaning 55996 clauses out of 112023 with flag 8127180/2257646
634.74/636.52	c cleaning 56995 clauses out of 114028 with flag 8423695/2315647
653.26/655.12	c cleaning 58002 clauses out of 116033 with flag 8703074/2374647
671.98/673.94	c cleaning 59008 clauses out of 118030 with flag 9003986/2434646
690.94/692.98	c cleaning 59998 clauses out of 120024 with flag 9325647/2495648
710.21/712.24	c cleaning 60996 clauses out of 122024 with flag 9644577/2557646
730.84/732.93	c cleaning 62009 clauses out of 124029 with flag 9975852/2620647
751.60/753.74	c cleaning 62994 clauses out of 126022 with flag 10294787/2684649
772.21/774.41	c cleaning 64003 clauses out of 128027 with flag 10621514/2749648
773.21/775.47	c Got one! Elapsed wall clock time (in seconds):775.211
773.21/775.47	o 136
774.30/776.57	c cleaning 13156 clauses out of 69840 with flag 14781/2755464
776.01/778.26	c cleaning 5943 clauses out of 62683 with flag 37995/2761463
778.10/780.30	c cleaning 6924 clauses out of 63741 with flag 67514/2768464
780.50/782.73	c cleaning 7946 clauses out of 64820 with flag 100689/2776467
783.29/785.57	c cleaning 8889 clauses out of 65870 with flag 136091/2785463
786.38/788.61	c cleaning 9910 clauses out of 66984 with flag 181846/2795466
789.94/792.21	c cleaning 10894 clauses out of 68071 with flag 220990/2806463
793.53/795.81	c cleaning 11880 clauses out of 69177 with flag 274247/2818463
797.22/799.54	c cleaning 12922 clauses out of 70299 with flag 346311/2831465
801.83/804.18	c cleaning 13886 clauses out of 71375 with flag 408918/2845463
806.61/808.93	c cleaning 14841 clauses out of 72492 with flag 468657/2860466
811.81/814.19	c cleaning 15808 clauses out of 73649 with flag 543363/2876464
817.29/819.64	c cleaning 16799 clauses out of 74840 with flag 619457/2893463
822.94/825.33	c cleaning 17862 clauses out of 76041 with flag 697191/2911463
828.83/831.29	c cleaning 18851 clauses out of 77179 with flag 783141/2930463
835.11/837.57	c cleaning 19859 clauses out of 78330 with flag 879160/2950465
842.00/844.42	c cleaning 20692 clauses out of 79470 with flag 977574/2971464
849.78/852.24	c cleaning 21783 clauses out of 80777 with flag 1102435/2993463
857.44/859.99	c cleaning 22796 clauses out of 81996 with flag 1196348/3016465
865.36/867.82	c cleaning 23799 clauses out of 83201 with flag 1295126/3040466
873.34/875.80	c cleaning 24754 clauses out of 84399 with flag 1395426/3065463
881.80/884.32	c cleaning 25774 clauses out of 85645 with flag 1523831/3091463
890.38/892.91	c cleaning 26717 clauses out of 86873 with flag 1628563/3118465
899.96/902.59	c cleaning 27725 clauses out of 88154 with flag 1753807/3146463
909.95/912.59	c cleaning 28779 clauses out of 89430 with flag 1874517/3175464
920.51/923.19	c cleaning 29710 clauses out of 90650 with flag 2005744/3205463
931.31/933.98	c cleaning 30731 clauses out of 91941 with flag 2133612/3236464
941.99/944.62	c cleaning 31714 clauses out of 93211 with flag 2266287/3268465
952.93/955.69	c cleaning 32658 clauses out of 94495 with flag 2402609/3301463
964.00/966.74	c cleaning 33640 clauses out of 95836 with flag 2549377/3335463
975.84/978.62	c cleaning 34622 clauses out of 97197 with flag 2683239/3370464
988.75/991.55	c cleaning 35669 clauses out of 98574 with flag 2829350/3406463
1001.52/1004.36	c cleaning 36683 clauses out of 99905 with flag 2976757/3443463
1015.17/1018.06	c cleaning 37724 clauses out of 101223 with flag 3143407/3481464
1028.25/1031.15	c cleaning 38633 clauses out of 102498 with flag 3311548/3520463
1042.52/1045.40	c cleaning 39629 clauses out of 103867 with flag 3477310/3560465
1056.99/1059.98	c cleaning 40643 clauses out of 105235 with flag 3646996/3601463
1071.52/1074.51	c cleaning 41595 clauses out of 106593 with flag 3813993/3643464
1085.79/1088.80	c cleaning 42511 clauses out of 107999 with flag 4009054/3686465
1101.51/1104.69	c cleaning 43568 clauses out of 109486 with flag 4191972/3730463
1117.39/1120.51	c cleaning 44592 clauses out of 110918 with flag 4380353/3775463
1132.93/1136.16	c cleaning 45627 clauses out of 112327 with flag 4584988/3821464
1150.15/1153.29	c cleaning 46572 clauses out of 113700 with flag 4804550/3868464
1167.72/1171.69	c cleaning 47625 clauses out of 115128 with flag 4999983/3916464
1185.28/1189.20	c cleaning 48641 clauses out of 116502 with flag 5213273/3965463
1203.52/1207.53	c cleaning 49560 clauses out of 117864 with flag 5422881/4015466
1223.23/1227.35	c cleaning 50524 clauses out of 119301 with flag 5624984/4066463
1241.50/1245.69	c cleaning 51583 clauses out of 120779 with flag 5850550/4118465
1260.34/1264.68	c cleaning 52434 clauses out of 122195 with flag 6082857/4171464
1280.31/1284.66	c cleaning 53524 clauses out of 123761 with flag 6318946/4225464
1299.18/1303.58	c cleaning 54563 clauses out of 125238 with flag 6576989/4280465
1320.01/1324.46	c cleaning 55493 clauses out of 126674 with flag 6806297/4336464
1340.40/1344.81	c cleaning 56582 clauses out of 128181 with flag 7048643/4393464
1362.16/1366.61	c cleaning 57467 clauses out of 129598 with flag 7281712/4451463
1383.51/1388.03	c cleaning 58499 clauses out of 131131 with flag 7514531/4510463
1405.99/1410.51	c cleaning 59342 clauses out of 132632 with flag 7801409/4570463
1429.64/1434.22	c cleaning 60464 clauses out of 134291 with flag 8087476/4631464
1452.87/1457.47	c cleaning 61442 clauses out of 135827 with flag 8350828/4693464
1476.65/1481.38	c cleaning 62410 clauses out of 137388 with flag 8607084/4756467
1501.60/1506.90	c cleaning 63414 clauses out of 138974 with flag 8872204/4820463
1527.27/1534.30	c cleaning 64529 clauses out of 140560 with flag 9124773/4885463
1552.22/1559.37	c cleaning 65476 clauses out of 142034 with flag 9403993/4951466
1576.67/1583.97	c cleaning 66540 clauses out of 143556 with flag 9697968/5018464
1603.29/1610.64	c cleaning 67414 clauses out of 145015 with flag 9982667/5086463
1631.30/1638.77	c cleaning 68498 clauses out of 146602 with flag 10264372/5155464
1657.81/1665.26	c cleaning 69403 clauses out of 148104 with flag 10561993/5225464
1686.43/1694.00	c cleaning 70369 clauses out of 149704 with flag 10876987/5296467
1715.32/1722.83	c cleaning 71410 clauses out of 151331 with flag 11157445/5368463
1744.25/1751.87	c cleaning 72343 clauses out of 152921 with flag 11440589/5441463
1773.74/1781.41	c cleaning 73404 clauses out of 154578 with flag 11753903/5515463
1804.04/1812.04	c cleaning 74374 clauses out of 156174 with flag 12060606/5590463
1834.14/1842.26	c cleaning 75302 clauses out of 157800 with flag 12381482/5666463
1865.53/1873.98	c cleaning 76373 clauses out of 159498 with flag 12691701/5743463
1896.63/1905.27	c cleaning 77394 clauses out of 161125 with flag 13054595/5821463
1928.32/1937.24	c cleaning 78356 clauses out of 162731 with flag 13400390/5900463
1960.52/1969.66	c cleaning 79359 clauses out of 164375 with flag 13720276/5980463
1993.01/2002.43	c cleaning 80406 clauses out of 166016 with flag 14053338/6061463
2026.28/2035.91	c cleaning 81251 clauses out of 167610 with flag 14392419/6143463
2059.15/2069.11	c cleaning 82345 clauses out of 169360 with flag 14733841/6226464
2093.81/2103.84	c cleaning 83311 clauses out of 171015 with flag 15083641/6310464
2129.19/2139.18	c cleaning 84388 clauses out of 172705 with flag 15487944/6395465
2164.88/2182.43	c cleaning 85328 clauses out of 174315 with flag 15870312/6481463
2202.50/2220.04	c cleaning 86293 clauses out of 175987 with flag 16231308/6568463
2238.89/2256.57	c cleaning 87380 clauses out of 177695 with flag 16598052/6656464
2277.17/2294.87	c cleaning 88357 clauses out of 179314 with flag 16990677/6745463
2314.91/2332.42	c cleaning 89317 clauses out of 180959 with flag 17353608/6835465
2351.99/2369.68	c cleaning 90280 clauses out of 182642 with flag 17723314/6926465
2388.61/2406.31	c cleaning 91228 clauses out of 184360 with flag 18109549/7018463
2426.71/2444.51	c cleaning 92291 clauses out of 186132 with flag 18486793/7111463
2467.02/2484.97	c cleaning 93252 clauses out of 187841 with flag 18854083/7205463
2508.07/2526.40	c cleaning 94279 clauses out of 189590 with flag 19267069/7300464
2548.06/2566.58	c cleaning 95203 clauses out of 191310 with flag 19659193/7396463
2590.07/2608.63	c cleaning 96265 clauses out of 193107 with flag 20050689/7493463
2631.03/2649.79	c cleaning 97243 clauses out of 194844 with flag 20456205/7591465
2674.74/2693.52	c cleaning 98283 clauses out of 196600 with flag 20880714/7690464
2716.51/2735.30	c cleaning 99157 clauses out of 198316 with flag 21284287/7790463
2759.19/2778.18	c cleaning 100063 clauses out of 200160 with flag 21728842/7891464
2803.33/2822.17	c cleaning 101034 clauses out of 202096 with flag 22143617/7993463
2847.76/2866.75	c cleaning 102011 clauses out of 204063 with flag 22601442/8096464
2892.18/2911.20	c cleaning 103015 clauses out of 206053 with flag 23049420/8200465
2936.96/2956.23	c cleaning 104006 clauses out of 208037 with flag 23483342/8305464
2981.55/3000.95	c cleaning 105010 clauses out of 210031 with flag 23937272/8411464
3028.70/3048.12	c cleaning 105992 clauses out of 212023 with flag 24419048/8518466
3074.42/3093.93	c cleaning 106997 clauses out of 214029 with flag 24930033/8626464
3121.26/3141.35	c cleaning 108002 clauses out of 216031 with flag 25422239/8735463
3170.22/3190.36	c cleaning 109015 clauses out of 218031 with flag 25915222/8845465
3218.57/3238.76	c cleaning 109984 clauses out of 220015 with flag 26423479/8956464
3269.00/3289.18	c cleaning 110997 clauses out of 222030 with flag 26896161/9068463
3320.85/3341.19	c cleaning 112004 clauses out of 224033 with flag 27355776/9181463
3373.67/3395.07	c cleaning 113006 clauses out of 226030 with flag 27850707/9295464
3425.75/3447.18	c cleaning 114005 clauses out of 228023 with flag 28334403/9410463
3478.94/3500.39	c cleaning 114994 clauses out of 230020 with flag 28802597/9526465
3498.77/3520.23	c Got one! Elapsed wall clock time (in seconds):3519.971
3498.77/3520.23	o 135
3501.28/3522.73	c cleaning 51008 clauses out of 164885 with flag 19120/9576325
3503.97/3525.44	c cleaning 5969 clauses out of 119876 with flag 39635/9582324
3507.07/3528.58	c cleaning 6984 clauses out of 120910 with flag 63855/9589327
3510.35/3531.87	c cleaning 7921 clauses out of 121923 with flag 102153/9597324
3514.05/3535.59	c cleaning 8920 clauses out of 123002 with flag 139161/9606324
3518.31/3539.84	c cleaning 9935 clauses out of 124083 with flag 183184/9616325
3523.01/3544.45	c cleaning 10934 clauses out of 125149 with flag 233725/9627326
3528.10/3549.55	c cleaning 11958 clauses out of 126217 with flag 277031/9639328
3534.29/3555.72	c cleaning 12873 clauses out of 127255 with flag 328303/9652324
3540.38/3561.84	c cleaning 13878 clauses out of 128382 with flag 387855/9666324
3546.66/3568.15	c cleaning 14927 clauses out of 129504 with flag 445030/9681324
3553.43/3574.95	c cleaning 15915 clauses out of 130577 with flag 505196/9697324
3560.32/3581.82	c cleaning 16915 clauses out of 131662 with flag 572066/9714324
3568.11/3589.68	c cleaning 17905 clauses out of 132748 with flag 644703/9732325
3576.09/3597.73	c cleaning 18856 clauses out of 133845 with flag 734705/9751327
3584.97/3606.63	c cleaning 19884 clauses out of 134986 with flag 809930/9771324
3594.14/3615.78	c cleaning 20884 clauses out of 136102 with flag 892644/9792324
3600.02/3621.62	c starts		: 36674
3600.02/3621.64	c conflicts		: 9806303
3600.02/3621.64	c decisions		: 16005839
3600.02/3621.64	c propagations		: 7335571672
3600.02/3621.64	c inspects		: 37239059373
3600.02/3621.64	c shortcuts		: 0
3600.02/3621.65	c learnt literals	: 9
3600.02/3621.65	c learnt binary clauses	: 148
3600.02/3621.65	c learnt ternary clauses	: 9103
3600.02/3621.65	c learnt constraints	: 9806294
3600.02/3621.65	c ignored constraints	: 0
3600.02/3621.65	c root simplifications	: 0
3600.02/3621.65	c removed literals (reason simplification)	: 137788243
3600.02/3621.65	c reason swapping (by a shorter reason)	: 0
3600.02/3621.65	c Calls to reduceDB	: 240
3600.02/3621.65	c Number of update (reduction) of LBD	: 3483876
3600.02/3621.65	c Imported unit clauses	: 0
3600.02/3621.65	c No decision after first conflict	: false
3600.02/3621.66	c number of reductions to clauses (during analyze)	: 0
3600.02/3621.66	c number of learned constraints concerned by reduction	: 0
3600.02/3621.66	c number of learning phase by resolution	: 0
3600.02/3621.66	c number of learning phase by cutting planes	: 0
3600.02/3621.66	c number of rounding to 1 operations	: 0
3600.02/3621.66	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3621.66	c number of reductions of the coefficients by power 2 	: 0
3600.02/3621.66	c number of right shift for reduction by power 2 	: 0
3600.02/3621.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3621.66	c number of ending skipping 	: 0
3600.02/3621.66	c number of internal skipping 	: 0
3600.02/3621.66	c number of derivation steps 	: 0
3600.02/3621.66	c number of skipped derivation steps 	: 0
3600.02/3621.67	c number of remaining unassigned 	: 0
3600.02/3621.67	c number of remaining assigned 	: 0
3600.02/3621.67	c number of falsified literals weakened from reason	: 0
3600.02/3621.67	c number of falsified literals weakened from conflict	: 0
3600.02/3621.67	c time for arithmetic operations	: 0
3600.02/3621.67	c minimum degree of deleted constraints	: null
3600.02/3621.67	c maximum degree of deleted constraints	: null
3600.02/3621.67	c number of deleted constraints	: 0
3600.02/3621.67	c speed (assignments/second)	: 2026324.3275047324
3600.02/3621.67	c non guided choices	: 7589
3600.02/3621.68	c timeout
3600.02/3621.68	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.02/3621.68		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.02/3621.68		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.02/3621.68		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.02/3621.68		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.02/3621.68		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.02/3621.68		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.02/3621.68		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440475-1721820331/watcher-4440475-1721820331 -o /tmp/evaluation-result-4440475-1721820331/solver-4440475-1721820331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231945 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440475-1721820331 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440475-1721820331.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100082 s]*
/proc/loadavg: 0.78 0.23 0.14 5/321 232570
/proc/meminfo: memFree=116901644/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=18975048 memory=56392 CPUtime=0.11 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 6574 0 0 0 9 2 0 0 20 0 18 0 18022476 19430449152 14098 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4743762 14098 5636 1 0 550908 0
[pid=232552/tid=232554] ppid=232549 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 5496 0 0 0 6 1 0 0 20 0 18 0 18022477 19430449152 14098 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022479 19430449152 14098 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18022481 19430449152 14098 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56392 KiB

[startup+0.205859 s]*
/proc/loadavg: 0.78 0.23 0.14 5/321 232570
/proc/meminfo: memFree=116892532/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=18975048 memory=65336 CPUtime=0.25 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 7251 0 0 0 22 3 0 0 20 0 18 0 18022476 19430449152 16334 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4743762 16334 5640 1 0 551469 0
[pid=232552/tid=232554] ppid=232549 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 5769 0 0 0 16 2 0 0 20 0 18 0 18022477 19430449152 16334 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=18975048 memory=605730 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022479 19430449152 16334 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18022481 19430449152 16334 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65336 KiB

[startup+0.306109 s]*
/proc/loadavg: 0.78 0.23 0.14 7/321 232570
/proc/meminfo: memFree=116886376/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=18975048 memory=70908 CPUtime=0.4 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 7557 0 0 0 36 4 0 0 20 0 18 0 18022476 19430449152 17727 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4743762 17727 5731 1 0 551631 0
[pid=232552/tid=232554] ppid=232549 vsize=18975048 memory=-8527958877144851132 CPUtime=0.28 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) S 232549 232552 231903 0 -1 1077936192 5919 0 0 0 25 3 0 0 20 0 18 0 18022477 19430449152 17727 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022479 19430449152 17727 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18022481 19430449152 17727 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70908 KiB

[startup+0.700231 s]
/proc/loadavg: 0.78 0.23 0.14 8/321 232570
/proc/meminfo: memFree=116848988/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=18975048 memory=170300 CPUtime=1.16 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 14391 0 0 0 110 6 0 0 20 0 18 0 18022476 19430449152 42575 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4743762 42575 5794 1 0 555921 0
[pid=232552/tid=232554] ppid=232549 vsize=18975048 memory=5472 CPUtime=0.66 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 6005 0 0 0 62 4 0 0 20 0 18 0 18022477 19430449152 42575 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=18975048 memory=12928 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022479 19430449152 42575 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18022481 19430449152 42575 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 170300 KiB

[startup+1.50286 s]
/proc/loadavg: 0.78 0.23 0.14 5/322 232571
/proc/meminfo: memFree=116749928/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19041612 memory=210768 CPUtime=2.72 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 17255 0 0 0 264 8 0 0 20 0 19 0 18022476 19498610688 52692 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4760403 52692 5829 1 0 557729 0
[pid=232552/tid=232554] ppid=232549 vsize=19041612 memory=0 CPUtime=1.35 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 6104 0 0 0 130 5 0 0 20 0 19 0 18022477 19498610688 52692 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18022479 19498610688 52692 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19041612 memory=12928 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18022481 19498610688 52692 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 210768 KiB

[startup+3.10686 s]
/proc/loadavg: 1.28 0.34 0.17 6/323 232574
/proc/meminfo: memFree=116669596/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=276908 CPUtime=5.82 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 18521 0 0 0 572 10 0 0 20 0 20 0 18022476 19566772224 69227 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 69227 5870 1 0 1042749 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=12928 CPUtime=2.84 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 6186 0 0 0 278 6 0 0 20 0 20 0 18022477 19566772224 69227 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=187208 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 69227 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18022481 19566772224 69227 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 69227 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 276908 KiB

[startup+6.30086 s]
/proc/loadavg: 1.28 0.34 0.17 5/321 232574
/proc/meminfo: memFree=116428004/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=434332 CPUtime=10.76 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 28669 0 0 0 1060 16 0 0 20 0 20 0 18022476 19566772224 108583 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 108583 5900 1 0 1043259 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=0 CPUtime=5.99 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 7432 0 0 0 588 11 0 0 20 0 20 0 18022477 19566772224 108583 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 108583 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 18022481 19566772224 108583 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 108583 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 10.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 434332 KiB

[startup+12.7002 s]
/proc/loadavg: 1.86 0.49 0.22 5/321 232575
/proc/meminfo: memFree=116153340/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=456984 CPUtime=17.77 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 30294 0 0 0 1759 18 0 0 20 0 20 0 18022476 19566772224 114246 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 114246 5900 1 0 1043261 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=11672 CPUtime=12.26 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 7900 0 0 0 1214 12 0 0 20 0 20 0 18022477 19566772224 114246 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=450812 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 114246 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=-8527958877144851132 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 18022481 19566772224 114246 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=285488 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 114246 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 17.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 456984 KiB

[startup+25.5005 s]
/proc/loadavg: 2.27 0.63 0.27 5/322 232578
/proc/meminfo: memFree=115776464/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=601312 CPUtime=30.49 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 35209 0 0 0 3025 24 0 0 20 0 20 0 18022476 19566772224 150328 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 150328 5900 1 0 1043278 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=450812 CPUtime=24.8 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 9547 0 0 0 2464 16 0 0 20 0 20 0 18022477 19566772224 150328 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=546012 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 150328 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=545996 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 18022481 19566772224 150328 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 150328 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 30.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 601312 KiB

[startup+51.1132 s]
/proc/loadavg: 3.21 0.98 0.40 5/322 232581
/proc/meminfo: memFree=113839036/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=1215940 CPUtime=56.77 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 48149 0 0 0 5635 42 0 0 20 0 20 0 18022476 19566772224 303985 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 303985 5900 1 0 1043297 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=986564 CPUtime=50.16 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 13406 0 0 0 4984 32 0 0 20 0 20 0 18022477 19566772224 303985 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=978336 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 303985 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 18022481 19566772224 303985 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=4676 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 303985 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0

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

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/321 233971
/proc/meminfo: memFree=96843684/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3119084 CPUtime=3262.2 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 233702 0 0 0 325518 702 0 0 20 0 20 0 18022476 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 779771 5915 1 0 1043340 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=3119084 CPUtime=3243.05 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 121516 0 0 0 323769 536 0 0 20 0 20 0 18022477 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2216 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 4797 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3262.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/323 233986
/proc/meminfo: memFree=96650248/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3119084 CPUtime=3322.04 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 236002 0 0 0 331492 712 0 0 20 0 20 0 18022476 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 779771 5915 1 0 1043340 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=16108 CPUtime=3302.85 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 123598 0 0 0 329741 544 0 0 20 0 20 0 18022477 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2219 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 4900 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=3119084 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 779771 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3322.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3119084 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.17 4.07 5/324 233998
/proc/meminfo: memFree=96411576/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3145708 CPUtime=3380.95 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 239112 0 0 0 337372 723 0 0 20 0 20 0 18022476 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 786427 5915 1 0 1043340 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=3119084 CPUtime=3361.5 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 125434 0 0 0 335598 552 0 0 20 0 20 0 18022477 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2327 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=3145708 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=5472 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5044 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=3145708 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3380.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3145708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.74 4.33 4.14 5/324 234009
/proc/meminfo: memFree=96223352/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3145708 CPUtime=3440.9 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 242313 0 0 0 343356 734 0 0 20 0 20 0 18022476 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 786427 5915 1 0 1043340 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=3119084 CPUtime=3421.2 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 127376 0 0 0 341560 560 0 0 20 0 20 0 18022477 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2331 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=3145708 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5045 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 786427 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3440.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3145708 KiB

[startup+3522.3 s]
/proc/loadavg: 5.08 4.50 4.21 5/324 234020
/proc/meminfo: memFree=96032284/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3145748 CPUtime=3500.88 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 246888 0 0 0 349342 746 0 0 20 0 20 0 18022476 19566772224 786437 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 786437 5915 1 0 1043347 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=16108 CPUtime=3480.87 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 130214 0 0 0 347518 569 0 0 20 0 20 0 18022477 19566772224 786437 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2335 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=28104 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 786437 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=-8527958877144851132 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5108 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 786437 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 786437 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3500.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3145748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.61 4.50 4.22 5/324 234030
/proc/meminfo: memFree=95816656/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3166228 CPUtime=3560.82 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 250259 0 0 0 355325 757 0 0 20 0 20 0 18022476 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 791557 5915 1 0 1043347 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=3166228 CPUtime=3540.55 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 132232 0 0 0 353477 578 0 0 20 0 20 0 18022477 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2341 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=3166228 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5161 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3560.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3166228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621.6 s]
/proc/loadavg: 4.73 4.52 4.24 12/322 234621
/proc/meminfo: memFree=106188700/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19108176 memory=3166228 CPUtime=3600.02 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 252519 0 0 0 359238 764 0 0 20 0 20 0 18022476 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4777044 791557 5915 1 0 1043347 0
[pid=232552/tid=232554] ppid=232549 vsize=19108176 memory=-8527958877144851132 CPUtime=3579.53 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) R 232549 232552 231903 0 -1 4194368 133143 0 0 0 357369 584 0 0 20 0 20 0 18022477 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2352 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19108176 memory=70224 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022479 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19108176 memory=12928 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5267 0 0 0 0 1 0 0 20 0 20 0 18022481 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232574] ppid=232549 vsize=19108176 memory=5472 CPUtime=0 cores=4,6
/proc/232552/task/232574/stat : 232574 (Timer-0) S 232549 232552 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022629 19566772224 791557 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3166228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.54 s, system=7.67739 s

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

[startup+3621.7 s]
/proc/loadavg: 4.73 4.52 4.24 12/322 234621
/proc/meminfo: memFree=106188700/131655788 swapFree=131071472/131071996
[pid=232552] ppid=232549 vsize=19307868 memory=3166996 CPUtime=3600.19 cores=4,6
/proc/232552/stat : 232552 (java) S 232549 232552 231903 0 -1 1077936128 255542 0 0 0 359254 765 0 0 20 0 15 0 18022476 19771256832 791749 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
/proc/232552/statm: 4826967 791749 5914 1 0 1044330 0
[pid=232552/tid=232554] ppid=232549 vsize=19307868 memory=70224 CPUtime=3579.6 cores=4,6
/proc/232552/task/232554/stat : 232554 (java) D 232549 232552 231903 0 -1 4194368 133510 0 0 0 357376 584 0 0 20 0 15 0 18022477 19771256832 791749 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2354 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232563] ppid=232549 vsize=19307868 memory=3166228 CPUtime=0 cores=4,6
/proc/232552/task/232563/stat : 232563 (Finalizer) S 232549 232552 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18022479 19771256832 791749 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
[pid=232552/tid=232570] ppid=232549 vsize=19307868 memory=70224 CPUtime=0.01 cores=4,6
/proc/232552/task/232570/stat : 232570 (Common-Cleaner) S 232549 232552 231903 0 -1 1077936192 5267 0 0 0 0 1 0 0 20 0 15 0 18022481 19771256832 791749 134679101440 94465299259392 94465299263088 140722121832576 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94465299270904 94465299271696 94465318060032 140722121839531 140722121839713 140722121839713 140722121846728 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3166996 KiB

Child status: 143

Real time (s): 3621.74
CPU time (s): 3600.22
CPU user time (s): 3592.54
CPU system time (s): 7.67739
CPU usage (%): 99.4059
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3166996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.54
system time used= 7.67739
maximum resident set size= 3167888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9091552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108551
involuntary context switches= 9678


# summary of solver processes directly reported to runsolver:
#   pid: 232552
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3592.54
#   total CPU system time (s): 7.67739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3097 second user time and 37.9374 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 13:25:31
IDJOB=4440475
IDBENCH=149087
IDSOLVER=3079
FILE ID=nodeC008/4440475-1721820331
RUNJOBID= nodeC008-1721820325-231945
SLURM_JOB_ID= 7891458
Free space on /tmp= 723748 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j1207_5.std.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440475-1721820331/watcher-4440475-1721820331 -o /tmp/evaluation-result-4440475-1721820331/solver-4440475-1721820331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231945 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440475-1721820331 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440475-1721820331.opb

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

MD5SUM BENCH= 58b69e9a96bb9e80c29d595afb46d459
RANDOM SEED=390095140

nodeC008.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		: 1717.290
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	: 6983.19
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		: 1558.570
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.33
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		: 3601.177
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	: 6983.19
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		: 2548.148
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.33
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		: 2003.501
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	: 6983.19
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		: 1550.257
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.33
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		: 3491.599
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	: 6983.19
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		: 3656.805
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116941400 kB
MemAvailable:   129146148 kB
Buffers:          256380 kB
Cached:         12723856 kB
SwapCached:           48 kB
Active:          2639064 kB
Inactive:       11392808 kB
Active(anon):       1460 kB
Inactive(anon):  1104212 kB
Active(file):    2637604 kB
Inactive(file): 10288596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             35588 kB
Writeback:             0 kB
AnonPages:       1051428 kB
Mapped:           139220 kB
Shmem:             53976 kB
KReclaimable:     237160 kB
Slab:             356320 kB
SReclaimable:     237160 kB
SUnreclaim:       119160 kB
KernelStack:        4912 kB
PageTables:        12308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9334716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    770048 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723468 MiB
End job on nodeC008 at 2024-07-24 14:25:53