Trace number 4544226

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 Resolution 2025-06-06? (TO) 3600.39 3397.71

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
MD5SUM4a59e763ae88014143ab229bcecf86f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.121812
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6003
Total number of constraints5004
Number of constraints which are clauses4002
Number of constraints which are cardinality constraints (but not clauses)1001
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint4002
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 4001
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12005
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4544226-1753234778.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  no objective function found
0.30/0.25	c ... done. Wall clock time 0.108s.
0.30/0.25	c declared #vars     6003
0.30/0.25	c #constraints  6005
0.30/0.25	c constraints type 
0.30/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4004
0.30/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2000
0.30/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.30/0.25	c 6005 constraints processed.
3.74/2.96	c cleaning 2500 clauses out of 5000 with flag 10792/5000
7.68/6.58	c cleaning 4250 clauses out of 8500 with flag 23529/11000
12.30/10.85	c cleaning 5624 clauses out of 11251 with flag 38796/18001
17.48/15.64	c cleaning 6813 clauses out of 13626 with flag 56053/26000
23.94/21.62	c cleaning 7907 clauses out of 15815 with flag 76010/35002
31.52/28.84	c cleaning 8953 clauses out of 17906 with flag 98457/45000
38.95/35.91	c cleaning 9974 clauses out of 19954 with flag 122183/56001
49.30/44.64	c cleaning 10987 clauses out of 21979 with flag 149980/68000
61.08/56.09	c cleaning 11995 clauses out of 23992 with flag 180882/81000
72.53/66.80	c cleaning 12997 clauses out of 25997 with flag 214431/95000
85.84/77.97	c cleaning 13998 clauses out of 28003 with flag 250025/110003
100.37/91.69	c cleaning 15002 clauses out of 30003 with flag 288954/126001
115.08/105.79	c cleaning 15999 clauses out of 32000 with flag 330062/143000
130.53/120.52	c cleaning 16998 clauses out of 34002 with flag 371093/161001
152.10/140.06	c cleaning 18002 clauses out of 36004 with flag 417989/180001
168.58/155.73	c cleaning 19001 clauses out of 38003 with flag 467839/200002
186.38/172.81	c cleaning 19997 clauses out of 40001 with flag 520421/221001
205.15/190.89	c cleaning 21000 clauses out of 42003 with flag 575025/243000
226.73/208.71	c cleaning 21996 clauses out of 44003 with flag 629867/266000
244.57/225.85	c cleaning 23001 clauses out of 46008 with flag 688792/290001
264.35/244.79	c cleaning 24004 clauses out of 48007 with flag 749985/315001
281.80/261.26	c cleaning 24997 clauses out of 50003 with flag 809960/341001
301.12/279.43	c cleaning 25999 clauses out of 52006 with flag 872021/368001
325.65/299.65	c cleaning 27000 clauses out of 54006 with flag 940193/396000
349.22/322.23	c cleaning 28001 clauses out of 56006 with flag 1012574/425000
373.73/345.73	c cleaning 28999 clauses out of 58006 with flag 1085799/455001
400.50/371.22	c cleaning 30001 clauses out of 60007 with flag 1159310/486001
428.71/398.49	c cleaning 31000 clauses out of 62005 with flag 1233670/518000
457.92/426.62	c cleaning 32001 clauses out of 64007 with flag 1313023/551002
493.24/456.67	c cleaning 33002 clauses out of 66006 with flag 1391750/585002
528.33/490.98	c cleaning 34002 clauses out of 68004 with flag 1478126/620002
568.07/529.49	c cleaning 34993 clauses out of 70000 with flag 1566633/656000
612.73/573.18	c cleaning 36000 clauses out of 72007 with flag 1659790/693000
656.52/615.30	c cleaning 36999 clauses out of 74008 with flag 1756762/731001
707.13/665.14	c cleaning 38005 clauses out of 76011 with flag 1856653/770003
755.49/712.01	c cleaning 38995 clauses out of 78004 with flag 1963917/810001
809.37/759.38	c cleaning 40001 clauses out of 80009 with flag 2069519/851001
864.89/813.55	c cleaning 40998 clauses out of 82007 with flag 2169759/893000
925.89/873.04	c cleaning 42001 clauses out of 84009 with flag 2282086/936000
979.50/925.51	c cleaning 43004 clauses out of 86008 with flag 2395480/980000
1026.68/971.39	c cleaning 44002 clauses out of 88006 with flag 2510397/1025002
1069.64/1013.14	c cleaning 44999 clauses out of 90002 with flag 2630616/1071000
1131.59/1069.22	c cleaning 45999 clauses out of 92003 with flag 2743092/1118000
1197.51/1133.60	c cleaning 47001 clauses out of 94004 with flag 2866954/1166000
1256.94/1191.42	c cleaning 47996 clauses out of 96003 with flag 2991823/1215000
1304.84/1237.89	c cleaning 48996 clauses out of 98010 with flag 3115266/1265003
1362.52/1288.70	c cleaning 50003 clauses out of 100011 with flag 3244234/1316000
1414.65/1337.21	c cleaning 51000 clauses out of 102008 with flag 3374609/1368000
1469.93/1390.53	c cleaning 51999 clauses out of 104009 with flag 3517479/1421001
1528.33/1447.12	c cleaning 53001 clauses out of 106009 with flag 3662104/1475000
1594.33/1505.00	c cleaning 54002 clauses out of 108009 with flag 3813534/1530001
1649.85/1559.03	c cleaning 55000 clauses out of 110007 with flag 3951927/1586001
1711.11/1618.46	c cleaning 56000 clauses out of 112007 with flag 4094428/1643001
1783.24/1688.65	c cleaning 57002 clauses out of 114007 with flag 4242340/1701001
1857.95/1756.05	c cleaning 58003 clauses out of 116007 with flag 4402430/1760003
1934.32/1830.53	c cleaning 58998 clauses out of 118002 with flag 4550259/1820001
2022.92/1917.02	c cleaning 59999 clauses out of 120004 with flag 4711110/1881001
2109.90/1993.71	c cleaning 60999 clauses out of 122004 with flag 4869109/1943000
2188.80/2070.86	c cleaning 61999 clauses out of 124005 with flag 5036374/2006000
2256.14/2136.14	c cleaning 62998 clauses out of 126006 with flag 5197592/2070000
2346.98/2217.27	c cleaning 64002 clauses out of 128008 with flag 5362553/2135000
2423.37/2289.87	c cleaning 65000 clauses out of 130006 with flag 5527166/2201000
2506.69/2371.22	c cleaning 65999 clauses out of 132006 with flag 5695269/2268000
2599.86/2453.79	c cleaning 66999 clauses out of 134007 with flag 5877700/2336000
2680.40/2532.45	c cleaning 68000 clauses out of 136011 with flag 6071587/2405003
2760.28/2610.03	c cleaning 68999 clauses out of 138010 with flag 6269286/2475002
2851.35/2692.35	c cleaning 70005 clauses out of 140009 with flag 6470027/2546000
2945.19/2784.29	c cleaning 70996 clauses out of 142005 with flag 6651804/2618001
3037.19/2873.73	c cleaning 71999 clauses out of 144009 with flag 6839020/2691001
3138.40/2966.84	c cleaning 73000 clauses out of 146009 with flag 7031029/2765000
3242.94/3068.58	c cleaning 74000 clauses out of 148009 with flag 7238470/2840000
3360.99/3173.80	c cleaning 75001 clauses out of 150011 with flag 7446348/2916002
3482.88/3293.49	c cleaning 75998 clauses out of 152008 with flag 7662708/2993000
3600.03/3397.56	c starts		: 5
3600.03/3397.56	c conflicts		: 3062917
3600.03/3397.56	c decisions		: 4272365
3600.03/3397.56	c propagations		: 2112916946
3600.03/3397.56	c inspects		: 6516930778
3600.03/3397.56	c shortcuts		: 0
3600.03/3397.56	c learnt literals	: 0
3600.03/3397.56	c learnt binary clauses	: 0
3600.03/3397.56	c learnt ternary clauses	: 0
3600.03/3397.56	c learnt constraints	: 3062917
3600.03/3397.56	c ignored constraints	: 0
3600.03/3397.56	c root simplifications	: 0
3600.03/3397.56	c removed literals (reason simplification)	: 22777660
3600.03/3397.56	c reason swapping (by a shorter reason)	: 0
3600.03/3397.56	c Calls to reduceDB	: 73
3600.03/3397.56	c Number of update (reduction) of LBD	: 92727
3600.03/3397.56	c Imported unit clauses	: 0
3600.03/3397.56	c No decision after first conflict	: false
3600.03/3397.56	c number of reductions to clauses (during analyze)	: 0
3600.03/3397.56	c number of learned constraints concerned by reduction	: 0
3600.03/3397.56	c number of learning phase by resolution	: 0
3600.03/3397.56	c number of learning phase by cutting planes	: 0
3600.03/3397.56	c number of rounding to 1 operations	: 0
3600.03/3397.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3397.56	c number of reductions of the coefficients by power 2 	: 0
3600.03/3397.56	c number of right shift for reduction by power 2 	: 0
3600.03/3397.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3397.56	c number of ending skipping 	: 0
3600.03/3397.56	c number of internal skipping 	: 0
3600.03/3397.56	c number of derivation steps 	: 0
3600.03/3397.56	c number of skipped derivation steps 	: 0
3600.03/3397.56	c number of remaining unassigned 	: 0
3600.03/3397.56	c number of remaining assigned 	: 0
3600.03/3397.56	c number of falsified literals weakened from reason	: 0
3600.03/3397.56	c number of falsified literals weakened from conflict	: 0
3600.03/3397.56	c time for arithmetic operations	: 0
3600.03/3397.57	c minimum degree of deleted constraints	: null
3600.03/3397.57	c maximum degree of deleted constraints	: null
3600.03/3397.57	c number of deleted constraints	: 0
3600.03/3397.57	c speed (assignments/second)	: 621937.8573413334
3600.03/3397.57	c non guided choices	: 2362
3600.03/3397.58	c timeout
3600.24/3397.64	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 145927
3600.24/3397.64	s UNKNOWN
3600.24/3397.65	c Total wall clock time (in seconds): 3397.5

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62388 MiB free)
  memory of node 1: 64507 MiB (63631 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544226-1753234778/watcher-4544226-1753234778 -o /tmp/evaluation-result-4544226-1753234778/solver-4544226-1753234778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753234778-167713 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4544226-1753234778.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=167769, runsolver pid=167754

[startup+0.100239 s]*
/proc/loadavg: 1.08 1.67 2.85 8/335 167838
/proc/meminfo: memFree=128973656/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=18930384 memory=53020 CPUtime=0.1 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 6495 0 15 0 8 2 0 0 20 0 18 0 239155645 19384713216 13255 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4732596 13255 5310 1 0 547531 0
[pid=167769/tid=167784] ppid=167754 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 5017 0 15 0 5 1 0 0 20 0 18 0 239155648 19384713216 13255 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 13255 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=18930384 memory=60684515959228 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 13255 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53020 KiB

[startup+0.204941 s]*
/proc/loadavg: 1.08 1.67 2.85 15/336 167839
/proc/meminfo: memFree=128781976/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=18930384 memory=127352 CPUtime=0.3 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 7044 0 15 0 26 4 0 0 20 0 18 0 239155645 19384713216 31838 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4732596 31838 5438 1 0 547857 0
[pid=167769/tid=167784] ppid=167754 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 5335 0 15 0 13 3 0 0 20 0 18 0 239155648 19384713216 31838 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=18930384 memory=16168 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 31838 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 239155650 19384713216 31838 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 127352 KiB

[startup+0.305543 s]*
/proc/loadavg: 1.08 1.67 2.85 13/341 167844
/proc/meminfo: memFree=128736104/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=156168 CPUtime=0.49 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 9226 0 15 0 45 4 0 0 20 0 20 0 239155645 19521036288 39042 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 39042 5470 1 0 549836 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=-8887963151809422012 CPUtime=0.24 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 5413 0 15 0 21 3 0 0 20 0 20 0 239155648 19521036288 39042 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 39074 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 39074 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 39074 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 156168 KiB

[startup+0.700188 s]
/proc/loadavg: 1.08 1.67 2.85 10/341 167844
/proc/meminfo: memFree=128697404/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=157704 CPUtime=1.25 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 9606 0 15 0 121 4 0 0 20 0 20 0 239155645 19521036288 39426 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 39426 5470 1 0 550113 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=27264 CPUtime=0.6 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 5415 0 15 0 57 3 0 0 20 0 20 0 239155648 19521036288 39426 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 39426 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 39426 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=4740 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 39426 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 157704 KiB

[startup+1.50019 s]
/proc/loadavg: 1.08 1.67 2.85 7/341 167844
/proc/meminfo: memFree=128637040/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=219596 CPUtime=2.25 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 10986 0 15 0 219 6 0 0 20 0 20 0 239155645 19521036288 54899 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 54899 5470 1 0 550113 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=0 CPUtime=1.34 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 5572 0 15 0 131 3 0 0 20 0 20 0 239155648 19521036288 54899 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 54899 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 54899 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=4740 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 54899 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 219596 KiB

[startup+3.10484 s]
/proc/loadavg: 1.48 1.74 2.87 7/343 167846
/proc/meminfo: memFree=127979260/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=387252 CPUtime=4.1 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 15473 0 15 0 399 11 0 0 20 0 20 0 239155645 19521036288 96813 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 96813 5470 1 0 550414 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=10496 CPUtime=2.77 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 6864 0 15 0 274 3 0 0 20 0 20 0 239155648 19521036288 96813 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=-8887963151809422012 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 96813 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 96813 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 96813 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 387252 KiB

[startup+6.30018 s]
/proc/loadavg: 1.48 1.74 2.87 6/343 167847
/proc/meminfo: memFree=126758332/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=647196 CPUtime=7.48 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 16286 0 15 0 732 16 0 0 20 0 20 0 239155645 19521036288 161799 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 161799 5470 1 0 932659 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=0 CPUtime=5.8 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 7032 0 15 0 575 5 0 0 20 0 20 0 239155648 19521036288 161799 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 161799 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 161799 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=16584 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 161799 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 647196 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 1.82 2.88 6/343 167847
/proc/meminfo: memFree=124785460/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=1150568 CPUtime=14.4 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 20507 0 15 0 1414 26 0 0 20 0 20 0 239155645 19521036288 287642 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 287642 5470 1 0 933927 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=0 CPUtime=11.82 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 7563 0 15 0 1176 6 0 0 20 0 20 0 239155648 19521036288 287642 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 287642 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 287642 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=-8887963151809422012 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 287642 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1150568 KiB

[startup+25.5002 s]
/proc/loadavg: 2.27 1.91 2.90 6/343 167847
/proc/meminfo: memFree=120677820/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=2367972 CPUtime=28.03 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 27006 0 15 0 2754 49 0 0 20 0 20 0 239155645 19521036288 591993 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 591993 5502 1 0 1328720 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=16584 CPUtime=23.8 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 8753 0 15 0 2368 12 0 0 20 0 20 0 239155648 19521036288 591993 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=1688384 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 591993 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=2287700 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 591993 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=2299988 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 591993 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 28.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2367972 KiB

[startup+51.1049 s]
/proc/loadavg: 3.01 2.11 2.94 6/344 167848
/proc/meminfo: memFree=114931012/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=3968344 CPUtime=55.98 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 44409 0 15 0 5514 84 0 0 20 0 20 0 239155645 19521036288 992086 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 992086 5534 1 0 1440290 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=16584 CPUtime=48.06 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 10916 0 15 0 4788 18 0 0 20 0 20 0 239155648 19521036288 992086 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0

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

/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 236685 0 15 0 293631 94 0 0 20 0 20 0 239155648 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2450 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3215.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15102696 KiB

[startup+3102.3 s]
/proc/loadavg: 4.30 4.37 4.31 6/342 168024
/proc/meminfo: memFree=69085932/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15102696 CPUtime=3277.52 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 432365 0 15 0 327286 466 0 0 20 0 20 0 239155645 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775674 5534 1 0 4085030 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=2995.41 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 240536 0 15 0 299447 94 0 0 20 0 20 0 239155648 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=-8887963151809422012 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2514 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=16584 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3277.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15102696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.33 4.30 7/342 168027
/proc/meminfo: memFree=69084952/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15102696 CPUtime=3343.8 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 443088 0 15 0 333908 472 0 0 20 0 20 0 239155645 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775674 5534 1 0 4085030 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=3053.59 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 248827 0 15 0 305264 95 0 0 20 0 20 0 239155648 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2543 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=15102696 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775674 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3343.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15102696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.37 4.31 7/342 168029
/proc/meminfo: memFree=69085472/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15103080 CPUtime=3410.81 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 452041 0 15 0 340605 476 0 0 20 0 20 0 239155645 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775770 5534 1 0 4085102 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=3112.12 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 252478 0 15 0 311116 96 0 0 20 0 20 0 239155648 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=16584 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2621 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3410.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15103080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.40 4.37 4.31 6/342 168161
/proc/meminfo: memFree=85052740/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15103080 CPUtime=3471.81 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 459925 0 15 0 346703 478 0 0 20 0 20 0 239155645 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775770 5534 1 0 4085102 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=3170.83 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 258151 0 15 0 316986 97 0 0 20 0 20 0 239155648 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2633 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3471.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15103080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.31 6/340 168163
/proc/meminfo: memFree=84714936/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15103080 CPUtime=3533.2 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 466994 0 15 0 352839 481 0 0 20 0 20 0 239155645 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775770 5534 1 0 4085102 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=3229.12 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 262831 0 15 0 322814 98 0 0 20 0 20 0 239155648 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2708 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=16584 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3533.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15103080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3397.5 s]
/proc/loadavg: 4.44 4.36 4.32 7/339 168167
/proc/meminfo: memFree=84547380/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19063512 memory=15103080 CPUtime=3600.03 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 475864 0 15 0 359516 487 0 0 20 0 20 0 239155645 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4765878 3775770 5534 1 0 4085103 0
[pid=167769/tid=167784] ppid=167754 vsize=19063512 memory=12079136 CPUtime=3282.87 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) R 167754 167769 167700 0 -1 4194368 269549 0 15 0 328188 99 0 0 20 0 20 0 239155648 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2708 0 0 0 0 0 0 0 20 0 20 0 239155650 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167843] ppid=167754 vsize=19063512 memory=15103080 CPUtime=0 cores=5,7
/proc/167769/task/167843/stat : 167843 (Timer-0) S 167754 167769 167700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239155671 19521036288 3775770 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15103080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.47 s, system=4.92011 s

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

