Trace number 4440401

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)52176 3600.35 3647.39

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUMcc2b167b604094044d9d141ee486a126
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 benchmark47342
Best CPU time to get the best result obtained on this benchmark0.022153
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440401-1721817673.opb
0.13/0.13	c reading problem ... 
0.13/0.15	c using VERIPB proof format
0.13/0.15	c  objective function found
0.13/0.21	c ... done. Wall clock time 0.073s.
0.13/0.21	c declared #vars     1152
0.13/0.21	c #constraints  1774
0.13/0.21	c constraints type 
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1263
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 506
0.13/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.13/0.21	c 1774 constraints processed.
0.31/0.22	c objective function length is 661 literals
0.31/0.23	c SATISFIABLE
0.31/0.23	c OPTIMIZING...
0.31/0.23	c Got one! Elapsed wall clock time (in seconds):0.098
0.31/0.23	o 54696
0.87/0.51	c Got one! Elapsed wall clock time (in seconds):0.379
0.87/0.51	o 53648
0.87/0.53	c Got one! Elapsed wall clock time (in seconds):0.387
0.87/0.53	o 53452
1.05/0.64	c Got one! Elapsed wall clock time (in seconds):0.504
1.05/0.64	o 52290
1.24/0.71	c Got one! Elapsed wall clock time (in seconds):0.574
1.24/0.71	o 52284
1.24/0.71	c Got one! Elapsed wall clock time (in seconds):0.577
1.24/0.71	o 52176
2.03/1.12	c cleaning 3164 clauses out of 6329 with flag 7738/6329
3.22/1.78	c cleaning 4579 clauses out of 9164 with flag 24987/12328
4.43/2.47	c cleaning 5789 clauses out of 11585 with flag 44436/19328
5.39/3.23	c cleaning 6894 clauses out of 13797 with flag 66671/27329
6.20/4.08	c cleaning 7933 clauses out of 15902 with flag 92705/36328
7.08/4.98	c cleaning 8983 clauses out of 17970 with flag 121129/46329
8.18/6.02	c cleaning 9983 clauses out of 19986 with flag 153698/57328
9.29/7.15	c cleaning 10982 clauses out of 22003 with flag 189659/69328
10.58/8.41	c cleaning 12003 clauses out of 24021 with flag 229650/82328
11.87/9.75	c cleaning 13004 clauses out of 26021 with flag 267237/96331
13.35/11.21	c cleaning 14005 clauses out of 28016 with flag 306964/111330
14.87/12.77	c cleaning 15001 clauses out of 30010 with flag 353518/127329
16.52/14.38	c cleaning 16002 clauses out of 32009 with flag 401263/144329
18.29/16.06	c cleaning 16997 clauses out of 34006 with flag 453548/162328
20.18/17.85	c cleaning 18005 clauses out of 36012 with flag 512112/181331
22.14/19.86	c cleaning 18991 clauses out of 38004 with flag 570679/201328
24.32/22.02	c cleaning 20006 clauses out of 40013 with flag 631768/222328
26.51/24.29	c cleaning 21004 clauses out of 42007 with flag 695949/244328
28.92/26.55	c cleaning 21994 clauses out of 44004 with flag 762018/267329
31.41/28.95	c cleaning 22995 clauses out of 46010 with flag 847679/291329
33.98/31.77	c cleaning 24005 clauses out of 48016 with flag 937586/316330
36.89/34.60	c cleaning 25002 clauses out of 50009 with flag 1032215/342328
39.69/37.40	c cleaning 25967 clauses out of 52007 with flag 1133355/369328
42.48/40.23	c cleaning 27010 clauses out of 54040 with flag 1225841/397328
45.58/43.40	c cleaning 28011 clauses out of 56030 with flag 1322605/426328
49.02/46.67	c cleaning 29008 clauses out of 58019 with flag 1420585/456328
52.10/49.77	c cleaning 30002 clauses out of 60011 with flag 1528590/487328
55.40/53.07	c cleaning 31005 clauses out of 62009 with flag 1644988/519328
58.62/56.23	c cleaning 32003 clauses out of 64005 with flag 1769624/552329
61.91/59.50	c cleaning 32996 clauses out of 66001 with flag 1920064/586328
65.22/62.93	c cleaning 33999 clauses out of 68005 with flag 2067739/621328
68.82/66.54	c cleaning 34980 clauses out of 70006 with flag 2221376/657328
72.82/70.54	c cleaning 36007 clauses out of 72028 with flag 2369037/694330
77.30/75.01	c cleaning 37010 clauses out of 74019 with flag 2511540/732328
81.70/79.42	c cleaning 37994 clauses out of 76009 with flag 2659876/771328
85.89/83.65	c cleaning 38995 clauses out of 78015 with flag 2813638/811328
89.87/87.64	c cleaning 39993 clauses out of 80020 with flag 2981536/852328
94.57/92.32	c cleaning 40998 clauses out of 82027 with flag 3127799/894328
99.19/97.04	c cleaning 42004 clauses out of 84029 with flag 3297382/937328
104.30/102.10	c cleaning 43010 clauses out of 86025 with flag 3457653/981328
109.38/107.20	c cleaning 44008 clauses out of 88017 with flag 3628684/1026330
114.17/112.03	c cleaning 44985 clauses out of 90007 with flag 3794708/1072328
119.16/117.02	c cleaning 46002 clauses out of 92023 with flag 3969568/1119329
124.34/122.29	c cleaning 46989 clauses out of 94020 with flag 4140958/1167328
129.78/127.73	c cleaning 48013 clauses out of 96031 with flag 4326227/1216328
135.07/133.09	c cleaning 48997 clauses out of 98021 with flag 4506833/1266331
140.37/138.31	c cleaning 50000 clauses out of 100023 with flag 4695679/1317330
146.15/144.18	c cleaning 51004 clauses out of 102021 with flag 4881503/1369328
152.22/150.22	c cleaning 51999 clauses out of 104017 with flag 5056639/1422328
158.03/156.14	c cleaning 53003 clauses out of 106019 with flag 5252647/1476329
163.44/161.53	c cleaning 54008 clauses out of 108017 with flag 5457692/1531330
168.82/166.95	c cleaning 54995 clauses out of 110008 with flag 5666820/1587329
174.81/172.91	c cleaning 55999 clauses out of 112013 with flag 5883793/1644329
180.28/178.45	c cleaning 56992 clauses out of 114014 with flag 6106238/1702329
186.28/184.46	c cleaning 58010 clauses out of 116021 with flag 6333817/1761328
192.46/190.65	c cleaning 58997 clauses out of 118011 with flag 6562691/1821328
198.97/197.12	c cleaning 59994 clauses out of 120014 with flag 6788195/1882328
205.34/203.51	c cleaning 60986 clauses out of 122020 with flag 7031649/1944328
211.94/210.17	c cleaning 62004 clauses out of 124034 with flag 7274851/2007328
218.73/217.01	c cleaning 63006 clauses out of 126030 with flag 7518277/2071328
225.29/223.65	c cleaning 64005 clauses out of 128024 with flag 7755510/2136328
232.00/230.34	c cleaning 64996 clauses out of 130019 with flag 8002878/2202328
238.99/237.34	c cleaning 66004 clauses out of 132023 with flag 8241273/2269328
246.27/244.69	c cleaning 67000 clauses out of 134019 with flag 8478523/2337328
253.80/252.32	c cleaning 68008 clauses out of 136019 with flag 8706847/2406328
262.07/260.61	c cleaning 68987 clauses out of 138011 with flag 8946281/2476328
270.27/268.85	c cleaning 70000 clauses out of 140024 with flag 9194101/2547328
278.17/276.75	c cleaning 70986 clauses out of 142025 with flag 9449822/2619329
286.08/288.28	c cleaning 71996 clauses out of 144038 with flag 9707421/2692328
293.88/296.07	c cleaning 73012 clauses out of 146044 with flag 9975763/2766330
301.39/303.54	c cleaning 74004 clauses out of 148030 with flag 10235232/2841328
309.21/311.30	c cleaning 75008 clauses out of 150027 with flag 10513075/2917329
317.18/320.38	c cleaning 75992 clauses out of 152019 with flag 10795960/2994329
325.48/328.69	c cleaning 77005 clauses out of 154026 with flag 11077413/3072328
334.29/337.45	c cleaning 77999 clauses out of 156024 with flag 11367990/3151331
342.24/345.43	c cleaning 79004 clauses out of 158022 with flag 11647156/3231328
350.93/354.19	c cleaning 80003 clauses out of 160019 with flag 11927832/3312329
359.73/362.96	c cleaning 80994 clauses out of 162017 with flag 12225591/3394330
368.33/371.60	c cleaning 81998 clauses out of 164022 with flag 12532186/3477329
376.96/380.26	c cleaning 83004 clauses out of 166023 with flag 12833175/3561328
385.78/389.01	c cleaning 84000 clauses out of 168019 with flag 13146399/3646328
395.45/398.73	c cleaning 84996 clauses out of 170019 with flag 13466866/3732328
404.70/408.02	c cleaning 85989 clauses out of 172023 with flag 13786924/3819328
413.91/417.25	c cleaning 87011 clauses out of 174034 with flag 14103810/3907328
423.31/426.68	c cleaning 88006 clauses out of 176023 with flag 14423208/3996328
432.53/435.80	c cleaning 89004 clauses out of 178017 with flag 14733351/4086328
442.28/445.60	c cleaning 89983 clauses out of 180013 with flag 15044402/4177328
451.60/454.97	c cleaning 91003 clauses out of 182030 with flag 15371663/4269328
461.41/464.81	c cleaning 92007 clauses out of 184027 with flag 15693313/4362328
471.55/477.59	c cleaning 93006 clauses out of 186021 with flag 16031794/4456329
481.96/487.90	c cleaning 94003 clauses out of 188014 with flag 16360072/4551328
492.86/498.82	c cleaning 94993 clauses out of 190011 with flag 16692819/4647328
503.05/509.32	c cleaning 95986 clauses out of 192018 with flag 17033615/4744328
513.26/519.56	c cleaning 97009 clauses out of 194032 with flag 17385331/4842328
524.45/530.78	c cleaning 97983 clauses out of 196023 with flag 17739560/4941328
535.90/542.62	c cleaning 99005 clauses out of 198040 with flag 18106917/5041328
547.63/554.32	c cleaning 100003 clauses out of 200036 with flag 18468794/5142329
558.80/565.53	c cleaning 101004 clauses out of 202032 with flag 18831901/5244328
570.60/577.39	c cleaning 102007 clauses out of 204028 with flag 19212538/5347328
582.11/588.81	c cleaning 103003 clauses out of 206021 with flag 19583447/5451328
593.37/600.19	c cleaning 103999 clauses out of 208018 with flag 19965935/5556328
606.50/613.28	c cleaning 105010 clauses out of 210020 with flag 20332853/5662329
618.02/624.79	c cleaning 106001 clauses out of 212009 with flag 20700026/5769328
630.38/637.16	c cleaning 107001 clauses out of 214008 with flag 21080142/5877328
643.78/650.56	c cleaning 108002 clauses out of 216007 with flag 21449258/5986328
657.82/664.61	c cleaning 108986 clauses out of 218005 with flag 21822879/6096328
670.73/677.50	c cleaning 109996 clauses out of 220019 with flag 22220259/6207328
683.30/690.23	c cleaning 111009 clauses out of 222024 with flag 22610032/6319329
696.44/703.43	c cleaning 111994 clauses out of 224014 with flag 23000915/6432328
709.37/716.47	c cleaning 113011 clauses out of 226022 with flag 23393971/6546330
722.36/729.65	c cleaning 113999 clauses out of 228011 with flag 23795687/6661330
735.78/743.08	c cleaning 114996 clauses out of 230010 with flag 24189142/6777328
750.10/757.46	c cleaning 115988 clauses out of 232014 with flag 24586918/6894328
764.21/771.51	c cleaning 117014 clauses out of 234027 with flag 24988892/7012329
778.31/785.60	c cleaning 118004 clauses out of 236012 with flag 25403598/7131328
794.33/801.60	c cleaning 119003 clauses out of 238008 with flag 25812692/7251328
808.19/815.57	c cleaning 119978 clauses out of 240005 with flag 26257345/7372328
823.70/831.09	c cleaning 121008 clauses out of 242029 with flag 26693055/7494330
840.83/848.24	c cleaning 122011 clauses out of 244021 with flag 27061296/7617330
856.32/863.75	c cleaning 122998 clauses out of 246008 with flag 27428897/7741328
871.04/878.51	c cleaning 123974 clauses out of 248010 with flag 27877300/7866328
885.58/893.00	c cleaning 124995 clauses out of 250036 with flag 28317622/7992328
900.63/908.12	c cleaning 126002 clauses out of 252041 with flag 28744292/8119328
915.55/923.04	c cleaning 127018 clauses out of 254039 with flag 29174154/8247328
931.39/938.94	c cleaning 127999 clauses out of 256021 with flag 29606884/8376328
947.24/954.70	c cleaning 129010 clauses out of 258022 with flag 30039604/8506328
962.09/969.74	c cleaning 129986 clauses out of 260012 with flag 30497247/8637328
977.23/984.90	c cleaning 131004 clauses out of 262028 with flag 30947565/8769330
992.16/1000.04	c cleaning 132003 clauses out of 264023 with flag 31441614/8902329
1008.84/1016.81	c cleaning 133002 clauses out of 266019 with flag 31920977/9036328
1025.87/1034.03	c cleaning 133989 clauses out of 268017 with flag 32404642/9171328
1041.26/1049.54	c cleaning 135011 clauses out of 270029 with flag 32885351/9307329
1057.50/1065.97	c cleaning 135996 clauses out of 272017 with flag 33342261/9444328
1074.00/1082.53	c cleaning 137004 clauses out of 274021 with flag 33809585/9582328
1088.41/1097.14	c cleaning 138001 clauses out of 276017 with flag 34310659/9721328
1105.71/1114.54	c cleaning 138994 clauses out of 278016 with flag 34831179/9861328
1122.82/1131.80	c cleaning 140007 clauses out of 280022 with flag 35347067/10002328
1139.51/1148.69	c cleaning 141001 clauses out of 282015 with flag 35837621/10144328
1156.02/1165.13	c cleaning 142007 clauses out of 284015 with flag 36345132/10287329
1173.56/1182.74	c cleaning 142996 clauses out of 286007 with flag 36851220/10431328
1190.75/1199.92	c cleaning 144001 clauses out of 288013 with flag 37345508/10576330
1209.48/1218.73	c cleaning 144981 clauses out of 290010 with flag 37878084/10722328
1227.17/1236.44	c cleaning 146014 clauses out of 292030 with flag 38395628/10869329
1244.30/1253.79	c cleaning 146975 clauses out of 294016 with flag 38930735/11017329
1262.01/1271.63	c cleaning 148010 clauses out of 296041 with flag 39482525/11166329
1279.98/1289.73	c cleaning 149014 clauses out of 298033 with flag 40031988/11316331
1298.12/1308.03	c cleaning 150006 clauses out of 300017 with flag 40518448/11467329
1316.90/1326.87	c cleaning 150998 clauses out of 302010 with flag 41042810/11619328
1336.87/1346.81	c cleaning 152000 clauses out of 304013 with flag 41573697/11772329
1358.89/1368.61	c cleaning 152999 clauses out of 306013 with flag 42065312/11926329
1378.72/1388.60	c cleaning 153987 clauses out of 308013 with flag 42595202/12081328
1397.73/1407.88	c cleaning 155004 clauses out of 310026 with flag 43140626/12237328
1417.81/1428.11	c cleaning 155996 clauses out of 312023 with flag 43711179/12394329
1438.80/1449.27	c cleaning 157006 clauses out of 314026 with flag 44287406/12552328
1457.12/1467.60	c cleaning 158006 clauses out of 316021 with flag 44866799/12711329
1475.21/1485.75	c cleaning 158972 clauses out of 318014 with flag 45429420/12871328
1495.87/1506.45	c cleaning 160022 clauses out of 320043 with flag 46000289/13032329
1516.11/1526.82	c cleaning 161010 clauses out of 322024 with flag 46557459/13194332
1534.56/1545.46	c cleaning 161994 clauses out of 324010 with flag 47120621/13357328
1554.51/1565.77	c cleaning 162985 clauses out of 326016 with flag 47683803/13521328
1574.81/1586.30	c cleaning 164009 clauses out of 328032 with flag 48262852/13686329
1594.46/1606.11	c cleaning 165008 clauses out of 330023 with flag 48859819/13852329
1615.43/1628.39	c cleaning 165997 clauses out of 332014 with flag 49433044/14019328
1637.00/1650.14	c cleaning 167003 clauses out of 334018 with flag 50011231/14187329
1659.88/1673.34	c cleaning 167987 clauses out of 336014 with flag 50602406/14356328
1682.19/1695.78	c cleaning 168998 clauses out of 338027 with flag 51175326/14526328
1702.88/1716.65	c cleaning 170006 clauses out of 340029 with flag 51767898/14697328
1724.53/1738.46	c cleaning 170978 clauses out of 342023 with flag 52353746/14869328
1746.12/1760.05	c cleaning 172003 clauses out of 344045 with flag 52944528/15042328
1768.32/1782.45	c cleaning 173010 clauses out of 346042 with flag 53550039/15216328
1790.25/1810.00	c cleaning 173992 clauses out of 348032 with flag 54151135/15391328
1811.54/1831.38	c cleaning 175010 clauses out of 350040 with flag 54757159/15567328
1833.24/1853.10	c cleaning 176006 clauses out of 352031 with flag 55376637/15744329
1856.53/1876.47	c cleaning 177006 clauses out of 354024 with flag 56011136/15922328
1879.08/1899.10	c cleaning 177998 clauses out of 356019 with flag 56635410/16101329
1903.01/1923.13	c cleaning 179000 clauses out of 358020 with flag 57271449/16281328
1925.45/1945.62	c cleaning 179982 clauses out of 360020 with flag 57906328/16462328
1950.89/1971.37	c cleaning 181018 clauses out of 362038 with flag 58542358/16644328
1973.54/1994.18	c cleaning 181998 clauses out of 364020 with flag 59176705/16827328
1995.81/2016.65	c cleaning 183003 clauses out of 366022 with flag 59845144/17011328
2019.58/2040.44	c cleaning 183997 clauses out of 368020 with flag 60509999/17196329
2043.21/2064.15	c cleaning 184984 clauses out of 370022 with flag 61159388/17382328
2066.36/2087.38	c cleaning 186014 clauses out of 372038 with flag 61827073/17569328
2092.51/2113.73	c cleaning 186993 clauses out of 374024 with flag 62507680/17757328
2119.88/2141.18	c cleaning 188005 clauses out of 376032 with flag 63173043/17946329
2144.85/2166.11	c cleaning 189008 clauses out of 378032 with flag 63840973/18136334
2170.78/2193.18	c cleaning 190005 clauses out of 380019 with flag 64499180/18327329
2195.60/2218.97	c cleaning 190999 clauses out of 382014 with flag 65152119/18519329
2222.24/2245.69	c cleaning 192005 clauses out of 384016 with flag 65809997/18712330
2247.59/2271.16	c cleaning 192994 clauses out of 386010 with flag 66468780/18906329
2271.93/2296.42	c cleaning 193985 clauses out of 388016 with flag 67147523/19101329
2297.36/2321.93	c cleaning 195010 clauses out of 390030 with flag 67857928/19297328
2322.47/2347.07	c cleaning 196002 clauses out of 392021 with flag 68551284/19494329
2347.15/2371.96	c cleaning 196994 clauses out of 394018 with flag 69224486/19692328
2371.17/2395.87	c cleaning 197999 clauses out of 396024 with flag 69939897/19891328
2395.33/2420.20	c cleaning 199000 clauses out of 398025 with flag 70635964/20091328
2419.99/2445.09	c cleaning 200004 clauses out of 400025 with flag 71333869/20292328
2444.71/2469.75	c cleaning 201001 clauses out of 402022 with flag 72035614/20494329
2470.26/2495.38	c cleaning 201995 clauses out of 404021 with flag 72740224/20697329
2495.31/2520.48	c cleaning 202999 clauses out of 406025 with flag 73458843/20901328
2521.46/2546.79	c cleaning 203997 clauses out of 408026 with flag 74227383/21106328
2547.43/2572.91	c cleaning 204995 clauses out of 410029 with flag 74985914/21312328
2574.10/2599.84	c cleaning 205999 clauses out of 412034 with flag 75749552/21519328
2603.56/2629.56	c cleaning 207016 clauses out of 414035 with flag 76509563/21727328
2635.13/2661.49	c cleaning 207996 clauses out of 416021 with flag 77261181/21936330
2663.55/2689.92	c cleaning 208995 clauses out of 418023 with flag 78009092/22146328
2688.98/2715.30	c cleaning 210010 clauses out of 420029 with flag 78752603/22357329
2718.31/2744.70	c cleaning 210994 clauses out of 422018 with flag 79505646/22569328
2744.35/2770.85	c cleaning 212008 clauses out of 424024 with flag 80268939/22782328
2770.31/2796.81	c cleaning 212986 clauses out of 426016 with flag 80997872/22996328
2796.10/2822.73	c cleaning 214010 clauses out of 428037 with flag 81742732/23211335
2823.73/2850.41	c cleaning 215001 clauses out of 430020 with flag 82478078/23427328
2853.76/2880.50	c cleaning 216009 clauses out of 432021 with flag 83226340/23644330
2884.77/2911.51	c cleaning 217005 clauses out of 434012 with flag 83986973/23862330
2912.07/2938.86	c cleaning 217997 clauses out of 436007 with flag 84715983/24081330
2942.37/2969.28	c cleaning 218984 clauses out of 438008 with flag 85467127/24301328
2975.27/3002.27	c cleaning 220001 clauses out of 440024 with flag 86239560/24522328
3003.84/3030.81	c cleaning 221005 clauses out of 442027 with flag 87011770/24744332
3033.59/3060.67	c cleaning 221996 clauses out of 444018 with flag 87780454/24967328
3063.92/3090.99	c cleaning 222994 clauses out of 446022 with flag 88554567/25191328
3092.15/3119.21	c cleaning 223994 clauses out of 448028 with flag 89357107/25416328
3121.61/3148.72	c cleaning 225013 clauses out of 450034 with flag 90149879/25642328
3154.10/3194.30	c cleaning 225976 clauses out of 452021 with flag 90942573/25869328
3181.91/3222.73	c cleaning 227008 clauses out of 454045 with flag 91749961/26097328
3212.73/3253.89	c cleaning 228011 clauses out of 456038 with flag 92569912/26326329
3242.63/3283.84	c cleaning 228999 clauses out of 458026 with flag 93377846/26556328
3274.28/3315.60	c cleaning 229991 clauses out of 460027 with flag 94194402/26787328
3303.72/3344.99	c cleaning 231013 clauses out of 462036 with flag 95027709/27019328
3340.01/3381.30	c cleaning 232007 clauses out of 464023 with flag 95850660/27252328
3371.01/3412.64	c cleaning 232998 clauses out of 466016 with flag 96675680/27486328
3404.35/3446.32	c cleaning 233993 clauses out of 468018 with flag 97494196/27721328
3436.42/3478.69	c cleaning 235009 clauses out of 470025 with flag 98328366/27957328
3466.53/3510.82	c cleaning 235992 clauses out of 472016 with flag 99138540/28194328
3496.32/3541.87	c cleaning 236996 clauses out of 474024 with flag 99961444/28432328
3532.70/3578.90	c cleaning 237994 clauses out of 476028 with flag 100797986/28671328
3568.35/3615.14	c cleaning 239010 clauses out of 478034 with flag 101641522/28911328
3600.09/3647.22	c starts		: 6973
3600.09/3647.22	c conflicts		: 29152328
3600.09/3647.22	c decisions		: 159506674
3600.09/3647.22	c propagations		: 10354503486
3600.09/3647.22	c inspects		: 17867927685
3600.09/3647.22	c shortcuts		: 0
3600.09/3647.22	c learnt literals	: 0
3600.09/3647.22	c learnt binary clauses	: 0
3600.09/3647.22	c learnt ternary clauses	: 0
3600.09/3647.22	c learnt constraints	: 29152328
3600.09/3647.22	c ignored constraints	: 0
3600.09/3647.22	c root simplifications	: 0
3600.09/3647.22	c removed literals (reason simplification)	: 106472391
3600.09/3647.22	c reason swapping (by a shorter reason)	: 0
3600.09/3647.22	c Calls to reduceDB	: 237
3600.09/3647.22	c Number of update (reduction) of LBD	: 15192114
3600.09/3647.22	c Imported unit clauses	: 0
3600.09/3647.22	c No decision after first conflict	: false
3600.09/3647.22	c number of reductions to clauses (during analyze)	: 0
3600.09/3647.22	c number of learned constraints concerned by reduction	: 0
3600.09/3647.22	c number of learning phase by resolution	: 0
3600.09/3647.22	c number of learning phase by cutting planes	: 0
3600.09/3647.22	c number of rounding to 1 operations	: 0
3600.09/3647.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3647.22	c number of reductions of the coefficients by power 2 	: 0
3600.09/3647.22	c number of right shift for reduction by power 2 	: 0
3600.09/3647.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3647.22	c number of ending skipping 	: 0
3600.09/3647.22	c number of internal skipping 	: 0
3600.09/3647.22	c number of derivation steps 	: 0
3600.09/3647.22	c number of skipped derivation steps 	: 0
3600.09/3647.22	c number of remaining unassigned 	: 0
3600.09/3647.22	c number of remaining assigned 	: 0
3600.09/3647.22	c number of falsified literals weakened from reason	: 0
3600.09/3647.22	c number of falsified literals weakened from conflict	: 0
3600.09/3647.22	c time for arithmetic operations	: 0
3600.09/3647.22	c minimum degree of deleted constraints	: null
3600.09/3647.22	c maximum degree of deleted constraints	: null
3600.09/3647.24	c number of deleted constraints	: 0
3600.09/3647.24	c speed (assignments/second)	: 2839178.3964220523
3600.09/3647.24	c non guided choices	: 0
3600.29/3647.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 480024
3600.29/3647.31	s SATISFIABLE
3600.29/3647.31	c Found 6 solution(s)
3600.29/3647.32	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 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 
3600.29/3647.32	c objective function=52176
3600.29/3647.32	c Total wall clock time (in seconds): 3647.186

