Trace number 4542081

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.73 3575.82

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_comm/normalized-27diagcomm_less_teq.opb
MD5SUMe80427fd7184340cbc2fb1b3fd72520e
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.750604
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4482
Total number of constraints6670
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2296
Minimum length of a constraint2
Maximum length of a constraint108
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 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963967
Number of bits of the biggest sum of numbers55
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.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.20	c Free memory 		2104792832
0.12/0.20	c Max memory 		16282288128
0.12/0.21	c Total memory 		2113929216
0.29/0.23	c Number of processors 	2
0.29/0.32	c Pseudo Boolean Optimization by upper bound
0.29/0.32	c --- Begin Solver configuration ---
0.29/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.32	c Learn all clauses as in MiniSAT
0.29/0.32	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	c Expensive reason simplification
0.29/0.32	c Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	c timeout=2147483s
0.29/0.32	c DB Simplification allowed=false
0.29/0.32	c Listener: none
0.29/0.32	c --- End Solver configuration ---
0.29/0.32	c solving HOME/instance-4542081-1753212757.opb
0.29/0.32	c reading problem ... 
0.29/0.32	c  no objective function found
0.83/0.61	c ... done. Wall clock time 0.284s.
0.83/0.61	c declared #vars     4482
0.83/0.61	c #constraints  8965
1.00/0.61	c constraints type 
1.00/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4698
1.00/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2809
1.00/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1458
1.00/0.62	c 8965 constraints processed.
2.78/1.68	c cleaning 2496 clauses out of 5001 with flag 22349/5001
4.83/3.41	c cleaning 4250 clauses out of 8505 with flag 60100/11001
11.44/9.50	c cleaning 5619 clauses out of 11254 with flag 142874/18000
20.02/17.96	c cleaning 6810 clauses out of 13636 with flag 261862/26001
29.32/27.08	c cleaning 7907 clauses out of 15825 with flag 413331/35000
39.78/37.37	c cleaning 8957 clauses out of 17919 with flag 581460/45001
52.02/49.15	c cleaning 9971 clauses out of 19962 with flag 776161/56001
65.00/61.91	c cleaning 10991 clauses out of 21990 with flag 1015478/68000
77.50/74.25	c cleaning 11998 clauses out of 24000 with flag 1310059/81001
94.35/90.53	c cleaning 12994 clauses out of 26001 with flag 1628474/95000
113.11/109.08	c cleaning 13999 clauses out of 28008 with flag 1973976/110001
133.19/129.01	c cleaning 14997 clauses out of 30009 with flag 2293201/126001
154.13/149.49	c cleaning 16002 clauses out of 32012 with flag 2648086/143001
176.79/171.13	c cleaning 16997 clauses out of 34009 with flag 3071343/161000
199.74/193.88	c cleaning 17998 clauses out of 36013 with flag 3503603/180001
224.80/218.40	c cleaning 18998 clauses out of 38014 with flag 3957158/200000
251.21/243.50	c cleaning 20001 clauses out of 40016 with flag 4470242/221000
278.78/270.02	c cleaning 20996 clauses out of 42016 with flag 5029859/243001
307.22/298.06	c cleaning 22006 clauses out of 44020 with flag 5662188/266001
339.08/329.69	c cleaning 23002 clauses out of 46013 with flag 6214120/290000
373.16/362.54	c cleaning 23996 clauses out of 48012 with flag 6758160/315001
407.75/396.12	c cleaning 25000 clauses out of 50015 with flag 7370362/341000
445.69/433.62	c cleaning 26001 clauses out of 52015 with flag 7985347/368000
482.41/469.92	c cleaning 27003 clauses out of 54015 with flag 8647172/396001
520.75/507.88	c cleaning 27998 clauses out of 56012 with flag 9364916/425001
559.29/545.98	c cleaning 28996 clauses out of 58014 with flag 10159022/455001
603.31/587.86	c cleaning 29999 clauses out of 60018 with flag 11025230/486001
642.50/626.49	c cleaning 31004 clauses out of 62020 with flag 11803912/518002
682.33/665.82	c cleaning 32001 clauses out of 64015 with flag 12596270/551001
729.39/712.29	c cleaning 33003 clauses out of 66014 with flag 13630445/585001
771.93/754.32	c cleaning 34001 clauses out of 68010 with flag 14433786/620000
803.82/785.44	c cleaning 35001 clauses out of 70010 with flag 14880996/656001
838.26/819.56	c cleaning 35998 clauses out of 72009 with flag 15421719/693001
873.71/854.83	c cleaning 36994 clauses out of 74011 with flag 16038391/731001
914.44/895.47	c cleaning 38002 clauses out of 76017 with flag 16745524/770001
955.73/936.39	c cleaning 39004 clauses out of 78016 with flag 17465439/810002
1000.81/981.28	c cleaning 39996 clauses out of 80010 with flag 18261347/851000
1044.77/1025.07	c cleaning 40996 clauses out of 82014 with flag 19104534/893000
1090.55/1070.74	c cleaning 41999 clauses out of 84018 with flag 19986181/936000
1136.05/1115.77	c cleaning 43005 clauses out of 86019 with flag 20897208/980000
1184.61/1163.93	c cleaning 43994 clauses out of 88014 with flag 21859678/1025000
1235.07/1214.28	c cleaning 45000 clauses out of 90020 with flag 22903062/1071000
1279.95/1258.97	c cleaning 46002 clauses out of 92021 with flag 23902972/1118001
1333.27/1312.14	c cleaning 46998 clauses out of 94019 with flag 24896999/1166001
1386.15/1364.96	c cleaning 47998 clauses out of 96020 with flag 25986431/1215000
1452.50/1431.25	c cleaning 49001 clauses out of 98022 with flag 27173579/1265000
1518.17/1496.81	c cleaning 50003 clauses out of 100021 with flag 28408647/1316000
1587.58/1565.78	c cleaning 50998 clauses out of 102018 with flag 29682003/1368000
1652.93/1630.90	c cleaning 52003 clauses out of 104020 with flag 30891486/1421000
1729.39/1707.37	c cleaning 52995 clauses out of 106017 with flag 32343030/1475000
1793.58/1771.13	c cleaning 53995 clauses out of 108022 with flag 33663549/1530000
1862.97/1840.41	c cleaning 55003 clauses out of 110028 with flag 35138668/1586001
1927.45/1904.85	c cleaning 56006 clauses out of 112024 with flag 36414517/1643000
1985.19/1962.32	c cleaning 57003 clauses out of 114019 with flag 37192223/1701001
2040.54/2017.51	c cleaning 58003 clauses out of 116017 with flag 37968761/1760002
2104.86/2081.78	c cleaning 58999 clauses out of 118013 with flag 38900187/1820001
2164.34/2141.02	c cleaning 60003 clauses out of 120015 with flag 39759693/1881002
2228.39/2204.91	c cleaning 60995 clauses out of 122011 with flag 40939054/1943001
2287.46/2263.87	c cleaning 61997 clauses out of 124016 with flag 42121210/2006001
2351.56/2327.57	c cleaning 63004 clauses out of 126018 with flag 43364189/2070000
2424.72/2400.86	c cleaning 64003 clauses out of 128015 with flag 44259143/2135001
2499.30/2475.45	c cleaning 64999 clauses out of 130012 with flag 45202080/2201001
2584.67/2560.44	c cleaning 66001 clauses out of 132014 with flag 46249682/2268002
2665.30/2641.20	c cleaning 66997 clauses out of 134012 with flag 47611477/2336001
2733.36/2709.28	c cleaning 67997 clauses out of 136016 with flag 48841277/2405002
2796.95/2771.78	c cleaning 69001 clauses out of 138018 with flag 50220890/2475001
2873.38/2848.30	c cleaning 69997 clauses out of 140017 with flag 51409410/2546001
2954.98/2929.86	c cleaning 70998 clauses out of 142019 with flag 52251809/2618000
3041.54/3016.52	c cleaning 71999 clauses out of 144022 with flag 53579259/2691001
3160.84/3135.78	c cleaning 73007 clauses out of 146023 with flag 55332928/2765001
3256.42/3231.29	c cleaning 73999 clauses out of 148015 with flag 57194762/2840000
3355.67/3330.71	c cleaning 74991 clauses out of 150016 with flag 59897593/2916000
3449.94/3425.08	c cleaning 75997 clauses out of 152026 with flag 62219458/2993001
3558.61/3533.96	c cleaning 77007 clauses out of 154028 with flag 64751693/3071000
3600.41/3575.67	c timeout
3600.58/3575.70	c starts		: 1602
3600.58/3575.71	c conflicts		: 3114832
3600.58/3575.71	c decisions		: 3480583
3600.58/3575.71	c propagations		: 3416537089
3600.58/3575.71	c inspects		: 27208499529
3600.58/3575.71	c shortcuts		: 0
3600.58/3575.71	c learnt literals	: 0
3600.58/3575.71	c learnt binary clauses	: 530
3600.58/3575.71	c learnt ternary clauses	: 752
3600.58/3575.71	c learnt constraints	: 3114832
3600.58/3575.71	c ignored constraints	: 0
3600.58/3575.71	c root simplifications	: 0
3600.58/3575.71	c removed literals (reason simplification)	: 559627287
3600.58/3575.71	c reason swapping (by a shorter reason)	: 0
3600.58/3575.71	c Calls to reduceDB	: 74
3600.58/3575.71	c Number of update (reduction) of LBD	: 769079
3600.58/3575.71	c Imported unit clauses	: 0
3600.58/3575.71	c No decision after first conflict	: false
3600.58/3575.71	c number of reductions to clauses (during analyze)	: 0
3600.58/3575.72	c number of learned constraints concerned by reduction	: 0
3600.58/3575.72	c number of learning phase by resolution	: 0
3600.58/3575.72	c number of learning phase by cutting planes	: 0
3600.58/3575.72	c number of rounding to 1 operations	: 0
3600.58/3575.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.58/3575.72	c number of reductions of the coefficients by power 2 	: 0
3600.58/3575.72	c number of right shift for reduction by power 2 	: 0
3600.58/3575.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.58/3575.72	c number of ending skipping 	: 0
3600.58/3575.72	c number of internal skipping 	: 0
3600.58/3575.72	c number of derivation steps 	: 0
3600.58/3575.72	c number of skipped derivation steps 	: 0
3600.58/3575.72	c number of remaining unassigned 	: 0
3600.58/3575.72	c number of remaining assigned 	: 0
3600.58/3575.72	c number of falsified literals weakened from reason	: 0
3600.58/3575.72	c number of falsified literals weakened from conflict	: 0
3600.58/3575.72	c time for arithmetic operations	: 0
3600.58/3575.72	c minimum degree of deleted constraints	: null
3600.58/3575.72	c maximum degree of deleted constraints	: null
3600.58/3575.72	c number of deleted constraints	: 0
3600.58/3575.72	c speed (assignments/second)	: 955649.3153328793
3600.58/3575.72	c non guided choices	: 61
3600.58/3575.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 120323
3600.58/3575.77	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 530
3600.58/3575.77	s UNKNOWN
3600.58/3575.77	c Total wall clock time (in seconds): 3575.454

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=196440, runsolver pid=196437
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 5.53 4.61 4.28 9/322 196458
/proc/meminfo: memFree=127065496/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18930384 memory=50544 CPUtime=0.12 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 5807 0 0 0 10 2 0 0 20 0 18 0 236955396 19384713216 12636 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4732596 12636 5329 1 0 547027 0
[pid=196440/tid=196442] ppid=196437 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 4687 0 0 0 6 1 0 0 20 0 18 0 236955397 19384713216 12636 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955402 19384713216 12636 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18930384 memory=57394571004297 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236955403 19384713216 12636 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50544 KiB

