Trace number 4440366

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)2651 3600.52 3503.68

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.026526
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.03/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.03/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.16	c See www.sat4j.org for details.
0.03/0.17	c version CUSTOM.v20240707
0.03/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.03/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.03/0.18	c java.vm.version	22.0.1+8-16
0.03/0.18	c java.vm.vendor	Oracle Corporation
0.03/0.18	c sun.arch.data.model	64
0.03/0.18	c java.version		22.0.1
0.03/0.18	c os.name		Linux
0.03/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.03/0.18	c os.arch		amd64
0.03/0.18	c Free memory 		2104792832
0.03/0.18	c Max memory 		16282288128
0.03/0.18	c Total memory 		2113929216
0.03/0.18	c Number of processors 	2
0.15/0.23	--- Begin Solver configuration ---
0.15/0.23	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.23	Learn all clauses as in MiniSAT
0.15/0.23	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.23	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.23	Expensive reason simplification
0.15/0.23	Glucose 2.1 dynamic restart strategy
0.15/0.23	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.15/0.23	timeout=2147483s
0.15/0.23	DB Simplification allowed=false
0.15/0.23	Listener: none
0.15/0.23	--- End Solver configuration ---
0.15/0.23	c Pseudo Boolean Optimization by upper bound
0.15/0.23	c --- Begin Solver configuration ---
0.15/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.23	c Learn all clauses as in MiniSAT
0.15/0.23	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.23	c Expensive reason simplification
0.15/0.23	c Glucose 2.1 dynamic restart strategy
0.15/0.23	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.15/0.23	c timeout=2147483s
0.15/0.23	c DB Simplification allowed=false
0.15/0.23	c Listener: none
0.15/0.23	c --- End Solver configuration ---
0.15/0.23	c solving HOME/instance-4440366-1721765587.opb
0.15/0.23	c reading problem ... 
0.15/0.23	c using VERIPB proof format
0.15/0.23	c  objective function found
0.15/0.28	c ... done. Wall clock time 0.051s.
0.15/0.28	c declared #vars     907
0.15/0.28	c #constraints  664
0.15/0.28	c constraints type 
0.15/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 126
0.15/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 275
0.15/0.28	c org.sat4j.specs.Constr$1 => 1
0.15/0.28	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.15/0.28	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.15/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 260
0.15/0.28	c 664 constraints processed.
0.30/0.36	c objective function length is 748 literals
0.30/0.37	c SATISFIABLE
0.30/0.37	c OPTIMIZING...
0.30/0.37	c Got one! Elapsed wall clock time (in seconds):0.143
0.30/0.38	o 2653
2.98/1.78	c cleaning 2500 clauses out of 5000 with flag 10000/5000
4.81/2.94	c cleaning 4245 clauses out of 8501 with flag 22013/11001
6.15/4.18	c cleaning 5627 clauses out of 11256 with flag 36013/18001
7.68/5.62	c cleaning 6814 clauses out of 13629 with flag 52013/26001
9.51/7.47	c cleaning 7907 clauses out of 15815 with flag 70013/35001
11.36/9.28	c cleaning 8953 clauses out of 17908 with flag 90013/45001
13.54/11.35	c cleaning 9977 clauses out of 19955 with flag 112013/56001
16.04/13.58	c cleaning 10988 clauses out of 21978 with flag 136013/68001
18.51/15.91	c cleaning 11993 clauses out of 23990 with flag 162018/81001
21.08/18.46	c cleaning 12992 clauses out of 25997 with flag 190024/95001
23.77/21.10	c cleaning 14003 clauses out of 28005 with flag 220024/110001
26.75/23.95	c cleaning 14999 clauses out of 30002 with flag 252024/126001
29.81/26.96	c cleaning 16001 clauses out of 32003 with flag 286024/143001
33.35/30.31	c cleaning 17000 clauses out of 34002 with flag 322024/161001
36.97/33.86	c cleaning 17998 clauses out of 36002 with flag 360024/180001
40.52/37.58	c cleaning 18994 clauses out of 38004 with flag 400024/200001
44.33/41.23	c cleaning 19997 clauses out of 40010 with flag 442024/221001
48.02/44.98	c cleaning 21005 clauses out of 42013 with flag 486024/243001
52.04/48.99	c cleaning 21998 clauses out of 44008 with flag 532024/266001
56.34/53.10	c cleaning 22995 clauses out of 46010 with flag 580037/290001
60.78/57.42	c cleaning 24002 clauses out of 48014 with flag 630035/315000
65.81/62.26	c cleaning 25001 clauses out of 50013 with flag 682037/341001
70.69/66.98	c cleaning 26003 clauses out of 52011 with flag 736035/368000
76.02/72.71	c cleaning 27003 clauses out of 54009 with flag 792037/396001
81.42/78.08	c cleaning 27995 clauses out of 56006 with flag 850037/425001
86.92/83.43	c cleaning 28997 clauses out of 58011 with flag 910037/455001
92.60/89.05	c cleaning 30000 clauses out of 60014 with flag 972037/486001
98.16/94.55	c cleaning 30995 clauses out of 62013 with flag 1036035/518000
104.02/101.54	c cleaning 32000 clauses out of 64018 with flag 1102035/551000
110.11/107.53	c cleaning 33002 clauses out of 66018 with flag 1170035/585000
116.53/113.87	c cleaning 33998 clauses out of 68016 with flag 1240035/620000
117.93/115.27	c Got one! Elapsed wall clock time (in seconds):115.041
117.93/115.27	o 2652
119.36/116.45	c cleaning 23931 clauses out of 47872 with flag 10015/633854
120.46/117.50	c cleaning 14962 clauses out of 29940 with flag 22013/639853
121.55/118.62	c cleaning 10980 clauses out of 21978 with flag 36013/646853
122.91/119.90	c cleaning 9495 clauses out of 18998 with flag 52015/654853
124.57/121.43	c cleaning 9245 clauses out of 18503 with flag 70022/663853
126.28/123.12	c cleaning 9621 clauses out of 19258 with flag 90023/673853
127.96/124.82	c cleaning 10314 clauses out of 20637 with flag 112025/684853
129.89/126.76	c cleaning 11156 clauses out of 22324 with flag 136027/696854
131.98/129.47	c cleaning 12078 clauses out of 24168 with flag 162032/709854
134.30/131.72	c cleaning 13032 clauses out of 26090 with flag 190032/723854
136.70/134.19	c cleaning 14022 clauses out of 28058 with flag 220033/738854
139.44/136.82	c cleaning 15014 clauses out of 30036 with flag 252034/754854
142.14/139.56	c cleaning 15999 clauses out of 32021 with flag 286032/771853
145.26/142.60	c cleaning 17004 clauses out of 34023 with flag 322034/789854
148.69/145.94	c cleaning 18001 clauses out of 36018 with flag 360032/808853
152.09/149.30	c cleaning 19000 clauses out of 38017 with flag 400032/828853
155.67/152.86	c cleaning 20004 clauses out of 40017 with flag 442032/849853
159.68/156.71	c cleaning 20996 clauses out of 42014 with flag 486034/871854
163.83/164.26	c cleaning 22002 clauses out of 44018 with flag 532034/894854
168.15/168.43	c cleaning 23003 clauses out of 46016 with flag 580034/918854
172.34/172.63	c cleaning 24001 clauses out of 48013 with flag 630034/943854
176.66/176.94	c cleaning 24999 clauses out of 50012 with flag 682034/969854
181.69/181.93	c cleaning 26000 clauses out of 52012 with flag 736032/996853
186.75/186.99	c cleaning 27002 clauses out of 54013 with flag 792034/1024854
192.16/192.23	c cleaning 28001 clauses out of 56010 with flag 850032/1053853
198.02/210.50	c cleaning 29000 clauses out of 58009 with flag 910032/1083853
203.49/215.92	c cleaning 29997 clauses out of 60010 with flag 972034/1114854
209.43/221.81	c cleaning 30997 clauses out of 62013 with flag 1036034/1146854
215.84/228.12	c cleaning 32004 clauses out of 64016 with flag 1102034/1179854
222.32/234.13	c cleaning 32997 clauses out of 66012 with flag 1170034/1213854
228.68/240.49	c cleaning 34001 clauses out of 68015 with flag 1240034/1248854
235.36/247.04	c cleaning 35001 clauses out of 70014 with flag 1312034/1284854
242.92/254.31	c cleaning 35997 clauses out of 72012 with flag 1386032/1321853
250.06/261.82	c cleaning 36999 clauses out of 74016 with flag 1462034/1359854
257.56/269.14	c cleaning 38002 clauses out of 76016 with flag 1540032/1398853
265.44/276.92	c cleaning 38997 clauses out of 78015 with flag 1620034/1438854
274.24/285.44	c cleaning 40006 clauses out of 80017 with flag 1702032/1479853
282.64/293.73	c cleaning 40999 clauses out of 82011 with flag 1786032/1521853
291.56/302.42	c cleaning 42002 clauses out of 84013 with flag 1872034/1564854
299.96/310.71	c cleaning 42997 clauses out of 86011 with flag 1960034/1608854
309.03/319.60	c cleaning 43999 clauses out of 88014 with flag 2050034/1653854
317.50/327.99	c cleaning 44997 clauses out of 90014 with flag 2142032/1699853
326.41/336.72	c cleaning 46003 clauses out of 92018 with flag 2236051/1746854
335.59/345.84	c cleaning 46998 clauses out of 94015 with flag 2332051/1794854
345.11/356.44	c cleaning 48002 clauses out of 96017 with flag 2430051/1843854
355.16/366.01	c cleaning 49001 clauses out of 98015 with flag 2530051/1893854
365.40/376.19	c cleaning 49995 clauses out of 100014 with flag 2632051/1944854
376.92/387.64	c cleaning 51004 clauses out of 102019 with flag 2736051/1996854
388.24/398.53	c cleaning 51998 clauses out of 104015 with flag 2842051/2049854
398.79/408.91	c cleaning 53000 clauses out of 106017 with flag 2950051/2103854
409.27/419.43	c cleaning 54001 clauses out of 108017 with flag 3060051/2158854
419.34/429.36	c cleaning 54996 clauses out of 110016 with flag 3172051/2214854
430.46/440.21	c cleaning 55999 clauses out of 112020 with flag 3286051/2271854
441.89/451.76	c cleaning 56999 clauses out of 114020 with flag 3402049/2329853
453.77/463.47	c cleaning 57998 clauses out of 116021 with flag 3520049/2388853
466.13/475.99	c cleaning 59006 clauses out of 118023 with flag 3640049/2448853
479.37/488.83	c cleaning 60004 clauses out of 120018 with flag 3762051/2509854
492.48/501.50	c cleaning 60997 clauses out of 122013 with flag 3886049/2571853
505.94/514.39	c cleaning 61999 clauses out of 124017 with flag 4012051/2634854
518.67/526.96	c cleaning 63002 clauses out of 126017 with flag 4140049/2698853
531.80/540.30	c cleaning 63998 clauses out of 128015 with flag 4270049/2763853
545.14/553.38	c cleaning 64999 clauses out of 130017 with flag 4402049/2829853
559.27/568.67	c cleaning 66002 clauses out of 132018 with flag 4536061/2896853
574.00/582.84	c cleaning 67001 clauses out of 134016 with flag 4672098/2964853
579.47/588.22	c Got one! Elapsed wall clock time (in seconds):587.998
579.47/588.22	o 2651
581.07/589.86	c cleaning 51391 clauses out of 102797 with flag 10004/3000635
582.38/591.12	c cleaning 28695 clauses out of 57405 with flag 22003/3006634
583.71/592.44	c cleaning 17851 clauses out of 35710 with flag 36003/3013634
585.01/593.78	c cleaning 12922 clauses out of 25859 with flag 52006/3021634
586.60/595.30	c cleaning 10963 clauses out of 21937 with flag 70006/3030634
588.23/597.33	c cleaning 10476 clauses out of 20975 with flag 90039/3040635
590.15/599.27	c cleaning 10743 clauses out of 21498 with flag 112047/3051634
592.15/601.20	c cleaning 11373 clauses out of 22755 with flag 136064/3063634
594.38/603.43	c cleaning 12181 clauses out of 24382 with flag 162064/3076634
596.78/605.81	c cleaning 13091 clauses out of 26201 with flag 190064/3090634
599.42/608.43	c cleaning 14051 clauses out of 28111 with flag 220076/3105635
602.22/611.25	c cleaning 15024 clauses out of 30060 with flag 252076/3121635
605.17/614.17	c cleaning 16009 clauses out of 32036 with flag 286256/3138635
608.36/617.30	c cleaning 17006 clauses out of 34027 with flag 322256/3156635
611.67/620.63	c cleaning 18002 clauses out of 36021 with flag 360256/3175635
615.34/624.21	c cleaning 19002 clauses out of 38018 with flag 400264/3195634
619.09/628.24	c cleaning 20001 clauses out of 40016 with flag 442264/3216634
622.93/632.05	c cleaning 20996 clauses out of 42015 with flag 486264/3238634
626.80/635.84	c cleaning 22003 clauses out of 44019 with flag 532264/3261634
630.99/639.93	c cleaning 23002 clauses out of 46016 with flag 580264/3285634
635.38/644.31	c cleaning 24002 clauses out of 48014 with flag 630264/3310634
639.92/648.81	c cleaning 24997 clauses out of 50012 with flag 682264/3336634
644.84/653.71	c cleaning 25997 clauses out of 52015 with flag 736264/3363634
649.75/658.89	c cleaning 26998 clauses out of 54018 with flag 792264/3391634
654.90/663.93	c cleaning 28001 clauses out of 56020 with flag 850264/3420634
660.36/669.32	c cleaning 29000 clauses out of 58019 with flag 910264/3450634
666.02/674.96	c cleaning 30005 clauses out of 60019 with flag 972264/3481634
672.07/680.92	c cleaning 30996 clauses out of 62014 with flag 1036264/3513634
678.14/686.96	c cleaning 32001 clauses out of 64019 with flag 1102333/3546635
684.59/693.43	c cleaning 32999 clauses out of 66018 with flag 1170333/3580635
691.09/699.85	c cleaning 34003 clauses out of 68019 with flag 1240333/3615635
697.55/706.29	c cleaning 35001 clauses out of 70016 with flag 1312333/3651635
704.77/713.43	c cleaning 35993 clauses out of 72015 with flag 1386355/3688635
712.09/720.84	c cleaning 37003 clauses out of 74022 with flag 1462355/3726635
719.29/727.94	c cleaning 37997 clauses out of 76019 with flag 1540355/3765635
726.25/734.87	c cleaning 38999 clauses out of 78022 with flag 1620355/3805635
734.28/742.70	c cleaning 39998 clauses out of 80022 with flag 1702380/3846634
741.52/750.16	c cleaning 41004 clauses out of 82024 with flag 1786380/3888634
749.98/758.19	c cleaning 41999 clauses out of 84020 with flag 1872380/3931634
758.39/766.31	c cleaning 43003 clauses out of 86021 with flag 1960395/3975634
766.49/774.36	c cleaning 44000 clauses out of 88019 with flag 2050419/4020635
774.99/783.08	c cleaning 44998 clauses out of 90019 with flag 2142419/4066635
783.53/791.47	c cleaning 45997 clauses out of 92021 with flag 2236419/4113635
792.91/800.60	c cleaning 47004 clauses out of 94023 with flag 2332417/4161634
802.25/809.84	c cleaning 47997 clauses out of 96020 with flag 2430419/4210635
812.00/820.63	c cleaning 49000 clauses out of 98022 with flag 2530417/4260634
821.59/830.14	c cleaning 50004 clauses out of 100023 with flag 2632419/4311635
832.73/841.19	c cleaning 51000 clauses out of 102019 with flag 2736419/4363635
842.86/851.35	c cleaning 52001 clauses out of 104018 with flag 2842417/4416634
853.17/861.51	c cleaning 52997 clauses out of 106018 with flag 2950419/4470635
864.26/872.55	c cleaning 54002 clauses out of 108021 with flag 3060419/4525635
875.02/883.16	c cleaning 54995 clauses out of 110018 with flag 3172417/4581634
886.54/894.41	c cleaning 55999 clauses out of 112023 with flag 3286417/4638634
898.29/906.49	c cleaning 57005 clauses out of 114025 with flag 3402419/4696635
910.56/918.44	c cleaning 57998 clauses out of 116020 with flag 3520419/4755635
923.30/930.52	c cleaning 59002 clauses out of 118022 with flag 3640419/4815635
935.41/942.78	c cleaning 60004 clauses out of 120020 with flag 3762419/4876635
948.08/955.28	c cleaning 61002 clauses out of 122016 with flag 3886419/4938635
962.03/969.16	c cleaning 61996 clauses out of 124014 with flag 4012419/5001635
975.96/982.71	c cleaning 62999 clauses out of 126018 with flag 4140419/5065635
990.15/996.84	c cleaning 63998 clauses out of 128018 with flag 4270417/5130634
1003.94/1010.20	c cleaning 65003 clauses out of 130021 with flag 4402419/5196635
1018.65/1024.08	c cleaning 66002 clauses out of 132018 with flag 4536427/5263635
1032.44/1037.87	c cleaning 67000 clauses out of 134015 with flag 4672425/5331634
1046.56/1051.63	c cleaning 67997 clauses out of 136016 with flag 4810427/5400635
1061.35/1066.42	c cleaning 68999 clauses out of 138019 with flag 4950427/5470635
1077.08/1081.81	c cleaning 70007 clauses out of 140019 with flag 5092425/5541634
1092.68/1099.45	c cleaning 70999 clauses out of 142013 with flag 5236427/5613635
1106.83/1113.49	c cleaning 71996 clauses out of 144014 with flag 5382427/5686635
1124.13/1129.88	c cleaning 73004 clauses out of 146017 with flag 5530425/5760634
1141.37/1146.84	c cleaning 73997 clauses out of 148014 with flag 5680427/5835635
1156.94/1162.58	c cleaning 75004 clauses out of 150017 with flag 5832427/5911635
1174.80/1180.58	c cleaning 75997 clauses out of 152013 with flag 5986427/5988635
1192.03/1197.46	c cleaning 77000 clauses out of 154015 with flag 6142426/6066634
1210.90/1216.37	c cleaning 77998 clauses out of 156015 with flag 6300433/6145634
1229.53/1233.95	c cleaning 79003 clauses out of 158017 with flag 6460433/6225634
1248.36/1252.86	c cleaning 80000 clauses out of 160015 with flag 6622445/6306635
1267.67/1271.76	c cleaning 80999 clauses out of 162015 with flag 6786471/6388635
1285.71/1289.42	c cleaning 82001 clauses out of 164016 with flag 6952471/6471635
1304.35/1308.36	c cleaning 83001 clauses out of 166014 with flag 7120469/6555634
1322.04/1325.75	c cleaning 83999 clauses out of 168013 with flag 7290469/6640634
1340.96/1344.11	c cleaning 84996 clauses out of 170015 with flag 7462471/6726635
1359.52/1362.33	c cleaning 86000 clauses out of 172018 with flag 7636469/6813634
1379.59/1382.53	c cleaning 86999 clauses out of 174018 with flag 7812469/6901634
1398.62/1401.32	c cleaning 88001 clauses out of 176019 with flag 7990469/6990634
1418.26/1419.95	c cleaning 88998 clauses out of 178018 with flag 8170469/7080634
1437.30/1438.87	c cleaning 90000 clauses out of 180020 with flag 8352469/7171634
1456.46/1457.73	c cleaning 91003 clauses out of 182021 with flag 8536471/7263635
1476.74/1476.97	c cleaning 92003 clauses out of 184018 with flag 8722471/7356635
1497.98/1498.11	c cleaning 93000 clauses out of 186015 with flag 8910471/7450635
1519.15/1519.27	c cleaning 93997 clauses out of 188015 with flag 9100471/7545635
1542.16/1540.89	c cleaning 95002 clauses out of 190018 with flag 9292471/7641635
1563.95/1562.49	c cleaning 95999 clauses out of 192015 with flag 9486469/7738634
1586.91/1585.31	c cleaning 97002 clauses out of 194017 with flag 9682471/7836635
1611.50/1608.83	c cleaning 98002 clauses out of 196015 with flag 9880471/7935635
1636.38/1633.88	c cleaning 98998 clauses out of 198013 with flag 10080471/8035635
1661.99/1658.59	c cleaning 99998 clauses out of 200015 with flag 10282471/8136635
1687.23/1683.53	c cleaning 101002 clauses out of 202017 with flag 10486471/8238635
1713.57/1708.64	c cleaning 101997 clauses out of 204014 with flag 10692469/8341634
1739.58/1734.22	c cleaning 103001 clauses out of 206017 with flag 10900471/8445634
1768.65/1762.06	c cleaning 103998 clauses out of 208016 with flag 11110471/8550634
1795.19/1788.32	c cleaning 105004 clauses out of 210018 with flag 11322471/8656634
1823.03/1815.81	c cleaning 105999 clauses out of 212015 with flag 11536473/8763635
1850.01/1841.75	c cleaning 106997 clauses out of 214016 with flag 11752473/8871635
1877.28/1868.66	c cleaning 107999 clauses out of 216018 with flag 11970487/8980634
1904.08/1894.19	c cleaning 109006 clauses out of 218020 with flag 12190489/9090635
1927.71/1917.44	c cleaning 109997 clauses out of 220013 with flag 12412493/9201634
1951.93/1940.39	c cleaning 111000 clauses out of 222016 with flag 12636493/9313634
1975.96/1964.09	c cleaning 112000 clauses out of 224017 with flag 12862495/9426635
2002.06/1988.94	c cleaning 113000 clauses out of 226016 with flag 13090493/9540634
2028.30/2014.95	c cleaning 114000 clauses out of 228017 with flag 13320495/9655635
2055.38/2042.00	c cleaning 115000 clauses out of 230016 with flag 13552493/9771634
2081.39/2067.22	c cleaning 115999 clauses out of 232016 with flag 13786499/9888634
2109.28/2093.71	c cleaning 116998 clauses out of 234018 with flag 14022501/10006635
2138.34/2122.45	c cleaning 117997 clauses out of 236020 with flag 14260507/10125635
2170.04/2151.28	c cleaning 119003 clauses out of 238023 with flag 14500507/10245635
2198.48/2178.37	c cleaning 120000 clauses out of 240020 with flag 14742507/10366635
2226.23/2204.78	c cleaning 121000 clauses out of 242020 with flag 14986507/10488635
2255.24/2232.11	c cleaning 122002 clauses out of 244020 with flag 15232507/10611635
2285.20/2260.44	c cleaning 123001 clauses out of 246018 with flag 15480507/10735635
2313.73/2287.57	c cleaning 123997 clauses out of 248016 with flag 15730505/10860634
2341.78/2315.06	c cleaning 125000 clauses out of 250020 with flag 15982507/10986635
2370.18/2342.29	c cleaning 126000 clauses out of 252020 with flag 16236541/11113635
2400.15/2372.10	c cleaning 127000 clauses out of 254020 with flag 16492560/11241635
2432.67/2403.18	c cleaning 127999 clauses out of 256020 with flag 16750560/11370635
2464.30/2432.12	c cleaning 128999 clauses out of 258020 with flag 17010558/11500634
2496.68/2461.54	c cleaning 130002 clauses out of 260021 with flag 17272558/11631634
2526.09/2490.60	c cleaning 131000 clauses out of 262019 with flag 17536558/11763634
2559.52/2520.90	c cleaning 131998 clauses out of 264019 with flag 17802558/11896634
2590.33/2551.32	c cleaning 133004 clauses out of 266022 with flag 18070560/12030635
2625.92/2584.21	c cleaning 134003 clauses out of 268018 with flag 18340560/12165635
2662.56/2617.57	c cleaning 134996 clauses out of 270015 with flag 18612560/12301635
2697.55/2651.11	c cleaning 136001 clauses out of 272019 with flag 18886560/12438635
2731.52/2685.06	c cleaning 136997 clauses out of 274018 with flag 19162560/12576635
2766.09/2718.21	c cleaning 138007 clauses out of 276021 with flag 19440560/12715635
2801.39/2751.42	c cleaning 139003 clauses out of 278013 with flag 19720562/12855634
2838.61/2786.72	c cleaning 139995 clauses out of 280010 with flag 20002562/12996634
2876.17/2822.84	c cleaning 141003 clauses out of 282015 with flag 20286562/13138634
2912.73/2857.96	c cleaning 141996 clauses out of 284012 with flag 20572562/13281634
2951.02/2893.07	c cleaning 142997 clauses out of 286017 with flag 20860568/13425635
2989.58/2929.20	c cleaning 144000 clauses out of 288020 with flag 21150568/13570635
3028.93/2967.28	c cleaning 145003 clauses out of 290020 with flag 21442568/13716635
3065.68/3004.04	c cleaning 146002 clauses out of 292016 with flag 21736566/13863634
3101.38/3039.41	c cleaning 147002 clauses out of 294015 with flag 22032568/14011635
3140.34/3075.16	c cleaning 147996 clauses out of 296013 with flag 22330568/14160635
3180.46/3113.25	c cleaning 149001 clauses out of 298016 with flag 22630566/14310634
3216.31/3147.28	c cleaning 149999 clauses out of 300015 with flag 22932566/14461634
3252.04/3180.98	c cleaning 150999 clauses out of 302017 with flag 23236568/14613635
3288.25/3216.43	c cleaning 152001 clauses out of 304017 with flag 23542566/14766634
3327.16/3251.79	c cleaning 153000 clauses out of 306017 with flag 23850604/14920635
3371.38/3292.20	c cleaning 154001 clauses out of 308017 with flag 24160667/15075635
3415.60/3332.65	c cleaning 154999 clauses out of 310015 with flag 24472671/15231634
3456.26/3369.63	c cleaning 155997 clauses out of 312016 with flag 24786671/15388634
3496.11/3407.69	c cleaning 157000 clauses out of 314019 with flag 25102671/15546634
3538.17/3446.18	c cleaning 157998 clauses out of 316019 with flag 25420671/15705634
3579.81/3484.25	c cleaning 158999 clauses out of 318021 with flag 25740684/15865634
3600.16/3503.39	c starts		: 4
3600.16/3503.39	c conflicts		: 15961728
3600.16/3503.39	c decisions		: 15966299
3600.16/3503.39	c propagations		: 186503855
3600.16/3503.39	c inspects		: 4238258282
3600.16/3503.39	c shortcuts		: 0
3600.16/3503.39	c learnt literals	: 0
3600.16/3503.39	c learnt binary clauses	: 0
3600.16/3503.39	c learnt ternary clauses	: 0
3600.16/3503.39	c learnt constraints	: 15961728
3600.16/3503.39	c ignored constraints	: 0
3600.16/3503.39	c root simplifications	: 0
3600.16/3503.39	c removed literals (reason simplification)	: 76788562
3600.16/3503.39	c reason swapping (by a shorter reason)	: 0
3600.16/3503.39	c Calls to reduceDB	: 251
3600.16/3503.39	c Number of update (reduction) of LBD	: 275
3600.16/3503.39	c Imported unit clauses	: 0
3600.16/3503.39	c No decision after first conflict	: false
3600.27/3503.40	c number of reductions to clauses (during analyze)	: 0
3600.27/3503.40	c number of learned constraints concerned by reduction	: 0
3600.27/3503.40	c number of learning phase by resolution	: 0
3600.27/3503.40	c number of learning phase by cutting planes	: 0
3600.27/3503.40	c number of rounding to 1 operations	: 0
3600.27/3503.40	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.27/3503.40	c number of reductions of the coefficients by power 2 	: 0
3600.27/3503.40	c number of right shift for reduction by power 2 	: 0
3600.27/3503.40	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.27/3503.40	c number of ending skipping 	: 0
3600.27/3503.40	c number of internal skipping 	: 0
3600.27/3503.40	c number of derivation steps 	: 0
3600.27/3503.40	c number of skipped derivation steps 	: 0
3600.27/3503.40	c number of remaining unassigned 	: 0
3600.27/3503.40	c number of remaining assigned 	: 0
3600.27/3503.40	c number of falsified literals weakened from reason	: 0
3600.27/3503.40	c number of falsified literals weakened from conflict	: 0
3600.27/3503.40	c time for arithmetic operations	: 0
3600.27/3503.40	c minimum degree of deleted constraints	: null
3600.27/3503.40	c maximum degree of deleted constraints	: null
3600.27/3503.40	c number of deleted constraints	: 0
3600.27/3503.40	c speed (assignments/second)	: 53240.72445854018
3600.27/3503.40	c non guided choices	: 25
3600.27/3503.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 255116
3600.27/3503.46	s SATISFIABLE
3600.27/3503.46	c Found 3 solution(s)
3600.27/3503.47	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.27/3503.47	c objective function=2651
3600.27/3503.47	c Total wall clock time (in seconds): 3503.24

