Trace number 4520351

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) 3601.04 3236.07

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
MD5SUM945af48c280f7236a370d583309b9e8f
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 benchmark8034
Best CPU time to get the best result obtained on this benchmark0.147572
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13390
Total number of constraints2678
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)52
Number of constraints which are nor clauses,nor cardinality constraints2626
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 13390
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 13390
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 13390
Number of bits of the biggest sum of numbers14
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.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.42/0.36	c Pseudo Boolean Optimization by upper bound
0.42/0.36	c --- Begin Solver configuration ---
0.42/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.36	c Learn all clauses as in MiniSAT
0.42/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.36	c Expensive reason simplification
0.42/0.36	c Glucose 2.1 dynamic restart strategy
0.42/0.36	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.42/0.36	c timeout=2147483s
0.42/0.36	c DB Simplification allowed=false
0.42/0.36	c Listener: none
0.42/0.36	c --- End Solver configuration ---
0.42/0.36	c solving HOME/instance-4520351-1751573473.opb
0.42/0.36	c reading problem ... 
0.52/27.61	c using VERIPB proof format
0.52/27.61	c  objective function found
1.09/27.99	c ... done. Wall clock time 27.621s.
1.09/27.99	c declared #vars     13390
1.09/27.99	c #constraints  2678
1.09/27.99	c constraints type 
1.09/27.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2678
1.09/27.99	c 2678 constraints processed.
1.30/28.03	c objective function length is 13390 literals
3.26/29.06	c cleaning 2497 clauses out of 5001 with flag 12428/5001
4.84/29.86	c cleaning 4249 clauses out of 8504 with flag 28261/11001
5.44/30.16	c cleaning 5621 clauses out of 11256 with flag 47485/18002
5.82/30.35	c cleaning 6802 clauses out of 13633 with flag 71981/26000
6.23/30.51	c cleaning 7886 clauses out of 15833 with flag 99746/35002
6.43/30.65	c cleaning 8959 clauses out of 17946 with flag 129221/45001
6.62/30.79	c cleaning 9985 clauses out of 19987 with flag 159850/56001
7.02/30.92	c cleaning 10944 clauses out of 22001 with flag 193428/68000
7.22/31.05	c cleaning 11989 clauses out of 24058 with flag 235207/81001
7.36/31.18	c cleaning 12973 clauses out of 26071 with flag 276409/95003
7.56/31.31	c cleaning 14010 clauses out of 28096 with flag 323408/110001
7.65/31.49	c cleaning 14965 clauses out of 30086 with flag 372189/126001
7.88/31.65	c cleaning 16021 clauses out of 32121 with flag 424879/143001
8.11/31.85	c cleaning 17021 clauses out of 34100 with flag 477892/161001
8.32/32.06	c cleaning 18026 clauses out of 36080 with flag 533045/180002
8.81/32.53	c cleaning 18981 clauses out of 38052 with flag 593107/200000
9.40/33.12	c cleaning 19977 clauses out of 40072 with flag 651573/221001
9.79/33.54	c cleaning 21042 clauses out of 42095 with flag 716547/243001
10.20/33.91	c cleaning 21972 clauses out of 44053 with flag 783911/266001
10.80/34.55	c cleaning 23029 clauses out of 46081 with flag 851331/290001
11.41/35.13	c cleaning 24008 clauses out of 48053 with flag 923280/315002
11.80/35.57	c cleaning 25002 clauses out of 50043 with flag 995977/341000
12.21/35.97	c cleaning 25956 clauses out of 52041 with flag 1076655/368000
12.64/36.32	c cleaning 27025 clauses out of 54087 with flag 1163732/396002
12.94/36.66	c cleaning 28002 clauses out of 56062 with flag 1248812/425002
13.35/37.04	c cleaning 29025 clauses out of 58059 with flag 1336189/455001
13.74/37.43	c cleaning 30010 clauses out of 60033 with flag 1424918/486000
14.14/37.81	c cleaning 30994 clauses out of 62024 with flag 1514063/518001
14.54/38.20	c cleaning 31990 clauses out of 64030 with flag 1607132/551001
15.32/39.18	c cleaning 33016 clauses out of 66040 with flag 1711444/585001
16.32/40.16	c cleaning 33999 clauses out of 68024 with flag 1815296/620001
17.22/41.02	c cleaning 34995 clauses out of 70025 with flag 1920552/656001
17.81/41.64	c cleaning 35987 clauses out of 72030 with flag 2026094/693001
18.32/42.20	c cleaning 37019 clauses out of 74043 with flag 2137976/731001
18.94/42.73	c cleaning 37983 clauses out of 76023 with flag 2246313/770000
19.43/43.27	c cleaning 39011 clauses out of 78041 with flag 2363857/810001
19.93/43.77	c cleaning 40003 clauses out of 80030 with flag 2483860/851001
20.56/44.32	c cleaning 40975 clauses out of 82027 with flag 2602264/893001
21.05/44.89	c cleaning 42009 clauses out of 84051 with flag 2725497/936000
21.66/45.45	c cleaning 42996 clauses out of 86043 with flag 2853358/980001
22.37/46.12	c cleaning 44008 clauses out of 88046 with flag 2979378/1025000
22.95/46.76	c cleaning 44981 clauses out of 90038 with flag 3111679/1071000
23.55/47.38	c cleaning 46024 clauses out of 92057 with flag 3244697/1118000
24.36/48.16	c cleaning 46978 clauses out of 94033 with flag 3381107/1166000
25.14/48.87	c cleaning 48021 clauses out of 96055 with flag 3521130/1215000
25.94/49.62	c cleaning 49010 clauses out of 98035 with flag 3667669/1265001
26.64/50.35	c cleaning 49903 clauses out of 100024 with flag 3822532/1316000
27.39/51.04	c cleaning 50432 clauses out of 102121 with flag 3967854/1368000
28.18/51.81	c cleaning 51430 clauses out of 104689 with flag 4122925/1421000
28.88/52.51	c cleaning 52462 clauses out of 107260 with flag 4272384/1475001
29.57/53.27	c cleaning 53618 clauses out of 109798 with flag 4426768/1530001
30.27/53.98	c cleaning 54574 clauses out of 112179 with flag 4583734/1586000
31.16/54.77	c cleaning 55559 clauses out of 114606 with flag 4748684/1643001
31.86/55.49	c cleaning 56348 clauses out of 117046 with flag 4906256/1701000
32.68/56.21	c cleaning 57397 clauses out of 119698 with flag 5072449/1760000
33.79/57.37	c cleaning 58515 clauses out of 122301 with flag 5237210/1820000
35.67/59.26	c cleaning 59181 clauses out of 124786 with flag 5410768/1881000
36.77/60.30	c cleaning 60475 clauses out of 127606 with flag 5581689/1943001
37.57/61.19	c cleaning 61244 clauses out of 130131 with flag 5758034/2006001
38.58/62.11	c cleaning 62734 clauses out of 132887 with flag 5936841/2070001
39.99/63.58	c cleaning 63367 clauses out of 135152 with flag 6119650/2135000
42.08/65.63	c cleaning 64487 clauses out of 137785 with flag 6302536/2201000
43.17/66.75	c cleaning 65051 clauses out of 140300 with flag 6487456/2268002
44.18/67.78	c cleaning 66286 clauses out of 143248 with flag 6677634/2336001
45.28/68.84	c cleaning 67262 clauses out of 145961 with flag 6874188/2405000
46.18/69.71	c SATISFIABLE
46.18/69.71	c OPTIMIZING...
46.18/69.72	c Got one! Elapsed wall clock time (in seconds):69.35
46.18/69.72	o 8034
46.38/69.84	c cleaning 60091 clauses out of 140313 with flag 14523/2466614
46.57/69.92	c cleaning 5785 clauses out of 86223 with flag 31042/2472615
46.57/70.00	c cleaning 6825 clauses out of 87438 with flag 51025/2479615
46.90/70.11	c cleaning 7814 clauses out of 88612 with flag 71900/2487614
47.07/70.28	c cleaning 8807 clauses out of 89798 with flag 94755/2496614
47.34/70.49	c cleaning 9704 clauses out of 90992 with flag 119385/2506615
47.64/70.79	c cleaning 10861 clauses out of 92287 with flag 148592/2517614
48.05/71.13	c cleaning 11789 clauses out of 93427 with flag 179751/2529615
48.34/71.44	c cleaning 12830 clauses out of 94639 with flag 214139/2542616
48.64/71.71	c cleaning 13701 clauses out of 95809 with flag 252769/2556616
48.84/71.95	c cleaning 14693 clauses out of 97106 with flag 292866/2571614
49.34/72.46	c cleaning 15753 clauses out of 98413 with flag 337939/2587614
49.63/72.78	c cleaning 16652 clauses out of 99660 with flag 385148/2604614
50.05/73.15	c cleaning 17611 clauses out of 101009 with flag 434161/2622615
50.44/73.58	c cleaning 18814 clauses out of 102397 with flag 488049/2641614
50.84/73.98	c cleaning 19640 clauses out of 103583 with flag 541284/2661614
51.24/74.36	c cleaning 20545 clauses out of 104943 with flag 597882/2682614
51.66/74.71	c cleaning 21618 clauses out of 106399 with flag 658022/2704615
51.97/75.11	c cleaning 22493 clauses out of 107781 with flag 720156/2727615
52.56/75.61	c cleaning 23504 clauses out of 109287 with flag 783436/2751614
108.73/125.59	c cleaning 24797 clauses out of 110784 with flag 860124/2776615
242.71/248.38	c cleaning 25992 clauses out of 111986 with flag 920936/2802614
386.57/379.88	c cleaning 27002 clauses out of 112995 with flag 988148/2829615
533.52/510.10	c cleaning 28000 clauses out of 113993 with flag 1056378/2857615
684.72/646.22	c cleaning 28998 clauses out of 114992 with flag 1126555/2886614
829.11/778.13	c cleaning 29999 clauses out of 115994 with flag 1204057/2916614
991.21/926.93	c cleaning 31004 clauses out of 116995 with flag 1290739/2947614
1160.45/1075.99	c cleaning 31998 clauses out of 117991 with flag 1363674/2979614
1338.35/1225.97	c cleaning 33009 clauses out of 118994 with flag 1438674/3012615
1520.53/1384.96	c cleaning 33992 clauses out of 119984 with flag 1517264/3046614
1700.90/1541.80	c cleaning 35002 clauses out of 120992 with flag 1597247/3081614
1890.51/1708.96	c cleaning 35995 clauses out of 121990 with flag 1680556/3117614
2084.93/1879.70	c cleaning 37004 clauses out of 122995 with flag 1767310/3154614
2297.62/2067.31	c cleaning 38000 clauses out of 123992 with flag 1854218/3192615
2504.66/2249.23	c cleaning 39000 clauses out of 124991 with flag 1943881/3231614
2726.97/2446.74	c cleaning 40001 clauses out of 125991 with flag 2036730/3271614
2949.83/2646.40	c cleaning 40995 clauses out of 126990 with flag 2140361/3312614
3176.63/2847.71	c cleaning 42006 clauses out of 127995 with flag 2256104/3354614
3416.08/3062.76	c cleaning 43000 clauses out of 128989 with flag 2354240/3397614
3600.09/3227.62	c starts		: 15359
3600.09/3227.64	c conflicts		: 3430731
3600.09/3227.64	c decisions		: 136011831
3600.09/3227.64	c propagations		: 971194149
3600.09/3227.64	c inspects		: 2566396423
3600.09/3227.64	c shortcuts		: 0
3600.09/3227.64	c learnt literals	: 0
3600.09/3227.64	c learnt binary clauses	: 0
3600.09/3227.65	c learnt ternary clauses	: 20600
3600.09/3227.65	c learnt constraints	: 3430731
3600.09/3227.65	c ignored constraints	: 0
3600.09/3227.65	c root simplifications	: 0
3600.09/3227.65	c removed literals (reason simplification)	: 3152249
3600.09/3227.65	c reason swapping (by a shorter reason)	: 0
3600.09/3227.65	c Calls to reduceDB	: 104
3600.09/3227.65	c Number of update (reduction) of LBD	: 396176
3600.09/3227.65	c Imported unit clauses	: 0
3600.09/3227.65	c No decision after first conflict	: false
3600.09/3227.65	c number of reductions to clauses (during analyze)	: 0
3600.09/3227.65	c number of learned constraints concerned by reduction	: 0
3600.09/3227.65	c number of learning phase by resolution	: 0
3600.09/3227.65	c number of learning phase by cutting planes	: 0
3600.09/3227.65	c number of rounding to 1 operations	: 0
3600.09/3227.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3227.65	c number of reductions of the coefficients by power 2 	: 0
3600.09/3227.65	c number of right shift for reduction by power 2 	: 0
3600.09/3227.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3227.65	c number of ending skipping 	: 0
3600.09/3227.65	c number of internal skipping 	: 0
3600.09/3227.65	c number of derivation steps 	: 0
3600.09/3227.65	c number of skipped derivation steps 	: 0
3600.09/3227.65	c number of remaining unassigned 	: 0
3600.09/3227.65	c number of remaining assigned 	: 0
3600.09/3227.65	c number of falsified literals weakened from reason	: 0
3600.09/3227.65	c number of falsified literals weakened from conflict	: 0
3600.09/3227.65	c time for arithmetic operations	: 0
3600.09/3227.65	c minimum degree of deleted constraints	: null
3600.09/3227.65	c maximum degree of deleted constraints	: null
3600.09/3227.65	c number of deleted constraints	: 0
3600.09/3227.66	c speed (assignments/second)	: 303545.6005625879
3600.09/3227.67	c non guided choices	: 24681477
3600.29/3227.71	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.29/3227.71		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.29/3227.71		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.29/3227.71		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.29/3227.71		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.29/3227.71		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.29/3227.71		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.29/3227.71		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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: 63837 MiB (61892 MiB free)
  memory of node 1: 64465 MiB (61726 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=84730, runsolver pid=84713
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 0.56 1.13 1.80 8/319 84797
/proc/meminfo: memFree=126515940/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930344 memory=47564 CPUtime=0.09 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 5330 0 141 0 5 4 0 0 20 0 18 0 73026677 19384672256 11891 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732586 11891 4918 1 0 546713 0
[pid=84730/tid=84743] ppid=84713 vsize=18930344 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 4443 0 141 0 4 2 0 0 20 0 18 0 73026679 19384672256 11891 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930344 memory=228522721619 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384672256 11891 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930344 memory=56295059375534 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384672256 11891 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 47564 KiB

[startup+0.2141 s]*
/proc/loadavg: 0.56 1.13 1.80 9/319 84797
/proc/meminfo: memFree=126507160/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=51532 CPUtime=0.27 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 5979 0 141 0 22 5 0 0 20 0 18 0 73026677 19384713216 12883 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 12883 5302 1 0 547256 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 4834 0 141 0 13 3 0 0 20 0 18 0 73026679 19384713216 12883 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=2622 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 12883 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=55195547730935 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 12883 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51532 KiB

[startup+0.314096 s]*
/proc/loadavg: 0.56 1.13 1.80 11/319 84797
/proc/meminfo: memFree=126481136/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=59652 CPUtime=0.42 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6442 0 141 0 37 5 0 0 20 0 18 0 73026677 19384713216 14913 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 14913 5334 1 0 547682 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=-6000919494248327271 CPUtime=0.25 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 5000 0 141 0 22 3 0 0 20 0 18 0 73026679 19384713216 14913 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 14913 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 14913 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59652 KiB

[startup+0.700306 s]
/proc/loadavg: 0.56 1.13 1.80 1/319 84797
/proc/meminfo: memFree=126480884/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.51 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 6 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=18560 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=11008 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=3328 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB

[startup+1.50034 s]
/proc/loadavg: 0.56 1.13 1.80 2/319 84797
/proc/meminfo: memFree=126480884/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.51 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 6 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=3328 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=11008 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB

[startup+3.11245 s]
/proc/loadavg: 0.56 1.13 1.80 2/319 84797
/proc/meminfo: memFree=126481840/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.51 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 6 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=11008 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=5632 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB
heavy processes:

[startup+6.30032 s]
/proc/loadavg: 0.84 1.18 1.82 2/319 84797
/proc/meminfo: memFree=126498000/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.51 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 6 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=14588 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=11008 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=-6000919494248327271 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB
heavy processes:

[startup+12.7003 s]
/proc/loadavg: 1.09 1.22 1.83 2/319 84797
/proc/meminfo: memFree=126501464/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.51 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 6 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=7566109192352957398 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=60420 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=14588 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB
heavy processes:

[startup+25.5003 s]
/proc/loadavg: 1.74 1.36 1.86 2/319 84797
/proc/meminfo: memFree=126501472/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.52 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 6584 0 141 0 45 7 0 0 20 0 18 0 73026677 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4732596 15105 5398 1 0 547794 0
[pid=84730/tid=84743] ppid=84713 vsize=18930384 memory=60420 CPUtime=0.29 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) D 84713 84730 84660 0 -1 4194368 5091 0 141 0 26 3 0 0 20 0 18 0 73026679 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=18930384 memory=14588 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73026685 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=18930384 memory=5632 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73026686 19384713216 15105 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60420 KiB
heavy processes:

