Trace number 4484132

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 2025-06-06SAT (TO)2650 3600.32 3533.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM9e8345160c873e2ecbeb2fceb1264fd1
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 benchmark2642
Best CPU time to get the best result obtained on this benchmark0.045582
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4484132-1751277269.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.12/0.19	c ... done. Wall clock time 0.056s.
0.12/0.20	c declared #vars     907
0.12/0.20	c #constraints  664
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 126
0.12/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 275
0.12/0.20	c org.sat4j.specs.Constr$1 => 1
0.12/0.20	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.12/0.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 260
0.12/0.20	c 664 constraints processed.
0.32/0.21	c objective function length is 748 literals
0.32/0.22	c SATISFIABLE
0.32/0.22	c OPTIMIZING...
0.32/0.22	c Got one! Elapsed wall clock time (in seconds):0.086
0.32/0.22	o 2653
2.18/1.24	c cleaning 2500 clauses out of 5000 with flag 10000/5000
3.11/2.04	c cleaning 4245 clauses out of 8501 with flag 22013/11001
4.10/2.99	c cleaning 5627 clauses out of 11256 with flag 36013/18001
5.34/4.19	c cleaning 6814 clauses out of 13629 with flag 52013/26001
6.73/5.52	c cleaning 7907 clauses out of 15815 with flag 70013/35001
8.28/7.06	c cleaning 8953 clauses out of 17908 with flag 90013/45001
9.91/8.68	c cleaning 9977 clauses out of 19955 with flag 112013/56001
11.83/10.50	c cleaning 10988 clauses out of 21978 with flag 136013/68001
13.64/12.33	c cleaning 11993 clauses out of 23990 with flag 162018/81001
15.69/14.37	c cleaning 12992 clauses out of 25997 with flag 190024/95001
17.95/16.50	c cleaning 14003 clauses out of 28005 with flag 220024/110001
20.18/18.79	c cleaning 14999 clauses out of 30002 with flag 252024/126001
22.89/21.35	c cleaning 16001 clauses out of 32003 with flag 286024/143001
25.49/23.98	c cleaning 17000 clauses out of 34002 with flag 322024/161001
28.32/26.77	c cleaning 17998 clauses out of 36002 with flag 360024/180001
31.17/29.54	c cleaning 18994 clauses out of 38004 with flag 400024/200001
34.11/32.44	c cleaning 19997 clauses out of 40010 with flag 442024/221001
37.23/35.56	c cleaning 21005 clauses out of 42013 with flag 486024/243001
40.45/38.78	c cleaning 21998 clauses out of 44008 with flag 532024/266001
43.78/42.07	c cleaning 22995 clauses out of 46010 with flag 580037/290001
47.31/45.55	c cleaning 24002 clauses out of 48014 with flag 630035/315000
51.18/49.39	c cleaning 25001 clauses out of 50013 with flag 682037/341001
55.06/53.16	c cleaning 26003 clauses out of 52011 with flag 736035/368000
59.22/57.27	c cleaning 27003 clauses out of 54009 with flag 792037/396001
63.94/61.63	c cleaning 27995 clauses out of 56006 with flag 850037/425001
68.31/65.91	c cleaning 28997 clauses out of 58011 with flag 910037/455001
72.86/70.43	c cleaning 30000 clauses out of 60014 with flag 972037/486001
77.33/74.88	c cleaning 30995 clauses out of 62013 with flag 1036035/518000
82.02/79.51	c cleaning 32000 clauses out of 64018 with flag 1102035/551000
86.86/84.32	c cleaning 33002 clauses out of 66018 with flag 1170035/585000
91.84/89.32	c cleaning 33998 clauses out of 68016 with flag 1240035/620000
92.94/90.43	c Got one! Elapsed wall clock time (in seconds):90.293
92.94/90.43	o 2652
93.77/91.23	c cleaning 23931 clauses out of 47872 with flag 10015/633854
94.58/92.07	c cleaning 14962 clauses out of 29940 with flag 22013/639853
95.47/92.94	c cleaning 10980 clauses out of 21978 with flag 36013/646853
96.58/93.92	c cleaning 9495 clauses out of 18998 with flag 52015/654853
97.68/95.01	c cleaning 9245 clauses out of 18503 with flag 70022/663853
98.98/96.34	c cleaning 9621 clauses out of 19258 with flag 90023/673853
100.28/97.68	c cleaning 10314 clauses out of 20637 with flag 112025/684853
101.78/99.16	c cleaning 11156 clauses out of 22324 with flag 136027/696854
103.37/100.78	c cleaning 12078 clauses out of 24168 with flag 162032/709854
105.17/102.50	c cleaning 13032 clauses out of 26090 with flag 190032/723854
107.06/104.44	c cleaning 14022 clauses out of 28058 with flag 220033/738854
109.06/106.47	c cleaning 15014 clauses out of 30036 with flag 252034/754854
111.25/108.64	c cleaning 15999 clauses out of 32021 with flag 286032/771853
113.55/110.98	c cleaning 17004 clauses out of 34023 with flag 322034/789854
116.33/113.60	c cleaning 18001 clauses out of 36018 with flag 360032/808853
119.02/116.30	c cleaning 19000 clauses out of 38017 with flag 400032/828853
122.14/119.26	c cleaning 20004 clauses out of 40017 with flag 442032/849853
125.13/122.27	c cleaning 20996 clauses out of 42014 with flag 486034/871854
128.33/125.46	c cleaning 22002 clauses out of 44018 with flag 532034/894854
131.79/128.82	c cleaning 23003 clauses out of 46016 with flag 580034/918854
135.09/132.16	c cleaning 24001 clauses out of 48013 with flag 630034/943854
138.61/135.66	c cleaning 24999 clauses out of 50012 with flag 682034/969854
142.61/139.69	c cleaning 26000 clauses out of 52012 with flag 736032/996853
146.69/143.71	c cleaning 27002 clauses out of 54013 with flag 792034/1024854
150.68/147.79	c cleaning 28001 clauses out of 56010 with flag 850032/1053853
154.98/152.02	c cleaning 29000 clauses out of 58009 with flag 910032/1083853
159.27/156.31	c cleaning 29997 clauses out of 60010 with flag 972034/1114854
163.97/161.06	c cleaning 30997 clauses out of 62013 with flag 1036034/1146854
169.33/166.10	c cleaning 32004 clauses out of 64016 with flag 1102034/1179854
174.01/170.87	c cleaning 32997 clauses out of 66012 with flag 1170034/1213854
179.61/175.94	c cleaning 34001 clauses out of 68015 with flag 1240034/1248854
185.10/181.33	c cleaning 35001 clauses out of 70014 with flag 1312034/1284854
190.69/186.95	c cleaning 35997 clauses out of 72012 with flag 1386032/1321853
196.52/192.65	c cleaning 36999 clauses out of 74016 with flag 1462034/1359854
202.21/198.38	c cleaning 38002 clauses out of 76016 with flag 1540032/1398853
208.57/204.64	c cleaning 38997 clauses out of 78015 with flag 1620034/1438854
215.25/211.34	c cleaning 40006 clauses out of 80017 with flag 1702032/1479853
221.44/217.57	c cleaning 40999 clauses out of 82011 with flag 1786032/1521853
228.74/224.66	c cleaning 42002 clauses out of 84013 with flag 1872034/1564854
235.42/231.31	c cleaning 42997 clauses out of 86011 with flag 1960034/1608854
242.49/238.23	c cleaning 43999 clauses out of 88014 with flag 2050034/1653854
249.43/245.04	c cleaning 44997 clauses out of 90014 with flag 2142032/1699853
257.14/252.11	c cleaning 46003 clauses out of 92018 with flag 2236051/1746854
264.63/259.52	c cleaning 46998 clauses out of 94015 with flag 2332051/1794854
271.81/266.74	c cleaning 48002 clauses out of 96017 with flag 2430051/1843854
279.74/274.56	c cleaning 49001 clauses out of 98015 with flag 2530051/1893854
287.82/282.67	c cleaning 49995 clauses out of 100014 with flag 2632051/1944854
297.25/291.80	c cleaning 51004 clauses out of 102019 with flag 2736051/1996854
305.53/300.12	c cleaning 51998 clauses out of 104015 with flag 2842051/2049854
313.81/308.35	c cleaning 53000 clauses out of 106017 with flag 2950051/2103854
322.20/316.60	c cleaning 54001 clauses out of 108017 with flag 3060051/2158854
330.21/324.57	c cleaning 54996 clauses out of 110016 with flag 3172051/2214854
339.65/333.29	c cleaning 55999 clauses out of 112020 with flag 3286051/2271854
348.91/342.41	c cleaning 56999 clauses out of 114020 with flag 3402049/2329853
358.29/351.84	c cleaning 57998 clauses out of 116021 with flag 3520049/2388853
368.17/361.60	c cleaning 59006 clauses out of 118023 with flag 3640049/2448853
378.91/372.19	c cleaning 60004 clauses out of 120018 with flag 3762051/2509854
389.33/382.40	c cleaning 60997 clauses out of 122013 with flag 3886049/2571853
399.49/392.44	c cleaning 61999 clauses out of 124017 with flag 4012051/2634854
410.53/402.70	c cleaning 63002 clauses out of 126017 with flag 4140049/2698853
421.04/413.26	c cleaning 63998 clauses out of 128015 with flag 4270049/2763853
431.59/423.67	c cleaning 64999 clauses out of 130017 with flag 4402049/2829853
442.76/434.89	c cleaning 66002 clauses out of 132018 with flag 4536061/2896853
454.23/446.16	c cleaning 67001 clauses out of 134016 with flag 4672098/2964853
458.60/450.46	c Got one! Elapsed wall clock time (in seconds):450.323
458.60/450.46	o 2651
460.10/451.92	c cleaning 51391 clauses out of 102797 with flag 10004/3000635
461.10/452.95	c cleaning 28695 clauses out of 57405 with flag 22003/3006634
462.10/453.96	c cleaning 17851 clauses out of 35710 with flag 36003/3013634
463.10/455.00	c cleaning 12922 clauses out of 25859 with flag 52006/3021634
464.30/456.19	c cleaning 10963 clauses out of 21937 with flag 70006/3030634
465.69/457.52	c cleaning 10476 clauses out of 20975 with flag 90039/3040635
467.19/459.05	c cleaning 10743 clauses out of 21498 with flag 112047/3051634
468.69/460.58	c cleaning 11373 clauses out of 22755 with flag 136064/3063634
470.48/462.31	c cleaning 12181 clauses out of 24382 with flag 162064/3076634
472.49/464.35	c cleaning 13091 clauses out of 26201 with flag 190064/3090634
474.59/466.44	c cleaning 14051 clauses out of 28111 with flag 220076/3105635
476.88/468.72	c cleaning 15024 clauses out of 30060 with flag 252076/3121635
479.08/470.98	c cleaning 16009 clauses out of 32036 with flag 286256/3138635
481.57/473.43	c cleaning 17006 clauses out of 34027 with flag 322256/3156635
484.07/475.97	c cleaning 18002 clauses out of 36021 with flag 360256/3175635
486.86/478.72	c cleaning 19002 clauses out of 38018 with flag 400264/3195634
490.02/481.82	c cleaning 20001 clauses out of 40016 with flag 442264/3216634
493.02/484.82	c cleaning 20996 clauses out of 42015 with flag 486264/3238634
495.91/487.76	c cleaning 22003 clauses out of 44019 with flag 532264/3261634
499.10/490.95	c cleaning 23002 clauses out of 46016 with flag 580264/3285634
502.60/494.44	c cleaning 24002 clauses out of 48014 with flag 630264/3310634
506.20/498.03	c cleaning 24997 clauses out of 50012 with flag 682264/3336634
510.17/501.98	c cleaning 25997 clauses out of 52015 with flag 736264/3363634
514.06/505.87	c cleaning 26998 clauses out of 54018 with flag 792264/3391634
518.05/509.83	c cleaning 28001 clauses out of 56020 with flag 850264/3420634
522.25/514.06	c cleaning 29000 clauses out of 58019 with flag 910264/3450634
526.73/518.58	c cleaning 30005 clauses out of 60019 with flag 972264/3481634
531.59/523.37	c cleaning 30996 clauses out of 62014 with flag 1036264/3513634
536.48/528.22	c cleaning 32001 clauses out of 64019 with flag 1102333/3546635
541.37/533.18	c cleaning 32999 clauses out of 66018 with flag 1170333/3580635
546.45/538.29	c cleaning 34003 clauses out of 68019 with flag 1240333/3615635
551.82/543.58	c cleaning 35001 clauses out of 70016 with flag 1312333/3651635
557.61/549.34	c cleaning 35993 clauses out of 72015 with flag 1386355/3688635
563.31/555.05	c cleaning 37003 clauses out of 74022 with flag 1462355/3726635
568.99/560.73	c cleaning 37997 clauses out of 76019 with flag 1540355/3765635
574.94/566.32	c cleaning 38999 clauses out of 78022 with flag 1620355/3805635
581.02/572.47	c cleaning 39998 clauses out of 80022 with flag 1702380/3846634
586.81/578.21	c cleaning 41004 clauses out of 82024 with flag 1786380/3888634
593.04/584.48	c cleaning 41999 clauses out of 84020 with flag 1872380/3931634
599.43/590.84	c cleaning 43003 clauses out of 86021 with flag 1960395/3975634
605.72/597.15	c cleaning 44000 clauses out of 88019 with flag 2050419/4020635
612.30/603.71	c cleaning 44998 clauses out of 90019 with flag 2142419/4066635
618.79/610.29	c cleaning 45997 clauses out of 92021 with flag 2236419/4113635
626.37/617.72	c cleaning 47004 clauses out of 94023 with flag 2332417/4161634
633.66/625.08	c cleaning 47997 clauses out of 96020 with flag 2430419/4210635
641.14/632.52	c cleaning 49000 clauses out of 98022 with flag 2530417/4260634
648.53/639.98	c cleaning 50004 clauses out of 100023 with flag 2632419/4311635
657.40/648.80	c cleaning 51000 clauses out of 102019 with flag 2736419/4363635
665.74/657.05	c cleaning 52001 clauses out of 104018 with flag 2842417/4416634
674.12/665.44	c cleaning 52997 clauses out of 106018 with flag 2950419/4470635
682.60/673.97	c cleaning 54002 clauses out of 108021 with flag 3060419/4525635
690.89/682.28	c cleaning 54995 clauses out of 110018 with flag 3172417/4581634
699.87/691.23	c cleaning 55999 clauses out of 112023 with flag 3286417/4638634
709.52/700.73	c cleaning 57005 clauses out of 114025 with flag 3402419/4696635
718.81/710.07	c cleaning 57998 clauses out of 116020 with flag 3520419/4755635
728.39/719.63	c cleaning 59002 clauses out of 118022 with flag 3640419/4815635
738.99/729.44	c cleaning 60004 clauses out of 120020 with flag 3762419/4876635
748.97/739.44	c cleaning 61002 clauses out of 122016 with flag 3886419/4938635
760.56/750.81	c cleaning 61996 clauses out of 124014 with flag 4012419/5001635
771.34/761.65	c cleaning 62999 clauses out of 126018 with flag 4140419/5065635
783.05/773.12	c cleaning 63998 clauses out of 128018 with flag 4270417/5130634
794.04/783.96	c cleaning 65003 clauses out of 130021 with flag 4402419/5196635
805.90/795.08	c cleaning 66002 clauses out of 132018 with flag 4536427/5263635
816.79/805.92	c cleaning 67000 clauses out of 134015 with flag 4672425/5331634
827.86/816.97	c cleaning 67997 clauses out of 136016 with flag 4810427/5400635
840.01/828.98	c cleaning 68999 clauses out of 138019 with flag 4950427/5470635
852.97/841.70	c cleaning 70007 clauses out of 140019 with flag 5092425/5541634
865.31/854.00	c cleaning 70999 clauses out of 142013 with flag 5236427/5613635
877.55/865.38	c cleaning 71996 clauses out of 144014 with flag 5382427/5686635
890.66/878.49	c cleaning 73004 clauses out of 146017 with flag 5530425/5760634
904.43/892.18	c cleaning 73997 clauses out of 148014 with flag 5680427/5835635
916.98/904.60	c cleaning 75004 clauses out of 150017 with flag 5832427/5911635
931.62/919.11	c cleaning 75997 clauses out of 152013 with flag 5986427/5988635
945.59/933.00	c cleaning 77000 clauses out of 154015 with flag 6142426/6066634
960.78/948.05	c cleaning 77998 clauses out of 156015 with flag 6300433/6145634
975.99/962.47	c cleaning 79003 clauses out of 158017 with flag 6460433/6225634
991.28/977.79	c cleaning 80000 clauses out of 160015 with flag 6622445/6306635
1006.52/992.90	c cleaning 80999 clauses out of 162015 with flag 6786471/6388635
1020.87/1007.21	c cleaning 82001 clauses out of 164016 with flag 6952471/6471635
1036.05/1022.33	c cleaning 83001 clauses out of 166014 with flag 7120469/6555634
1050.40/1036.56	c cleaning 83999 clauses out of 168013 with flag 7290469/6640634
1064.82/1050.87	c cleaning 84996 clauses out of 170015 with flag 7462471/6726635
1080.62/1065.72	c cleaning 86000 clauses out of 172018 with flag 7636469/6813634
1097.03/1082.02	c cleaning 86999 clauses out of 174018 with flag 7812469/6901634
1112.20/1097.11	c cleaning 88001 clauses out of 176019 with flag 7990469/6990634
1127.35/1112.20	c cleaning 88998 clauses out of 178018 with flag 8170469/7080634
1142.69/1127.53	c cleaning 90000 clauses out of 180020 with flag 8352469/7171634
1157.71/1142.51	c cleaning 91003 clauses out of 182021 with flag 8536471/7263635
1173.12/1157.95	c cleaning 92003 clauses out of 184018 with flag 8722471/7356635
1190.73/1174.83	c cleaning 93000 clauses out of 186015 with flag 8910471/7450635
1207.66/1191.73	c cleaning 93997 clauses out of 188015 with flag 9100471/7545635
1225.75/1209.60	c cleaning 95002 clauses out of 190018 with flag 9292471/7641635
1243.13/1227.05	c cleaning 95999 clauses out of 192015 with flag 9486469/7738634
1261.29/1245.13	c cleaning 97002 clauses out of 194017 with flag 9682471/7836635
1280.47/1264.29	c cleaning 98002 clauses out of 196015 with flag 9880471/7935635
1301.12/1284.71	c cleaning 98998 clauses out of 198013 with flag 10080471/8035635
1322.04/1304.49	c cleaning 99998 clauses out of 200015 with flag 10282471/8136635
1342.44/1324.53	c cleaning 101002 clauses out of 202017 with flag 10486471/8238635
1364.83/1345.40	c cleaning 101997 clauses out of 204014 with flag 10692469/8341634
1385.86/1366.25	c cleaning 103001 clauses out of 206017 with flag 10900471/8445634
1409.29/1389.52	c cleaning 103998 clauses out of 208016 with flag 11110471/8550634
1432.48/1411.39	c cleaning 105004 clauses out of 210018 with flag 11322471/8656634
1455.19/1434.04	c cleaning 105999 clauses out of 212015 with flag 11536473/8763635
1476.86/1455.33	c cleaning 106997 clauses out of 214016 with flag 11752473/8871635
1498.87/1477.23	c cleaning 107999 clauses out of 216018 with flag 11970487/8980634
1520.33/1498.45	c cleaning 109006 clauses out of 218020 with flag 12190489/9090635
1540.17/1517.25	c cleaning 109997 clauses out of 220013 with flag 12412493/9201634
1559.00/1535.81	c cleaning 111000 clauses out of 222016 with flag 12636493/9313634
1578.00/1554.77	c cleaning 112000 clauses out of 224017 with flag 12862495/9426635
1598.23/1574.73	c cleaning 113000 clauses out of 226016 with flag 13090493/9540634
1619.04/1595.24	c cleaning 114000 clauses out of 228017 with flag 13320495/9655635
1641.96/1616.94	c cleaning 115000 clauses out of 230016 with flag 13552493/9771634
1661.89/1636.72	c cleaning 115999 clauses out of 232016 with flag 13786499/9888634
1683.34/1657.94	c cleaning 116998 clauses out of 234018 with flag 14022501/10006635
1706.68/1680.93	c cleaning 117997 clauses out of 236020 with flag 14260507/10125635
1731.63/1704.33	c cleaning 119003 clauses out of 238023 with flag 14500507/10245635
1753.53/1726.16	c cleaning 120000 clauses out of 240020 with flag 14742507/10366635
1774.95/1747.38	c cleaning 121000 clauses out of 242020 with flag 14986507/10488635
1797.48/1769.55	c cleaning 122002 clauses out of 244020 with flag 15232507/10611635
1822.02/1792.70	c cleaning 123001 clauses out of 246018 with flag 15480507/10735635
1843.60/1814.03	c cleaning 123997 clauses out of 248016 with flag 15730505/10860634
1865.91/1836.02	c cleaning 125000 clauses out of 250020 with flag 15982507/10986635
1888.80/1857.44	c cleaning 126000 clauses out of 252020 with flag 16236541/11113635
1912.81/1881.36	c cleaning 127000 clauses out of 254020 with flag 16492560/11241635
1938.42/1906.78	c cleaning 127999 clauses out of 256020 with flag 16750560/11370635
1961.61/1929.62	c cleaning 128999 clauses out of 258020 with flag 17010558/11500634
1986.53/1953.36	c cleaning 130002 clauses out of 260021 with flag 17272558/11631634
2010.40/1976.91	c cleaning 131000 clauses out of 262019 with flag 17536558/11763634
2034.93/2001.11	c cleaning 131998 clauses out of 264019 with flag 17802558/11896634
2061.52/2025.86	c cleaning 133004 clauses out of 266022 with flag 18070560/12030635
2088.53/2052.62	c cleaning 134003 clauses out of 268018 with flag 18340560/12165635
2115.03/2078.86	c cleaning 134996 clauses out of 270015 with flag 18612560/12301635
2143.71/2105.72	c cleaning 136001 clauses out of 272019 with flag 18886560/12438635
2171.42/2133.21	c cleaning 136997 clauses out of 274018 with flag 19162560/12576635
2198.41/2159.98	c cleaning 138007 clauses out of 276021 with flag 19440560/12715635
2224.18/2185.41	c cleaning 139003 clauses out of 278013 with flag 19720562/12855634
2253.94/2213.96	c cleaning 139995 clauses out of 280010 with flag 20002562/12996634
2283.76/2243.58	c cleaning 141003 clauses out of 282015 with flag 20286562/13138634
2312.56/2272.07	c cleaning 141996 clauses out of 284012 with flag 20572562/13281634
2341.11/2300.39	c cleaning 142997 clauses out of 286017 with flag 20860568/13425635
2372.14/2329.58	c cleaning 144000 clauses out of 288020 with flag 21150568/13570635
2403.55/2360.62	c cleaning 145003 clauses out of 290020 with flag 21442568/13716635
2431.73/2388.57	c cleaning 146002 clauses out of 292016 with flag 21736566/13863634
2460.18/2416.70	c cleaning 147002 clauses out of 294015 with flag 22032568/14011635
2490.42/2445.54	c cleaning 147996 clauses out of 296013 with flag 22330568/14160635
2521.69/2476.56	c cleaning 149001 clauses out of 298016 with flag 22630566/14310634
2549.15/2503.73	c cleaning 149999 clauses out of 300015 with flag 22932566/14461634
2576.20/2530.51	c cleaning 150999 clauses out of 302017 with flag 23236568/14613635
2603.87/2558.00	c cleaning 152001 clauses out of 304017 with flag 23542566/14766634
2633.48/2586.05	c cleaning 153000 clauses out of 306017 with flag 23850604/14920635
2666.72/2619.09	c cleaning 154001 clauses out of 308017 with flag 24160667/15075635
2699.20/2651.20	c cleaning 154999 clauses out of 310015 with flag 24472671/15231634
2728.32/2679.95	c cleaning 155997 clauses out of 312016 with flag 24786671/15388634
2760.72/2710.65	c cleaning 157000 clauses out of 314019 with flag 25102671/15546634
2791.91/2741.53	c cleaning 157998 clauses out of 316019 with flag 25420671/15705634
2822.52/2771.93	c cleaning 158999 clauses out of 318021 with flag 25740684/15865634
2854.81/2803.84	c cleaning 159998 clauses out of 320023 with flag 26062686/16026635
2888.55/2835.86	c cleaning 161000 clauses out of 322025 with flag 26386687/16188635
2919.12/2866.18	c cleaning 162003 clauses out of 324025 with flag 26712687/16351635
2948.90/2895.54	c cleaning 163001 clauses out of 326022 with flag 27040687/16515635
2979.08/2925.49	c cleaning 163998 clauses out of 328020 with flag 27370685/16680634
3014.68/2959.46	c cleaning 164999 clauses out of 330022 with flag 27702685/16846634
3045.30/2989.80	c cleaning 166002 clauses out of 332023 with flag 28036685/17013634
3078.03/3022.18	c cleaning 167000 clauses out of 334022 with flag 28372702/17181635
3109.42/3053.24	c cleaning 168001 clauses out of 336021 with flag 28710700/17350634
3141.89/3084.03	c cleaning 169006 clauses out of 338021 with flag 29050702/17520635
3176.96/3118.76	c cleaning 169997 clauses out of 340015 with flag 29392702/17691635
3211.03/3152.51	c cleaning 170996 clauses out of 342018 with flag 29736702/17863635
3243.69/3182.62	c cleaning 172001 clauses out of 344021 with flag 30082701/18036634
3274.23/3212.96	c cleaning 172997 clauses out of 346020 with flag 30430701/18210634
3304.86/3243.32	c cleaning 174006 clauses out of 348023 with flag 30780701/18385634
3326.56/3264.70	c Got one! Elapsed wall clock time (in seconds):3264.568
3326.56/3264.70	o 2650
3332.32/3270.40	c cleaning 159723 clauses out of 319453 with flag 10856/18531070
3336.21/3274.35	c cleaning 82860 clauses out of 165730 with flag 23586/18537070
3337.80/3275.92	c cleaning 44932 clauses out of 89870 with flag 38398/18544070
3338.70/3276.89	c cleaning 26463 clauses out of 52938 with flag 55339/18552070
3339.98/3277.80	c cleaning 17734 clauses out of 35475 with flag 74814/18561070
3340.68/3278.54	c cleaning 13863 clauses out of 27742 with flag 96440/18571071
3341.38/3279.22	c cleaning 12433 clauses out of 24879 with flag 119718/18582071
3342.08/3279.98	c cleaning 12217 clauses out of 24446 with flag 144871/18594071
3342.98/3280.80	c cleaning 12610 clauses out of 25228 with flag 172118/18607070
3343.98/3281.81	c cleaning 13309 clauses out of 26619 with flag 201664/18621071
3345.07/3282.92	c cleaning 14153 clauses out of 28310 with flag 233323/18636071
3346.37/3284.20	c cleaning 15075 clauses out of 30156 with flag 267119/18652070
3347.57/3285.44	c cleaning 16037 clauses out of 32082 with flag 303048/18669071
3348.67/3286.59	c cleaning 17016 clauses out of 34044 with flag 340879/18687070
3350.19/3288.01	c cleaning 18013 clauses out of 36028 with flag 381302/18706070
3351.29/3289.12	c cleaning 19007 clauses out of 38016 with flag 423688/18726071
3352.58/3290.45	c cleaning 20000 clauses out of 40009 with flag 467977/18747071
3354.07/3291.90	c cleaning 21003 clauses out of 42009 with flag 514347/18769071
3355.47/3293.34	c cleaning 21997 clauses out of 44005 with flag 562687/18792070
3356.97/3294.80	c cleaning 23004 clauses out of 46009 with flag 613554/18816071
3358.57/3296.42	c cleaning 23998 clauses out of 48004 with flag 666372/18841070
3360.43/3298.24	c cleaning 24998 clauses out of 50006 with flag 720944/18867070
3362.22/3300.01	c cleaning 26000 clauses out of 52008 with flag 777801/18894070
3364.10/3301.95	c cleaning 27000 clauses out of 54008 with flag 837027/18922070
3366.30/3304.15	c cleaning 27997 clauses out of 56008 with flag 898690/18951070
3368.29/3306.17	c cleaning 29002 clauses out of 58011 with flag 962771/18981070
3370.59/3308.43	c cleaning 30003 clauses out of 60009 with flag 1028357/19012070
3373.37/3311.05	c cleaning 30999 clauses out of 62007 with flag 1095877/19044071
3375.96/3313.62	c cleaning 32001 clauses out of 64007 with flag 1165594/19077070
3378.58/3316.21	c cleaning 33000 clauses out of 66007 with flag 1237255/19111071
3380.87/3318.59	c cleaning 33999 clauses out of 68006 with flag 1310981/19146070
3383.17/3320.81	c cleaning 35002 clauses out of 70007 with flag 1386918/19182070
3386.16/3323.68	c cleaning 35996 clauses out of 72005 with flag 1465231/19219070
3388.56/3326.06	c cleaning 37005 clauses out of 74009 with flag 1545537/19257070
3391.05/3328.58	c cleaning 38000 clauses out of 76004 with flag 1628165/19296070
3393.84/3331.30	c cleaning 38996 clauses out of 78004 with flag 1712443/19336070
3396.98/3334.35	c cleaning 40004 clauses out of 80009 with flag 1798939/19377071
3399.78/3337.18	c cleaning 40999 clauses out of 82004 with flag 1887384/19419070
3402.57/3339.95	c cleaning 42003 clauses out of 84006 with flag 1977728/19462071
3406.12/3343.32	c cleaning 42996 clauses out of 86002 with flag 2070490/19506070
3409.21/3346.45	c cleaning 44001 clauses out of 88006 with flag 2165392/19551070
3412.30/3349.59	c cleaning 45001 clauses out of 90005 with flag 2262421/19597070
3415.40/3352.60	c cleaning 45998 clauses out of 92005 with flag 2361284/19644071
3418.62/3355.74	c cleaning 46998 clauses out of 94006 with flag 2462175/19692070
3422.12/3359.21	c cleaning 47997 clauses out of 96008 with flag 2565533/19741070
3425.52/3362.65	c cleaning 49003 clauses out of 98011 with flag 2670910/19791070
3429.04/3366.08	c cleaning 50002 clauses out of 100008 with flag 2778227/19842070
3432.53/3369.52	c cleaning 51001 clauses out of 102006 with flag 2887968/19894070
3436.82/3373.84	c cleaning 51999 clauses out of 104005 with flag 3000342/19947070
3441.34/3378.22	c cleaning 52997 clauses out of 106006 with flag 3114702/20001070
3445.34/3382.23	c cleaning 53999 clauses out of 108009 with flag 3231013/20056070
3451.22/3387.31	c cleaning 55002 clauses out of 110010 with flag 3349751/20112070
3455.11/3391.26	c cleaning 56001 clauses out of 112008 with flag 3470171/20169070
3459.41/3395.47	c cleaning 56999 clauses out of 114008 with flag 3592462/20227071
3463.40/3399.41	c cleaning 58004 clauses out of 116008 with flag 3716540/20286070
3467.71/3403.69	c cleaning 58997 clauses out of 118005 with flag 3843630/20346071
3472.21/3408.15	c cleaning 60002 clauses out of 120007 with flag 3972572/20407070
3476.95/3412.76	c cleaning 61002 clauses out of 122006 with flag 4103728/20469071
3481.04/3416.82	c cleaning 62002 clauses out of 124004 with flag 4236950/20532071
3486.04/3421.80	c cleaning 62993 clauses out of 126001 with flag 4372972/20596070
3490.87/3426.51	c cleaning 63998 clauses out of 128008 with flag 4510358/20661070
3495.26/3430.95	c cleaning 65001 clauses out of 130010 with flag 4649649/20727070
3499.97/3435.58	c cleaning 66001 clauses out of 132010 with flag 4790679/20794071
3504.66/3440.23	c cleaning 66998 clauses out of 134008 with flag 4934511/20862070
3510.17/3445.62	c cleaning 68005 clauses out of 136010 with flag 5081430/20931070
3515.07/3450.54	c cleaning 68994 clauses out of 138006 with flag 5230020/21001071
3520.59/3455.94	c cleaning 69999 clauses out of 140011 with flag 5380435/21072070
3525.87/3461.21	c cleaning 71002 clauses out of 142013 with flag 5532109/21144071
3531.66/3466.32	c cleaning 72003 clauses out of 144011 with flag 5685965/21217071
3536.76/3471.36	c cleaning 73001 clauses out of 146008 with flag 5841975/21291071
3541.53/3476.19	c cleaning 73997 clauses out of 148007 with flag 5999970/21366071
3547.07/3481.59	c cleaning 75005 clauses out of 150009 with flag 6160253/21442070
3552.57/3487.04	c cleaning 76003 clauses out of 152005 with flag 6322593/21519071
3558.95/3493.27	c cleaning 76997 clauses out of 154001 with flag 6487494/21597070
3564.53/3498.83	c cleaning 77997 clauses out of 156005 with flag 6653778/21676071
3570.19/3504.30	c cleaning 79004 clauses out of 158007 with flag 6822150/21756070
3576.54/3510.52	c cleaning 80002 clauses out of 160003 with flag 6993444/21837070
3582.69/3516.70	c cleaning 80996 clauses out of 162001 with flag 7166393/21919070
3588.45/3522.46	c cleaning 82000 clauses out of 164006 with flag 7341147/22002071
3594.43/3528.26	c cleaning 83000 clauses out of 166006 with flag 7517560/22086071
3600.08/3533.01	c starts		: 72036
3600.08/3533.03	c conflicts		: 22157548
3600.08/3533.03	c decisions		: 38073505
3600.08/3533.03	c propagations		: 391534884
3600.08/3533.03	c inspects		: 5589661997
3600.08/3533.03	c shortcuts		: 0
3600.08/3533.03	c learnt literals	: 0
3600.08/3533.03	c learnt binary clauses	: 0
3600.08/3533.03	c learnt ternary clauses	: 0
3600.08/3533.03	c learnt constraints	: 22157548
3600.08/3533.03	c ignored constraints	: 0
3600.08/3533.03	c root simplifications	: 0
3600.08/3533.03	c removed literals (reason simplification)	: 220933867
3600.08/3533.03	c reason swapping (by a shorter reason)	: 0
3600.08/3533.03	c Calls to reduceDB	: 346
3600.08/3533.03	c Number of update (reduction) of LBD	: 29937
3600.08/3533.03	c Imported unit clauses	: 0
3600.08/3533.03	c No decision after first conflict	: false
3600.08/3533.03	c number of reductions to clauses (during analyze)	: 0
3600.08/3533.03	c number of learned constraints concerned by reduction	: 0
3600.08/3533.03	c number of learning phase by resolution	: 0
3600.08/3533.03	c number of learning phase by cutting planes	: 0
3600.08/3533.03	c number of rounding to 1 operations	: 0
3600.08/3533.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3533.03	c number of reductions of the coefficients by power 2 	: 0
3600.08/3533.03	c number of right shift for reduction by power 2 	: 0
3600.08/3533.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3533.03	c number of ending skipping 	: 0
3600.08/3533.03	c number of internal skipping 	: 0
3600.08/3533.03	c number of derivation steps 	: 0
3600.08/3533.03	c number of skipped derivation steps 	: 0
3600.08/3533.03	c number of remaining unassigned 	: 0
3600.08/3533.04	c number of remaining assigned 	: 0
3600.08/3533.04	c number of falsified literals weakened from reason	: 0
3600.08/3533.04	c number of falsified literals weakened from conflict	: 0
3600.08/3533.04	c time for arithmetic operations	: 0
3600.08/3533.04	c minimum degree of deleted constraints	: null
3600.08/3533.04	c maximum degree of deleted constraints	: null
3600.08/3533.04	c number of deleted constraints	: 0
3600.08/3533.05	c speed (assignments/second)	: 110827.54732042017
3600.08/3533.05	c non guided choices	: 55
3600.08/3533.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 154483
3600.08/3533.10	s SATISFIABLE
3600.08/3533.10	c Found 4 solution(s)
3600.28/3533.11	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 -x251 -x252 -x253 -x254 x255 x256 x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 x432 x433 x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 x458 -x459 x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 x541 x542 -x543 x544 x545 -x546 x547 -x548 x549 x550 x551 x552 -x553 -x554 x555 x556 x557 -x558 x559 x560 -x561 x562 x563 -x564 x565 -x566 x567 x568 x569 -x570 x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 x711 x712 x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 x724 -x725 x726 x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 x735 x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 x754 -x755 -x756 -x757 -x758 x759 x760 -x761 x762 -x763 x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 x773 -x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 x850 x851 x852 x853 x854 -x855 x856 -x857 -x858 x859 -x860 -x861 x862 x863 x864 x865 x866 -x867 x868 -x869 -x870 x871 x872 x873 x874 -x875 -x876 x877 x878 x879 x880 x881 x882 -x883 x884 x885 -x886 x887 -x888 x889 x890 x891 x892 -x893 -x894 -x895 -x896 x897 -x898 x899 x900 x901 x902 -x903 x904 x905 x906 -x907 
3600.28/3533.11	c objective function=2650
3600.28/3533.11	c Total wall clock time (in seconds): 3532.98