Verifier Data 

OK	2651

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=123191, runsolver pid=123188

[startup+0.100088 s]*
/proc/loadavg: 2.14 2.14 2.02 5/296 123222
/proc/meminfo: memFree=114364088/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=18393816 memory=47540 CPUtime=0.03 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 5749 0 57 0 1 2 0 0 20 0 9 0 13086999 18835267584 11885 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4598454 11885 4642 1 0 545781 0
[pid=123191/tid=123198] ppid=123188 vsize=18393816 memory=4026561586 CPUtime=0.02 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 5190 0 52 0 0 2 0 0 20 0 9 0 13087000 18835267584 11885 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 6 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18393816 KiB
Current children cumulated memory: 47540 KiB

[startup+0.206931 s]*
/proc/loadavg: 2.14 2.14 2.02 10/336 123262
/proc/meminfo: memFree=114294876/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=18993908 memory=65916 CPUtime=0.15 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 7397 0 83 0 12 3 0 0 20 0 18 0 13086999 19449761792 16479 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4748477 16479 5770 1 0 549397 0
[pid=123191/tid=123198] ppid=123188 vsize=18993908 memory=8737651120394928259 CPUtime=0.1 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 5896 0 63 0 7 3 0 0 20 0 18 0 13087000 19449761792 16479 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=18993908 memory=809283 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13087010 19449761792 16479 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=18993908 memory=14417020624045798 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 13087011 19449761792 16479 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65916 KiB

