Trace number 4461987

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.29 3602

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
MD5SUMe69471d73cbea12e8e8984c62457715d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark346
Best CPU time to get the best result obtained on this benchmark2.70326
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables99544
Total number of constraints99545
Number of constraints which are clauses87333
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints10768
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.13	c See www.sat4j.org for details.
0.14/0.15	c version CUSTOM.v20240707
0.14/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.16	c java.vm.version	22.0.1+8-16
0.14/0.16	c java.vm.vendor	Oracle Corporation
0.14/0.16	c sun.arch.data.model	64
0.14/0.16	c java.version		22.0.1
0.14/0.16	c os.name		Linux
0.14/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.16	c os.arch		amd64
0.14/0.17	c Free memory 		2115194816
0.14/0.17	c Max memory 		16282288128
0.14/0.17	c Total memory 		2122317824
0.14/0.17	c Number of processors 	2
0.31/0.27	--- Begin Solver configuration ---
0.31/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.27	Learn all clauses as in MiniSAT
0.31/0.27	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.27	Expensive reason simplification
0.31/0.27	Glucose 2.1 dynamic restart strategy
0.31/0.27	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.31/0.27	timeout=2147483s
0.31/0.27	DB Simplification allowed=false
0.31/0.27	Listener: none
0.31/0.27	--- End Solver configuration ---
0.31/0.28	c Pseudo Boolean Optimization by upper bound
0.31/0.28	c --- Begin Solver configuration ---
0.31/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.28	c Learn all clauses as in MiniSAT
0.31/0.28	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.28	c Expensive reason simplification
0.31/0.28	c Glucose 2.1 dynamic restart strategy
0.31/0.28	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.31/0.28	c timeout=2147483s
0.31/0.28	c DB Simplification allowed=false
0.31/0.28	c Listener: none
0.31/0.28	c --- End Solver configuration ---
0.31/0.28	c solving HOME/instance-4461987-1722209195.opb
0.31/0.28	c reading problem ... 
0.31/0.28	c using VERIPB proof format
0.31/0.29	c  objective function found
5.31/3.42	c ... done. Wall clock time 3.133s.
5.31/3.42	c declared #vars     99544
5.31/3.42	c #constraints  111757
5.31/3.42	c constraints type 
5.31/3.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 88945
5.31/3.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11393
5.31/3.42	c org.sat4j.specs.Constr$1 => 14
5.31/3.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11391
5.31/3.42	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
5.31/3.42	c 111757 constraints processed.
5.31/3.43	c objective function length is 1444 literals
25.08/20.08	c cleaning 2456 clauses out of 4912 with flag 32278/5006
40.12/34.83	c cleaning 4222 clauses out of 8444 with flag 89146/11000
55.73/50.16	c cleaning 5602 clauses out of 11204 with flag 158426/18000
72.87/66.77	c cleaning 6801 clauses out of 13601 with flag 237490/26000
92.17/86.02	c cleaning 7888 clauses out of 15775 with flag 345584/35004
109.32/103.41	c cleaning 8938 clauses out of 17875 with flag 454338/45001
128.28/122.30	c cleaning 9961 clauses out of 19932 with flag 583910/56000
148.91/143.14	c cleaning 10984 clauses out of 21967 with flag 728167/68002
171.99/166.33	c cleaning 11980 clauses out of 23970 with flag 889365/81000
197.56/191.88	c cleaning 12991 clauses out of 25986 with flag 1084041/95001
225.18/219.69	c cleaning 13995 clauses out of 27990 with flag 1318066/110001
253.68/248.34	c cleaning 14993 clauses out of 29986 with flag 1550299/126000
282.85/277.73	c cleaning 15994 clauses out of 31989 with flag 1812860/143000
315.92/310.77	c cleaning 16990 clauses out of 33986 with flag 2108110/161000
348.10/343.29	c cleaning 17998 clauses out of 35995 with flag 2428623/180006
382.48/377.75	c cleaning 18992 clauses out of 37983 with flag 2767176/200000
419.52/414.88	c cleaning 19990 clauses out of 39979 with flag 3114189/221000
457.71/453.66	c cleaning 20995 clauses out of 41989 with flag 3482310/243002
500.07/496.05	c cleaning 21985 clauses out of 43976 with flag 3878658/266001
540.95/537.45	c cleaning 22996 clauses out of 45993 with flag 4280215/290004
585.07/582.04	c cleaning 23989 clauses out of 47988 with flag 4687876/315000
629.44/626.62	c cleaning 24999 clauses out of 49997 with flag 5112328/341002
678.17/675.83	c cleaning 25988 clauses out of 51985 with flag 5554869/368000
722.75/720.36	c cleaning 26997 clauses out of 53993 with flag 5994460/396001
774.78/773.45	c cleaning 27991 clauses out of 55992 with flag 6517259/425000
824.24/823.16	c cleaning 28989 clauses out of 57995 with flag 7008249/455001
870.92/869.85	c cleaning 30001 clauses out of 60005 with flag 7434371/486008
922.98/922.16	c cleaning 30990 clauses out of 61986 with flag 7858705/518002
978.51/977.93	c cleaning 31979 clauses out of 63977 with flag 8281847/551004
1036.23/1036.41	c cleaning 32979 clauses out of 65976 with flag 8753558/585000
1091.70/1093.53	c cleaning 33986 clauses out of 67989 with flag 9241936/620000
1142.75/1145.17	c cleaning 34994 clauses out of 69998 with flag 9731991/656002
1199.84/1202.49	c cleaning 35995 clauses out of 71989 with flag 10120513/693000
1265.39/1268.31	c cleaning 36985 clauses out of 73979 with flag 10579185/731003
1341.40/1344.31	c cleaning 37960 clauses out of 75966 with flag 11045352/770000
1415.45/1418.55	c cleaning 38985 clauses out of 77991 with flag 11555326/810000
1492.20/1494.49	c cleaning 39983 clauses out of 79998 with flag 11903860/851004
1573.55/1575.48	c cleaning 40965 clauses out of 81987 with flag 12280515/893000
1653.31/1655.02	c cleaning 41989 clauses out of 84009 with flag 12805801/936001
1726.35/1728.18	c cleaning 43000 clauses out of 86012 with flag 13180568/980001
1814.18/1816.19	c cleaning 43992 clauses out of 87996 with flag 13624415/1025000
1900.28/1902.17	c cleaning 44993 clauses out of 89993 with flag 14092508/1071001
1990.31/1991.84	c cleaning 45972 clauses out of 91990 with flag 14571485/1118000
2095.64/2097.23	c cleaning 46996 clauses out of 94010 with flag 15090203/1166003
2195.29/2196.58	c cleaning 47978 clauses out of 96002 with flag 15582520/1215000
2284.26/2286.63	c cleaning 49000 clauses out of 98019 with flag 16157252/1265002
2381.24/2384.78	c cleaning 49996 clauses out of 100005 with flag 16633633/1316000
2490.16/2492.71	c cleaning 50986 clauses out of 102006 with flag 17044194/1368001
2591.42/2595.35	c cleaning 51987 clauses out of 104010 with flag 17431360/1421000
2715.77/2719.39	c cleaning 52936 clauses out of 106014 with flag 17904472/1475002
2834.79/2838.60	c cleaning 53998 clauses out of 108064 with flag 18422529/1530000
2951.62/2955.14	c cleaning 55022 clauses out of 110060 with flag 18937977/1586000
3061.91/3065.34	c cleaning 55953 clauses out of 112032 with flag 19484965/1643000
3198.77/3202.62	c cleaning 57005 clauses out of 114059 with flag 20014916/1701000
3314.57/3318.08	c cleaning 57994 clauses out of 116031 with flag 20586176/1760001
3425.68/3428.73	c cleaning 59008 clauses out of 118034 with flag 21090701/1820001
3536.97/3539.11	c cleaning 60000 clauses out of 120009 with flag 21743929/1881001
3600.04/3601.82	c starts		: 12853
3600.04/3601.84	c timeout
3600.04/3601.84	c conflicts		: 1914415
3600.04/3601.85	c decisions		: 7535533
3600.04/3601.85	c propagations		: 9958281580
3600.04/3601.85	c inspects		: 6722847846
3600.04/3601.85	c shortcuts		: 0
3600.04/3601.85	c learnt literals	: 687
3600.04/3601.85	c learnt binary clauses	: 2196
3600.04/3601.85	c learnt ternary clauses	: 2316
3600.04/3601.85	c learnt constraints	: 1913728
3600.04/3601.85	c ignored constraints	: 0
3600.04/3601.85	c root simplifications	: 0
3600.04/3601.85	c removed literals (reason simplification)	: 122800319
3600.04/3601.85	c reason swapping (by a shorter reason)	: 0
3600.04/3601.85	c Calls to reduceDB	: 57
3600.04/3601.85	c Number of update (reduction) of LBD	: 344912
3600.04/3601.85	c Imported unit clauses	: 0
3600.04/3601.85	c No decision after first conflict	: false
3600.04/3601.85	c number of reductions to clauses (during analyze)	: 0
3600.04/3601.85	c number of learned constraints concerned by reduction	: 0
3600.04/3601.85	c number of learning phase by resolution	: 0
3600.04/3601.85	c number of learning phase by cutting planes	: 0
3600.04/3601.85	c number of rounding to 1 operations	: 0
3600.04/3601.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3601.85	c number of reductions of the coefficients by power 2 	: 0
3600.04/3601.85	c number of right shift for reduction by power 2 	: 0
3600.04/3601.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3601.85	c number of ending skipping 	: 0
3600.04/3601.85	c number of internal skipping 	: 0
3600.04/3601.85	c number of derivation steps 	: 0
3600.04/3601.85	c number of skipped derivation steps 	: 0
3600.04/3601.85	c number of remaining unassigned 	: 0
3600.04/3601.85	c number of remaining assigned 	: 0
3600.04/3601.85	c number of falsified literals weakened from reason	: 0
3600.04/3601.85	c number of falsified literals weakened from conflict	: 0
3600.04/3601.85	c time for arithmetic operations	: 0
3600.04/3601.85	c minimum degree of deleted constraints	: null
3600.04/3601.85	c maximum degree of deleted constraints	: null
3600.04/3601.85	c number of deleted constraints	: 0
3600.04/3601.86	c speed (assignments/second)	: 2767418.5228383387
3600.04/3601.86	c non guided choices	: 0
3600.19/3601.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 91221
3600.19/3601.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2196
3600.19/3601.97	s UNKNOWN
3600.19/3601.97	c Total wall clock time (in seconds): 3601.688

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: 64059 MiB (62706 MiB free)
  memory of node 1: 64510 MiB (61365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461987-1722209195/watcher-4461987-1722209195 -o /tmp/evaluation-result-4461987-1722209195/solver-4461987-1722209195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722209195-438644 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4461987-1722209195 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4461987-1722209195.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.104279 s]*
