Trace number 4444025

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 NameAnswerCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12? (TO) 3600.4 3169.06

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
MD5SUM392bb637b95a9bbde51dfdce2cdaf17a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.13387
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1650
Total number of constraints113164
Number of constraints which are clauses112614
Number of constraints which are cardinality constraints (but not clauses)550
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	c os.arch		amd64
0.29/0.23	c Free memory 		2115194816
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.47/0.41	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.41	 - never skip resolution steps
0.47/0.41	 - Auto-division on coefficients is disabled
0.47/0.41	 - No postprocessing
0.47/0.41	 - Conflict is considered as is when resolving
0.47/0.41	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.47/0.41	 - Weaken first using unassigned literals
0.47/0.41	 - Bump strategy: ALWAYS_ONE
0.47/0.41	 - Bumper: ASSIGNED
0.47/0.41	--- Begin Solver configuration ---
0.47/0.41	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.47/0.41	Learn all clauses as in MiniSAT
0.47/0.41	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.41	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.41	No reason simplification
0.47/0.41	Armin Biere (Picosat) restarts strategy
0.47/0.41	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.47/0.41	timeout=2147483s
0.47/0.41	DB Simplification allowed=false
0.47/0.41	Listener: none
0.47/0.41	--- End Solver configuration ---
0.47/0.42	c Pseudo Boolean Optimization by upper bound
0.47/0.42	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.42	c  - never skip resolution steps
0.47/0.42	c  - Auto-division on coefficients is disabled
0.47/0.42	c  - No postprocessing
0.47/0.42	c  - Conflict is considered as is when resolving
0.47/0.42	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.47/0.42	c  - Weaken first using unassigned literals
0.47/0.42	c  - Bump strategy: ALWAYS_ONE
0.47/0.42	c  - Bumper: ASSIGNED
0.47/0.42	c --- Begin Solver configuration ---
0.47/0.42	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.47/0.42	c Learn all clauses as in MiniSAT
0.47/0.42	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.42	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.42	c No reason simplification
0.47/0.42	c Armin Biere (Picosat) restarts strategy
0.47/0.42	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.47/0.42	c timeout=2147483s
0.47/0.42	c DB Simplification allowed=false
0.47/0.42	c Listener: none
0.47/0.42	c --- End Solver configuration ---
0.47/0.42	c solving HOME/instance-4444025-1721317695.opb
0.47/0.43	c reading problem ... 
0.47/0.43	c  no objective function found
3.48/1.98	c ... done. Wall clock time 1.555s.
3.48/1.98	c declared #vars     1650
3.48/1.98	c #constraints  113714
3.48/1.98	c constraints type 
3.48/1.98	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 550
3.48/1.98	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 113164
3.48/1.98	c 113714 constraints processed.
8.58/4.53	c cleaning 0 clauses out of 5000 with flag 0/5000
11.22/6.56	c cleaning 12 clauses out of 11000 with flag 0/11000
14.54/8.91	c cleaning 20 clauses out of 17988 with flag 0/18000
17.61/11.58	c cleaning 1 clauses out of 25969 with flag 0/26001
22.37/15.72	c cleaning 7 clauses out of 34967 with flag 0/35000
26.28/19.35	c cleaning 24 clauses out of 44961 with flag 0/45001
31.48/23.93	c cleaning 34 clauses out of 55936 with flag 0/56000
37.00/29.24	c cleaning 13 clauses out of 67902 with flag 0/68000
42.71/34.87	c cleaning 84 clauses out of 80891 with flag 0/81002
48.49/40.39	c cleaning 25 clauses out of 94807 with flag 0/95002
55.47/47.22	c cleaning 35 clauses out of 109780 with flag 0/110000
62.27/53.97	c cleaning 27 clauses out of 125746 with flag 0/126001
69.67/61.09	c cleaning 43 clauses out of 142718 with flag 0/143000
79.59/70.28	c cleaning 119 clauses out of 160675 with flag 0/161000
89.48/80.06	c cleaning 30 clauses out of 179558 with flag 0/180002
99.75/89.85	c cleaning 52 clauses out of 199527 with flag 0/200001
111.38/101.22	c cleaning 86 clauses out of 220474 with flag 0/221000
124.16/113.76	c cleaning 71 clauses out of 242388 with flag 0/243000
141.77/130.80	c cleaning 216 clauses out of 265319 with flag 0/266002
155.23/144.10	c cleaning 45 clauses out of 289101 with flag 0/290000
170.71/159.15	c cleaning 122 clauses out of 314056 with flag 0/315000
190.04/178.17	c cleaning 141 clauses out of 339935 with flag 0/341001
211.54/199.19	c cleaning 75 clauses out of 366794 with flag 0/368001
239.86/227.18	c cleaning 10 clauses out of 394719 with flag 0/396001
261.92/248.53	c cleaning 64 clauses out of 423711 with flag 0/425003
286.36/272.75	c cleaning 94 clauses out of 453644 with flag 0/455000
317.55/303.37	c cleaning 214 clauses out of 484550 with flag 0/486000
339.20/324.54	c cleaning 25 clauses out of 516336 with flag 0/518000
375.26/359.62	c cleaning 377 clauses out of 549311 with flag 0/551000
435.24/418.66	c cleaning 996 clauses out of 582934 with flag 0/585000
481.75/463.99	c cleaning 135 clauses out of 616938 with flag 0/620000
523.37/504.22	c cleaning 249 clauses out of 652803 with flag 0/656000
564.41/544.19	c cleaning 127 clauses out of 689554 with flag 0/693000
608.98/587.61	c cleaning 375 clauses out of 727427 with flag 0/731000
653.51/631.63	c cleaning 85 clauses out of 766054 with flag 0/770002
707.40/684.51	c cleaning 317 clauses out of 805970 with flag 0/810003
787.31/762.77	c cleaning 765 clauses out of 846652 with flag 0/851002
898.00/870.65	c cleaning 1019 clauses out of 887886 with flag 0/893001
960.98/931.23	c cleaning 260 clauses out of 929868 with flag 0/936002
1027.57/984.77	c cleaning 86 clauses out of 973608 with flag 0/980002
1132.28/1076.52	c cleaning 460 clauses out of 1018521 with flag 0/1025001
1195.73/1133.61	c cleaning 17 clauses out of 1064064 with flag 0/1071004
1333.86/1237.38	c cleaning 566 clauses out of 1111043 with flag 0/1118000
1518.08/1376.60	c cleaning 1002 clauses out of 1158477 with flag 0/1166000
1609.81/1448.64	c cleaning 310 clauses out of 1206475 with flag 0/1215000
1674.34/1505.71	c cleaning 32 clauses out of 1256165 with flag 0/1265000
1777.61/1588.61	c cleaning 39 clauses out of 1307133 with flag 0/1316000
1914.94/1698.70	c cleaning 49 clauses out of 1359096 with flag 0/1368002
2063.00/1810.78	c cleaning 148 clauses out of 1412046 with flag 0/1421001
2230.64/1938.12	c cleaning 323 clauses out of 1465899 with flag 0/1475002
2325.47/2018.22	c cleaning 35 clauses out of 1520575 with flag 0/1530001
2550.99/2203.00	c cleaning 1057 clauses out of 1576539 with flag 0/1586000
2752.94/2379.67	c cleaning 882 clauses out of 1632483 with flag 0/1643001
2859.12/2480.23	c cleaning 107 clauses out of 1689601 with flag 0/1701001
3005.75/2621.25	c cleaning 46 clauses out of 1748493 with flag 0/1760000
3200.47/2803.43	c cleaning 598 clauses out of 1808447 with flag 0/1820000
3459.95/3040.64	c cleaning 1342 clauses out of 1868849 with flag 0/1881000
3600.02/3168.82	c timeout
3600.02/3168.82	c starts		: 210
3600.02/3168.83	c conflicts		: 1912335
3600.02/3168.83	c decisions		: 2361124
3600.02/3168.83	c propagations		: 215926466
3600.02/3168.83	c inspects		: 9959676637
3600.02/3168.83	c shortcuts		: 0
3600.02/3168.83	c learnt literals	: 0
3600.02/3168.83	c learnt binary clauses	: 0
3600.02/3168.83	c learnt ternary clauses	: 0
3600.02/3168.83	c learnt constraints	: 1912334
3600.02/3168.83	c ignored constraints	: 0
3600.02/3168.83	c root simplifications	: 0
3600.02/3168.83	c removed literals (reason simplification)	: 0
3600.02/3168.83	c reason swapping (by a shorter reason)	: 0
3600.02/3168.83	c Calls to reduceDB	: 57
3600.02/3168.83	c Number of update (reduction) of LBD	: 0
3600.02/3168.83	c Imported unit clauses	: 0
3600.02/3168.83	c No decision after first conflict	: false
3600.02/3168.83	c number of reductions to clauses (during analyze)	: 0
3600.02/3168.83	c number of learned constraints concerned by reduction	: 0
3600.02/3168.83	c number of learning phase by resolution	: 0
3600.02/3168.83	c number of learning phase by cutting planes	: 0
3600.02/3168.83	c number of rounding to 1 operations	: 101440
3600.02/3168.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3168.83	c number of reductions of the coefficients by power 2 	: 0
3600.02/3168.83	c number of right shift for reduction by power 2 	: 0
3600.02/3168.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3168.83	c number of ending skipping 	: 0
3600.02/3168.83	c number of internal skipping 	: 0
3600.02/3168.83	c number of derivation steps 	: 70583050
3600.02/3168.83	c number of skipped derivation steps 	: 0
3600.02/3168.83	c number of remaining unassigned 	: 6
3600.02/3168.83	c number of remaining assigned 	: 13791514
3600.02/3168.83	c number of falsified literals weakened from reason	: 0
3600.02/3168.83	c number of falsified literals weakened from conflict	: 0
3600.02/3168.83	c time for arithmetic operations	: 2112394246
3600.02/3168.83	c minimum degree of deleted constraints	: 4
3600.02/3168.83	c maximum degree of deleted constraints	: 40
3600.02/3168.83	c number of deleted constraints	: 13493
3600.02/3168.83	c speed (assignments/second)	: 68183.615960147
3600.02/3168.83	c non guided choices	: 304
3600.22/3168.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 1747299
3600.22/3168.97	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 151542
3600.22/3168.97	s UNKNOWN
3600.22/3168.97	c Total wall clock time (in seconds): 3168.557

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: 64096 MiB (59797 MiB free)
  memory of node 1: 64473 MiB (61780 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444025-1721317695/watcher-4444025-1721317695 -o /tmp/evaluation-result-4444025-1721317695/solver-4444025-1721317695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721317707-968471 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4444025-1721317695.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=968517, runsolver pid=968514

[startup+0.102418 s]*
/proc/loadavg: 1.56 2.47 3.08 9/268 968546
/proc/meminfo: memFree=124442344/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=18975048 memory=55784 CPUtime=0.13 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 6379 0 0 0 10 3 0 0 20 0 18 0 183928347 19430449152 13946 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4743762 13946 5673 1 0 550746 0
[pid=968517/tid=968520] ppid=968514 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 5321 0 0 0 5 3 0 0 20 0 18 0 183928348 19430449152 13946 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=18975048 memory=219966358833 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928354 19430449152 13946 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=18975048 memory=44615 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928355 19430449152 13946 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55784 KiB

[startup+0.216758 s]*
/proc/loadavg: 1.56 2.47 3.08 7/268 968546
/proc/meminfo: memFree=124421532/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=18975048 memory=58632 CPUtime=0.29 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 7079 0 0 0 25 4 0 0 20 0 18 0 183928347 19430449152 14658 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4743762 14658 5698 1 0 551320 0
[pid=968517/tid=968520] ppid=968514 vsize=18975048 memory=7872697190685737277 CPUtime=0.18 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 5665 0 0 0 15 3 0 0 20 0 18 0 183928348 19430449152 14658 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928354 19430449152 14658 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=18975048 memory=14415921146002814 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928355 19430449152 14658 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58632 KiB

[startup+0.317667 s]*
/proc/loadavg: 1.56 2.47 3.08 9/266 968546
/proc/meminfo: memFree=124418228/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=18975048 memory=63920 CPUtime=0.47 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 7400 0 0 0 43 4 0 0 20 0 18 0 183928347 19430449152 15980 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4743762 15980 5707 1 0 551545 0
[pid=968517/tid=968520] ppid=968514 vsize=18975048 memory=8764446273926488160 CPUtime=0.28 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 5862 0 0 0 25 3 0 0 20 0 18 0 183928348 19430449152 15980 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=18975048 memory=-8889091246444028604 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928354 19430449152 15980 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928355 19430449152 15980 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63920 KiB

[startup+0.706884 s]
/proc/loadavg: 1.56 2.47 3.08 11/289 968574
/proc/meminfo: memFree=124340308/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=18975048 memory=150584 CPUtime=1.15 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 8970 0 0 0 107 8 0 0 20 0 18 0 183928347 19430449152 37646 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4743762 37646 5876 1 0 552460 0
[pid=968517/tid=968520] ppid=968514 vsize=18975048 memory=5624 CPUtime=0.61 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 6093 0 0 0 55 6 0 0 20 0 18 0 183928348 19430449152 37646 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=18975048 memory=11936 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928354 19430449152 37646 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=18975048 memory=104 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928355 19430449152 37646 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 150584 KiB

[startup+1.5004 s]
/proc/loadavg: 1.56 2.47 3.08 14/313 968605
/proc/meminfo: memFree=124006808/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19041612 memory=608584 CPUtime=2.69 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 23941 0 0 0 245 24 0 0 20 0 19 0 183928347 19498610688 152146 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4760403 152146 5908 1 0 558769 0
[pid=968517/tid=968520] ppid=968514 vsize=19041612 memory=104 CPUtime=1.33 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 6559 0 0 0 114 19 0 0 20 0 19 0 183928348 19498610688 152146 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183928354 19498610688 152146 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19041612 memory=11936 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183928355 19498610688 152146 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 608584 KiB

[startup+3.1114 s]
/proc/loadavg: 1.56 2.47 3.08 11/316 968608
/proc/meminfo: memFree=117119492/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19108176 memory=1274068 CPUtime=5.84 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 30195 0 0 0 544 40 0 0 20 0 20 0 183928347 19566772224 318517 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4777044 318517 5913 1 0 854813 0
[pid=968517/tid=968520] ppid=968514 vsize=19108176 memory=198340509722 CPUtime=2.8 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 8523 0 0 0 247 33 0 0 20 0 20 0 183928348 19566772224 318517 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928354 19566772224 318517 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19108176 memory=20508 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 183928355 19566772224 318517 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19108176 memory=21664 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928546 19566772224 318517 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1274068 KiB

[startup+6.30041 s]
/proc/loadavg: 2.08 2.56 3.11 8/317 968611
/proc/meminfo: memFree=113496300/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19108176 memory=1544380 CPUtime=11.02 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 31443 0 0 0 1056 46 0 0 20 0 20 0 183928347 19566772224 386095 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4777044 386095 5913 1 0 854867 0
[pid=968517/tid=968520] ppid=968514 vsize=19108176 memory=0 CPUtime=5.78 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 8843 0 0 0 541 37 0 0 20 0 20 0 183928348 19566772224 386095 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19108176 memory=1131912 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928354 19566772224 386095 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 183928355 19566772224 386095 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928546 19566772224 386095 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 11.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1544380 KiB

[startup+12.7004 s]
/proc/loadavg: 2.63 2.67 3.14 6/297 968628
/proc/meminfo: memFree=116349616/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19108176 memory=2011596 CPUtime=19.33 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 33584 0 0 0 1877 56 0 0 20 0 20 0 183928347 19566772224 502899 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4777044 502899 5913 1 0 855026 0
[pid=968517/tid=968520] ppid=968514 vsize=19108176 memory=0 CPUtime=11.89 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 9300 0 0 0 1144 45 0 0 20 0 20 0 183928348 19566772224 502899 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19108176 memory=1991060 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928354 19566772224 502899 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 183928355 19566772224 502899 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19108176 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928546 19566772224 502899 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 19.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2011596 KiB

[startup+25.5005 s]
/proc/loadavg: 2.94 2.74 3.15 5/318 968683
/proc/meminfo: memFree=109184484/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19108176 memory=3632056 CPUtime=33.12 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 35238 0 0 0 3223 89 0 0 20 0 20 0 183928347 19566772224 908014 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4777044 908014 5913 1 0 1264469 0
[pid=968517/tid=968520] ppid=968514 vsize=19108176 memory=1991060 CPUtime=24.27 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 10335 0 0 0 2352 75 0 0 20 0 20 0 183928348 19566772224 908014 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928354 19566772224 908014 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19108176 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 183928355 19566772224 908014 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19108176 memory=3539856 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928546 19566772224 908014 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 33.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3632056 KiB

[startup+51.1133 s]
/proc/loadavg: 3.42 2.87 3.19 5/318 968686
/proc/meminfo: memFree=107185448/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19108176 memory=4221480 CPUtime=59.49 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 43620 0 0 0 5846 103 0 0 20 0 20 0 183928347 19566772224 1055370 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4777044 1055370 5913 1 0 1379364 0
[pid=968517/tid=968520] ppid=968514 vsize=19108176 memory=3769856 CPUtime=49.13 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 14493 0 0 0 4829 84 0 0 20 0 20 0 183928348 19566772224 1055370 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928354 19566772224 1055370 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19108176 memory=2273 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 183928355 19566772224 1055370 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928546 19566772224 1055370 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0

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

/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2958508 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=11833836 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 2807 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2958508 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=12740 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2958508 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3199.37 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11834032 KiB

[startup+2862.3 s]
/proc/loadavg: 4.67 4.66 4.63 5/321 972450
/proc/meminfo: memFree=79008152/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11834152 CPUtime=3260.82 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 827111 0 0 0 325240 842 0 0 20 0 21 0 183928347 19634933760 2958538 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2958538 5944 1 0 2975754 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=11834064 CPUtime=2784.24 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 448937 0 0 0 278157 267 0 0 20 0 21 0 183928348 19634933760 2958538 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 71 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11834120 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2958538 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 2858 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2958538 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11834152 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2958538 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3260.82 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11834152 KiB

[startup+2922.3 s]
/proc/loadavg: 4.79 4.69 4.64 5/321 972460
/proc/meminfo: memFree=78806832/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11837512 CPUtime=3330.69 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 857000 0 0 0 332211 858 0 0 20 0 21 0 183928347 19634933760 2959378 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959378 5944 1 0 2975771 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=11834064 CPUtime=2843.25 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 463457 0 0 0 284057 268 0 0 20 0 21 0 183928348 19634933760 2959378 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 71 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11837512 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959378 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=11837508 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 2942 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959378 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11837512 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959378 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3330.69 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11837512 KiB

[startup+2982.3 s]
/proc/loadavg: 4.67 4.66 4.63 6/321 972471
/proc/meminfo: memFree=78584372/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11837592 CPUtime=3391.88 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 874292 0 0 0 338325 863 0 0 20 0 21 0 183928347 19634933760 2959398 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959398 5944 1 0 2975771 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=11837576 CPUtime=2901.67 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 473392 0 0 0 289898 269 0 0 20 0 21 0 183928348 19634933760 2959398 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 77 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959398 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=11936 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 3020 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959398 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=1828 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959398 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11837592 KiB

[startup+3042.3 s]
/proc/loadavg: 4.81 4.70 4.65 5/320 972481
/proc/meminfo: memFree=78261976/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11837868 CPUtime=3461.69 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 901133 0 0 0 345289 880 0 0 20 0 21 0 183928347 19634933760 2959467 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959467 5944 1 0 2975818 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=46996 CPUtime=2960.52 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 484123 0 0 0 295782 270 0 0 20 0 21 0 183928348 19634933760 2959467 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 77 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11837692 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959467 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 3071 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959467 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11837692 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959467 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3461.69 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11837868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.49 4.62 4.62 6/320 972492
/proc/meminfo: memFree=78228300/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11837900 CPUtime=3523.28 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 923021 0 0 0 351441 887 0 0 20 0 21 0 183928347 19634933760 2959475 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959475 5944 1 0 2975828 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=11837892 CPUtime=3019.22 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 499052 0 0 0 301649 273 0 0 20 0 21 0 183928348 19634933760 2959475 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 79 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11837868 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959475 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=11837868 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 3119 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959475 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11837868 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959475 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3523.28 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11837900 KiB

[startup+3162.3 s]
/proc/loadavg: 4.50 4.61 4.62 5/322 972507
/proc/meminfo: memFree=77853904/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11838432 CPUtime=3593.53 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 939565 0 0 0 358451 902 0 0 20 0 21 0 183928347 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959608 5944 1 0 2975997 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=11837868 CPUtime=3078.23 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 503975 0 0 0 307550 273 0 0 20 0 21 0 183928348 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 84 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11837868 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=12740 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 3171 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11838156 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3593.53 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11838432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3168.8 s]
/proc/loadavg: 4.54 4.62 4.63 7/321 972576
/proc/meminfo: memFree=93543708/131655788 swapFree=131071996/131071996
[pid=968517] ppid=968514 vsize=19174740 memory=11838432 CPUtime=3600.02 cores=4,6
/proc/968517/stat : 968517 (java) S 968514 968517 968460 0 -1 1077936128 940190 0 0 0 359100 902 0 0 20 0 21 0 183928347 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
/proc/968517/statm: 4793685 2959608 5944 1 0 2975997 0
[pid=968517/tid=968520] ppid=968514 vsize=19174740 memory=5532 CPUtime=3084.71 cores=4,6
/proc/968517/task/968520/stat : 968520 (java) R 968514 968517 968460 0 -1 4194368 504598 0 0 0 308198 273 0 0 20 0 21 0 183928348 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 84 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968539] ppid=968514 vsize=19174740 memory=11838432 CPUtime=0 cores=4,6
/proc/968517/task/968539/stat : 968539 (Finalizer) S 968514 968517 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928354 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968546] ppid=968514 vsize=19174740 memory=46996 CPUtime=0 cores=4,6
/proc/968517/task/968546/stat : 968546 (Common-Cleaner) S 968514 968517 968460 0 -1 1077936192 3171 0 0 0 0 0 0 0 20 0 21 0 183928355 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
[pid=968517/tid=968608] ppid=968514 vsize=19174740 memory=11936 CPUtime=0 cores=4,6
/proc/968517/task/968608/stat : 968608 (Timer-0) S 968514 968517 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928546 19634933760 2959608 134679101440 94359966969856 94359966973552 140721956422400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359966981368 94359966982160 94359996674048 140721956426735 140721956426848 140721956426848 140721956433864 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 11838432 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.31 s, system=9.08998 s

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