[startup+51.1135 s]
/proc/loadavg: 2.97 1.69 1.96 6/332 84811
/proc/meminfo: memFree=113475808/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=1495592 CPUtime=27.49 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 33462 0 141 0 2687 62 0 0 20 0 20 0 73026677 19521036288 373898 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 373898 5526 1 0 700261 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=14588 CPUtime=22.83 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 9193 0 141 0 2237 46 0 0 20 0 20 0 73026679 19521036288 373898 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=-6000919494248327271 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 373898 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 373898 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 373898 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 27.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1495592 KiB
heavy processes:

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

/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 170388 0 141 0 246805 4068 0 0 20 0 20 0 73026679 19521036288 4071700 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=16286160 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 4071700 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=16286800 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2209 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 4071700 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=14588 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 4071700 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3261.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16286800 KiB

[startup+2982.3 s]
/proc/loadavg: 4.69 4.71 4.59 6/335 84964
/proc/meminfo: memFree=1882964/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=15613240 CPUtime=3328.58 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1495900 0 141 0 327871 4987 0 0 20 0 20 0 73026677 19521036288 3903310 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 3903310 5558 1 0 3923617 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=14111264 CPUtime=2561.62 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 190567 0 141 0 251995 4167 0 0 20 0 20 0 73026679 19521036288 3903310 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 3903310 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2320 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 3903310 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=14588 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 3903310 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3328.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15613240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.56 4.67 4.58 6/335 84978
/proc/meminfo: memFree=1696396/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=16097576 CPUtime=3393.77 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1569397 0 141 0 334301 5076 0 0 20 0 20 0 73026677 19521036288 4024394 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 4024394 5558 1 0 4046809 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=18560 CPUtime=2614.55 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 245784 0 141 0 257209 4246 0 0 20 0 20 0 73026679 19521036288 4024394 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=3104 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 4024394 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2394 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 4024394 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=16072952 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 4024394 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16097576 KiB