Verifier Data 

OK	52176

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=182126, runsolver pid=182123

[startup+0.103471 s]*
/proc/loadavg: 4.37 3.51 1.89 5/334 182144
/proc/meminfo: memFree=103191812/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=18975048 memory=65444 CPUtime=0.13 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 7232 0 0 0 11 2 0 0 20 0 18 0 18290210 19430449152 16361 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4743762 16361 5718 1 0 549364 0
[pid=182126/tid=182128] ppid=182123 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 1078198336 5765 0 0 0 7 1 0 0 20 0 18 0 18290210 19430449152 16361 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18290213 19430449152 16361 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=18975048 memory=13855165888293772 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18290213 19430449152 16361 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65444 KiB

[startup+0.212065 s]*
/proc/loadavg: 4.37 3.51 1.89 7/334 182144
/proc/meminfo: memFree=103184868/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=18975048 memory=71668 CPUtime=0.31 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 7711 0 0 0 28 3 0 0 20 0 18 0 18290210 19430449152 17917 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4743762 17917 5829 1 0 549656 0
[pid=182126/tid=182128] ppid=182123 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 5991 0 0 0 15 2 0 0 20 0 18 0 18290210 19430449152 17917 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=18975048 memory=1010558 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18290213 19430449152 17917 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18290213 19430449152 17917 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71668 KiB