Verifier Data 

OK	2650

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484132-1751277269/watcher-4484132-1751277269 -o /tmp/evaluation-result-4484132-1751277269/solver-4484132-1751277269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36242 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4484132-1751277269.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=37326, runsolver pid=37323

[startup+0.10006 s]*
/proc/loadavg: 4.22 4.13 4.14 5/337 37344
/proc/meminfo: memFree=127396600/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18930384 memory=57676 CPUtime=0.12 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 6565 0 0 0 10 2 0 0 20 0 18 0 43404387 19384713216 14419 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4732596 14419 5340 1 0 547619 0
[pid=37326/tid=37328] ppid=37323 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 5067 0 0 0 6 1 0 0 20 0 18 0 43404388 19384713216 14419 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43404390 19384713216 14419 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18930384 memory=56286469452864 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43404391 19384713216 14419 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57676 KiB

[startup+0.205638 s]*
/proc/loadavg: 4.22 4.13 4.14 7/337 37344
/proc/meminfo: memFree=127390740/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18930384 memory=66768 CPUtime=0.32 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 7196 0 0 0 29 3 0 0 20 0 18 0 43404387 19384713216 16692 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4732596 16692 5468 1 0 548049 0
[pid=37326/tid=37328] ppid=37323 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 5361 0 0 0 14 2 0 0 20 0 18 0 43404388 19384713216 16692 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18930384 memory=2621 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43404390 19384713216 16692 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18930384 memory=55186957796323 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43404391 19384713216 16692 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66768 KiB

