Trace number 4443965

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.47 3162.45

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUMd1359993160bf2f1506844981afa3acf
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 benchmark28.564
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2113181440
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2122317824
0.28/0.23	c Number of processors 	2
0.47/0.35	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.35	 - never skip resolution steps
0.47/0.35	 - Auto-division on coefficients is disabled
0.47/0.35	 - No postprocessing
0.47/0.35	 - Conflict is considered as is when resolving
0.47/0.35	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.47/0.35	 - Weaken first using unassigned literals
0.47/0.35	 - Bump strategy: ALWAYS_ONE
0.47/0.35	 - Bumper: ASSIGNED
0.47/0.35	--- Begin Solver configuration ---
0.47/0.35	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.47/0.35	Learn all clauses as in MiniSAT
0.47/0.35	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.35	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.35	No reason simplification
0.47/0.35	Armin Biere (Picosat) restarts strategy
0.47/0.35	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.47/0.35	timeout=2147483s
0.47/0.35	DB Simplification allowed=false
0.47/0.35	Listener: none
0.47/0.35	--- End Solver configuration ---
0.47/0.35	c Pseudo Boolean Optimization by upper bound
0.47/0.35	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.35	c  - never skip resolution steps
0.47/0.35	c  - Auto-division on coefficients is disabled
0.47/0.35	c  - No postprocessing
0.47/0.35	c  - Conflict is considered as is when resolving
0.47/0.35	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.47/0.35	c  - Weaken first using unassigned literals
0.47/0.35	c  - Bump strategy: ALWAYS_ONE
0.47/0.35	c  - Bumper: ASSIGNED
0.47/0.35	c --- Begin Solver configuration ---
0.47/0.35	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.47/0.35	c Learn all clauses as in MiniSAT
0.47/0.35	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.35	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.35	c No reason simplification
0.47/0.35	c Armin Biere (Picosat) restarts strategy
0.47/0.35	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.47/0.35	c timeout=2147483s
0.47/0.35	c DB Simplification allowed=false
0.47/0.35	c Listener: none
0.47/0.35	c --- End Solver configuration ---
0.47/0.35	c solving HOME/instance-4443965-1721317695.opb
0.47/0.35	c reading problem ... 
0.47/0.36	c  no objective function found
7.74/5.15	c ... done. Wall clock time 4.794s.
7.74/5.15	c declared #vars     3750
7.74/5.15	c #constraints  468375
7.74/5.15	c constraints type 
7.74/5.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 750
7.74/5.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 467625
7.74/5.15	c 468375 constraints processed.
14.73/8.90	c cleaning 6 clauses out of 5002 with flag 0/5002
19.82/13.14	c cleaning 21 clauses out of 10995 with flag 0/11001
26.07/18.17	c cleaning 68 clauses out of 17973 with flag 0/18000
31.98/23.39	c cleaning 72 clauses out of 25905 with flag 0/26000
38.59/29.44	c cleaning 99 clauses out of 34833 with flag 0/35000
45.32/35.99	c cleaning 103 clauses out of 44735 with flag 0/45001
54.11/44.59	c cleaning 68 clauses out of 55631 with flag 0/56000
64.81/54.73	c cleaning 145 clauses out of 67564 with flag 0/68001
76.77/66.50	c cleaning 133 clauses out of 80418 with flag 0/81000
90.33/79.76	c cleaning 160 clauses out of 94287 with flag 0/95002
105.44/94.71	c cleaning 264 clauses out of 109127 with flag 0/110002
120.82/109.77	c cleaning 182 clauses out of 124863 with flag 0/126002
136.05/124.60	c cleaning 219 clauses out of 141680 with flag 0/143001
154.46/142.75	c cleaning 425 clauses out of 159461 with flag 0/161001
171.02/159.30	c cleaning 274 clauses out of 178035 with flag 0/180000
189.46/177.39	c cleaning 222 clauses out of 197762 with flag 0/200001
218.48/205.48	c cleaning 686 clauses out of 218540 with flag 0/221001
245.32/231.71	c cleaning 429 clauses out of 239856 with flag 0/243003
275.03/260.94	c cleaning 659 clauses out of 262425 with flag 0/266001
298.59/284.02	c cleaning 341 clauses out of 285765 with flag 0/290000
323.91/308.90	c cleaning 301 clauses out of 310424 with flag 0/315000
352.80/337.50	c cleaning 333 clauses out of 336123 with flag 0/341000
386.54/370.69	c cleaning 636 clauses out of 362790 with flag 0/368000
426.60/409.93	c cleaning 552 clauses out of 390155 with flag 0/396001
457.57/440.39	c cleaning 481 clauses out of 418603 with flag 0/425001
493.04/474.79	c cleaning 559 clauses out of 448121 with flag 0/455000
521.99/503.42	c cleaning 357 clauses out of 478562 with flag 0/486000
562.87/543.69	c cleaning 601 clauses out of 510205 with flag 0/518000
596.97/576.86	c cleaning 399 clauses out of 542604 with flag 0/551000
644.06/623.10	c cleaning 469 clauses out of 576205 with flag 0/585000
694.09/671.66	c cleaning 612 clauses out of 610736 with flag 0/620000
749.12/725.44	c cleaning 742 clauses out of 646125 with flag 0/656001
815.97/784.93	c cleaning 739 clauses out of 682382 with flag 0/693000
879.61/841.71	c cleaning 743 clauses out of 719643 with flag 0/731000
986.91/933.56	c cleaning 1932 clauses out of 757900 with flag 0/770000
1074.65/1003.69	c cleaning 916 clauses out of 795973 with flag 0/810005
1177.05/1089.09	c cleaning 788 clauses out of 836052 with flag 0/851000
1292.17/1183.84	c cleaning 461 clauses out of 877265 with flag 0/893001
1376.32/1249.84	c cleaning 1076 clauses out of 919804 with flag 0/936001
1448.59/1311.19	c cleaning 581 clauses out of 962730 with flag 0/980003
1556.32/1399.11	c cleaning 1153 clauses out of 1007147 with flag 0/1025001
1668.56/1491.92	c cleaning 1276 clauses out of 1051995 with flag 0/1071002
1790.14/1591.88	c cleaning 1779 clauses out of 1097718 with flag 0/1118001
1970.97/1738.13	c cleaning 2096 clauses out of 1143939 with flag 0/1166001
2068.56/1826.55	c cleaning 1170 clauses out of 1190843 with flag 0/1215001
2216.35/1951.06	c cleaning 1969 clauses out of 1239674 with flag 0/1265002
2438.75/2126.29	c cleaning 2604 clauses out of 1288703 with flag 0/1316000
2612.58/2262.64	c cleaning 858 clauses out of 1338101 with flag 0/1368002
2747.42/2382.99	c cleaning 1214 clauses out of 1390242 with flag 0/1421001
2909.86/2533.50	c cleaning 1259 clauses out of 1443027 with flag 0/1475000
3041.15/2657.98	c cleaning 1317 clauses out of 1496772 with flag 0/1530004
3212.13/2818.00	c cleaning 1626 clauses out of 1551453 with flag 0/1586002
3365.44/2959.39	c cleaning 1112 clauses out of 1606827 with flag 0/1643002
3489.76/3067.71	c cleaning 1399 clauses out of 1663715 with flag 0/1701002
3600.12/3162.22	c timeout
3600.12/3162.22	c starts		: 209
3600.12/3162.25	c conflicts		: 1740072
3600.12/3162.25	c decisions		: 2214605
3600.12/3162.25	c propagations		: 272136661
3600.12/3162.25	c inspects		: 6843738697
3600.12/3162.25	c shortcuts		: 0
3600.12/3162.25	c learnt literals	: 0
3600.12/3162.25	c learnt binary clauses	: 0
3600.12/3162.25	c learnt ternary clauses	: 0
3600.12/3162.25	c learnt constraints	: 1740071
3600.12/3162.25	c ignored constraints	: 0
3600.12/3162.25	c root simplifications	: 0
3600.12/3162.25	c removed literals (reason simplification)	: 0
3600.12/3162.25	c reason swapping (by a shorter reason)	: 0
3600.12/3162.25	c Calls to reduceDB	: 54
3600.12/3162.25	c Number of update (reduction) of LBD	: 563
3600.12/3162.25	c Imported unit clauses	: 0
3600.12/3162.25	c No decision after first conflict	: false
3600.12/3162.25	c number of reductions to clauses (during analyze)	: 0
3600.12/3162.25	c number of learned constraints concerned by reduction	: 0
3600.12/3162.25	c number of learning phase by resolution	: 0
3600.12/3162.25	c number of learning phase by cutting planes	: 0
3600.12/3162.25	c number of rounding to 1 operations	: 253462
3600.12/3162.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.12/3162.25	c number of reductions of the coefficients by power 2 	: 0
3600.12/3162.25	c number of right shift for reduction by power 2 	: 0
3600.12/3162.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.12/3162.25	c number of ending skipping 	: 0
3600.12/3162.25	c number of internal skipping 	: 0
3600.12/3162.25	c number of derivation steps 	: 61043685
3600.12/3162.25	c number of skipped derivation steps 	: 0
3600.12/3162.25	c number of remaining unassigned 	: 23
3600.12/3162.25	c number of remaining assigned 	: 54323951
3600.12/3162.25	c number of falsified literals weakened from reason	: 0
3600.12/3162.25	c number of falsified literals weakened from conflict	: 0
3600.12/3162.25	c time for arithmetic operations	: 6326594583
3600.12/3162.25	c minimum degree of deleted constraints	: 4
3600.12/3162.25	c maximum degree of deleted constraints	: 144
3600.12/3162.25	c number of deleted constraints	: 38686
3600.12/3162.25	c speed (assignments/second)	: 86198.38446522232
3600.12/3162.25	c non guided choices	: 1697
3600.29/3162.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 1411816
3600.29/3162.39	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 13
3600.29/3162.39	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 289556
3600.29/3162.39	s UNKNOWN
3600.29/3162.39	c Total wall clock time (in seconds): 3162.043

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=968556, runsolver pid=968553