[startup+0.306222 s]*
/proc/loadavg: 2.14 2.14 2.02 13/337 123263
/proc/meminfo: memFree=114236572/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=18993908 memory=72588 CPUtime=0.3 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 7827 0 83 0 27 3 0 0 20 0 18 0 13086999 19449761792 18147 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4748477 18147 6032 1 0 549680 0
[pid=123191/tid=123198] ppid=123188 vsize=18993908 memory=-8598894965044323004 CPUtime=0.17 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) D 123188 123191 123117 0 -1 4194368 6123 0 63 0 14 3 0 0 20 0 18 0 13087000 19449761792 18147 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=18993908 memory=7295669319768299844 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13087010 19449761792 18147 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 13087011 19449761792 18147 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 72588 KiB

[startup+0.704821 s]
/proc/loadavg: 2.14 2.14 2.02 10/341 123267
/proc/meminfo: memFree=114087100/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19060472 memory=128180 CPUtime=0.99 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 10642 0 84 0 93 6 0 0 20 0 19 0 13086999 19517923328 32045 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4765118 32045 6084 1 0 551300 0
[pid=123191/tid=123198] ppid=123188 vsize=19060472 memory=42868 CPUtime=0.47 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 6275 0 64 0 43 4 0 0 20 0 19 0 13087000 19517923328 32045 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19060472 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13087010 19517923328 32045 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19060472 memory=5684 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 13087011 19517923328 32045 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19060472 memory=17620 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13087035 19517923328 32045 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 128180 KiB