[startup+0.305556 s]*
/proc/loadavg: 4.22 4.13 4.14 6/338 37345
/proc/meminfo: memFree=127385448/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18996948 memory=70912 CPUtime=0.51 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 8834 0 0 0 48 3 0 0 20 0 19 0 43404387 19452874752 17728 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4749237 17728 5468 1 0 549241 0
[pid=37326/tid=37328] ppid=37323 vsize=18996948 memory=-6000919494231811436 CPUtime=0.25 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 5446 0 0 0 23 2 0 0 20 0 19 0 43404388 19452874752 17728 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43404390 19452874752 17728 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43404391 19452874752 17728 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43404409 19452874752 17728 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70912 KiB

[startup+0.700224 s]
/proc/loadavg: 4.22 4.13 4.14 6/338 37345
/proc/meminfo: memFree=127380344/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18996948 memory=88816 CPUtime=1.27 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 12194 0 0 0 123 4 0 0 20 0 19 0 43404387 19452874752 22204 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4749237 22204 5500 1 0 551537 0
[pid=37326/tid=37328] ppid=37323 vsize=18996948 memory=17536 CPUtime=0.63 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 5455 0 0 0 61 2 0 0 20 0 19 0 43404388 19452874752 22204 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43404390 19452874752 22204 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43404391 19452874752 22204 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43404409 19452874752 22204 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88816 KiB