[startup+0.100195 s]*
/proc/loadavg: 1.56 2.47 3.08 11/289 968574
/proc/meminfo: memFree=124348104/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=18975048 memory=55460 CPUtime=0.12 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 6409 0 0 0 8 4 0 0 20 0 18 0 183928387 19430449152 13865 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4743762 13865 5584 1 0 550786 0
[pid=968556/tid=968558] ppid=968553 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 5316 0 0 0 5 3 0 0 20 0 18 0 183928388 19430449152 13865 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=18975048 memory=18025 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928394 19430449152 13865 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=18975048 memory=14414838847783020 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928395 19430449152 13865 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55460 KiB

[startup+0.217286 s]*
/proc/loadavg: 1.56 2.47 3.08 9/287 968574
/proc/meminfo: memFree=124278888/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=18975048 memory=60932 CPUtime=0.28 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 7104 0 0 0 24 4 0 0 20 0 18 0 183928387 19430449152 15233 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4743762 15233 5720 1 0 551324 0
[pid=968556/tid=968558] ppid=968553 vsize=18975048 memory=3472328300254199927 CPUtime=0.18 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 5665 0 0 0 15 3 0 0 20 0 18 0 183928388 19430449152 15233 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=18975048 memory=18009 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928394 19430449152 15233 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=18975048 memory=15258168510910123 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928395 19430449152 15233 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60932 KiB