[startup+0.314064 s]*
/proc/loadavg: 4.37 3.51 1.89 7/335 182145
/proc/meminfo: memFree=103174300/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19041612 memory=80812 CPUtime=0.5 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 8806 0 0 0 47 3 0 0 20 0 19 0 18290210 19498610688 20203 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4760403 20203 5858 1 0 550484 0
[pid=182126/tid=182128] ppid=182123 vsize=19041612 memory=-8960871789288530620 CPUtime=0.27 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 6097 0 0 0 25 2 0 0 20 0 19 0 18290210 19498610688 20715 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18290213 19498610688 20715 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18290213 19498610688 20715 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18290232 19498610688 20715 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80812 KiB

[startup+0.701067 s]
/proc/loadavg: 4.37 3.51 1.89 6/335 182145
/proc/meminfo: memFree=103132972/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19041612 memory=156536 CPUtime=1.24 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 12799 0 0 0 119 5 0 0 20 0 19 0 18290210 19498610688 39134 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4760403 39134 5890 1 0 552782 0
[pid=182126/tid=182128] ppid=182123 vsize=19041612 memory=13524 CPUtime=0.62 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 6159 0 0 0 59 3 0 0 20 0 19 0 18290210 19498610688 39134 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19041612 memory=13524 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18290213 19498610688 39134 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18290213 19498610688 39134 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19041612 memory=1896 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18290232 19498610688 39134 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156536 KiB

