Trace number 4542666

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.31 3595.33

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
MD5SUM97f31c39a85f5c54920a5de5b1e4a080
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 benchmark78.0826
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403744
Total number of constraints31066
Number of constraints which are clauses15781
Number of constraints which are cardinality constraints (but not clauses)13394
Number of constraints which are nor clauses,nor cardinality constraints1891
Minimum length of a constraint28
Maximum length of a constraint33
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 36
Number of bits of the biggest sum of numbers6
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.19	c version PB25.v20250606
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.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4542666-1753216519.opb
0.44/0.35	c reading problem ... 
0.44/0.36	c  no objective function found
13.49/11.59	c ... done. Wall clock time 11.234s.
13.49/11.59	c declared #vars     403744
13.49/11.59	c #constraints  31066
13.49/11.59	c constraints type 
13.49/11.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15285
13.49/11.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15781
13.49/11.59	c 31066 constraints processed.
16.68/13.25	c cleaning 2498 clauses out of 5003 with flag 30738/5003
17.67/14.14	c cleaning 4148 clauses out of 8502 with flag 74326/11000
20.25/16.40	c cleaning 5671 clauses out of 11355 with flag 156422/18001
23.71/19.51	c cleaning 6838 clauses out of 13683 with flag 247890/26000
27.32/23.16	c cleaning 7920 clauses out of 15847 with flag 348407/35002
30.71/26.58	c cleaning 8949 clauses out of 17925 with flag 444913/45000
33.42/29.22	c cleaning 9803 clauses out of 19976 with flag 515096/56000
38.33/33.82	c cleaning 10904 clauses out of 22174 with flag 597039/68001
42.72/38.26	c cleaning 11949 clauses out of 24269 with flag 690187/81000
47.13/42.63	c cleaning 12974 clauses out of 26320 with flag 800579/95000
52.92/48.44	c cleaning 13987 clauses out of 28347 with flag 925625/110001
60.94/56.40	c cleaning 14991 clauses out of 30359 with flag 1058504/126000
69.21/64.62	c cleaning 15997 clauses out of 32370 with flag 1193935/143002
77.75/73.17	c cleaning 17005 clauses out of 34374 with flag 1332052/161003
87.92/83.31	c cleaning 17997 clauses out of 36367 with flag 1489102/180001
98.73/94.17	c cleaning 19001 clauses out of 38369 with flag 1658739/200000
112.00/107.46	c cleaning 20003 clauses out of 40370 with flag 1834303/221002
124.18/119.61	c cleaning 20998 clauses out of 42366 with flag 2027805/243001
135.59/131.11	c cleaning 21996 clauses out of 44367 with flag 2227674/266000
148.06/143.56	c cleaning 22997 clauses out of 46372 with flag 2428368/290001
163.45/158.91	c cleaning 23997 clauses out of 48374 with flag 2642800/315000
183.04/178.50	c cleaning 25000 clauses out of 50378 with flag 2875294/341001
202.11/197.62	c cleaning 26003 clauses out of 52377 with flag 3115548/368000
222.78/218.35	c cleaning 27006 clauses out of 54375 with flag 3359576/396001
247.36/242.98	c cleaning 27997 clauses out of 56368 with flag 3609445/425000
273.13/268.77	c cleaning 29003 clauses out of 58371 with flag 3864858/455000
304.79/300.42	c cleaning 29999 clauses out of 60369 with flag 4125900/486001
336.76/332.41	c cleaning 30996 clauses out of 62369 with flag 4398017/518000
368.52/364.28	c cleaning 31996 clauses out of 64374 with flag 4683202/551001
407.08/402.84	c cleaning 33003 clauses out of 66377 with flag 4962972/585000
447.84/443.61	c cleaning 34001 clauses out of 68375 with flag 5247477/620001
492.91/488.74	c cleaning 35000 clauses out of 70373 with flag 5545989/656000
534.67/530.55	c cleaning 35997 clauses out of 72373 with flag 5861565/693000
576.16/572.09	c cleaning 37005 clauses out of 74381 with flag 6183712/731005
626.22/622.14	c cleaning 38000 clauses out of 76372 with flag 6493152/770001
669.99/665.90	c cleaning 38997 clauses out of 78372 with flag 6832350/810001
711.56/707.50	c cleaning 40002 clauses out of 80378 with flag 7186693/851004
766.83/762.88	c cleaning 41001 clauses out of 82373 with flag 7550660/893001
810.03/806.10	c cleaning 41998 clauses out of 84371 with flag 7922213/936000
868.69/864.77	c cleaning 42998 clauses out of 86373 with flag 8341103/980000
936.98/933.05	c cleaning 44004 clauses out of 88375 with flag 8755276/1025000
1002.95/999.09	c cleaning 44999 clauses out of 90376 with flag 9191322/1071005
1025.83/1022.01	c cleaning 46178 clauses out of 92372 with flag 9508877/1118000
1068.13/1064.27	c cleaning 47053 clauses out of 94194 with flag 9828138/1166000
1111.64/1107.77	c cleaning 48030 clauses out of 96144 with flag 10172097/1215003
1170.25/1166.33	c cleaning 49003 clauses out of 98111 with flag 10567899/1265000
1226.92/1222.82	c cleaning 50004 clauses out of 100108 with flag 10972399/1316000
1267.87/1263.84	c cleaning 50999 clauses out of 102105 with flag 11316183/1368001
1304.32/1300.38	c cleaning 52033 clauses out of 104105 with flag 11711651/1421000
1343.17/1339.21	c cleaning 53017 clauses out of 106073 with flag 12128658/1475001
1388.43/1384.36	c cleaning 53979 clauses out of 108055 with flag 12556571/1530000
1425.11/1421.02	c cleaning 54994 clauses out of 110079 with flag 13022555/1586003
1474.65/1470.68	c cleaning 55990 clauses out of 112082 with flag 13399452/1643000
1530.13/1526.15	c cleaning 56996 clauses out of 114093 with flag 13803727/1701001
1577.87/1574.01	c cleaning 57994 clauses out of 116096 with flag 14258125/1760000
1635.39/1631.59	c cleaning 58998 clauses out of 118103 with flag 14722084/1820001
1697.81/1694.07	c cleaning 60001 clauses out of 120106 with flag 15208575/1881002
1757.01/1753.30	c cleaning 60998 clauses out of 122105 with flag 15722530/1943002
1828.82/1825.25	c cleaning 62001 clauses out of 124107 with flag 16271825/2006002
1905.13/1901.68	c cleaning 63004 clauses out of 126108 with flag 16857067/2070004
1999.42/1996.10	c cleaning 64003 clauses out of 128104 with flag 17450091/2135004
2072.68/2069.43	c cleaning 65002 clauses out of 130098 with flag 18065986/2201001
2103.36/2100.15	c cleaning 66024 clauses out of 132095 with flag 18503452/2268000
2193.18/2190.08	c cleaning 66872 clauses out of 134071 with flag 19201958/2336000
2310.79/2307.20	c cleaning 68073 clauses out of 136199 with flag 20017330/2405000
2355.94/2352.23	c cleaning 68919 clauses out of 138129 with flag 20713776/2475003
2426.16/2422.52	c cleaning 69957 clauses out of 140208 with flag 21194492/2546001
2485.70/2481.92	c cleaning 70976 clauses out of 142250 with flag 21694898/2618000
2552.73/2549.05	c cleaning 71989 clauses out of 144277 with flag 22232827/2691003
2619.52/2615.77	c cleaning 72997 clauses out of 146287 with flag 22884726/2765002
2685.06/2681.33	c cleaning 73999 clauses out of 148288 with flag 23484886/2840000
2764.26/2760.37	c cleaning 74992 clauses out of 150290 with flag 24201319/2916001
2809.68/2805.44	c cleaning 75993 clauses out of 152299 with flag 24903228/2993002
2888.34/2884.17	c cleaning 77130 clauses out of 154308 with flag 25402287/3071004
2970.95/2966.69	c cleaning 78063 clauses out of 156174 with flag 25980471/3150000
3058.56/3054.39	c cleaning 79037 clauses out of 158115 with flag 26603605/3230004
3151.87/3147.46	c cleaning 80016 clauses out of 160074 with flag 27257887/3311000
3232.21/3227.86	c cleaning 81006 clauses out of 162058 with flag 27972691/3393000
3318.85/3314.29	c cleaning 82003 clauses out of 164053 with flag 28734716/3476001
3370.90/3366.32	c cleaning 83012 clauses out of 166049 with flag 29296950/3560000
3430.21/3425.50	c cleaning 84009 clauses out of 168041 with flag 29855381/3645004
3456.80/3452.15	c cleaning 84992 clauses out of 170030 with flag 30441090/3731002
3524.13/3519.30	c cleaning 85995 clauses out of 172037 with flag 30980817/3818001
3560.10/3555.31	c cleaning 87000 clauses out of 174042 with flag 31580350/3906001
3600.03/3595.14	c timeout
3600.03/3595.14	c starts		: 3807
3600.03/3595.15	c conflicts		: 3967705
3600.03/3595.15	c decisions		: 10707490
3600.03/3595.15	c propagations		: 66876705
3600.03/3595.15	c inspects		: 18719666107
3600.03/3595.15	c shortcuts		: 0
3600.03/3595.15	c learnt literals	: 0
3600.03/3595.15	c learnt binary clauses	: 0
3600.03/3595.15	c learnt ternary clauses	: 0
3600.03/3595.15	c learnt constraints	: 3967705
3600.03/3595.15	c ignored constraints	: 0
3600.03/3595.15	c root simplifications	: 0
3600.03/3595.15	c removed literals (reason simplification)	: 12950010
3600.03/3595.15	c reason swapping (by a shorter reason)	: 0
3600.03/3595.15	c Calls to reduceDB	: 84
3600.03/3595.15	c Number of update (reduction) of LBD	: 2497178
3600.03/3595.15	c Imported unit clauses	: 0
3600.03/3595.15	c No decision after first conflict	: false
3600.03/3595.15	c number of reductions to clauses (during analyze)	: 0
3600.03/3595.15	c number of learned constraints concerned by reduction	: 0
3600.03/3595.15	c number of learning phase by resolution	: 0
3600.03/3595.15	c number of learning phase by cutting planes	: 0
3600.03/3595.15	c number of rounding to 1 operations	: 0
3600.03/3595.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3595.15	c number of reductions of the coefficients by power 2 	: 0
3600.03/3595.15	c number of right shift for reduction by power 2 	: 0
3600.03/3595.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3595.16	c number of ending skipping 	: 0
3600.03/3595.16	c number of internal skipping 	: 0
3600.03/3595.16	c number of derivation steps 	: 0
3600.03/3595.16	c number of skipped derivation steps 	: 0
3600.03/3595.16	c number of remaining unassigned 	: 0
3600.03/3595.16	c number of remaining assigned 	: 0
3600.03/3595.16	c number of falsified literals weakened from reason	: 0
3600.03/3595.16	c number of falsified literals weakened from conflict	: 0
3600.03/3595.16	c time for arithmetic operations	: 0
3600.03/3595.16	c minimum degree of deleted constraints	: null
3600.03/3595.16	c maximum degree of deleted constraints	: null
3600.03/3595.16	c number of deleted constraints	: 0
3600.03/3595.16	c speed (assignments/second)	: 18662.32037538562
3600.03/3595.16	c non guided choices	: 4696556
3600.17/3595.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 148746
3600.17/3595.29	s UNKNOWN
3600.17/3595.30	c Total wall clock time (in seconds): 3594.942

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: 63794 MiB (55406 MiB free)
  memory of node 1: 64507 MiB (53239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542666-1753216519/watcher-4542666-1753216519 -o /tmp/evaluation-result-4542666-1753216519/solver-4542666-1753216519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195950 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542666-1753216519.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=197033, runsolver pid=197030

[startup+0.100072 s]*
/proc/loadavg: 4.45 4.46 4.35 7/324 197051
/proc/meminfo: memFree=111224920/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18930384 memory=48112 CPUtime=0.12 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 5720 0 0 0 8 4 0 0 20 0 18 0 237331635 19384713216 12028 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4732596 12028 5307 1 0 546949 0
[pid=197033/tid=197035] ppid=197030 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 4622 0 0 0 4 2 0 0 20 0 18 0 237331637 19384713216 12028 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237331642 19384713216 12028 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18930384 memory=57394571004297 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237331643 19384713216 12028 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48112 KiB

[startup+0.214328 s]*
/proc/loadavg: 4.45 4.46 4.35 6/324 197051
/proc/meminfo: memFree=111213768/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18930384 memory=53092 CPUtime=0.28 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 6452 0 0 0 24 4 0 0 20 0 18 0 237331635 19384713216 13273 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4732596 13273 5307 1 0 547532 0
[pid=197033/tid=197035] ppid=197030 vsize=18930384 memory=4027056412 CPUtime=0.17 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 4980 0 0 0 14 3 0 0 20 0 18 0 237331637 19384713216 13273 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18930384 memory=1707 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237331642 19384713216 13273 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18930384 memory=56295059358712 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237331643 19384713216 13273 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53092 KiB

[startup+0.319481 s]*
/proc/loadavg: 4.45 4.46 4.35 7/324 197051
/proc/meminfo: memFree=111209928/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18930384 memory=58668 CPUtime=0.44 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 6752 0 0 0 39 5 0 0 20 0 18 0 237331635 19384713216 14667 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4732596 14667 5403 1 0 547753 0
[pid=197033/tid=197035] ppid=197030 vsize=18930384 memory=-9176764174445617852 CPUtime=0.26 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 5169 0 0 0 23 3 0 0 20 0 18 0 237331637 19384713216 14667 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237331642 19384713216 14667 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237331643 19384713216 14667 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58668 KiB

[startup+0.700299 s]
/proc/loadavg: 4.45 4.46 4.35 6/325 197052
/proc/meminfo: memFree=111099624/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18996948 memory=497196 CPUtime=1.07 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 9454 0 0 0 91 16 0 0 20 0 19 0 237331635 19452874752 124299 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4749237 124299 5467 1 0 1085976 0
[pid=197033/tid=197035] ppid=197030 vsize=18996948 memory=27392 CPUtime=0.54 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 5451 0 0 0 43 11 0 0 20 0 19 0 237331637 19452874752 124299 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237331642 19452874752 124299 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237331643 19452874752 124299 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 497196 KiB

[startup+1.50027 s]
/proc/loadavg: 4.45 4.46 4.35 6/325 197052
/proc/meminfo: memFree=110230708/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18996948 memory=1821084 CPUtime=2.61 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 12679 0 0 0 215 46 0 0 20 0 19 0 237331635 19452874752 455271 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4749237 455271 5467 1 0 1087504 0
[pid=197033/tid=197035] ppid=197030 vsize=18996948 memory=3200 CPUtime=1.28 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 6096 0 0 0 88 40 0 0 20 0 19 0 237331637 19452874752 455271 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237331642 19452874752 455271 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237331643 19452874752 455271 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1821084 KiB

[startup+3.10859 s]
/proc/loadavg: 4.45 4.46 4.35 5/325 197052
/proc/meminfo: memFree=107961400/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18996948 memory=3281352 CPUtime=4.52 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 14013 0 0 0 377 75 0 0 20 0 19 0 237331635 19452874752 820338 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4749237 820338 5467 1 0 1262998 0
[pid=197033/tid=197035] ppid=197030 vsize=18996948 memory=10752 CPUtime=2.81 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 6877 0 0 0 214 67 0 0 20 0 19 0 237331637 19452874752 820338 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237331642 19452874752 820338 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237331643 19452874752 820338 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3281352 KiB

[startup+6.30027 s]
/proc/loadavg: 4.42 4.46 4.35 5/325 197052
/proc/meminfo: memFree=107232840/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=18996948 memory=3985216 CPUtime=7.79 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 15192 0 0 0 689 90 0 0 20 0 19 0 237331635 19452874752 996304 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4749237 996304 5467 1 0 1442647 0
[pid=197033/tid=197035] ppid=197030 vsize=18996948 memory=5632 CPUtime=5.6 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 7543 0 0 0 479 81 0 0 20 0 19 0 237331637 19452874752 996304 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237331642 19452874752 996304 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=18996948 memory=-9176764174445617852 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237331643 19452874752 996304 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3985216 KiB

[startup+12.7003 s]
/proc/loadavg: 4.38 4.45 4.35 6/326 197053
/proc/meminfo: memFree=103939976/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=7206104 CPUtime=15.76 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 19648 0 0 0 1415 161 0 0 20 0 20 0 237331635 19521036288 1801526 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 1801526 5467 1 0 2257728 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=3985216 CPUtime=11.31 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 9560 0 0 0 981 150 0 0 20 0 20 0 237331637 19521036288 1801526 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 1801526 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=16688 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237331643 19521036288 1801526 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 1801526 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 15.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7206104 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.44 4.35 5/326 197054
/proc/meminfo: memFree=103897252/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=7203800 CPUtime=29.7 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 21704 0 0 0 2807 163 0 0 20 0 20 0 237331635 19521036288 1800950 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 1800950 5499 1 0 2258531 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=-9176764174445617852 CPUtime=24.07 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 9723 0 0 0 2257 150 0 0 20 0 20 0 237331637 19521036288 1800950 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 1800950 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237331643 19521036288 1800950 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 1800950 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 29.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7203800 KiB

[startup+51.1138 s]
/proc/loadavg: 4.24 4.41 4.34 5/326 197054
/proc/meminfo: memFree=103483872/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=7205104 CPUtime=55.63 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 26384 0 0 0 5396 167 0 0 20 0 20 0 237331635 19521036288 1801276 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 1801276 5499 1 0 2258531 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=7205104 CPUtime=49.62 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 10445 0 0 0 4811 151 0 0 20 0 20 0 237331637 19521036288 1801276 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=7205104 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 1801276 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=7205104 CPUtime=0 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237331643 19521036288 1801276 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 1801276 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 55.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7205104 KiB

[startup+102.3 s]

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

Current children cumulated memory: 8815348 KiB

[startup+3342.3 s]
/proc/loadavg: 3.27 3.68 3.97 4/300 197261
/proc/meminfo: memFree=103883976/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3346.92 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 140853 0 0 0 334222 470 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3328.35 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 77926 0 0 0 332678 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=0 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 3910 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3346.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.57 3.91 4/278 197275
/proc/meminfo: memFree=113465352/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3407.03 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 143583 0 0 0 340228 475 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=0 CPUtime=3388.04 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 79221 0 0 0 338647 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=16688 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=16688 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4023 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3407.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB

[startup+3462.3 s]
/proc/loadavg: 1.90 3.14 3.74 2/251 197332
/proc/meminfo: memFree=120256732/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3466.97 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 145682 0 0 0 346218 479 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=0 CPUtime=3447.91 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 81167 0 0 0 344634 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=16688 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4126 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3466.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB

[startup+3522.3 s]
/proc/loadavg: 1.43 2.78 3.58 2/251 197334
/proc/meminfo: memFree=120257092/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3527.13 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 148057 0 0 0 352229 484 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3507.53 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 82212 0 0 0 350596 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=5276 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4220 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=16688 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3527.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB

[startup+3582.3 s]
/proc/loadavg: 1.20 2.47 3.42 2/251 197336
/proc/meminfo: memFree=120265176/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3587.23 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 151021 0 0 0 358234 489 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=16688 CPUtime=3567.07 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 84059 0 0 0 356550 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=10752 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3587.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.11 s]
/proc/loadavg: 1.32 2.43 3.39 2/251 197338
/proc/meminfo: memFree=120264676/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3600.03 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 151251 0 0 0 359513 490 0 0 20 0 20 0 237331635 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4765878 2203837 5499 1 0 2258559 0
[pid=197033/tid=197035] ppid=197030 vsize=19063512 memory=8815348 CPUtime=3579.85 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) R 197030 197033 195934 0 -1 4194368 84242 0 0 0 357828 157 0 0 20 0 20 0 237331637 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237331642 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 20 0 237331643 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197053] ppid=197030 vsize=19063512 memory=8815348 CPUtime=0 cores=4,6
/proc/197033/task/197053/stat : 197053 (Timer-0) S 197030 197033 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237332799 19521036288 2203837 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8815348 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.37 s, system=4.93694 s

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