[startup+0.31821 s]*
/proc/loadavg: 1.56 2.47 3.08 10/288 968575
/proc/meminfo: memFree=124174120/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=18975048 memory=66484 CPUtime=0.47 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 7480 0 0 0 42 5 0 0 20 0 18 0 183928387 19430449152 16621 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4743762 16621 5734 1 0 551628 0
[pid=968556/tid=968558] ppid=968553 vsize=18975048 memory=7681905605394137875 CPUtime=0.28 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 5943 0 0 0 25 3 0 0 20 0 18 0 183928388 19430449152 16621 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=18975048 memory=-8960022940575113916 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183928394 19430449152 16621 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 183928395 19430449152 16621 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66484 KiB

[startup+0.707559 s]
/proc/loadavg: 1.56 2.47 3.08 13/312 968604
/proc/meminfo: memFree=124084372/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19041612 memory=164340 CPUtime=1.17 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 9413 0 0 0 107 10 0 0 20 0 19 0 183928387 19498610688 41085 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4760403 41085 5869 1 0 553038 0
[pid=968556/tid=968558] ppid=968553 vsize=19041612 memory=5624 CPUtime=0.59 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 6087 0 0 0 52 7 0 0 20 0 19 0 183928388 19498610688 41085 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19041612 memory=11936 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183928394 19498610688 41085 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19041612 memory=104 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183928395 19498610688 41085 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164340 KiB