[startup+3397.6 s]
/proc/loadavg: 4.44 4.36 4.32 7/339 168167
/proc/meminfo: memFree=84547380/131250000 swapFree=33010416/33010684
[pid=167769] ppid=167754 vsize=19263204 memory=15103848 CPUtime=3600.24 cores=5,7
/proc/167769/stat : 167769 (java) S 167754 167769 167700 0 -1 4194304 477244 0 15 0 359537 487 0 0 20 0 21 0 239155645 19725520896 3775962 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
/proc/167769/statm: 4815801 3775962 5534 1 0 4085996 0
[pid=167769/tid=167784] ppid=167754 vsize=19263204 memory=27264 CPUtime=3282.92 cores=5,7
/proc/167769/task/167784/stat : 167784 (java) S 167754 167769 167700 0 -1 4194368 269634 0 15 0 328193 99 0 0 20 0 21 0 239155648 19725520896 3775962 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167823] ppid=167754 vsize=19263204 memory=10496 CPUtime=0 cores=5,7
/proc/167769/task/167823/stat : 167823 (Finalizer) S 167754 167769 167700 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 239155650 19725520896 3775962 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
[pid=167769/tid=167836] ppid=167754 vsize=19263204 memory=5760 CPUtime=0 cores=5,7
/proc/167769/task/167836/stat : 167836 (Common-Cleaner) S 167754 167769 167700 0 -1 4194368 2708 0 0 0 0 0 0 0 20 0 21 0 239155650 19725520896 3775962 18446744073709551615 94225467973632 94225467977328 140734332082048 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94225467985144 94225467985936 94225488175104 140734332086655 140734332086756 140734332086756 140734332092360 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 15103848 KiB