[startup+1.50239 s]
/proc/loadavg: 2.14 2.14 2.02 16/345 123271
/proc/meminfo: memFree=113804916/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=193992 CPUtime=2.58 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 17686 0 84 0 249 9 0 0 20 0 20 0 13086999 19586084864 48498 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 48498 6102 1 0 554030 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=0 CPUtime=1.19 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 6652 0 64 0 114 5 0 0 20 0 20 0 13087000 19586084864 48498 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 48498 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=33 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 48498 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 48498 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 193992 KiB

[startup+3.10619 s]
/proc/loadavg: 2.85 2.29 2.07 5/345 123271
/proc/meminfo: memFree=112764624/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=484816 CPUtime=5.09 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 21472 0 84 0 493 16 0 0 20 0 20 0 13086999 19586084864 121204 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 121204 6118 1 0 708645 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=0 CPUtime=2.7 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7705 0 64 0 259 11 0 0 20 0 20 0 13087000 19586084864 121204 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 121204 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=-8598894965044323004 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 121204 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=811521 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 121204 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 484816 KiB

[startup+6.30027 s]
/proc/loadavg: 2.85 2.29 2.07 4/345 123271
/proc/meminfo: memFree=110255524/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=947672 CPUtime=8.35 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 22009 0 84 0 807 28 0 0 20 0 20 0 13086999 19586084864 236918 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 236918 6118 1 0 992729 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=0 CPUtime=5.73 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7909 0 64 0 553 20 0 0 20 0 20 0 13087000 19586084864 236918 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=-8598894965044323004 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 236918 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=22045 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 236918 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 236918 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 947672 KiB