[startup+1.50618 s]
/proc/loadavg: 1.56 2.47 3.08 10/314 968606
/proc/meminfo: memFree=122795308/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19041612 memory=1003624 CPUtime=2.72 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 21315 0 0 0 238 34 0 0 20 0 19 0 183928387 19498610688 250906 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4760403 250906 5885 1 0 558777 0
[pid=968556/tid=968558] ppid=968553 vsize=19041612 memory=104 CPUtime=1.35 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 6485 0 0 0 107 28 0 0 20 0 19 0 183928388 19498610688 250906 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183928394 19498610688 250906 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19041612 memory=11936 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183928395 19498610688 250906 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1003624 KiB

[startup+3.10618 s]
/proc/loadavg: 1.56 2.47 3.08 7/316 968610
/proc/meminfo: memFree=116129448/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19041612 memory=3113916 CPUtime=5.51 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 24627 0 0 0 471 80 0 0 20 0 19 0 183928387 19498610688 778479 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4760403 778479 5898 1 0 1012812 0
[pid=968556/tid=968558] ppid=968553 vsize=19041612 memory=11936 CPUtime=2.82 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 7498 0 0 0 210 72 0 0 20 0 19 0 183928388 19498610688 778479 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183928394 19498610688 778479 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19041612 memory=20508 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 183928395 19498610688 778479 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3113916 KiB

[startup+6.30219 s]
/proc/loadavg: 2.08 2.56 3.11 7/317 968611
/proc/meminfo: memFree=113066960/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19108176 memory=3870820 CPUtime=10.11 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 25927 0 0 0 916 95 0 0 20 0 20 0 183928387 19566772224 967705 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4777044 967705 5898 1 0 1205372 0
[pid=968556/tid=968558] ppid=968553 vsize=19108176 memory=20508 CPUtime=5.68 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 7996 0 0 0 482 86 0 0 20 0 20 0 183928388 19566772224 967705 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928394 19566772224 967705 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 183928395 19566772224 967705 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19108176 memory=-8960022940575113916 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928903 19566772224 967705 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870820 KiB

[startup+12.7004 s]
/proc/loadavg: 2.63 2.67 3.14 5/297 968628
/proc/meminfo: memFree=116349452/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19108176 memory=3864936 CPUtime=19.28 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 27116 0 0 0 1832 96 0 0 20 0 20 0 183928387 19566772224 966234 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4777044 966234 5898 1 0 1205436 0
[pid=968556/tid=968558] ppid=968553 vsize=19108176 memory=-8960022940575113916 CPUtime=12.01 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 8866 0 0 0 1115 86 0 0 20 0 20 0 183928388 19566772224 966234 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19108176 memory=3864936 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928394 19566772224 966234 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19108176 memory=3871996 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 183928395 19566772224 966234 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19108176 memory=12740 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928903 19566772224 966234 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 19.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3864936 KiB

[startup+25.5005 s]
/proc/loadavg: 2.94 2.74 3.15 6/318 968683
/proc/meminfo: memFree=109184400/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19108176 memory=6240816 CPUtime=34.3 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 40993 0 0 0 3284 146 0 0 20 0 20 0 183928387 19566772224 1560204 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4777044 1560204 5898 1 0 1782141 0
[pid=968556/tid=968558] ppid=968553 vsize=19108176 memory=6240816 CPUtime=24.48 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 12809 0 0 0 2318 130 0 0 20 0 20 0 183928388 19566772224 1560204 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19108176 memory=3864936 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928394 19566772224 1560204 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19108176 memory=1032 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183928395 19566772224 1560204 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19108176 memory=1232340 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928903 19566772224 1560204 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 34.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6240816 KiB

[startup+51.1134 s]
/proc/loadavg: 3.42 2.87 3.19 7/318 968686
/proc/meminfo: memFree=107185244/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19108176 memory=6411224 CPUtime=61.24 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 43984 0 0 0 5971 153 0 0 20 0 20 0 183928387 19566772224 1602806 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4777044 1602806 5914 1 0 1782167 0
[pid=968556/tid=968558] ppid=968553 vsize=19108176 memory=40436 CPUtime=49.45 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 14193 0 0 0 4815 130 0 0 20 0 20 0 183928388 19566772224 1602806 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19108176 memory=3864936 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183928394 19566772224 1602806 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183928395 19566772224 1602806 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183928903 19566772224 1602806 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 61.24 s
Current children cumulated vsize: 19108176 KiB

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