/proc/loadavg: 1.12 1.43 2.13 10/267 438718
/proc/meminfo: memFree=126977692/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=18993908 memory=57332 CPUtime=0.14 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 6612 0 0 0 10 4 0 0 20 0 18 0 56908928 19449761792 14333 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4748477 14333 5863 1 0 550922 0
[pid=438677/tid=438679] ppid=438674 vsize=18993908 memory=4026532157 CPUtime=0.1 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 5573 0 0 0 7 3 0 0 20 0 18 0 56908928 19449761792 14336 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=18993908 memory=215671374179 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56908935 19449761792 14336 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=18993908 memory=15261441311932006 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56908936 19449761792 14336 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57332 KiB

[startup+0.218192 s]*
/proc/loadavg: 1.12 1.43 2.13 9/265 438718
/proc/meminfo: memFree=126960660/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=18993908 memory=66288 CPUtime=0.31 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 7314 0 0 0 26 5 0 0 20 0 18 0 56908928 19449761792 16572 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4748477 16572 5867 1 0 551485 0
[pid=438677/tid=438679] ppid=438674 vsize=18993908 memory=4029049594 CPUtime=0.2 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 5881 0 0 0 16 4 0 0 20 0 18 0 56908928 19449761792 16572 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=18993908 memory=2391843 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56908935 19449761792 16572 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=18993908 memory=13571513378933845 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56908936 19449761792 16572 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66288 KiB