[startup+1.50108 s]
/proc/loadavg: 4.37 3.51 1.89 7/336 182146
/proc/meminfo: memFree=103072944/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=180368 CPUtime=2.82 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 20228 0 0 0 275 7 0 0 20 0 20 0 18290210 19566772224 45092 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 45092 5890 1 0 554768 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=13524 CPUtime=1.4 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 7274 0 0 0 136 4 0 0 20 0 20 0 18290210 19566772224 45092 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 45092 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 45092 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 45092 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180368 KiB

[startup+3.10606 s]
/proc/loadavg: 4.37 3.51 1.89 5/336 182146
/proc/meminfo: memFree=103034776/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=184760 CPUtime=5.3 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 23009 0 0 0 522 8 0 0 20 0 20 0 18290210 19566772224 46190 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 46190 5890 1 0 555137 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=0 CPUtime=2.97 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 7756 0 0 0 293 4 0 0 20 0 20 0 18290210 19566772224 46190 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 46190 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=182124 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 46190 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=13524 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 46190 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184760 KiB

[startup+6.30106 s]
/proc/loadavg: 4.34 3.52 1.90 5/336 182146
/proc/meminfo: memFree=102820608/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=373268 CPUtime=8.48 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 26450 0 0 0 836 12 0 0 20 0 20 0 18290210 19566772224 93317 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 93317 5890 1 0 555137 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=13524 CPUtime=6.12 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 8501 0 0 0 604 8 0 0 20 0 20 0 18290210 19566772224 93317 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 93317 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=6226906431470784851 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 93317 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=5516 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 93317 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 8.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 373268 KiB

