Trace number 4522927

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.16 3674.33

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
MD5SUM9cee63c9b1f689a984aff093bf48a6b9
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 benchmark346
Best CPU time to get the best result obtained on this benchmark1.68193
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables104748
Total number of constraints104749
Number of constraints which are clauses92371
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints10934
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4522927-1751650674.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
3.89/2.68	c ... done. Wall clock time 2.553s.
3.89/2.68	c declared #vars     104748
3.89/2.68	c #constraints  117127
3.89/2.68	c constraints type 
3.89/2.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 93939
3.89/2.68	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11583
3.89/2.68	c org.sat4j.specs.Constr$1 => 12
3.89/2.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11581
3.89/2.68	c org.sat4j.pb.constraints.pb.UnitClausePB => 12
3.89/2.68	c 117127 constraints processed.
4.06/2.70	c objective function length is 1444 literals
17.52/14.40	c cleaning 2462 clauses out of 4923 with flag 29489/5000
30.08/26.22	c cleaning 4221 clauses out of 8441 with flag 81214/11002
41.12/37.35	c cleaning 5604 clauses out of 11207 with flag 147317/18000
54.08/50.21	c cleaning 6793 clauses out of 13593 with flag 232553/26002
69.10/68.91	c cleaning 7898 clauses out of 15796 with flag 331042/35006
84.77/84.67	c cleaning 8944 clauses out of 17887 with flag 446576/45001
99.63/99.47	c cleaning 9964 clauses out of 19939 with flag 571427/56000
116.78/116.70	c cleaning 10979 clauses out of 21972 with flag 723630/68003
135.10/136.02	c cleaning 11981 clauses out of 23986 with flag 893457/81000
156.70/157.53	c cleaning 12993 clauses out of 25986 with flag 1075562/95000
179.12/180.03	c cleaning 13991 clauses out of 27982 with flag 1289053/110002
206.86/207.86	c cleaning 14994 clauses out of 29987 with flag 1524043/126002
236.13/237.03	c cleaning 15994 clauses out of 31988 with flag 1788300/143003
269.14/270.17	c cleaning 16995 clauses out of 33989 with flag 2071152/161002
302.90/303.97	c cleaning 17985 clauses out of 35980 with flag 2375121/180000
341.90/342.94	c cleaning 18986 clauses out of 37984 with flag 2681437/200000
383.76/384.92	c cleaning 19988 clauses out of 39975 with flag 2924885/221000
430.89/432.09	c cleaning 20986 clauses out of 41971 with flag 3226139/243001
480.35/481.60	c cleaning 21983 clauses out of 43965 with flag 3524581/266000
530.30/531.63	c cleaning 22989 clauses out of 45980 with flag 3813876/290002
583.15/584.34	c cleaning 23985 clauses out of 47980 with flag 4181030/315001
641.81/643.02	c cleaning 24984 clauses out of 49977 with flag 4471653/341000
692.64/695.58	c cleaning 25980 clauses out of 51987 with flag 4770079/368000
738.97/742.01	c cleaning 26999 clauses out of 54005 with flag 5099731/396000
794.52/797.72	c cleaning 27997 clauses out of 56003 with flag 5391459/425001
859.89/866.22	c cleaning 28988 clauses out of 57997 with flag 5688962/455000
930.96/937.17	c cleaning 30002 clauses out of 60009 with flag 6062926/486007
995.53/1001.63	c cleaning 30999 clauses out of 61999 with flag 6433134/518006
1061.34/1067.58	c cleaning 31986 clauses out of 63988 with flag 6751162/551002
1135.05/1141.41	c cleaning 32983 clauses out of 65990 with flag 7131546/585000
1216.64/1225.53	c cleaning 33986 clauses out of 68000 with flag 7513767/620000
1299.23/1308.04	c cleaning 35000 clauses out of 70008 with flag 7934994/656005
1382.41/1391.77	c cleaning 35991 clauses out of 71998 with flag 8311965/693000
1454.13/1463.81	c cleaning 36997 clauses out of 74004 with flag 8731008/731000
1551.99/1565.69	c cleaning 38002 clauses out of 76004 with flag 9198896/770001
1638.20/1653.92	c cleaning 38991 clauses out of 77996 with flag 9559856/810001
1725.86/1745.75	c cleaning 39994 clauses out of 80001 with flag 9911414/851001
1819.31/1841.14	c cleaning 40990 clauses out of 81998 with flag 10377447/893000
1905.15/1930.63	c cleaning 41993 clauses out of 84001 with flag 10804630/936000
2008.31/2036.82	c cleaning 42988 clauses out of 85990 with flag 11339897/980000
2097.91/2126.34	c cleaning 43983 clauses out of 87997 with flag 11816427/1025000
2179.63/2208.47	c cleaning 44997 clauses out of 90009 with flag 12301572/1071001
2277.40/2307.64	c cleaning 45994 clauses out of 92006 with flag 12798816/1118002
2359.54/2391.30	c cleaning 46992 clauses out of 94007 with flag 13236943/1166001
2465.45/2496.97	c cleaning 48003 clauses out of 96009 with flag 13686887/1215001
2567.60/2599.15	c cleaning 48994 clauses out of 97998 with flag 14258118/1265002
2687.66/2723.42	c cleaning 49982 clauses out of 99988 with flag 14756867/1316001
2802.12/2837.91	c cleaning 50998 clauses out of 102006 with flag 15285135/1368001
2912.04/2953.21	c cleaning 51985 clauses out of 103990 with flag 15673461/1421002
3031.18/3080.23	c cleaning 52971 clauses out of 105988 with flag 16122178/1475000
3157.70/3206.43	c cleaning 53982 clauses out of 108010 with flag 16581864/1530001
3304.62/3360.57	c cleaning 54997 clauses out of 110020 with flag 17079639/1586000
3391.95/3458.06	c cleaning 55999 clauses out of 112021 with flag 17367814/1643000
3480.02/3554.13	c cleaning 57005 clauses out of 114024 with flag 17629987/1701002
3600.01/3674.21	c starts		: 6529
3600.01/3674.21	c conflicts		: 1756939
3600.01/3674.21	c decisions		: 4981870
3600.01/3674.21	c propagations		: 8724843555
3600.01/3674.21	c inspects		: 5681948308
3600.01/3674.21	c shortcuts		: 0
3600.01/3674.21	c learnt literals	: 546
3600.01/3674.21	c learnt binary clauses	: 2475
3600.01/3674.21	c learnt ternary clauses	: 2465
3600.01/3674.21	c learnt constraints	: 1756392
3600.01/3674.21	c ignored constraints	: 0
3600.01/3674.21	c root simplifications	: 0
3600.01/3674.21	c removed literals (reason simplification)	: 189142232
3600.01/3674.21	c reason swapping (by a shorter reason)	: 0
3600.01/3674.21	c Calls to reduceDB	: 54
3600.01/3674.21	c Number of update (reduction) of LBD	: 237068
3600.01/3674.21	c Imported unit clauses	: 0
3600.01/3674.21	c No decision after first conflict	: false
3600.01/3674.21	c number of reductions to clauses (during analyze)	: 0
3600.01/3674.21	c number of learned constraints concerned by reduction	: 0
3600.01/3674.21	c number of learning phase by resolution	: 0
3600.01/3674.21	c number of learning phase by cutting planes	: 0
3600.01/3674.21	c number of rounding to 1 operations	: 0
3600.01/3674.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3674.22	c number of reductions of the coefficients by power 2 	: 0
3600.01/3674.22	c number of right shift for reduction by power 2 	: 0
3600.01/3674.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3674.22	c number of ending skipping 	: 0
3600.01/3674.22	c number of internal skipping 	: 0
3600.01/3674.22	c number of derivation steps 	: 0
3600.01/3674.22	c number of skipped derivation steps 	: 0
3600.01/3674.22	c number of remaining unassigned 	: 0
3600.01/3674.22	c number of remaining assigned 	: 0
3600.01/3674.22	c number of falsified literals weakened from reason	: 0
3600.01/3674.22	c number of falsified literals weakened from conflict	: 0
3600.01/3674.22	c time for arithmetic operations	: 0
3600.01/3674.22	c minimum degree of deleted constraints	: null
3600.01/3674.22	c maximum degree of deleted constraints	: null
3600.01/3674.22	c number of deleted constraints	: 0
3600.01/3674.22	c speed (assignments/second)	: 2376374.1830982156
3600.01/3674.22	c non guided choices	: 0
3600.01/3674.24	c timeout
3600.01/3674.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 110471
3600.01/3674.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2475
3600.01/3674.27	s UNKNOWN
3600.01/3674.27	c Total wall clock time (in seconds): 3674.144

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: 63665 MiB (51060 MiB free)
  memory of node 1: 64507 MiB (25916 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
solver pid=93472, runsolver pid=93469
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.43 4.51 4.68 6/352 93490
/proc/meminfo: memFree=78784004/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=18930384 memory=57800 CPUtime=0.13 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 6604 0 0 0 11 2 0 0 20 0 18 0 80747307 19384713216 14450 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4732596 14450 5338 1 0 547641 0
[pid=93472/tid=93474] ppid=93469 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 5101 0 0 0 7 1 0 0 20 0 18 0 80747308 19384713216 14450 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80747310 19384713216 14450 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80747311 19384713216 14450 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB

[startup+0.206113 s]*
/proc/loadavg: 4.43 4.51 4.68 7/352 93490
/proc/meminfo: memFree=78720676/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=18930384 memory=111028 CPUtime=0.32 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 7024 0 0 0 30 2 0 0 20 0 18 0 80747307 19384713216 27757 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4732596 27757 5434 1 0 547909 0
[pid=93472/tid=93474] ppid=93469 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 5313 0 0 0 16 1 0 0 20 0 18 0 80747308 19384713216 27757 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80747310 19384713216 27757 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80747311 19384713216 27757 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111028 KiB

[startup+0.306055 s]*
/proc/loadavg: 4.43 4.51 4.68 9/353 93491
/proc/meminfo: memFree=78665728/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=18996948 memory=169764 CPUtime=0.52 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 8987 0 0 0 48 4 0 0 20 0 19 0 80747307 19452874752 42441 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4749237 42441 5466 1 0 549393 0
[pid=93472/tid=93474] ppid=93469 vsize=18996948 memory=-6000919468394834278 CPUtime=0.25 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 5337 0 0 0 23 2 0 0 20 0 19 0 80747308 19452874752 42441 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80747310 19452874752 42441 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80747311 19452874752 42441 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 169764 KiB

[startup+0.700235 s]
/proc/loadavg: 4.43 4.51 4.68 7/353 93491
/proc/meminfo: memFree=78375228/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=18996948 memory=498708 CPUtime=1.28 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 9913 0 0 0 116 12 0 0 20 0 19 0 80747307 19452874752 124677 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4749237 124677 5530 1 0 1205371 0
[pid=93472/tid=93474] ppid=93469 vsize=18996948 memory=18944 CPUtime=0.54 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 5476 0 0 0 46 8 0 0 20 0 19 0 80747308 19452874752 124677 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80747310 19452874752 124677 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80747311 19452874752 124677 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 498708 KiB

[startup+1.50025 s]
/proc/loadavg: 4.43 4.51 4.68 7/353 93491
/proc/meminfo: memFree=77599764/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=18996948 memory=2432520 CPUtime=2.65 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 16159 0 0 0 215 50 0 0 20 0 19 0 80747307 19452874752 608130 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4749237 608130 5530 1 0 1826306 0
[pid=93472/tid=93474] ppid=93469 vsize=18996948 memory=3328 CPUtime=1.24 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 6393 0 0 0 80 44 0 0 20 0 19 0 80747308 19452874752 608130 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80747310 19452874752 608130 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80747311 19452874752 608130 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2432520 KiB

[startup+3.10589 s]
/proc/loadavg: 4.43 4.51 4.68 7/354 93492
/proc/meminfo: memFree=74944968/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=3839432 CPUtime=4.85 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 17292 0 0 0 407 78 0 0 20 0 20 0 80747307 19521036288 959858 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 959858 5562 1 0 1826749 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=10880 CPUtime=2.81 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 7218 0 0 0 209 72 0 0 20 0 20 0 80747308 19521036288 959858 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 959858 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 959858 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 959858 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3839432 KiB

[startup+6.30019 s]
/proc/loadavg: 4.63 4.55 4.70 5/354 93492
/proc/meminfo: memFree=74770008/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=3949248 CPUtime=9.31 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 17755 0 0 0 848 83 0 0 20 0 20 0 80747307 19521036288 987312 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 987312 5562 1 0 1826792 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 7404 0 0 0 524 75 0 0 20 0 20 0 80747308 19521036288 987312 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=3830756 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 987312 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 987312 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=-6000919468394834278 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 987312 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3949248 KiB

[startup+12.7002 s]
/proc/loadavg: 4.58 4.54 4.69 5/354 93492
/proc/meminfo: memFree=74411880/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=4215616 CPUtime=15.79 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 18072 0 0 0 1490 89 0 0 20 0 20 0 80747307 19521036288 1053904 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1053904 5562 1 0 1826792 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=4166464 CPUtime=12.37 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 7684 0 0 0 1156 81 0 0 20 0 20 0 80747308 19521036288 1053904 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1053904 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1053904 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1053904 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4215616 KiB

[startup+25.5003 s]
/proc/loadavg: 4.53 4.53 4.69 5/354 93492
/proc/meminfo: memFree=73829256/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=4553888 CPUtime=29.37 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 34033 0 0 0 2837 100 0 0 20 0 20 0 80747307 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1138472 5562 1 0 1829182 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=4166464 CPUtime=25.05 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 8660 0 0 0 2415 90 0 0 20 0 20 0 80747308 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=4553760 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 29.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4553888 KiB

[startup+51.1058 s]
/proc/loadavg: 4.43 4.50 4.67 5/348 93492
/proc/meminfo: memFree=73412692/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=4553888 CPUtime=54.98 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 39614 0 0 0 5389 109 0 0 20 0 20 0 80747307 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1138472 5562 1 0 1829182 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=4553888 CPUtime=50.52 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 10990 0 0 0 4955 97 0 0 20 0 20 0 80747308 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=4553888 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1138472 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0

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

[startup+3342.3 s]
/proc/loadavg: 2.10 2.18 3.07 3/292 93863
/proc/meminfo: memFree=111255564/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7255236 CPUtime=3286.53 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 267320 0 0 0 327701 952 0 0 20 0 20 0 80747307 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1813809 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=5276 CPUtime=3256.21 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 145310 0 0 0 324806 815 0 0 20 0 20 0 80747308 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=7255236 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3629 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=7255236 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3286.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7255236 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.16 3.00 3/292 93869
/proc/meminfo: memFree=111108136/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7255236 CPUtime=3346.58 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 273607 0 0 0 333691 967 0 0 20 0 20 0 80747307 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1813809 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=7255236 CPUtime=3315.58 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 148369 0 0 0 330730 828 0 0 20 0 20 0 80747308 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=7255236 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=7255236 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3709 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1813809 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3346.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7255236 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.14 2.94 3/292 93871
/proc/meminfo: memFree=110974688/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3396.23 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 275058 0 0 0 338640 983 0 0 20 0 20 0 80747307 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1814350 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=7255236 CPUtime=3364.43 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 149618 0 0 0 335600 843 0 0 20 0 20 0 80747308 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=7255236 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3757 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=-6000919468394834278 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3396.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257400 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.13 2.89 3/292 93873
/proc/meminfo: memFree=110840040/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3448.15 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 280145 0 0 0 343813 1002 0 0 20 0 20 0 80747307 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1814350 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=7255236 CPUtime=3415.98 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 152577 0 0 0 340739 859 0 0 20 0 20 0 80747308 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3838 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3448.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257400 KiB

[startup+3582.3 s]
/proc/loadavg: 2.07 2.12 2.83 3/292 93875
/proc/meminfo: memFree=110689652/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3508.15 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 283011 0 0 0 349792 1023 0 0 20 0 20 0 80747307 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1814350 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=14720 CPUtime=3475.55 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 155059 0 0 0 346676 879 0 0 20 0 20 0 80747308 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3853 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3508.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257400 KiB

[startup+3642.3 s]
/proc/loadavg: 2.08 2.11 2.78 3/292 93877
/proc/meminfo: memFree=110571460/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3568.23 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 286281 0 0 0 355785 1038 0 0 20 0 20 0 80747307 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1814350 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3534.93 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 156473 0 0 0 352600 893 0 0 20 0 20 0 80747308 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3930 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=2724 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3568.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3674.2 s]
/proc/loadavg: 2.11 2.12 2.76 3/292 93877
/proc/meminfo: memFree=110498544/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19063512 memory=7257400 CPUtime=3600.01 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 289115 0 0 0 358954 1047 0 0 20 0 20 0 80747307 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4765878 1814350 5594 1 0 1830584 0
[pid=93472/tid=93474] ppid=93469 vsize=19063512 memory=6964 CPUtime=3566.69 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) R 93469 93472 92592 0 -1 4194368 159057 0 0 0 355768 901 0 0 20 0 20 0 80747308 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19063512 memory=-6000919468394834278 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80747310 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3930 0 0 0 0 0 0 0 20 0 20 0 80747311 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93492] ppid=93469 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/93472/task/93492/stat : 93492 (Timer-0) S 93469 93472 92592 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80747580 19521036288 1814350 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7257400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.65 s, system=10.5089 s

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