[startup+3169.03 s]*
/proc/loadavg: 4.54 4.62 4.63 5/302 972579
/proc/meminfo: memFree=104932892/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3169.06
CPU time (s): 3600.4
CPU user time (s): 3591.31
CPU system time (s): 9.08998
CPU usage (%): 113.611
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 11839164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.31
system time used= 9.08998
maximum resident set size= 11840248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115710
involuntary context switches= 26393


# summary of solver processes directly reported to runsolver:
#   pid: 968517
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3591.31
#   total CPU system time (s): 9.08998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9373 second user time and 29.1184 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-18 17:48:27
IDJOB=4444025
IDBENCH=147894
IDSOLVER=3046
FILE ID=nodeC005/4444025-1721317695
RUNJOBID= nodeC005-1721317707-968471
SLURM_JOB_ID= 7542668
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444025-1721317695/watcher-4444025-1721317695 -o /tmp/evaluation-result-4444025-1721317695/solver-4444025-1721317695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721317707-968471 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4444025-1721317695.opb

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

MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=1119208369

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.215
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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.176
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.177
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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.379
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.178
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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.176
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.196
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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.370
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124525896 kB
MemAvailable:   129841664 kB
Buffers:          483484 kB
Cached:          5615680 kB
SwapCached:            0 kB
Active:          1032876 kB
Inactive:        5406440 kB
Active(anon):       3344 kB
Inactive(anon):   382696 kB
Active(file):    1029532 kB
Inactive(file):  5023744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28340 kB
Writeback:             0 kB
AnonPages:        339564 kB
Mapped:           107104 kB
Shmem:             45896 kB
KReclaimable:     205384 kB
Slab:             322960 kB
SReclaimable:     205384 kB
SUnreclaim:       117576 kB
KernelStack:        3660 kB
PageTables:        10432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     713484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58432 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC005 at 2024-07-18 18:41:17