[startup+3102.3 s]
/proc/loadavg: 4.55 4.65 4.58 7/335 84979
/proc/meminfo: memFree=1830596/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=16220728 CPUtime=3459.08 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1631560 0 141 0 340754 5154 0 0 20 0 20 0 73026677 19521036288 4055182 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 4055182 5558 1 0 4078129 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=16171368 CPUtime=2667.6 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 304776 0 141 0 262442 4318 0 0 20 0 20 0 73026679 19521036288 4055182 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=16204200 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 4055182 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=16220728 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2394 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 4055182 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=16220728 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 4055182 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3459.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16220728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.63 4.66 4.59 7/334 84981
/proc/meminfo: memFree=2071728/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=14717548 CPUtime=3529.08 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1643198 0 141 0 347659 5249 0 0 20 0 20 0 73026677 19521036288 3679387 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 3679387 5558 1 0 3698113 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=16171368 CPUtime=2720.79 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 307650 0 141 0 267676 4403 0 0 20 0 20 0 73026679 19521036288 3679387 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 3679387 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=16245340 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2456 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 3679387 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=14495932 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 3679387 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3529.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14717548 KiB

[startup+3222.3 s]
/proc/loadavg: 5.32 4.82 4.65 6/345 84998
/proc/meminfo: memFree=1831624/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=15850144 CPUtime=3594.22 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1751637 0 141 0 354062 5360 0 0 20 0 20 0 73026677 19521036288 3962536 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 3962536 5558 1 0 3986257 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=16171368 CPUtime=2773.23 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 408855 0 141 0 272818 4505 0 0 20 0 20 0 73026679 19521036288 3962536 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 3962536 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=15538220 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2542 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 3962536 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=15743404 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 3962536 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3594.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15850144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3227.6 s]
/proc/loadavg: 5.46 4.86 4.66 5/345 84999
/proc/meminfo: memFree=1749020/131382116 swapFree=33009904/33010684
[pid=84730] ppid=84713 vsize=19063512 memory=15932320 CPUtime=3600.09 cores=5,7
/proc/84730/stat : 84730 (java) S 84713 84730 84660 0 -1 4194304 1786860 0 141 0 354638 5371 0 0 20 0 20 0 73026677 19521036288 3983080 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
/proc/84730/statm: 4765878 3983080 5558 1 0 4007137 0
[pid=84730/tid=84743] ppid=84713 vsize=19063512 memory=2696 CPUtime=2777.84 cores=5,7
/proc/84730/task/84743/stat : 84743 (java) R 84713 84730 84660 0 -1 4194368 438779 0 141 0 273270 4514 0 0 20 0 20 0 73026679 19521036288 3983080 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84782] ppid=84713 vsize=19063512 memory=17636 CPUtime=0 cores=5,7
/proc/84730/task/84782/stat : 84782 (Finalizer) S 84713 84730 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73026685 19521036288 3983080 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84797] ppid=84713 vsize=19063512 memory=9344 CPUtime=0 cores=5,7
/proc/84730/task/84797/stat : 84797 (Common-Cleaner) S 84713 84730 84660 0 -1 4194368 2542 0 0 0 0 0 0 0 20 0 20 0 73026686 19521036288 3983080 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
[pid=84730/tid=84801] ppid=84713 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/84730/task/84801/stat : 84801 (Timer-0) S 84713 84730 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73029492 19521036288 3983080 18446744073709551615 93944393224192 93944393227888 140729732212752 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93944393235704 93944393236496 93944401707008 140729732217136 140729732217318 140729732217318 140729732222920 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15932320 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3546.66 s, system=54.3797 s

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