[startup+3595.21 s]
/proc/loadavg: 1.32 2.43 3.39 2/251 197338
/proc/meminfo: memFree=120264676/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19263204 memory=8816500 CPUtime=3600.17 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 154441 0 0 0 359526 491 0 0 20 0 21 0 237331635 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4815801 2204125 5531 1 0 2259498 0
[pid=197033/tid=197035] ppid=197030 vsize=19263204 memory=8815348 CPUtime=3579.88 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) S 197030 197033 195934 0 -1 4194368 84504 0 0 0 357831 157 0 0 20 0 21 0 237331637 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19263204 memory=-9176764174445617852 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 237331642 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19263204 memory=2432 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 21 0 237331643 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8816500 KiB

[startup+3595.3 s]
/proc/loadavg: 1.32 2.43 3.39 2/251 197338
/proc/meminfo: memFree=120264676/131382112 swapFree=33010416/33010684
[pid=197033] ppid=197030 vsize=19263204 memory=8816500 CPUtime=3600.27 cores=4,6
/proc/197033/stat : 197033 (java) S 197030 197033 195934 0 -1 4194304 154872 0 0 0 359536 491 0 0 20 0 15 0 237331635 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
/proc/197033/statm: 4815801 2204125 5531 1 0 2259515 0
[pid=197033/tid=197035] ppid=197030 vsize=19263204 memory=8815348 CPUtime=3579.88 cores=4,6
/proc/197033/task/197035/stat : 197035 (java) S 197030 197033 195934 0 -1 4194368 84504 0 0 0 357831 157 0 0 20 0 15 0 237331637 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197044] ppid=197030 vsize=19263204 memory=27392 CPUtime=0 cores=4,6
/proc/197033/task/197044/stat : 197044 (Finalizer) S 197030 197033 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 237331642 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
[pid=197033/tid=197051] ppid=197030 vsize=19263204 memory=8815348 CPUtime=0.01 cores=4,6
/proc/197033/task/197051/stat : 197051 (Common-Cleaner) S 197030 197033 195934 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 15 0 237331643 19725520896 2204125 18446744073709551615 94864231387136 94864231390832 140726174997888 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94864231398648 94864231399440 94864253935616 140726175000959 140726175001060 140726175001060 140726175006664 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8816500 KiB