[startup+0.21346 s]*
/proc/loadavg: 5.53 4.61 4.28 6/322 196458
/proc/meminfo: memFree=127064488/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18930384 memory=54988 CPUtime=0.29 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 6404 0 0 0 26 3 0 0 20 0 18 0 236955396 19384713216 13747 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4732596 13747 5329 1 0 547568 0
[pid=196440/tid=196442] ppid=196437 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 4999 0 0 0 16 2 0 0 20 0 18 0 236955397 19384713216 13747 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18930384 memory=1707 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955402 19384713216 13747 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18930384 memory=56295059358712 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236955403 19384713216 13747 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54988 KiB

[startup+0.314786 s]*
/proc/loadavg: 5.53 4.61 4.28 8/322 196458
/proc/meminfo: memFree=127056296/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18930384 memory=60388 CPUtime=0.46 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 6682 0 0 0 43 3 0 0 20 0 18 0 236955396 19384713216 15097 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4732596 15097 5393 1 0 547776 0
[pid=196440/tid=196442] ppid=196437 vsize=18930384 memory=-8672356622428578492 CPUtime=0.28 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 5222 0 0 0 26 2 0 0 20 0 18 0 236955397 19384713216 15097 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236955402 19384713216 15097 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236955403 19384713216 15097 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60388 KiB