[startup+12.7011 s]
/proc/loadavg: 4.31 3.53 1.91 5/336 182148
/proc/meminfo: memFree=102281936/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=862832 CPUtime=14.87 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 30456 0 0 0 1465 22 0 0 20 0 20 0 18290210 19566772224 215708 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 215708 5890 1 0 555137 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=0 CPUtime=12.43 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 9888 0 0 0 1226 17 0 0 20 0 20 0 18290210 19566772224 215708 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=739936 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 215708 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 215708 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=16100 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 215708 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 14.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 862832 KiB

[startup+25.5011 s]
/proc/loadavg: 4.31 3.57 1.95 5/337 182150
/proc/meminfo: memFree=101600980/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=1325972 CPUtime=27.8 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 36513 0 0 0 2742 38 0 0 20 0 20 0 18290210 19566772224 331493 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 331493 5921 1 0 555137 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=739936 CPUtime=25.08 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 11133 0 0 0 2476 32 0 0 20 0 20 0 18290210 19566772224 331493 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=16100 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 331493 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=3523 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 331493 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=1022832 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 331493 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 27.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325972 KiB

[startup+51.1058 s]
/proc/loadavg: 4.20 3.60 2.01 5/337 182155
/proc/meminfo: memFree=101238144/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=1330264 CPUtime=53.5 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 47824 0 0 0 5303 47 0 0 20 0 20 0 18290210 19566772224 332566 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 332566 5921 1 0 555137 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=12156 CPUtime=50.35 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 13444 0 0 0 4996 39 0 0 20 0 20 0 18290210 19566772224 332566 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0

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

