Trace number 4504995

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 VeriPB 2025-06-06? (TO) 3600.28 3630.09

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
MD5SUM9beff3f3155855feaa4c9645b72566dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.277731
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 111980168
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 9113142699
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 111980168
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 9113142699
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.20	c See www.sat4j.org for details.
0.09/0.22	c version PB25.v20250606
0.24/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.25	c java.vm.version	22.0.1+8-16
0.24/0.25	c java.vm.vendor	Oracle Corporation
0.24/0.25	c sun.arch.data.model	64
0.24/0.25	c java.version		22.0.1
0.24/0.25	c os.name		Linux
0.24/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.25	c os.arch		amd64
0.24/0.26	c Free memory 		2104792832
0.24/0.26	c Max memory 		16282288128
0.24/0.26	c Total memory 		2113929216
0.24/0.27	c Number of processors 	2
0.41/0.38	c Pseudo Boolean Optimization by upper bound
0.41/0.38	c --- Begin Solver configuration ---
0.41/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.38	c Learn all clauses as in MiniSAT
0.41/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.38	c Expensive reason simplification
0.41/0.38	c Glucose 2.1 dynamic restart strategy
0.41/0.38	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.41/0.38	c timeout=2147483s
0.41/0.38	c DB Simplification allowed=false
0.41/0.38	c Listener: none
0.41/0.38	c --- End Solver configuration ---
0.41/0.38	c solving HOME/instance-4504995-1751465335.opb
0.41/0.38	c reading problem ... 
0.41/0.39	c using VERIPB proof format
0.41/0.39	c  objective function found
1.88/1.12	c ... done. Wall clock time 0.729s.
1.88/1.12	c declared #vars     15725
1.88/1.13	c #constraints  33139
1.88/1.13	c constraints type 
1.88/1.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3625
1.88/1.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.88/1.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14775
1.88/1.13	c org.sat4j.specs.Constr$1 => 3
1.88/1.13	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
1.88/1.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14726
1.88/1.13	c 33139 constraints processed.
1.88/1.15	c objective function length is 1825 literals
7.90/4.53	c cleaning 2498 clauses out of 5001 with flag 18672/5001
10.94/7.15	c cleaning 4248 clauses out of 8503 with flag 42121/11001
14.39/10.57	c cleaning 5626 clauses out of 11255 with flag 73182/18001
18.54/14.69	c cleaning 6806 clauses out of 13628 with flag 121192/26000
23.01/19.01	c cleaning 7905 clauses out of 15823 with flag 170304/35001
27.69/23.64	c cleaning 8957 clauses out of 17918 with flag 241807/45001
32.48/28.45	c cleaning 9971 clauses out of 19960 with flag 310401/56000
38.28/34.30	c cleaning 10984 clauses out of 21990 with flag 421044/68001
44.14/40.19	c cleaning 12000 clauses out of 24006 with flag 510219/81001
51.30/47.00	c cleaning 12997 clauses out of 26005 with flag 584827/95000
58.39/54.08	c cleaning 13999 clauses out of 28008 with flag 662778/110000
66.23/61.91	c cleaning 14998 clauses out of 30010 with flag 752458/126001
74.51/70.04	c cleaning 15996 clauses out of 32012 with flag 848495/143001
83.05/78.58	c cleaning 16999 clauses out of 34016 with flag 956458/161001
92.10/87.53	c cleaning 18002 clauses out of 36017 with flag 1088166/180001
101.44/96.91	c cleaning 18997 clauses out of 38014 with flag 1236791/200000
112.52/108.00	c cleaning 20001 clauses out of 40017 with flag 1385199/221000
122.80/118.28	c cleaning 21001 clauses out of 42016 with flag 1557032/243000
133.59/128.95	c cleaning 21999 clauses out of 44017 with flag 1745639/266002
145.00/140.22	c cleaning 23005 clauses out of 46017 with flag 1942721/290001
157.60/152.71	c cleaning 24000 clauses out of 48012 with flag 2130623/315001
171.92/167.17	c cleaning 25001 clauses out of 50013 with flag 2329083/341002
185.46/180.62	c cleaning 25995 clauses out of 52010 with flag 2537268/368000
199.78/194.96	c cleaning 27000 clauses out of 54016 with flag 2733173/396001
213.05/208.26	c cleaning 27999 clauses out of 56016 with flag 2916097/425001
227.60/222.74	c cleaning 29007 clauses out of 58018 with flag 3113625/455002
242.40/237.49	c cleaning 30003 clauses out of 60009 with flag 3275677/486000
257.76/252.72	c cleaning 30997 clauses out of 62006 with flag 3433039/518000
273.96/268.86	c cleaning 31994 clauses out of 64009 with flag 3639102/551000
293.75/288.75	c cleaning 33001 clauses out of 66015 with flag 3885617/585000
315.16/311.47	c cleaning 33999 clauses out of 68015 with flag 4158622/620001
335.41/331.60	c cleaning 35001 clauses out of 70016 with flag 4432367/656001
354.73/350.96	c cleaning 35997 clauses out of 72015 with flag 4669795/693001
373.23/369.38	c cleaning 37000 clauses out of 74017 with flag 4971007/731000
390.62/386.82	c cleaning 38004 clauses out of 76017 with flag 5286759/770000
412.83/409.14	c cleaning 39001 clauses out of 78015 with flag 5576660/810002
433.49/429.76	c cleaning 40001 clauses out of 80013 with flag 5874168/851001
455.47/451.75	c cleaning 41003 clauses out of 82011 with flag 6192601/893000
478.37/474.66	c cleaning 41999 clauses out of 84011 with flag 6481227/936003
499.61/495.69	c cleaning 42997 clauses out of 86011 with flag 6725171/980002
522.10/517.96	c cleaning 43996 clauses out of 88013 with flag 6966468/1025001
543.67/539.52	c cleaning 45007 clauses out of 90016 with flag 7194585/1071000
565.30/561.04	c cleaning 46002 clauses out of 92012 with flag 7470434/1118003
590.55/586.28	c cleaning 46998 clauses out of 94007 with flag 7784760/1166000
617.78/613.56	c cleaning 47991 clauses out of 96010 with flag 8111005/1215001
645.50/641.39	c cleaning 49006 clauses out of 98020 with flag 8458220/1265002
671.07/666.59	c cleaning 50001 clauses out of 100014 with flag 8824370/1316002
695.79/691.30	c cleaning 51004 clauses out of 102012 with flag 9155499/1368001
720.22/715.76	c cleaning 51998 clauses out of 104007 with flag 9485095/1421000
743.37/738.92	c cleaning 52999 clauses out of 106009 with flag 9803396/1475000
769.06/764.65	c cleaning 54000 clauses out of 108012 with flag 10144372/1530002
793.38/789.03	c cleaning 55002 clauses out of 110011 with flag 10472390/1586001
823.00/818.54	c cleaning 55996 clauses out of 112008 with flag 10813185/1643000
854.19/851.29	c cleaning 56993 clauses out of 114014 with flag 11160962/1701002
889.16/887.00	c cleaning 58002 clauses out of 116020 with flag 11544879/1760001
922.24/921.05	c cleaning 58993 clauses out of 118017 with flag 11956254/1820000
951.73/950.54	c cleaning 60000 clauses out of 120024 with flag 12374151/1881000
985.52/984.49	c cleaning 61006 clauses out of 122024 with flag 12807449/1943000
1019.22/1018.15	c cleaning 62001 clauses out of 124018 with flag 13228967/2006000
1054.35/1053.14	c cleaning 63010 clauses out of 126019 with flag 13674160/2070002
1088.31/1087.04	c cleaning 64001 clauses out of 128007 with flag 14102088/2135000
1118.45/1117.27	c cleaning 64998 clauses out of 130007 with flag 14539842/2201001
1160.93/1162.57	c cleaning 65998 clauses out of 132008 with flag 14998388/2268000
1202.37/1204.20	c cleaning 66999 clauses out of 134010 with flag 15471631/2336000
1240.65/1242.46	c cleaning 67979 clauses out of 136012 with flag 15953022/2405001
1275.83/1277.54	c cleaning 69013 clauses out of 138033 with flag 16412634/2475001
1317.34/1323.47	c cleaning 70010 clauses out of 140020 with flag 16975908/2546001
1354.32/1360.30	c cleaning 70997 clauses out of 142010 with flag 17441972/2618001
1395.63/1401.55	c cleaning 71996 clauses out of 144012 with flag 17937586/2691000
1435.28/1441.17	c cleaning 72998 clauses out of 146017 with flag 18455047/2765001
1474.27/1483.78	c cleaning 73997 clauses out of 148020 with flag 18948742/2840002
1510.74/1522.23	c cleaning 74995 clauses out of 150021 with flag 19394677/2916000
1549.67/1562.77	c cleaning 76008 clauses out of 152026 with flag 19967779/2993000
1588.34/1601.48	c cleaning 77008 clauses out of 154019 with flag 20530119/3071001
1627.85/1640.84	c cleaning 77999 clauses out of 156013 with flag 21000497/3150003
1672.26/1684.22	c cleaning 78998 clauses out of 158011 with flag 21493873/3230000
1710.71/1722.62	c cleaning 80006 clauses out of 160013 with flag 22002589/3311000
1753.22/1765.14	c cleaning 80998 clauses out of 162008 with flag 22559396/3393001
1796.92/1810.62	c cleaning 82000 clauses out of 164009 with flag 23116215/3476000
1840.38/1855.55	c cleaning 83000 clauses out of 166010 with flag 23667277/3560001
1883.90/1899.23	c cleaning 83997 clauses out of 168010 with flag 24239625/3645001
1936.98/1952.40	c cleaning 84999 clauses out of 170012 with flag 24840935/3731000
1978.42/1993.96	c cleaning 85999 clauses out of 172014 with flag 25418432/3818001
2027.15/2042.57	c cleaning 86998 clauses out of 174014 with flag 26050181/3906000
2073.88/2089.35	c cleaning 87995 clauses out of 176017 with flag 26693006/3995001
2122.19/2137.90	c cleaning 89005 clauses out of 178022 with flag 27331133/4085001
2168.73/2185.00	c cleaning 90003 clauses out of 180017 with flag 27899819/4176001
2218.57/2234.76	c cleaning 91001 clauses out of 182013 with flag 28497401/4268000
2267.26/2283.47	c cleaning 91996 clauses out of 184012 with flag 29115385/4361000
2314.09/2330.30	c cleaning 93002 clauses out of 186016 with flag 29747716/4455000
2362.02/2378.25	c cleaning 93997 clauses out of 188015 with flag 30338555/4550001
2409.84/2426.98	c cleaning 95004 clauses out of 190018 with flag 30967002/4646001
2475.10/2492.38	c cleaning 96001 clauses out of 192013 with flag 31687410/4743000
2538.34/2555.91	c cleaning 96996 clauses out of 194012 with flag 32405308/4841000
2599.88/2616.90	c cleaning 98004 clauses out of 196016 with flag 33154936/4940000
2652.21/2669.15	c cleaning 98997 clauses out of 198014 with flag 33829428/5040002
2712.51/2734.29	c cleaning 100003 clauses out of 200015 with flag 34500903/5141000
2765.75/2787.48	c cleaning 100999 clauses out of 202012 with flag 35169864/5243000
2826.05/2847.59	c cleaning 101991 clauses out of 204013 with flag 35828900/5346000
2882.49/2904.02	c cleaning 103002 clauses out of 206022 with flag 36538458/5450000
2939.19/2960.76	c cleaning 104009 clauses out of 208021 with flag 37232397/5555001
2997.30/3018.88	c cleaning 104984 clauses out of 210012 with flag 37946738/5661001
3060.13/3081.86	c cleaning 106008 clauses out of 212027 with flag 38640565/5768000
3115.25/3137.03	c cleaning 106987 clauses out of 214019 with flag 39397588/5876000
3176.54/3200.86	c cleaning 108012 clauses out of 216032 with flag 40067929/5985000
3238.11/3262.34	c cleaning 108999 clauses out of 218020 with flag 40752996/6095000
3294.10/3318.15	c cleaning 110004 clauses out of 220023 with flag 41501188/6206002
3353.62/3379.33	c cleaning 110995 clauses out of 222018 with flag 42275204/6318001
3421.26/3447.14	c cleaning 112005 clauses out of 224023 with flag 43119454/6431001
3490.45/3516.50	c cleaning 112998 clauses out of 226017 with flag 43936882/6545000
3552.19/3579.74	c cleaning 113998 clauses out of 228019 with flag 44804605/6660000
3600.05/3627.53	c timeout
3600.05/3627.54	c starts		: 18198
3600.05/3627.54	c conflicts		: 6749907
3600.05/3627.54	c decisions		: 10109289
3600.05/3627.54	c propagations		: 4055252366
3600.05/3627.54	c inspects		: 31274598515
3600.05/3627.54	c shortcuts		: 0
3600.05/3627.54	c learnt literals	: 0
3600.05/3627.54	c learnt binary clauses	: 0
3600.05/3627.54	c learnt ternary clauses	: 3
3600.05/3627.54	c learnt constraints	: 6749907
3600.05/3627.54	c ignored constraints	: 0
3600.05/3627.54	c root simplifications	: 0
3600.05/3627.54	c removed literals (reason simplification)	: 384706245
3600.05/3627.54	c reason swapping (by a shorter reason)	: 0
3600.05/3627.54	c Calls to reduceDB	: 111
3600.05/3627.54	c Number of update (reduction) of LBD	: 2031576
3600.05/3627.54	c Imported unit clauses	: 0
3600.05/3627.54	c No decision after first conflict	: false
3600.05/3627.54	c number of reductions to clauses (during analyze)	: 0
3600.05/3627.54	c number of learned constraints concerned by reduction	: 0
3600.05/3627.54	c number of learning phase by resolution	: 0
3600.05/3627.54	c number of learning phase by cutting planes	: 0
3600.05/3627.54	c number of rounding to 1 operations	: 0
3600.05/3627.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3627.54	c number of reductions of the coefficients by power 2 	: 0
3600.05/3627.54	c number of right shift for reduction by power 2 	: 0
3600.05/3627.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3627.54	c number of ending skipping 	: 0
3600.05/3627.54	c number of internal skipping 	: 0
3600.05/3627.54	c number of derivation steps 	: 0
3600.05/3627.54	c number of skipped derivation steps 	: 0
3600.05/3627.54	c number of remaining unassigned 	: 0
3600.05/3627.54	c number of remaining assigned 	: 0
3600.05/3627.54	c number of falsified literals weakened from reason	: 0
3600.05/3627.54	c number of falsified literals weakened from conflict	: 0
3600.05/3627.54	c time for arithmetic operations	: 0
3600.05/3627.54	c minimum degree of deleted constraints	: null
3600.05/3627.54	c maximum degree of deleted constraints	: null
3600.05/3627.54	c number of deleted constraints	: 0
3600.05/3627.54	c speed (assignments/second)	: 1118273.5388824744
3600.05/3627.54	c non guided choices	: 3
3600.24/3627.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 203928
3600.24/3627.61	s UNKNOWN
3600.24/3627.61	c Total wall clock time (in seconds): 3627.226

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (55611 MiB free)
  memory of node 1: 64507 MiB (63891 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=65356, runsolver pid=65349
Current StackSize limit: 8192 KiB


[startup+0.100224 s]*
/proc/loadavg: 1.88 3.61 3.94 11/279 65392
/proc/meminfo: memFree=122326812/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=18930288 memory=45100 CPUtime=0.09 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 5377 0 108 0 5 4 0 0 20 0 18 0 62212916 19384614912 11275 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4732572 11275 4830 1 0 546693 0
[pid=65356/tid=65359] ppid=65349 vsize=18930344 memory=4026531959 CPUtime=0.06 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 4499 0 89 0 3 3 0 0 20 0 18 0 62212920 19384672256 11275 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=18930344 memory=215637831997 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62212925 19384672256 11307 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=18930344 memory=14018 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62212926 19384672256 11307 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 45100 KiB

[startup+0.216923 s]*
/proc/loadavg: 1.88 3.61 3.94 8/281 65396
/proc/meminfo: memFree=122306992/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=18930384 memory=49708 CPUtime=0.24 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 6077 0 108 0 20 4 0 0 20 0 18 0 62212916 19384713216 12427 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4732596 12427 5310 1 0 547238 0
[pid=65356/tid=65359] ppid=65349 vsize=18930384 memory=4026753545 CPUtime=0.16 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 4906 0 89 0 13 3 0 0 20 0 18 0 62212920 19384713216 12427 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=18930384 memory=211342852430 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62212925 19384713216 12427 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=18930384 memory=62887834170100 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62212926 19384713216 12427 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49708 KiB

[startup+0.317511 s]*
/proc/loadavg: 1.88 3.61 3.94 8/290 65408
/proc/meminfo: memFree=122269448/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=18930384 memory=57780 CPUtime=0.41 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 6583 0 108 0 36 5 0 0 20 0 18 0 62212916 19384713216 14445 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4732596 14445 5310 1 0 547667 0
[pid=65356/tid=65359] ppid=65349 vsize=18930384 memory=-6000919476934502249 CPUtime=0.24 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 5062 0 89 0 21 3 0 0 20 0 18 0 62212920 19384713216 14445 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62212925 19384713216 14445 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62212926 19384713216 14445 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB

[startup+0.700395 s]
/proc/loadavg: 2.13 3.63 3.94 7/299 65419
/proc/meminfo: memFree=122254908/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=18930384 memory=75152 CPUtime=1.08 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 8337 0 108 0 100 8 0 0 20 0 18 0 62212916 19384713216 18788 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4732596 18788 5406 1 0 548725 0
[pid=65356/tid=65359] ppid=65349 vsize=18930384 memory=17920 CPUtime=0.52 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 5290 0 89 0 48 4 0 0 20 0 18 0 62212920 19384713216 18788 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62212925 19384713216 18788 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62212926 19384713216 18788 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 75152 KiB

[startup+1.50024 s]
/proc/loadavg: 2.13 3.63 3.94 9/321 65446
/proc/meminfo: memFree=122093512/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=184260 CPUtime=2.65 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 20751 0 108 0 250 15 0 0 20 0 20 0 62212916 19521036288 46065 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 46065 5470 1 0 554947 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=0 CPUtime=1.16 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 5868 0 89 0 108 8 0 0 20 0 20 0 62212920 19521036288 46097 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 46097 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 46097 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184260 KiB

[startup+3.10501 s]
/proc/loadavg: 2.13 3.63 3.94 10/327 65452
/proc/meminfo: memFree=121089360/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=199160 CPUtime=5.84 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 24697 0 108 0 566 18 0 0 20 0 20 0 62212916 19521036288 49790 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 49790 5502 1 0 555516 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=11136 CPUtime=2.68 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 6327 0 89 0 259 9 0 0 20 0 20 0 62212920 19521036288 49790 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 49790 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=280157764205152 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 49790 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 49790 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199160 KiB

[startup+6.3004 s]
/proc/loadavg: 2.92 3.77 3.98 5/305 65482
/proc/meminfo: memFree=120660136/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=197660 CPUtime=10.01 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 25573 0 108 0 980 21 0 0 20 0 20 0 62212916 19521036288 49415 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 49415 5502 1 0 555547 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=0 CPUtime=5.79 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 6912 0 89 0 568 11 0 0 20 0 20 0 62212920 19521036288 49415 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=5888 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 49415 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=-6000919468428453737 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 49415 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 49415 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 10.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197660 KiB

[startup+12.7004 s]
/proc/loadavg: 3.09 3.79 3.99 6/328 65520
/proc/meminfo: memFree=120166264/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=417048 CPUtime=16.63 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 28572 0 108 0 1634 29 0 0 20 0 20 0 62212916 19521036288 104262 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 104262 5534 1 0 555547 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=11136 CPUtime=12 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 7807 0 89 0 1183 17 0 0 20 0 20 0 62212920 19521036288 104262 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 104262 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 104262 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=-6000919468428453737 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 104262 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 417048 KiB

[startup+25.5005 s]
/proc/loadavg: 3.30 3.81 4.00 5/328 65520
/proc/meminfo: memFree=119175260/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=762804 CPUtime=29.58 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 33518 0 108 0 2916 42 0 0 20 0 20 0 62212916 19521036288 190701 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 190701 5534 1 0 710119 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=0 CPUtime=24.4 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 8819 0 89 0 2414 26 0 0 20 0 20 0 62212920 19521036288 190701 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=-6000919468428453737 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 190701 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=-6000919468428453737 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 190701 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 190701 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 29.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 762804 KiB

[startup+51.1138 s]
/proc/loadavg: 3.72 3.87 4.01 5/333 65526
/proc/meminfo: memFree=117929952/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=1252664 CPUtime=55.5 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 38409 0 108 0 5489 61 0 0 20 0 20 0 62212916 19521036288 313166 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 313166 5534 1 0 710131 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=17920 CPUtime=49.55 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 9932 0 89 0 4914 41 0 0 20 0 20 0 62212920 19521036288 313166 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=-6000919468428453737 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 313166 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=1215628 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 313166 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=1215628 CPUtime=0 cores=1,3

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

Current children cumulated CPU time: 3258.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2656220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/333 65712
/proc/meminfo: memFree=92891052/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2656220 CPUtime=3318.23 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 134252 0 108 0 330692 1131 0 0 20 0 20 0 62212916 19521036288 664055 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 664055 5534 1 0 676371 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=5760 CPUtime=3271.08 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 69380 0 89 0 326204 904 0 0 20 0 20 0 62212920 19521036288 664055 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=2656220 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 664055 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=2656220 CPUtime=0 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2185 0 0 0 0 0 0 0 20 0 20 0 62212926 19521036288 664055 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=2656220 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 664055 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3318.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2656220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/332 65719
/proc/meminfo: memFree=92597156/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3376.53 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 143025 0 108 0 336501 1152 0 0 20 0 20 0 62212916 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 666455 5534 1 0 678775 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=2656220 CPUtime=3328.31 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 76755 0 89 0 331911 920 0 0 20 0 20 0 62212920 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=2656220 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0.01 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2240 0 0 0 1 0 0 0 20 0 20 0 62212926 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3376.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2665820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/331 65723
/proc/meminfo: memFree=92355084/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3436.36 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 144060 0 108 0 342469 1167 0 0 20 0 20 0 62212916 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 666455 5534 1 0 678775 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=2656220 CPUtime=3387.94 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 77689 0 89 0 337862 932 0 0 20 0 20 0 62212920 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=2656220 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0.01 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2240 0 0 0 1 0 0 0 20 0 20 0 62212926 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3436.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2665820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.71 4.32 4.23 5/331 65725
/proc/meminfo: memFree=91977988/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3494.8 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 145725 0 108 0 348300 1180 0 0 20 0 20 0 62212916 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 666455 5534 1 0 678775 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3446.15 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 78860 0 89 0 343674 941 0 0 20 0 20 0 62212920 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0.01 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2319 0 0 0 1 0 0 0 20 0 20 0 62212926 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3494.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2665820 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.31 4.23 5/332 65728
/proc/meminfo: memFree=91674756/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3554.73 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 146077 0 108 0 354277 1196 0 0 20 0 20 0 62212916 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 666455 5534 1 0 678775 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=5148 CPUtime=3505.64 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 78930 0 89 0 349610 954 0 0 20 0 20 0 62212920 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=6452091047525836095 CPUtime=0.01 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2397 0 0 0 1 0 0 0 20 0 20 0 62212926 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3554.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2665820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.5 s]
/proc/loadavg: 4.27 4.28 4.22 5/332 65732
/proc/meminfo: memFree=91306112/131382120 swapFree=33010416/33010684
[pid=65356] ppid=65349 vsize=19063512 memory=2665820 CPUtime=3600.05 cores=1,3
/proc/65356/stat : 65356 (java) S 65349 65356 65308 0 -1 4194304 146286 0 108 0 358796 1209 0 0 20 0 20 0 62212916 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
/proc/65356/statm: 4765878 666455 5534 1 0 678775 0
[pid=65356/tid=65359] ppid=65349 vsize=19063512 memory=5760 CPUtime=3550.49 cores=1,3
/proc/65356/task/65359/stat : 65359 (java) R 65349 65356 65308 0 -1 4194368 79082 0 89 0 354084 965 0 0 20 0 20 0 62212920 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65378] ppid=65349 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/65356/task/65378/stat : 65378 (Finalizer) S 65349 65356 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62212925 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65392] ppid=65349 vsize=19063512 memory=14304 CPUtime=0.01 cores=1,3
/proc/65356/task/65392/stat : 65392 (Common-Cleaner) S 65349 65356 65308 0 -1 4194368 2397 0 0 0 1 0 0 0 20 0 20 0 62212926 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
[pid=65356/tid=65448] ppid=65349 vsize=19063512 memory=2665820 CPUtime=0 cores=1,3
/proc/65356/task/65448/stat : 65448 (Timer-0) S 65349 65356 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62213036 19521036288 666455 18446744073709551615 94834357370880 94834357374576 140728866287568 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94834357382392 94834357383184 94834366173184 140728866294064 140728866294246 140728866294246 140728866299848 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2665820 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3588.16 s, system=12.1293 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3628.8 s]
/proc/loadavg: 4.27 4.28 4.22 4/314 65735
/proc/meminfo: memFree=91332620/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3629.2 s]
/proc/loadavg: 4.27 4.28 4.22 4/314 65735
/proc/meminfo: memFree=91331616/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3629.4 s]
/proc/loadavg: 4.27 4.28 4.22 4/314 65735
/proc/meminfo: memFree=91331616/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3629.5 s]
/proc/loadavg: 4.27 4.28 4.22 4/314 65735
/proc/meminfo: memFree=91331616/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3630.09
CPU time (s): 3600.28
CPU user time (s): 3588.16
CPU system time (s): 12.1293
CPU usage (%): 99.1788
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2814084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.16
system time used= 12.1293
maximum resident set size= 2814084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148387
page faults= 108
swaps= 0
block input operations= 0
block output operations= 14781280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117454
involuntary context switches= 9639