[startup+0.700287 s]
/proc/loadavg: 5.53 4.61 4.28 8/322 196458
/proc/meminfo: memFree=127038148/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18996948 memory=83880 CPUtime=1.16 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 8383 0 0 0 112 4 0 0 20 0 19 0 236955396 19452874752 20970 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4749237 20970 5393 1 0 549285 0
[pid=196440/tid=196442] ppid=196437 vsize=18996948 memory=27392 CPUtime=0.56 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 5345 0 0 0 54 2 0 0 20 0 19 0 236955397 19452874752 20970 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236955402 19452874752 20970 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236955403 19452874752 20970 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83880 KiB

[startup+1.5003 s]
/proc/loadavg: 5.53 4.61 4.28 7/323 196459
/proc/meminfo: memFree=126976544/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18996948 memory=97112 CPUtime=2.66 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 12569 0 0 0 261 5 0 0 20 0 19 0 236955396 19452874752 24278 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4749237 24278 5425 1 0 550432 0
[pid=196440/tid=196442] ppid=196437 vsize=18996948 memory=3200 CPUtime=1.33 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 5565 0 0 0 131 2 0 0 20 0 19 0 236955397 19452874752 24278 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236955402 19452874752 24278 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236955403 19452874752 24278 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=18996948 memory=16688 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236955459 19452874752 24278 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97112 KiB