[startup+3342.3 s]
/proc/loadavg: 4.19 4.28 4.17 7/335 184164
/proc/meminfo: memFree=92088152/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3301.28 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 214339 0 0 0 329159 969 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=1936 CPUtime=3271.28 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 89614 0 0 0 326275 853 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3965 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3228 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3301.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.24 4.17 5/335 184175
/proc/meminfo: memFree=89777488/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3360.99 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 217393 0 0 0 335116 983 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=5516 CPUtime=3330.54 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 91082 0 0 0 332188 866 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 3995 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=1896 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3284 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=67084 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3360.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.21 4.16 5/334 184185
/proc/meminfo: memFree=88841568/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3420.4 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 220062 0 0 0 341040 1000 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=1896 CPUtime=3389.42 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 92519 0 0 0 338061 881 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4062 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=1896 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3350 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=67084 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3420.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/335 184199
/proc/meminfo: memFree=87212516/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3478.04 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 222444 0 0 0 346791 1013 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3446.66 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 93657 0 0 0 343774 892 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4296 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=67084 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3419 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3478.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/337 184213
/proc/meminfo: memFree=86633024/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3536.11 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 224928 0 0 0 352583 1028 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=13524 CPUtime=3504.42 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 95199 0 0 0 349537 905 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4485 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3441 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3536.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