[startup+3397.7 s]*
/proc/loadavg: 4.57 4.39 4.32 5/321 168170
/proc/meminfo: memFree=99311876/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3397.71
CPU time (s): 3600.39
CPU user time (s): 3595.47
CPU system time (s): 4.92011
CPU usage (%): 105.965
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15103848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.47
system time used= 4.92011
maximum resident set size= 15104104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477982
page faults= 15
swaps= 0
block input operations= 0
block output operations= 18504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112737
involuntary context switches= 13753


# summary of solver processes directly reported to runsolver:
#   pid: 167769
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3595.47
#   total CPU system time (s): 4.92011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67321 second user time and 12.2689 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-23 03:39:38
IDJOB=4544226
IDBENCH=175047
IDSOLVER=3363
FILE ID=nodeC018/4544226-1753234778
RUNJOBID= nodeC018-1753234778-167713
SLURM_JOB_ID= 9687862
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544226-1753234778/watcher-4544226-1753234778 -o /tmp/evaluation-result-4544226-1753234778/solver-4544226-1753234778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753234778-167713 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4544226-1753234778.opb

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

MD5SUM BENCH= 4a59e763ae88014143ab229bcecf86f5
RANDOM SEED=1117295114

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129048828 kB
MemAvailable:   129661764 kB
Buffers:            2128 kB
Cached:          1363364 kB
SwapCached:           28 kB
Active:          1147000 kB
Inactive:         285148 kB
Active(anon):      92616 kB
Inactive(anon):      284 kB
Active(file):    1054384 kB
Inactive(file):   284864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3648 kB
Writeback:             4 kB
AnonPages:         69708 kB
Mapped:           108680 kB
Shmem:             26240 kB
KReclaimable:     225452 kB
Slab:             321984 kB
SReclaimable:     225452 kB
SUnreclaim:        96532 kB
KernelStack:        4096 kB
PageTables:         2784 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     343508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC018 at 2025-07-23 04:36:16