Current children cumulated memory: 15370248 KiB

[startup+2862.3 s]
/proc/loadavg: 4.67 4.66 4.63 6/321 972450
/proc/meminfo: memFree=79008152/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19174740 memory=15526264 CPUtime=3260.46 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1031585 0 0 0 325215 831 0 0 20 0 21 0 183928387 19634933760 3881566 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 3881566 5946 1 0 3909119 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=15370248 CPUtime=2762.81 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 491754 0 0 0 275914 367 0 0 20 0 21 0 183928388 19634933760 3881566 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 67 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=15370248 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 3881566 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=12740 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2499 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 3881566 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=15493300 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 3881566 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3260.46 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 15526264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.79 4.69 4.64 7/321 972460
/proc/meminfo: memFree=78806848/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19174740 memory=15600168 CPUtime=3323.91 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1045156 0 0 0 331555 836 0 0 20 0 21 0 183928387 19634933760 3900042 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 3900042 5946 1 0 3927918 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=15370248 CPUtime=2819.11 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 501228 0 0 0 281542 369 0 0 20 0 21 0 183928388 19634933760 3900042 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 67 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=15370248 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 3900042 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=15559036 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2586 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 3900042 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=15600168 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 3900042 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3323.91 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 15600168 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=968556] ppid=968553 vsize=19174740 memory=15698736 CPUtime=3389.19 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1061453 0 0 0 338078 841 0 0 20 0 21 0 183928387 19634933760 3924684 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 3924684 5946 1 0 3952987 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=15698624 CPUtime=2875.36 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 513165 0 0 0 287165 371 0 0 20 0 21 0 183928388 19634933760 3924684 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 70 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=15698612 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 3924684 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=15698624 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2662 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 3924684 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=15698640 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 3924684 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3389.19 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 15698736 KiB

[startup+3042.3 s]
/proc/loadavg: 4.81 4.70 4.65 6/320 972482
/proc/meminfo: memFree=78261968/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19174740 memory=15952108 CPUtime=3464.02 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1097440 0 0 0 345538 864 0 0 20 0 21 0 183928387 19634933760 3988027 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 3988027 5946 1 0 4004306 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=15698744 CPUtime=2933.51 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 525721 0 0 0 292974 377 0 0 20 0 21 0 183928388 19634933760 3988027 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 71 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=15698748 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 3988027 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=12740 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2761 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 3988027 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=-8960022940575113916 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 3988027 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3464.02 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 15952108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.49 4.62 4.62 7/320 972492
/proc/meminfo: memFree=78228272/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19174740 memory=15952308 CPUtime=3525.24 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1115828 0 0 0 351655 869 0 0 20 0 21 0 183928387 19634933760 3988077 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 3988077 5946 1 0 4004307 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=11936 CPUtime=2992.06 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 539426 0 0 0 298827 379 0 0 20 0 21 0 183928388 19634933760 3988077 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 72 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=12740 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 3988077 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=15952308 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2803 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 3988077 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=15952296 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 3988077 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3525.24 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 15952308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3162.2 s]
/proc/loadavg: 4.50 4.61 4.62 6/322 972507
/proc/meminfo: memFree=77853876/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19174740 memory=16269580 CPUtime=3600.12 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1161057 0 0 0 359117 895 0 0 20 0 21 0 183928387 19634933760 4067395 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4793685 4067395 5946 1 0 4083687 0
[pid=968556/tid=968558] ppid=968553 vsize=19174740 memory=-8960022940575113916 CPUtime=3050.48 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) R 968553 968556 968460 0 -1 4194368 556780 0 0 0 304660 388 0 0 20 0 21 0 183928388 19634933760 4067395 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 77 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19174740 memory=20980 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 183928394 19634933760 4067395 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19174740 memory=19532 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2899 0 0 0 0 0 0 0 20 0 21 0 183928395 19634933760 4067395 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968611] ppid=968553 vsize=19174740 memory=21916 CPUtime=0 cores=5,7
/proc/968556/task/968611/stat : 968611 (Timer-0) S 968553 968556 968460 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 183928903 19634933760 4067395 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 16269580 KiB

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