[startup+3.11301 s]
/proc/loadavg: 5.53 4.61 4.28 5/324 196460
/proc/meminfo: memFree=126724588/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=18996948 memory=118708 CPUtime=4.55 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 14715 0 0 0 449 6 0 0 20 0 19 0 236955396 19452874752 29677 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4749237 29677 5425 1 0 550664 0
[pid=196440/tid=196442] ppid=196437 vsize=18996948 memory=16688 CPUtime=2.94 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 6623 0 0 0 291 3 0 0 20 0 19 0 236955397 19452874752 29677 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236955402 19452874752 29677 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236955403 19452874752 29677 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236955459 19452874752 29677 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118708 KiB

[startup+6.3004 s]
/proc/loadavg: 5.49 4.61 4.28 5/302 196472
/proc/meminfo: memFree=128185940/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=202756 CPUtime=8.24 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 23843 0 0 0 813 11 0 0 20 0 20 0 236955396 19521036288 50689 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 50689 5457 1 0 553455 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=0 CPUtime=6.06 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 7030 0 0 0 602 4 0 0 20 0 20 0 236955397 19521036288 50689 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 50689 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 50689 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=97112 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 50689 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202756 KiB

[startup+12.7004 s]
/proc/loadavg: 5.37 4.60 4.28 5/325 196528
/proc/meminfo: memFree=126976444/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=260348 CPUtime=14.73 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 24354 0 0 0 1459 14 0 0 20 0 20 0 236955396 19521036288 65087 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 65087 5457 1 0 553455 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=97112 CPUtime=12.36 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 7261 0 0 0 1231 5 0 0 20 0 20 0 236955397 19521036288 65087 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=260348 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 65087 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=16688 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 65087 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 65087 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 260348 KiB

[startup+25.5004 s]
/proc/loadavg: 5.06 4.57 4.27 5/325 196528
/proc/meminfo: memFree=126000684/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=489964 CPUtime=27.81 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 27570 0 0 0 2762 19 0 0 20 0 20 0 236955396 19521036288 122491 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 122491 5457 1 0 553471 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=0 CPUtime=24.81 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 8382 0 0 0 2476 5 0 0 20 0 20 0 236955397 19521036288 122491 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=260348 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 122491 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=489964 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 122491 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=410068 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 122491 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 27.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 489964 KiB

[startup+51.1131 s]
/proc/loadavg: 4.86 4.56 4.28 5/325 196529
/proc/meminfo: memFree=122726788/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=913016 CPUtime=54.01 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 31038 0 0 0 5372 29 0 0 20 0 20 0 236955396 19521036288 228254 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 228254 5489 1 0 659981 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=690812 CPUtime=49.87 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 8745 0 0 0 4980 7 0 0 20 0 20 0 236955397 19521036288 228254 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=-8672356622428578492 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 228254 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=692348 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 228254 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=633336 CPUtime=0 cores=1,3

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