[startup+1.50024 s]
/proc/loadavg: 4.22 4.13 4.14 6/338 37345
/proc/meminfo: memFree=127358732/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18996948 memory=111428 CPUtime=2.49 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 16852 0 0 0 245 4 0 0 20 0 19 0 43404387 19452874752 27857 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4749237 27857 5500 1 0 552012 0
[pid=37326/tid=37328] ppid=37323 vsize=18996948 memory=10752 CPUtime=1.42 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 6418 0 0 0 140 2 0 0 20 0 19 0 43404388 19452874752 27857 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43404390 19452874752 27857 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43404391 19452874752 27857 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43404409 19452874752 27857 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111428 KiB

[startup+3.10542 s]
/proc/loadavg: 4.20 4.13 4.14 5/338 37345
/proc/meminfo: memFree=127222904/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=18996948 memory=158752 CPUtime=4.32 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 17908 0 0 0 426 6 0 0 20 0 19 0 43404387 19452874752 39688 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4749237 39688 5500 1 0 552021 0
[pid=37326/tid=37328] ppid=37323 vsize=18996948 memory=10752 CPUtime=3.01 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 6737 0 0 0 298 3 0 0 20 0 19 0 43404388 19452874752 39688 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=18996948 memory=-6000919494231811436 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43404390 19452874752 39688 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43404391 19452874752 39688 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43404409 19452874752 39688 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158752 KiB