[startup+0.317278 s]*
/proc/loadavg: 1.12 1.43 2.13 9/273 438735
/proc/meminfo: memFree=126948060/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=18993908 memory=72036 CPUtime=0.48 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 7550 0 0 0 42 6 0 0 20 0 18 0 56908928 19449761792 18009 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4748477 18009 6044 1 0 551640 0
[pid=438677/tid=438679] ppid=438674 vsize=18993908 memory=7311146985107750967 CPUtime=0.29 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 6017 0 0 0 25 4 0 0 20 0 18 0 56908928 19449761792 18009 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=18993908 memory=2391855 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56908935 19449761792 18009 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=18993908 memory=15260363239197791 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56908936 19449761792 18009 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 72036 KiB

[startup+0.700853 s]
/proc/loadavg: 1.12 1.43 2.13 10/310 438775
/proc/meminfo: memFree=126771248/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19060472 memory=182292 CPUtime=1.2 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 9543 0 0 0 108 12 0 0 20 0 19 0 56908928 19517923328 45573 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4765118 45573 6151 1 0 553138 0
[pid=438677/tid=438679] ppid=438674 vsize=19060472 memory=18484 CPUtime=0.58 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 6104 0 0 0 50 8 0 0 20 0 19 0 56908928 19517923328 45573 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 56908935 19517923328 45573 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19060472 memory=1896 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56908936 19517923328 45573 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 182292 KiB