[startup+3642.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/337 184223
/proc/meminfo: memFree=86296252/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3595.2 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 227452 0 0 0 358476 1044 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=-8960871789288530620 CPUtime=3563.1 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 96317 0 0 0 355391 919 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4577 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=67084 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3501 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3595.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3647.2 s]
/proc/loadavg: 4.15 4.18 4.16 5/337 184224
/proc/meminfo: memFree=86241852/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19108176 memory=2179988 CPUtime=3600.09 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 227463 0 0 0 358964 1045 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4777044 544997 5921 1 0 556622 0
[pid=182126/tid=182128] ppid=182123 vsize=19108176 memory=2212 CPUtime=3567.98 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 96328 0 0 0 355879 919 0 0 20 0 20 0 18290210 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4577 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19108176 memory=-8960871789288530620 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19108176 memory=-8529089166424449724 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3501 0 0 0 0 0 0 0 20 0 20 0 18290213 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182145] ppid=182123 vsize=19108176 memory=-9126187760556556696 CPUtime=0 cores=0,2
/proc/182126/task/182145/stat : 182145 (Timer-0) S 182123 182126 181698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18290232 19566772224 544997 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.88 s, system=10.4682 s

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

[startup+3647.31 s]
/proc/loadavg: 4.15 4.18 4.16 5/337 184224
/proc/meminfo: memFree=86241852/131524600 swapFree=131070704/131071996
[pid=182126] ppid=182123 vsize=19307868 memory=2180572 CPUtime=3600.29 cores=0,2
/proc/182126/stat : 182126 (java) S 182123 182126 181698 0 -1 1077936128 230406 0 0 0 358984 1045 0 0 20 0 21 0 18290210 19771256832 545143 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
/proc/182126/statm: 4826967 545143 5920 1 0 557557 0
[pid=182126/tid=182128] ppid=182123 vsize=19307868 memory=-8960871789288530620 CPUtime=3568.08 cores=0,2
/proc/182126/task/182128/stat : 182128 (java) R 182123 182126 181698 0 -1 4194368 96328 0 0 0 355889 919 0 0 20 0 21 0 18290210 19771256832 545143 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4577 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182137] ppid=182123 vsize=19307868 memory=67084 CPUtime=0 cores=0,2
/proc/182126/task/182137/stat : 182137 (Finalizer) S 182123 182126 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18290213 19771256832 545143 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
[pid=182126/tid=182144] ppid=182123 vsize=19307868 memory=2179988 CPUtime=0 cores=0,2
/proc/182126/task/182144/stat : 182144 (Common-Cleaner) S 182123 182126 181698 0 -1 1077936192 3501 0 0 0 0 0 0 0 20 0 21 0 18290213 19771256832 545143 134679101440 94383303479296 94383303482992 140726154694304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94383303490808 94383303491600 94383317843968 140726154699691 140726154699873 140726154699873 140726154706888 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2180572 KiB