[startup+6.30021 s]
/proc/loadavg: 4.20 4.13 4.14 5/339 37346
/proc/meminfo: memFree=126992528/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=197756 CPUtime=7.53 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 19304 0 0 0 747 6 0 0 20 0 20 0 43404387 19521036288 49439 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 49439 5500 1 0 552312 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=0 CPUtime=6.17 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 6755 0 0 0 614 3 0 0 20 0 20 0 43404388 19521036288 49439 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 49439 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 49439 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=115524 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 49439 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.14 5/339 37346
/proc/meminfo: memFree=126497684/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=361844 CPUtime=14.1 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 22700 0 0 0 1399 11 0 0 20 0 20 0 43404387 19521036288 90461 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 90461 5500 1 0 552328 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=115524 CPUtime=12.38 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 7535 0 0 0 1235 3 0 0 20 0 20 0 43404388 19521036288 90461 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 90461 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=308508 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 90461 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 90461 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 361844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.14 5/339 37346
/proc/meminfo: memFree=125819584/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=607716 CPUtime=27.12 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 25994 0 0 0 2697 15 0 0 20 0 20 0 43404387 19521036288 151929 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 151929 5500 1 0 552328 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=10752 CPUtime=24.93 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 8593 0 0 0 2490 3 0 0 20 0 20 0 43404388 19521036288 151929 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=308508 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 151929 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 151929 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 151929 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 607716 KiB