[startup+1.50027 s]
/proc/loadavg: 1.12 1.43 2.13 10/312 438777
/proc/meminfo: memFree=125892732/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19060472 memory=933628 CPUtime=2.72 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 13237 0 0 0 240 32 0 0 20 0 19 0 56908928 19517923328 233407 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4765118 233407 6210 1 0 1744734 0
[pid=438677/tid=438679] ppid=438674 vsize=19060472 memory=0 CPUtime=1.18 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 6428 0 0 0 93 25 0 0 20 0 19 0 56908928 19517923328 233407 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 56908935 19517923328 233407 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56908936 19517923328 233407 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 933628 KiB

[startup+3.11347 s]
/proc/loadavg: 1.12 1.43 2.13 6/313 438778
/proc/meminfo: memFree=114006352/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19060472 memory=4310648 CPUtime=4.87 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 19546 0 0 0 381 106 0 0 20 0 19 0 56908928 19517923328 1077662 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4765118 1077662 6210 1 0 1748447 0
[pid=438677/tid=438679] ppid=438674 vsize=19060472 memory=12240 CPUtime=2.68 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 8055 0 0 0 171 97 0 0 20 0 19 0 56908928 19517923328 1077662 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 56908935 19517923328 1077662 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56908936 19517923328 1077662 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 4310648 KiB

[startup+6.30027 s]
/proc/loadavg: 1.43 1.49 2.15 5/315 438780
/proc/meminfo: memFree=112572548/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=4318472 CPUtime=10.11 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 20545 0 0 0 902 109 0 0 20 0 20 0 56908928 19586084864 1079618 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1079618 6248 1 0 1749323 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=12240 CPUtime=5.77 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 8199 0 0 0 479 98 0 0 20 0 20 0 56908928 19586084864 1079618 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=-8887401297122796220 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1079618 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1079618 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1079618 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4318472 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 1.58 2.17 5/316 438783
/proc/meminfo: memFree=109771224/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=4311980 CPUtime=17.5 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 20850 0 0 0 1638 112 0 0 20 0 20 0 56908928 19586084864 1077995 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1077995 6248 1 0 1749323 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=4318636 CPUtime=12.1 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 8478 0 0 0 1109 101 0 0 20 0 20 0 56908928 19586084864 1077995 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=4311980 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1077995 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=77968 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1077995 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=4318472 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1077995 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 17.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4311980 KiB