[startup+12.7003 s]
/proc/loadavg: 3.03 2.35 2.09 5/345 123273
/proc/meminfo: memFree=105448208/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=1828432 CPUtime=15.2 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 22776 0 84 0 1469 51 0 0 20 0 20 0 13086999 19586084864 457108 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 457108 6118 1 0 992756 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=1060340 CPUtime=11.9 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 8274 0 64 0 1150 40 0 0 20 0 20 0 13087000 19586084864 457108 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=1828432 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 457108 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 457108 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=11548 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 457108 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1828432 KiB

[startup+25.5003 s]
/proc/loadavg: 3.25 2.42 2.12 5/345 123274
/proc/meminfo: memFree=103411704/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=2140408 CPUtime=28.41 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 28051 0 84 0 2771 70 0 0 20 0 20 0 13086999 19586084864 535102 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 535102 6118 1 0 992758 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=1828432 CPUtime=24.38 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 9414 0 64 0 2385 53 0 0 20 0 20 0 13087000 19586084864 535102 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=11548 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 535102 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=-8598894965044323004 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 535102 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=11548 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 535102 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2140408 KiB

[startup+51.106 s]
/proc/loadavg: 3.64 2.58 2.18 5/343 123280
/proc/meminfo: memFree=98709760/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19127036 memory=2943692 CPUtime=54.33 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 34339 0 84 0 5329 104 0 0 20 0 20 0 13086999 19586084864 735923 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4781759 735923 6118 1 0 992765 0
[pid=123191/tid=123198] ppid=123188 vsize=19127036 memory=2939604 CPUtime=49.11 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 12525 0 64 0 4832 79 0 0 20 0 20 0 13087000 19586084864 735923 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 44 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19127036 memory=2939568 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19586084864 735923 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19127036 memory=20828 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 13087011 19586084864 735923 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19127036 memory=-8598894965044323004 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19586084864 735923 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0

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