[startup+3674.3 s]
/proc/loadavg: 2.11 2.12 2.76 3/292 93877
/proc/meminfo: memFree=110498544/131250000 swapFree=33010416/33010684
[pid=93472] ppid=93469 vsize=19263204 memory=7258168 CPUtime=3600.13 cores=0,2
/proc/93472/stat : 93472 (java) S 93469 93472 92592 0 -1 4194304 291960 0 0 0 358965 1048 0 0 20 0 15 0 80747307 19725520896 1814542 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
/proc/93472/statm: 4815801 1814542 5594 1 0 1831534 0
[pid=93472/tid=93474] ppid=93469 vsize=19263204 memory=7257400 CPUtime=3566.73 cores=0,2
/proc/93472/task/93474/stat : 93474 (java) S 93469 93472 92592 0 -1 4194368 159381 0 0 0 355771 902 0 0 20 0 15 0 80747308 19725520896 1814542 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93483] ppid=93469 vsize=19263204 memory=3328 CPUtime=0 cores=0,2
/proc/93472/task/93483/stat : 93483 (Finalizer) S 93469 93472 92592 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 80747310 19725520896 1814542 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
[pid=93472/tid=93490] ppid=93469 vsize=19263204 memory=7257400 CPUtime=0 cores=0,2
/proc/93472/task/93490/stat : 93490 (Common-Cleaner) S 93469 93472 92592 0 -1 4194368 3930 0 0 0 0 0 0 0 20 0 15 0 80747311 19725520896 1814542 18446744073709551615 94323289014272 94323289017968 140722550495280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94323289025784 94323289026576 94323295379456 140722550499631 140722550499813 140722550499813 140722550505416 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7258168 KiB