# summary of solver processes directly reported to runsolver:
#   pid: 65356
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3588.16
#   total CPU system time (s): 12.1293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2987 second user time and 38.7079 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-02 16:08:55
IDJOB=4504995
IDBENCH=155719
IDSOLVER=3364
FILE ID=nodeC006/4504995-1751465335
RUNJOBID= nodeC006-1751465335-65320
SLURM_JOB_ID= 9598479
Free space on /tmp= 432332 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504995-1751465335/watcher-4504995-1751465335 -o /tmp/evaluation-result-4504995-1751465335/solver-4504995-1751465335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751465335-65320 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4504995-1751465335 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4504995-1751465335.opb

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

MD5SUM BENCH= 9beff3f3155855feaa4c9645b72566dc
RANDOM SEED=102462232

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        122368692 kB
MemAvailable:   129855532 kB
Buffers:            2128 kB
Cached:          8257544 kB
SwapCached:           12 kB
Active:           496524 kB
Inactive:        7845892 kB
Active(anon):      89612 kB
Inactive(anon):    11092 kB
Active(file):     406912 kB
Inactive(file):  7834800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11676 kB
Writeback:             0 kB
AnonPages:         85928 kB
Mapped:           103648 kB
Shmem:             17948 kB
KReclaimable:     169128 kB
Slab:             255136 kB
SReclaimable:     169128 kB
SUnreclaim:        86008 kB
KernelStack:        3936 kB
PageTables:         3024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     348624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432280 MiB
End job on nodeC006 at 2025-07-02 17:09:26