/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001776 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=4007104 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001776 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001776 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3167.64 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.34 4.22 5/334 125064
/proc/meminfo: memFree=15890816/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007116 CPUtime=3231.48 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 10877696 0 84 0 319952 3196 0 0 20 0 20 0 13086999 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001779 6151 1 0 1013590 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=4007104 CPUtime=3021.64 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7266733 0 64 0 299353 2811 0 0 20 0 20 0 13087000 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5199 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3231.48 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007116 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.35 4.23 5/334 125077
/proc/meminfo: memFree=14546720/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007116 CPUtime=3294.23 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11078090 0 84 0 326173 3250 0 0 20 0 20 0 13086999 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001779 6151 1 0 1013593 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=4007116 CPUtime=3078.67 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7459696 0 64 0 305004 2863 0 0 20 0 20 0 13087000 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5309 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007116 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001779 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3294.23 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.33 4.23 5/335 125088
/proc/meminfo: memFree=13225456/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007152 CPUtime=3359.46 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11114918 0 84 0 332643 3303 0 0 20 0 20 0 13086999 19653193728 1001788 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001788 6151 1 0 1013610 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=5064 CPUtime=3136.06 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7474518 0 64 0 310697 2909 0 0 20 0 20 0 13087000 19653193728 1001788 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5371 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007152 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001788 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=4007152 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1518 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001788 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007152 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001788 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3359.46 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.33 4.24 5/335 125099
/proc/meminfo: memFree=12125524/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007260 CPUtime=3425.08 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11184715 0 84 0 339162 3346 0 0 20 0 20 0 13086999 19653193728 1001815 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001815 6151 1 0 1013610 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=42868 CPUtime=3194.06 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7511731 0 64 0 316461 2945 0 0 20 0 20 0 13087000 19653193728 1001815 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5411 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007192 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001815 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=13136 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1519 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001815 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007260 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001815 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3425.08 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.31 4.24 5/336 125110
/proc/meminfo: memFree=10931824/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007452 CPUtime=3490.82 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11326568 0 84 0 345685 3397 0 0 20 0 20 0 13086999 19653193728 1001863 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001863 6151 1 0 1013618 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=4007192 CPUtime=3251.26 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7542310 0 64 0 322141 2985 0 0 20 0 20 0 13087000 19653193728 1001863 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5468 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007260 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001863 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=13572 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1519 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001863 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007452 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001863 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3490.82 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.33 4.25 5/339 125127
/proc/meminfo: memFree=9850292/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007468 CPUtime=3555.62 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11401476 0 84 0 352117 3445 0 0 20 0 20 0 13086999 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001867 6151 1 0 1013618 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=4007192 CPUtime=3309.08 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7614558 0 64 0 327879 3029 0 0 20 0 20 0 13087000 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5522 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=13572 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=4007468 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1519 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=4007468 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3555.62 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3503.2 s]
/proc/loadavg: 4.41 4.35 4.26 5/339 125134
/proc/meminfo: memFree=9001288/131524600 swapFree=131071216/131071996
[pid=123191] ppid=123188 vsize=19192572 memory=4007468 CPUtime=3600.05 cores=5,7
/proc/123191/stat : 123191 (java) S 123188 123191 123117 0 -1 1077936128 11598106 0 84 0 356521 3484 0 0 20 0 20 0 13086999 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
/proc/123191/statm: 4798143 1001867 6151 1 0 1013618 0
[pid=123191/tid=123198] ppid=123188 vsize=19192572 memory=13572 CPUtime=3347.96 cores=5,7
/proc/123191/task/123198/stat : 123198 (java) R 123188 123191 123117 0 -1 4194368 7806639 0 64 0 331732 3064 0 0 20 0 20 0 13087000 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5579 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123233] ppid=123188 vsize=19192572 memory=4007468 CPUtime=0 cores=5,7
/proc/123191/task/123233/stat : 123233 (Finalizer) S 123188 123191 123117 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13087010 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123261] ppid=123188 vsize=19192572 memory=2132 CPUtime=0 cores=5,7
/proc/123191/task/123261/stat : 123261 (Common-Cleaner) S 123188 123191 123117 0 -1 1077936192 1519 0 0 0 0 0 0 0 20 0 20 0 13087011 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
[pid=123191/tid=123264] ppid=123188 vsize=19192572 memory=-8598894965044323004 CPUtime=0 cores=5,7
/proc/123191/task/123264/stat : 123264 (Timer-0) S 123188 123191 123117 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13087035 19653193728 1001867 134679101440 94095411408896 94095411412592 140721525487472 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095411420408 94095411421200 94095437611008 140721525490607 140721525490789 140721525490789 140721525497800 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19192572 KiB
Current children cumulated memory: 4007468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3565.58 s, system=34.9441 s

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