[startup+3228.8 s]
/proc/loadavg: 5.46 4.86 4.66 6/327 85002
/proc/meminfo: memFree=17609784/131382116 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3229.2 s]
/proc/loadavg: 5.46 4.86 4.66 4/327 85002
/proc/meminfo: memFree=17566840/131382116 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3229.6 s]
/proc/loadavg: 5.46 4.86 4.66 4/327 85002
/proc/meminfo: memFree=17566840/131382116 swapFree=33009904/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): 3236.07
CPU time (s): 3601.04
CPU user time (s): 3546.66
CPU system time (s): 54.3797
CPU usage (%): 111.278
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16286800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.66
system time used= 54.3797
maximum resident set size= 16286800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1791142
page faults= 141
swaps= 0
block input operations= 16
block output operations= 96271856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261985
involuntary context switches= 82720


# summary of solver processes directly reported to runsolver:
#   pid: 84730
#   total CPU time (s): 3601.04
#   total CPU user time (s): 3546.66
#   total CPU system time (s): 54.3797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2404 second user time and 28.7448 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-03 22:11:13
IDJOB=4520351
IDBENCH=177924
IDSOLVER=3364
FILE ID=nodeC010/4520351-1751573473
RUNJOBID= nodeC010-1751573472-84673
SLURM_JOB_ID= 9598796
Free space on /tmp= 429996 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520351-1751573473/watcher-4520351-1751573473 -o /tmp/evaluation-result-4520351-1751573473/solver-4520351-1751573473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751573472-84673 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4520351-1751573473 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4520351-1751573473.opb

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

MD5SUM BENCH= 945af48c280f7236a370d583309b9e8f
RANDOM SEED=1095266129

nodeC010 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.149
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.36
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.292
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.36
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.162
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.36
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.212
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.36
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.569
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.36
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.076
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.36
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.271
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.36
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.129
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126583332 kB
MemAvailable:   129880516 kB
Buffers:            2128 kB
Cached:          4095664 kB
SwapCached:           24 kB
Active:           651196 kB
Inactive:        3509732 kB
Active(anon):      74736 kB
Inactive(anon):     6336 kB
Active(file):     576460 kB
Inactive(file):  3503396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:         64704 kB
Mapped:           103512 kB
Shmem:             17936 kB
KReclaimable:     113912 kB
Slab:             198232 kB
SReclaimable:     113912 kB
SUnreclaim:        84320 kB
KernelStack:        3732 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     339324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429992 MiB
End job on nodeC010 at 2025-07-03 23:05:09