Child status: 143

Real time (s): 3595.33
CPU time (s): 3600.31
CPU user time (s): 3595.37
CPU system time (s): 4.93694
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8816500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.37
system time used= 4.93694
maximum resident set size= 8816628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155557
involuntary context switches= 2825


# summary of solver processes directly reported to runsolver:
#   pid: 197033
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3595.37
#   total CPU system time (s): 4.93694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8003 second user time and 38.9062 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 22:35:19
IDJOB=4542666
IDBENCH=163947
IDSOLVER=3363
FILE ID=nodeC012/4542666-1753216519
RUNJOBID= nodeC012-1753209161-195950
SLURM_JOB_ID= 9687769
Free space on /tmp= 432796 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542666-1753216519/watcher-4542666-1753216519 -o /tmp/evaluation-result-4542666-1753216519/solver-4542666-1753216519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195950 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542666-1753216519.opb

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

MD5SUM BENCH= 97f31c39a85f5c54920a5de5b1e4a080
RANDOM SEED=178627335

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        111254520 kB
MemAvailable:   112159792 kB
Buffers:            2136 kB
Cached:          1671100 kB
SwapCached:           12 kB
Active:         19014876 kB
Inactive:         467528 kB
Active(anon):   17830620 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   462840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10372 kB
Writeback:             0 kB
AnonPages:      17812584 kB
Mapped:           128512 kB
Shmem:             26140 kB
KReclaimable:     195224 kB
Slab:             287096 kB
SReclaimable:     195224 kB
SUnreclaim:        91872 kB
KernelStack:        4960 kB
PageTables:        38588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   36589496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17549312 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC012 at 2025-07-22 23:35:15