[startup+25.5005 s]
/proc/loadavg: 2.70 1.78 2.23 6/317 438785
/proc/meminfo: memFree=106175508/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=4312932 CPUtime=30.84 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 25695 0 0 0 2966 118 0 0 20 0 20 0 56908928 19586084864 1078233 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1078233 6264 1 0 1749381 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=4312932 CPUtime=24.86 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 10532 0 0 0 2381 105 0 0 20 0 20 0 56908928 19586084864 1078233 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=-8887401297122796220 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1078233 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1078233 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=2465 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1078233 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 30.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4312932 KiB

[startup+51.1097 s]
/proc/loadavg: 3.48 2.04 2.30 5/321 438794
/proc/meminfo: memFree=94420200/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=4391460 CPUtime=57.29 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 40907 0 0 0 5599 130 0 0 20 0 20 0 56908928 19586084864 1097865 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1097865 6280 1 0 1750355 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=4316088 CPUtime=49.92 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 13179 0 0 0 4880 112 0 0 20 0 20 0 56908928 19586084864 1097865 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=100 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1097865 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=25788 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1097865 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=-8887401297122796220 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1097865 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 57.29 s
Current children cumulated vsize: 19127036 KiB

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

[startup+3282.3 s]
/proc/loadavg: 5.14 4.63 4.64 5/322 440269
/proc/meminfo: memFree=42953188/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956192 CPUtime=3278.59 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 307479 0 0 0 326737 1122 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739048 6296 1 0 1753759 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=6956192 CPUtime=3229.08 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 138987 0 0 0 322022 886 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2037 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=6956192 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=6956168 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3160 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3278.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.58 4.56 4.62 6/322 440281
/proc/meminfo: memFree=42322616/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956192 CPUtime=3338.8 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 309290 0 0 0 332743 1137 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739048 6296 1 0 1753759 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=6956192 CPUtime=3288.44 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 139754 0 0 0 327945 899 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2044 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=18484 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=6956192 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3242 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=6956192 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3338.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.51 4.55 4.61 4/296 440325
/proc/meminfo: memFree=74118740/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956192 CPUtime=3399.37 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 310149 0 0 0 338780 1157 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739048 6296 1 0 1753759 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=1896 CPUtime=3347.34 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 140250 0 0 0 333820 914 0 0 20 0 20 0 56908928 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2053 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=6956192 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739048 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3399.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956192 KiB

[startup+3462.3 s]
/proc/loadavg: 3.40 4.23 4.50 3/270 440368
/proc/meminfo: memFree=106947012/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956236 CPUtime=3460.15 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 330353 0 0 0 344842 1173 0 0 20 0 20 0 56908928 19586084864 1739059 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739059 6296 1 0 1753764 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=0 CPUtime=3406.77 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 144826 0 0 0 339751 926 0 0 20 0 20 0 56908928 19586084864 1739059 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2060 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=6956236 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739059 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=6956200 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739059 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739059 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3460.15 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956236 KiB

[startup+3522.3 s]
/proc/loadavg: 2.55 3.84 4.34 3/272 440764
/proc/meminfo: memFree=106684036/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956252 CPUtime=3520.33 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 331334 0 0 0 350843 1190 0 0 20 0 20 0 56908928 19586084864 1739063 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739063 6296 1 0 1753764 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=6956236 CPUtime=3466.17 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 145284 0 0 0 345677 940 0 0 20 0 20 0 56908928 19586084864 1739063 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2066 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739063 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=6956252 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739063 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=6956252 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739063 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3520.33 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956252 KiB

[startup+3582.3 s]
/proc/loadavg: 2.30 3.53 4.20 3/270 440774
/proc/meminfo: memFree=106514204/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956256 CPUtime=3580.62 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 331935 0 0 0 356857 1205 0 0 20 0 20 0 56908928 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739064 6296 1 0 1753764 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=6956236 CPUtime=3525.45 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 145613 0 0 0 351593 952 0 0 20 0 20 0 56908928 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2073 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=77968 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3580.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 2.22 3.43 4.15 3/270 440777
/proc/meminfo: memFree=106281060/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19127036 memory=6956256 CPUtime=3600.04 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 331935 0 0 0 358794 1210 0 0 20 0 20 0 56908928 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4781759 1739064 6296 1 0 1753764 0
[pid=438677/tid=438679] ppid=438674 vsize=19127036 memory=12264 CPUtime=3544.86 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) R 438674 438677 435238 0 -1 4194368 145613 0 0 0 353529 957 0 0 20 0 20 0 56908928 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2077 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19127036 memory=77968 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56908935 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 20 0 56908936 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438779] ppid=438674 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/438677/task/438779/stat : 438779 (Timer-0) S 438674 438677 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56909274 19586084864 1739064 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6956256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.15 s, system=12.1437 s

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