Child status: 143

Real time (s): 3647.39
CPU time (s): 3600.35
CPU user time (s): 3589.88
CPU system time (s): 10.4682
CPU usage (%): 98.7103
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2180572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.88
system time used= 10.4682
maximum resident set size= 2181456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18069832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121584
involuntary context switches= 31731


# summary of solver processes directly reported to runsolver:
#   pid: 182126
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3589.88
#   total CPU system time (s): 10.4682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85683 second user time and 18.2073 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 12:41:13
IDJOB=4440401
IDBENCH=148153
IDSOLVER=3079
FILE ID=nodeC022/4440401-1721817673
RUNJOBID= nodeC022-1721817186-181708
SLURM_JOB_ID= 7816878
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.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-4440401-1721817673/watcher-4440401-1721817673 -o /tmp/evaluation-result-4440401-1721817673/solver-4440401-1721817673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181708 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440401-1721817673 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440401-1721817673.opb

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

MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=1019234138

nodeC022.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		: 3626.646
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.87
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		: 3681.470
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	: 7006.75
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		: 3620.444
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.278
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	: 7006.75
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		: 3659.564
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.257
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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	: 7006.75
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		: 3635.924
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.87
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		: 3681.806
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	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103237120 kB
MemAvailable:   121808980 kB
Buffers:          247532 kB
Cached:         19046292 kB
SwapCached:          296 kB
Active:          2531584 kB
Inactive:       24906772 kB
Active(anon):       3872 kB
Inactive(anon):  8194912 kB
Active(file):    2527712 kB
Inactive(file): 16711860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            167540 kB
Writeback:             0 kB
AnonPages:       8143420 kB
Mapped:           134320 kB
Shmem:             53884 kB
KReclaimable:     343872 kB
Slab:             472528 kB
SReclaimable:     343872 kB
SUnreclaim:       128656 kB
KernelStack:        5104 kB
PageTables:        26232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8784552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21344 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7833600 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889404 MiB
End job on nodeC022 at 2024-07-24 13:42:00