Child status: 143

Real time (s): 3674.33
CPU time (s): 3600.16
CPU user time (s): 3589.65
CPU system time (s): 10.5089
CPU usage (%): 97.9815
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7258168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.65
system time used= 10.5089
maximum resident set size= 7258296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10254648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115663
involuntary context switches= 11918


# summary of solver processes directly reported to runsolver:
#   pid: 93472
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3589.65
#   total CPU system time (s): 10.5089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87155 second user time and 14.7934 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 19:37:54
IDJOB=4522927
IDBENCH=179456
IDSOLVER=3364
FILE ID=nodeC027/4522927-1751650674
RUNJOBID= nodeC027-1751647260-92973
SLURM_JOB_ID= 9672332
Free space on /tmp= 431100 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522927-1751650674/watcher-4522927-1751650674 -o /tmp/evaluation-result-4522927-1751650674/solver-4522927-1751650674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751647260-92973 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522927-1751650674 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522927-1751650674.opb

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

MD5SUM BENCH= 9cee63c9b1f689a984aff093bf48a6b9
RANDOM SEED=953506724

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        78824188 kB
MemAvailable:   97450840 kB
Buffers:            2488 kB
Cached:         19404068 kB
SwapCached:           12 kB
Active:         32851864 kB
Inactive:       18846780 kB
Active(anon):   32307436 kB
Inactive(anon):     2792 kB
Active(file):     544428 kB
Inactive(file): 18843988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1718272 kB
Writeback:            12 kB
AnonPages:      32290496 kB
Mapped:           124996 kB
Shmem:             18056 kB
KReclaimable:     154552 kB
Slab:             300292 kB
SReclaimable:     154552 kB
SUnreclaim:       145740 kB
KernelStack:        5376 kB
PageTables:        66996 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   32901676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151672 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31770624 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431176 MiB
End job on nodeC027 at 2025-07-04 20:39:09