[startup+51.1056 s]
/proc/loadavg: 4.22 4.14 4.14 6/339 37347
/proc/meminfo: memFree=125029592/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=1091312 CPUtime=53.07 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 27628 0 0 0 5281 26 0 0 20 0 20 0 43404387 19521036288 272828 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 272828 5532 1 0 552328 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=1091312 CPUtime=50.06 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 8952 0 0 0 5003 3 0 0 20 0 20 0 43404388 19521036288 272828 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0

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

[startup+3222.3 s]
/proc/loadavg: 2.43 2.92 3.31 3/291 37584
/proc/meminfo: memFree=111620812/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=3612636 CPUtime=3283.68 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 159469 0 0 0 328187 181 0 0 20 0 20 0 43404387 19521036288 903159 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 903159 5564 1 0 971129 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=3611612 CPUtime=3179.5 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 49256 0 0 0 317898 52 0 0 20 0 20 0 43404388 19521036288 903159 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=3611612 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 903159 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=3612636 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 976 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 903159 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 903159 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3283.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3612636 KiB

[startup+3282.3 s]
/proc/loadavg: 2.35 2.80 3.25 3/289 37586
/proc/meminfo: memFree=112334116/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875072 CPUtime=3344.48 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 161725 0 0 0 334265 183 0 0 20 0 20 0 43404387 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718768 5564 1 0 731020 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=-6000919494231811436 CPUtime=3238.85 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 50081 0 0 0 323833 52 0 0 20 0 20 0 43404388 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=3612636 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3344.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875072 KiB