/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 2774 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3247.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.35 4.37 4.29 5/326 196697
/proc/meminfo: memFree=98490420/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3307.39 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 194178 0 0 0 330358 381 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3249.28 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 110490 0 0 0 324858 70 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=16688 CPUtime=0 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 2810 0 0 0 0 0 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3307.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.36 4.29 5/326 196765
/proc/meminfo: memFree=110754840/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3367.24 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 196515 0 0 0 336339 385 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=10752 CPUtime=3309.07 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 112665 0 0 0 330836 71 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=16688 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 2914 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3367.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.34 4.28 5/325 196767
/proc/meminfo: memFree=109327200/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3427.27 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 199951 0 0 0 342338 389 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=10752 CPUtime=3368.73 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 114959 0 0 0 336801 72 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=27392 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 2985 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=16688 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3427.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.32 4.28 5/325 196769
/proc/meminfo: memFree=108321504/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3487.15 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 201506 0 0 0 348323 392 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=10752 CPUtime=3428.57 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 116386 0 0 0 342784 73 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=10752 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 3061 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3487.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.34 4.28 5/326 196772
/proc/meminfo: memFree=107836996/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3547.03 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 203810 0 0 0 354308 395 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3488.39 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 118639 0 0 0 348766 73 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=3200 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 3061 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3547.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3575.4 s]
/proc/loadavg: 4.26 4.31 4.28 5/326 196774
/proc/meminfo: memFree=107434208/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3600.04 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 206192 0 0 0 359606 398 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=3200 CPUtime=3541.34 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) R 196437 196440 195934 0 -1 4194368 120814 0 0 0 354060 74 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=7724416 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 3126 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=2744 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.71 s, system=4.02006 s

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

[startup+3575.6 s]
/proc/loadavg: 4.26 4.31 4.28 5/326 196774
/proc/meminfo: memFree=107434208/131382112 swapFree=33010416/33010684
[pid=196440] ppid=196437 vsize=19063512 memory=7724416 CPUtime=3600.41 cores=1,3
/proc/196440/stat : 196440 (java) S 196437 196440 195934 0 -1 4194304 207025 0 0 0 359643 398 0 0 20 0 20 0 236955396 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
/proc/196440/statm: 4765878 1931104 5489 1 0 2542608 0
[pid=196440/tid=196442] ppid=196437 vsize=19063512 memory=27392 CPUtime=3541.35 cores=1,3
/proc/196440/task/196442/stat : 196442 (java) S 196437 196440 195934 0 -1 4194368 120823 0 0 0 354061 74 0 0 20 0 20 0 236955397 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196451] ppid=196437 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/196440/task/196451/stat : 196451 (Finalizer) S 196437 196440 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236955402 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196458] ppid=196437 vsize=19063512 memory=4764 CPUtime=0.01 cores=1,3
/proc/196440/task/196458/stat : 196458 (Common-Cleaner) S 196437 196440 195934 0 -1 4194368 3126 0 0 0 0 1 0 0 20 0 20 0 236955403 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
[pid=196440/tid=196459] ppid=196437 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/196440/task/196459/stat : 196459 (Timer-0) S 196437 196440 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236955459 19521036288 1931104 18446744073709551615 94147114844160 94147114847856 140726270824560 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94147114855672 94147114856464 94147132243968 140726270826879 140726270826980 140726270826980 140726270832584 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7724416 KiB

[startup+3575.8 s]*
/proc/loadavg: 4.32 4.33 4.28 5/308 196777
/proc/meminfo: memFree=111429856/131382112 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): 3575.82
CPU time (s): 3600.73
CPU user time (s): 3596.71
CPU system time (s): 4.02006
CPU usage (%): 100.697
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7727484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.71
system time used= 4.02006
maximum resident set size= 7727484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109789
involuntary context switches= 4601


# summary of solver processes directly reported to runsolver:
#   pid: 196440
#   total CPU time (s): 3600.73
#   total CPU user time (s): 3596.71
#   total CPU system time (s): 4.02006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5891 second user time and 38.8368 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 21:32:37
IDJOB=4542081
IDBENCH=163785
IDSOLVER=3363
FILE ID=nodeC012/4542081-1753212757
RUNJOBID= nodeC012-1753209161-195951
SLURM_JOB_ID= 9687769
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542081-1753212757/watcher-4542081-1753212757 -o /tmp/evaluation-result-4542081-1753212757/solver-4542081-1753212757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195951 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542081-1753212757.opb

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

MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=1947704772

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		: 1396.672
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		: 1197.407
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		: 1596.209
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.155
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		: 3491.714
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		: 3660.957
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.158
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.077
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:        127104560 kB
MemAvailable:   127877168 kB
Buffers:            2136 kB
Cached:          1538488 kB
SwapCached:           12 kB
Active:          3282024 kB
Inactive:         334912 kB
Active(anon):    2097768 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   330224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3204 kB
Writeback:             0 kB
AnonPages:       2079416 kB
Mapped:           128488 kB
Shmem:             26140 kB
KReclaimable:     195128 kB
Slab:             287164 kB
SReclaimable:     195128 kB
SUnreclaim:        92036 kB
KernelStack:        4928 kB
PageTables:         7720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7055148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150280 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1921024 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= 432864 MiB
End job on nodeC012 at 2025-07-22 22:32:13