[startup+3162.31 s]
/proc/loadavg: 4.50 4.61 4.62 6/322 972507
/proc/meminfo: memFree=77853876/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19374432 memory=16270268 CPUtime=3600.29 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1163280 0 0 0 359133 896 0 0 20 0 22 0 183928387 19839418368 4067567 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4843608 4067567 5945 1 0 4084607 0
[pid=968556/tid=968558] ppid=968553 vsize=19374432 memory=16269572 CPUtime=3050.5 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) S 968553 968556 968460 0 -1 1077936192 556902 0 0 0 304662 388 0 0 20 0 22 0 183928388 19839418368 4067567 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 77 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19374432 memory=11936 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 183928394 19839418368 4067567 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19374432 memory=15952308 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2899 0 0 0 0 0 0 0 20 0 22 0 183928395 19839418368 4067567 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 16270268 KiB

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

# cumulated CPU time of all completed processes:  user=3591.46 s, system=9.01048 s

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

[startup+3162.4 s]
/proc/loadavg: 4.50 4.61 4.62 6/322 972507
/proc/meminfo: memFree=77853876/131655788 swapFree=131071996/131071996
[pid=968556] ppid=968553 vsize=19374432 memory=16270236 CPUtime=3600.41 cores=5,7
/proc/968556/stat : 968556 (java) S 968553 968556 968460 0 -1 1077936128 1163506 0 0 0 359145 896 0 0 20 0 20 0 183928387 19839418368 4067558 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
/proc/968556/statm: 4843608 4067559 5942 1 0 4084613 0
[pid=968556/tid=968558] ppid=968553 vsize=19374432 memory=5624 CPUtime=3050.5 cores=5,7
/proc/968556/task/968558/stat : 968558 (java) S 968553 968556 968460 0 -1 1077936192 556902 0 0 0 304662 388 0 0 20 0 19 0 183928388 19839418368 4067559 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 77 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968567] ppid=968553 vsize=19374432 memory=29488 CPUtime=0 cores=5,7
/proc/968556/task/968567/stat : 968567 (Finalizer) S 968553 968556 968460 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183928394 19839418368 4067559 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
[pid=968556/tid=968574] ppid=968553 vsize=19374432 memory=16269572 CPUtime=0 cores=5,7
/proc/968556/task/968574/stat : 968574 (Common-Cleaner) S 968553 968556 968460 0 -1 1077936192 2899 0 0 0 0 0 0 0 20 0 19 0 183928395 19839418368 4067559 134679101440 94187409199104 94187409202800 140722715913760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94187409210616 94187409211408 94187425800192 140722715915247 140722715915360 140722715915360 140722715922376 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 16270236 KiB

Child status: 143

Real time (s): 3162.45
CPU time (s): 3600.47
CPU user time (s): 3591.46
CPU system time (s): 9.01048
CPU usage (%): 113.851
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 16270268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.46
system time used= 9.01048
maximum resident set size= 16271192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1163565
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= 118911
involuntary context switches= 25989


# summary of solver processes directly reported to runsolver:
#   pid: 968556
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3591.46
#   total CPU system time (s): 9.01048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6572 second user time and 30.4746 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-18 17:48:28
IDJOB=4443965
IDBENCH=147892
IDSOLVER=3046
FILE ID=nodeC005/4443965-1721317695
RUNJOBID= nodeC005-1721317707-968473
SLURM_JOB_ID= 7542668
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
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.177
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		: 1261.656
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.351
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.177
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		: 1260.570
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.177
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.199
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:        124412312 kB
MemAvailable:   129761028 kB
Buffers:          483484 kB
Cached:          5648696 kB
SwapCached:            0 kB
Active:          1035812 kB
Inactive:        5516052 kB
Active(anon):       3432 kB
Inactive(anon):   462196 kB
Active(file):    1032380 kB
Inactive(file):  5053856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             61340 kB
Writeback:             0 kB
AnonPages:        419200 kB
Mapped:           127036 kB
Shmem:             45896 kB
KReclaimable:     205360 kB
Slab:             322920 kB
SReclaimable:     205360 kB
SUnreclaim:       117560 kB
KernelStack:        4368 kB
PageTables:        10628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5226100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58432 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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= 723752 MiB
End job on nodeC005 at 2024-07-18 18:41:10