[startup+3342.3 s]
/proc/loadavg: 2.17 2.67 3.17 3/289 37588
/proc/meminfo: memFree=112342992/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875072 CPUtime=3404.96 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 164871 0 0 0 340312 184 0 0 20 0 20 0 43404387 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718768 5564 1 0 731022 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=10752 CPUtime=3298.08 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 51123 0 0 0 329756 52 0 0 20 0 20 0 43404388 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=2875072 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1037 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718768 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3404.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875072 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.57 3.10 4/288 37590
/proc/meminfo: memFree=112343368/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875200 CPUtime=3466.42 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 169201 0 0 0 346455 187 0 0 20 0 20 0 43404387 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718800 5564 1 0 731057 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=2875072 CPUtime=3356.88 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 52611 0 0 0 335636 52 0 0 20 0 20 0 43404388 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=2875072 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=2875072 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1039 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3466.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875200 KiB

[startup+3462.3 s]
/proc/loadavg: 2.18 2.50 3.04 4/288 37592
/proc/meminfo: memFree=112354224/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875200 CPUtime=3527.61 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 169659 0 0 0 352572 189 0 0 20 0 20 0 43404387 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718800 5564 1 0 731057 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=2875072 CPUtime=3415.86 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 52845 0 0 0 341534 52 0 0 20 0 20 0 43404388 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=2875072 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=7438895033846111764 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3527.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875200 KiB