[startup+3503.61 s]
/proc/loadavg: 4.41 4.35 4.26 5/321 125137
/proc/meminfo: memFree=10113180/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3503.68
CPU time (s): 3600.52
CPU user time (s): 3565.58
CPU system time (s): 34.9441
CPU usage (%): 102.764
Max. virtual memory (cumulated for all children) (KiB): 19392264
Max. memory (cumulated for all children) (KiB): 5258240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.58
system time used= 34.9441
maximum resident set size= 5258240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11600263
page faults= 85
swaps= 0
block input operations= 10504
block output operations= 53706496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140253
involuntary context switches= 18232


# summary of solver processes directly reported to runsolver:
#   pid: 123191
#   total CPU time (s): 3600.52
#   total CPU user time (s): 3565.58
#   total CPU system time (s): 34.9441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40809 second user time and 17.4295 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 22:13:07
IDJOB=4440366
IDBENCH=146650
IDSOLVER=3079
FILE ID=nodeC018/4440366-1721765587
RUNJOBID= nodeC018-1721765587-123130
SLURM_JOB_ID= 7770660
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440366-1721765587/watcher-4440366-1721765587 -o /tmp/evaluation-result-4440366-1721765587/solver-4440366-1721765587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721765587-123130 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440366-1721765587 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440366-1721765587.opb

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

MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1
RANDOM SEED=1989423269

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114511476 kB
MemAvailable:   129782192 kB
Buffers:          179640 kB
Cached:         15833868 kB
SwapCached:          244 kB
Active:          1128092 kB
Inactive:       15150344 kB
Active(anon):       1444 kB
Inactive(anon):   301404 kB
Active(file):    1126648 kB
Inactive(file): 14848940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              5268 kB
Writeback:             0 kB
AnonPages:        263156 kB
Mapped:           103236 kB
Shmem:             37588 kB
KReclaimable:     269904 kB
Slab:             379008 kB
SReclaimable:     269904 kB
SUnreclaim:       109104 kB
KernelStack:        4032 kB
PageTables:         8568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     738192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    34058240 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC018 at 2024-07-23 23:11:31