[startup+3601.91 s]
/proc/loadavg: 2.22 3.43 4.15 3/270 440777
/proc/meminfo: memFree=106281060/131655788 swapFree=131057156/131071996
[pid=438677] ppid=438674 vsize=19326728 memory=6956872 CPUtime=3600.19 cores=4,6
/proc/438677/stat : 438677 (java) S 438674 438677 435238 0 -1 1077936128 333853 0 0 0 358808 1211 0 0 20 0 21 0 56908928 19790569472 1739218 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
/proc/438677/statm: 4831682 1739218 6295 1 0 1754703 0
[pid=438677/tid=438679] ppid=438674 vsize=19326728 memory=12264 CPUtime=3544.89 cores=4,6
/proc/438677/task/438679/stat : 438679 (java) S 438674 438677 435238 0 -1 1077936192 145788 0 0 0 353532 957 0 0 20 0 21 0 56908928 19790569472 1739218 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2079 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438700] ppid=438674 vsize=19326728 memory=6956256 CPUtime=0 cores=4,6
/proc/438677/task/438700/stat : 438700 (Finalizer) S 438674 438677 435238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 56908935 19790569472 1739218 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
[pid=438677/tid=438709] ppid=438674 vsize=19326728 memory=2232 CPUtime=0 cores=4,6
/proc/438677/task/438709/stat : 438709 (Common-Cleaner) S 438674 438677 435238 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 21 0 56908936 19790569472 1739218 134679101440 94625743331328 94625743335024 140722125291056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94625743342840 94625743343632 94625747075072 140722125292462 140722125292644 140722125292644 140722125299656 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6956872 KiB

Child status: 143

Real time (s): 3602
CPU time (s): 3600.29
CPU user time (s): 3588.15
CPU system time (s): 12.1437
CPU usage (%): 99.9527
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6956872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.15
system time used= 12.1437
maximum resident set size= 6957740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10541568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113611
involuntary context switches= 12049


# summary of solver processes directly reported to runsolver:
#   pid: 438677
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3588.15
#   total CPU system time (s): 12.1437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.114 second user time and 36.3584 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-29 01:26:35
IDJOB=4461987
IDBENCH=178874
IDSOLVER=3079
FILE ID=nodeC005/4461987-1722209195
RUNJOBID= nodeC005-1722209195-438644
SLURM_JOB_ID= 8248640
Free space on /tmp= 723760 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461987-1722209195/watcher-4461987-1722209195 -o /tmp/evaluation-result-4461987-1722209195/solver-4461987-1722209195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722209195-438644 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4461987-1722209195 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4461987-1722209195.opb

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

MD5SUM BENCH= e69471d73cbea12e8e8984c62457715d
RANDOM SEED=76115840

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127058980 kB
MemAvailable:   130000580 kB
Buffers:          396664 kB
Cached:          3359560 kB
SwapCached:          244 kB
Active:          1784888 kB
Inactive:        2241328 kB
Active(anon):       2092 kB
Inactive(anon):   320812 kB
Active(file):    1782796 kB
Inactive(file):  1920516 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057156 kB
Dirty:             25792 kB
Writeback:             0 kB
AnonPages:        269988 kB
Mapped:            97028 kB
Shmem:             52880 kB
KReclaimable:     156640 kB
Slab:             265332 kB
SReclaimable:     156640 kB
SUnreclaim:       108692 kB
KernelStack:        3636 kB
PageTables:        10228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     696244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10720 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      435016 kB
DirectMap2M:    55044096 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC005 at 2024-07-29 02:26:37