[startup+3522.3 s]
/proc/loadavg: 1.58 2.27 2.93 2/264 37628
/proc/meminfo: memFree=126907528/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875200 CPUtime=3588.35 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 172483 0 0 0 358642 193 0 0 20 0 20 0 43404387 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718800 5564 1 0 731073 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=4764 CPUtime=3474.65 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 53655 0 0 0 347410 55 0 0 20 0 20 0 43404388 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=2875200 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=2875200 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3533 s]*
/proc/loadavg: 1.49 2.22 2.91 2/264 37629
/proc/meminfo: memFree=126914368/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19063512 memory=2875200 CPUtime=3600.08 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 174518 0 0 0 359814 194 0 0 20 0 20 0 43404387 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4765878 718800 5564 1 0 731073 0
[pid=37326/tid=37328] ppid=37323 vsize=19063512 memory=10752 CPUtime=3484.94 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 54081 0 0 0 348439 55 0 0 20 0 20 0 43404388 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19063512 memory=7438895033846111764 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43404390 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19063512 memory=21824 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 20 0 43404391 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37345] ppid=37323 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/37326/task/37345/stat : 37345 (Timer-0) S 37323 37326 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43404409 19521036288 718800 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2875200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.36 s, system=1.95823 s

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

[startup+3533.11 s]
/proc/loadavg: 1.49 2.22 2.91 2/264 37629
/proc/meminfo: memFree=126914368/131249996 swapFree=33010684/33010684
[pid=37326] ppid=37323 vsize=19263204 memory=2876096 CPUtime=3600.28 cores=0,2
/proc/37326/stat : 37326 (java) S 37323 37326 35566 0 -1 4194304 175887 0 0 0 359834 194 0 0 20 0 21 0 43404387 19725520896 719024 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
/proc/37326/statm: 4815801 719024 5596 1 0 732028 0
[pid=37326/tid=37328] ppid=37323 vsize=19263204 memory=2875200 CPUtime=3485.04 cores=0,2
/proc/37326/task/37328/stat : 37328 (java) R 37323 37326 35566 0 -1 4194368 54171 0 0 0 348449 55 0 0 20 0 21 0 43404388 19725520896 719024 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37337] ppid=37323 vsize=19263204 memory=2875200 CPUtime=0 cores=0,2
/proc/37326/task/37337/stat : 37337 (Finalizer) S 37323 37326 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43404390 19725520896 719024 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
[pid=37326/tid=37344] ppid=37323 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/37326/task/37344/stat : 37344 (Common-Cleaner) S 37323 37326 35566 0 -1 4194368 1059 0 0 0 0 0 0 0 20 0 21 0 43404391 19725520896 719024 18446744073709551615 94572985651200 94572985654896 140736212271664 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94572985662712 94572985663504 94572990238720 140736212273537 140736212273638 140736212273638 140736212279240 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2876096 KiB

Child status: 143

Real time (s): 3533.13
CPU time (s): 3600.32
CPU user time (s): 3598.36
CPU system time (s): 1.95823
CPU usage (%): 101.902
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3612892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.36
system time used= 1.95823
maximum resident set size= 3612892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119742
involuntary context switches= 10760


# summary of solver processes directly reported to runsolver:
#   pid: 37326
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.36
#   total CPU system time (s): 1.95823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96301 second user time and 16.311 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 11:54:29
IDJOB=4484132
IDBENCH=146650
IDSOLVER=3363
FILE ID=nodeC015/4484132-1751277269
RUNJOBID= nodeC015-1751270066-36242
SLURM_JOB_ID= 9594182
Free space on /tmp= 433008 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484132-1751277269/watcher-4484132-1751277269 -o /tmp/evaluation-result-4484132-1751277269/solver-4484132-1751277269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36242 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4484132-1751277269.opb

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=577536772

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127422872 kB
MemAvailable:   127391452 kB
Buffers:            3280 kB
Cached:           776160 kB
SwapCached:            0 kB
Active:          2731548 kB
Inactive:         519620 kB
Active(anon):    2489804 kB
Inactive(anon):        0 kB
Active(file):     241744 kB
Inactive(file):   519620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1860 kB
Writeback:             0 kB
AnonPages:       2474832 kB
Mapped:           123088 kB
Shmem:             18076 kB
KReclaimable:      92912 kB
Slab:             180440 kB
SReclaimable:      92912 kB
SUnreclaim:        87528 kB
KernelStack:        5168 kB
PageTables:         8492 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8158408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2281472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC015 at 2025-06-30 12:53:22