Trace number 4462007

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 Default 2024-07-07? (TO) 3600.25 3574.32

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
MD5SUM4616ac8a16a5f48e16aff56bf369874b
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 benchmark344
Best CPU time to get the best result obtained on this benchmark2.97819
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113616
Total number of constraints113617
Number of constraints which are clauses97461
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints14712
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.12/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.12	c java.vm.version	22.0.1+8-16
0.12/0.12	c java.vm.vendor	Oracle Corporation
0.12/0.12	c sun.arch.data.model	64
0.12/0.12	c java.version		22.0.1
0.12/0.12	c os.name		Linux
0.12/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.12	c os.arch		amd64
0.12/0.14	c Free memory 		2115194816
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.20	--- Begin Solver configuration ---
0.12/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	Learn all clauses as in MiniSAT
0.12/0.20	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	No reason simplification
0.12/0.20	Glucose 2.1 dynamic restart strategy
0.12/0.20	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.12/0.20	timeout=2147483s
0.12/0.20	DB Simplification allowed=false
0.12/0.20	Listener: none
0.12/0.20	--- End Solver configuration ---
0.12/0.20	c Pseudo Boolean Optimization by upper bound
0.12/0.20	c --- Begin Solver configuration ---
0.12/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	c Learn all clauses as in MiniSAT
0.12/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	c No reason simplification
0.12/0.20	c Glucose 2.1 dynamic restart strategy
0.12/0.20	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.12/0.20	c timeout=2147483s
0.12/0.20	c DB Simplification allowed=false
0.12/0.20	c Listener: none
0.12/0.20	c --- End Solver configuration ---
0.12/0.20	c solving HOME/instance-4462007-1722205260.opb
0.12/0.20	c reading problem ... 
0.12/0.21	c  objective function found
5.29/3.80	c ... done. Wall clock time 3.591s.
5.29/3.80	c declared #vars     113616
5.29/3.80	c #constraints  129773
5.29/3.80	c constraints type 
5.29/3.80	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 99025
5.29/3.80	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15373
5.29/3.80	c org.sat4j.specs.Constr$1 => 2
5.29/3.80	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15371
5.29/3.80	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
5.29/3.80	c 129773 constraints processed.
5.49/3.81	c objective function length is 1444 literals
24.62/20.32	c cleaning 2452 clauses out of 4904 with flag 28913/5000
40.19/35.62	c cleaning 4215 clauses out of 8429 with flag 72893/11002
56.00/50.57	c cleaning 5593 clauses out of 11186 with flag 131366/18003
73.79/67.79	c cleaning 6777 clauses out of 13553 with flag 205781/26002
92.87/86.81	c cleaning 7885 clauses out of 15770 with flag 308919/35000
114.96/108.93	c cleaning 8939 clauses out of 17878 with flag 432507/45000
136.13/130.05	c cleaning 9962 clauses out of 19935 with flag 561472/56000
157.70/151.67	c cleaning 10987 clauses out of 21973 with flag 729039/68000
183.27/177.29	c cleaning 11985 clauses out of 23977 with flag 902281/81001
211.57/205.40	c cleaning 12992 clauses out of 25995 with flag 1106391/95004
243.67/237.45	c cleaning 14000 clauses out of 28004 with flag 1326129/110007
280.86/274.38	c cleaning 15000 clauses out of 30000 with flag 1585057/126004
315.72/309.19	c cleaning 15991 clauses out of 31994 with flag 1832698/143000
352.33/345.71	c cleaning 17000 clauses out of 34000 with flag 2111988/161000
389.22/382.33	c cleaning 17997 clauses out of 35998 with flag 2376402/180000
427.03/419.87	c cleaning 18991 clauses out of 37999 with flag 2649493/200000
462.40/455.26	c cleaning 20001 clauses out of 40002 with flag 2928907/221001
503.27/495.87	c cleaning 20986 clauses out of 41988 with flag 3227574/243000
544.05/536.69	c cleaning 21994 clauses out of 43996 with flag 3530129/266000
587.06/579.36	c cleaning 22995 clauses out of 45996 with flag 3852390/290002
635.32/627.63	c cleaning 23994 clauses out of 47994 with flag 4196225/315000
687.22/679.20	c cleaning 24989 clauses out of 49987 with flag 4471184/341000
742.45/734.15	c cleaning 25991 clauses out of 51989 with flag 4771115/368000
793.49/785.23	c cleaning 26995 clauses out of 53989 with flag 5023694/396003
849.61/841.19	c cleaning 27985 clauses out of 55978 with flag 5285198/425000
893.40/884.66	c cleaning 28989 clauses out of 57984 with flag 5557221/455000
942.18/933.11	c cleaning 29987 clauses out of 59984 with flag 5831149/486002
988.12/978.84	c cleaning 30987 clauses out of 61982 with flag 6068692/518000
1039.98/1030.43	c cleaning 31993 clauses out of 63991 with flag 6335659/551003
1097.00/1086.29	c cleaning 32988 clauses out of 65980 with flag 6630689/585001
1148.53/1137.55	c cleaning 33982 clauses out of 67985 with flag 6912748/620006
1203.11/1191.84	c cleaning 34993 clauses out of 70001 with flag 7294590/656005
1263.97/1252.42	c cleaning 35994 clauses out of 71993 with flag 7681074/693002
1334.60/1322.84	c cleaning 36990 clauses out of 73984 with flag 8004080/731002
1383.07/1371.10	c cleaning 37972 clauses out of 75967 with flag 8292315/770001
1435.31/1423.06	c cleaning 38974 clauses out of 77976 with flag 8646325/810000
1486.53/1473.90	c cleaning 39987 clauses out of 79975 with flag 9044559/851001
1541.28/1528.08	c cleaning 40983 clauses out of 81970 with flag 9415754/893000
1594.99/1581.50	c cleaning 41975 clauses out of 83968 with flag 9764828/936000
1653.50/1638.99	c cleaning 42978 clauses out of 85983 with flag 10192184/980001
1723.26/1708.16	c cleaning 43963 clauses out of 87962 with flag 10619015/1025000
1788.09/1772.77	c cleaning 44969 clauses out of 89959 with flag 11022002/1071002
1856.91/1841.34	c cleaning 45971 clauses out of 91969 with flag 11405933/1118000
1935.25/1919.17	c cleaning 46975 clauses out of 93985 with flag 11917828/1166000
2003.77/1987.48	c cleaning 47993 clauses out of 95994 with flag 12376012/1215001
2072.81/2055.98	c cleaning 48980 clauses out of 97981 with flag 12774563/1265002
2130.18/2113.10	c cleaning 49984 clauses out of 99984 with flag 13168910/1316000
2202.99/2184.93	c cleaning 50988 clauses out of 101991 with flag 13563277/1368000
2281.86/2263.33	c cleaning 51987 clauses out of 103976 with flag 14060861/1421002
2361.89/2343.12	c cleaning 52988 clauses out of 105979 with flag 14461195/1475007
2434.99/2415.79	c cleaning 53985 clauses out of 107978 with flag 14937242/1530000
2513.44/2493.65	c cleaning 54993 clauses out of 109986 with flag 15520331/1586000
2594.18/2573.86	c cleaning 55993 clauses out of 111991 with flag 16060234/1643006
2675.68/2654.80	c cleaning 56990 clauses out of 113990 with flag 16627566/1701002
2753.54/2732.14	c cleaning 57988 clauses out of 115982 with flag 17172251/1760000
2821.44/2799.47	c cleaning 58966 clauses out of 117984 with flag 17771708/1820001
2899.10/2876.93	c cleaning 59992 clauses out of 120011 with flag 18200803/1881000
3013.90/2991.34	c cleaning 61000 clauses out of 122013 with flag 18879203/1943002
3105.73/3082.16	c cleaning 61991 clauses out of 123986 with flag 19407507/2006000
3204.51/3180.41	c cleaning 62969 clauses out of 125976 with flag 19978570/2070000
3323.94/3299.33	c cleaning 63982 clauses out of 127976 with flag 20522745/2135003
3405.08/3380.26	c cleaning 64973 clauses out of 129972 with flag 21059875/2201001
3489.31/3464.01	c cleaning 65984 clauses out of 131984 with flag 21651039/2268000
3582.39/3556.52	c cleaning 66980 clauses out of 133995 with flag 22122074/2336000
3600.07/3574.22	c timeout
3600.07/3574.23	c starts		: 9851
3600.07/3574.23	c conflicts		: 2345865
3600.07/3574.23	c decisions		: 8415884
3600.07/3574.23	c propagations		: 13430008354
3600.07/3574.23	c inspects		: 9592546115
3600.07/3574.23	c shortcuts		: 0
3600.07/3574.23	c learnt literals	: 939
3600.07/3574.23	c learnt binary clauses	: 2930
3600.07/3574.23	c learnt ternary clauses	: 2821
3600.07/3574.23	c learnt constraints	: 2344926
3600.07/3574.23	c ignored constraints	: 0
3600.07/3574.23	c root simplifications	: 0
3600.07/3574.23	c removed literals (reason simplification)	: 0
3600.07/3574.23	c reason swapping (by a shorter reason)	: 0
3600.07/3574.23	c Calls to reduceDB	: 64
3600.07/3574.23	c Number of update (reduction) of LBD	: 484266
3600.07/3574.23	c Imported unit clauses	: 0
3600.07/3574.23	c No decision after first conflict	: false
3600.07/3574.23	c number of reductions to clauses (during analyze)	: 0
3600.07/3574.23	c number of learned constraints concerned by reduction	: 0
3600.07/3574.23	c number of learning phase by resolution	: 0
3600.07/3574.23	c number of learning phase by cutting planes	: 0
3600.07/3574.23	c number of rounding to 1 operations	: 0
3600.07/3574.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3574.23	c number of reductions of the coefficients by power 2 	: 0
3600.07/3574.23	c number of right shift for reduction by power 2 	: 0
3600.07/3574.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3574.23	c number of ending skipping 	: 0
3600.07/3574.23	c number of internal skipping 	: 0
3600.07/3574.23	c number of derivation steps 	: 0
3600.07/3574.23	c number of skipped derivation steps 	: 0
3600.07/3574.23	c number of remaining unassigned 	: 0
3600.07/3574.23	c number of remaining assigned 	: 0
3600.07/3574.23	c number of falsified literals weakened from reason	: 0
3600.07/3574.23	c number of falsified literals weakened from conflict	: 0
3600.07/3574.23	c time for arithmetic operations	: 0
3600.07/3574.23	c minimum degree of deleted constraints	: null
3600.07/3574.23	c maximum degree of deleted constraints	: null
3600.07/3574.23	c number of deleted constraints	: 0
3600.07/3574.24	c speed (assignments/second)	: 3761484.593467233
3600.07/3574.24	c non guided choices	: 0
3600.07/3574.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 73944
3600.07/3574.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2930
3600.07/3574.27	s UNKNOWN
3600.07/3574.27	c Total wall clock time (in seconds): 3574.072

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=436143, runsolver pid=436140

[startup+0.100581 s]*
/proc/loadavg: 5.98 5.53 3.62 6/314 436161
/proc/meminfo: memFree=85479708/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=18993908 memory=61612 CPUtime=0.12 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 6711 0 0 0 10 2 0 0 20 0 18 0 56515454 19449761792 15403 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4748477 15403 5795 1 0 551031 0
[pid=436143/tid=436145] ppid=436140 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 1077936192 5649 0 0 0 7 1 0 0 20 0 18 0 56515454 19449761792 15403 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56515457 19449761792 15403 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=18993908 memory=3618136736603415072 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56515458 19449761792 15403 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 61612 KiB

[startup+0.213181 s]*
/proc/loadavg: 5.98 5.53 3.62 6/314 436161
/proc/meminfo: memFree=85466604/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=18993908 memory=75016 CPUtime=0.29 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 7355 0 0 0 27 2 0 0 20 0 18 0 56515454 19449761792 18754 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4748477 18754 5952 1 0 551564 0
[pid=436143/tid=436145] ppid=436140 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) S 436140 436143 435238 0 -1 1077936192 5890 0 0 0 16 2 0 0 20 0 18 0 56515454 19449761792 18754 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=18993908 memory=2391869 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56515457 19449761792 18754 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56515458 19449761792 18754 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 75016 KiB

[startup+0.311859 s]*
/proc/loadavg: 5.98 5.53 3.62 8/314 436161
/proc/meminfo: memFree=85427088/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=18993908 memory=122636 CPUtime=0.48 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 7491 0 0 0 45 3 0 0 20 0 18 0 56515454 19449761792 30659 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4748477 30659 5960 1 0 551627 0
[pid=436143/tid=436145] ppid=436140 vsize=18993908 memory=-9176481604352713404 CPUtime=0.27 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 5962 0 0 0 25 2 0 0 20 0 18 0 56515454 19449761792 30659 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56515457 19449761792 31171 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56515458 19449761792 31171 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 122636 KiB

[startup+0.700566 s]
/proc/loadavg: 5.98 5.53 3.62 7/315 436162
/proc/meminfo: memFree=85360064/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19060472 memory=333132 CPUtime=1.18 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 10529 0 0 0 108 10 0 0 20 0 19 0 56515454 19517923328 83283 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4765118 83283 6088 1 0 1175611 0
[pid=436143/tid=436145] ppid=436140 vsize=19060472 memory=5640 CPUtime=0.54 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 6055 0 0 0 48 6 0 0 20 0 19 0 56515454 19517923328 83283 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 56515457 19517923328 83283 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19060472 memory=4941 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56515458 19517923328 83283 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 333132 KiB

[startup+1.50057 s]
/proc/loadavg: 5.98 5.53 3.62 10/315 436162
/proc/meminfo: memFree=85014636/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19060472 memory=1902788 CPUtime=2.71 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 13472 0 0 0 228 43 0 0 20 0 19 0 56515454 19517923328 475697 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4765118 475697 6126 1 0 1874248 0
[pid=436143/tid=436145] ppid=436140 vsize=19060472 memory=4941 CPUtime=1.21 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 6780 0 0 0 85 36 0 0 20 0 19 0 56515454 19517923328 475697 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 56515457 19517923328 475697 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56515458 19517923328 475697 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 1902788 KiB

[startup+3.10557 s]
/proc/loadavg: 5.98 5.53 3.62 7/315 436164
/proc/meminfo: memFree=80907824/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19060472 memory=4625232 CPUtime=4.57 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 16572 0 0 0 354 103 0 0 20 0 19 0 56515454 19517923328 1156308 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4765118 1156308 6142 1 0 1875330 0
[pid=436143/tid=436145] ppid=436140 vsize=19060472 memory=12240 CPUtime=2.74 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 8081 0 0 0 179 95 0 0 20 0 19 0 56515454 19517923328 1156308 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 56515457 19517923328 1156308 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19060472 memory=6657 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 56515458 19517923328 1156308 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 4625232 KiB

[startup+6.30056 s]
/proc/loadavg: 5.90 5.52 3.63 6/316 436165
/proc/meminfo: memFree=80886556/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=4646048 CPUtime=10.1 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 23467 0 0 0 904 106 0 0 20 0 20 0 56515454 19586084864 1161512 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1161512 6184 1 0 1880634 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=0 CPUtime=5.89 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 8308 0 0 0 494 95 0 0 20 0 20 0 56515454 19586084864 1161512 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1161512 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=164 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56515458 19586084864 1161512 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=-7737621075815351712 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1161512 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 10.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4646048 KiB

[startup+12.7005 s]
/proc/loadavg: 5.83 5.51 3.64 6/316 436166
/proc/meminfo: memFree=80891520/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=4641448 CPUtime=16.6 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 23706 0 0 0 1553 107 0 0 20 0 20 0 56515454 19586084864 1160362 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1160362 6184 1 0 1880650 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=12240 CPUtime=12.25 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 8516 0 0 0 1130 95 0 0 20 0 20 0 56515454 19586084864 1160362 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=-9176481604352713404 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1160362 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=4641448 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56515458 19586084864 1160362 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=77840 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1160362 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 16.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4641448 KiB

[startup+25.5005 s]
/proc/loadavg: 5.95 5.55 3.68 7/316 436169
/proc/meminfo: memFree=80890336/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=4642404 CPUtime=30.05 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 28522 0 0 0 2896 109 0 0 20 0 20 0 56515454 19586084864 1160601 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1160601 6200 1 0 1880818 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=4641448 CPUtime=25.01 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 9145 0 0 0 2406 95 0 0 20 0 20 0 56515454 19586084864 1160601 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=4641448 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1160601 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56515458 19586084864 1160601 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=2481 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1160601 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 30.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4642404 KiB

[startup+51.1146 s]
/proc/loadavg: 5.74 5.54 3.73 8/316 436172
/proc/meminfo: memFree=80813928/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=4718872 CPUtime=57.15 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 34842 0 0 0 5600 115 0 0 20 0 20 0 56515454 19586084864 1179718 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1179718 6200 1 0 1880869 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=12264 CPUtime=50.28 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 10018 0 0 0 4932 96 0 0 20 0 20 0 56515454 19586084864 1179718 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=4718816 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1179718 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=4718788 CPUtime=0 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 56515458 19586084864 1179718 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=4642656 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1179718 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 57.15 s

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

/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4157 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3186.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7985960 KiB

[startup+3222.3 s]
/proc/loadavg: 2.26 2.31 2.88 3/264 438061
/proc/meminfo: memFree=110513200/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7985960 CPUtime=3246.34 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 344092 0 0 0 324192 442 0 0 20 0 20 0 56515454 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996490 6215 1 0 2146593 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=7768652 CPUtime=3193.34 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 148687 0 0 0 319205 129 0 0 20 0 20 0 56515454 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=77968 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4157 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3246.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7985960 KiB

[startup+3282.3 s]
/proc/loadavg: 2.13 2.27 2.83 3/262 438072
/proc/meminfo: memFree=110512764/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7985960 CPUtime=3306.55 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 344780 0 0 0 330208 447 0 0 20 0 20 0 56515454 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996490 6215 1 0 2146593 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=12264 CPUtime=3252.85 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 149024 0 0 0 325156 129 0 0 20 0 20 0 56515454 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4157 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=5644 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996490 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3306.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7985960 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.25 2.79 4/263 438083
/proc/meminfo: memFree=110512364/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7985980 CPUtime=3367.26 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 349185 0 0 0 336276 450 0 0 20 0 20 0 56515454 19586084864 1996495 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996495 6215 1 0 2146599 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=77968 CPUtime=3311.85 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 150195 0 0 0 331056 129 0 0 20 0 20 0 56515454 19586084864 1996495 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=37788 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996495 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=12264 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4164 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996495 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=140296919226369 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996495 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3367.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7985980 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.22 2.74 3/263 438093
/proc/meminfo: memFree=110512280/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7985988 CPUtime=3427.41 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 350556 0 0 0 342289 452 0 0 20 0 20 0 56515454 19586084864 1996497 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996497 6215 1 0 2146600 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=7985960 CPUtime=3371.42 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 151223 0 0 0 337013 129 0 0 20 0 20 0 56515454 19586084864 1996497 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=7985960 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996497 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=1896 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4254 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996497 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=18484 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996497 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3427.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7985988 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.19 2.70 3/263 438104
/proc/meminfo: memFree=110357484/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7986040 CPUtime=3487.72 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 351049 0 0 0 348317 455 0 0 20 0 20 0 56515454 19586084864 1996510 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996510 6215 1 0 2146601 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=7985960 CPUtime=3430.84 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 151444 0 0 0 342954 130 0 0 20 0 20 0 56515454 19586084864 1996510 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=77968 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996510 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=7986040 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4254 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996510 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996510 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3487.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7986040 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.17 2.66 3/263 438114
/proc/meminfo: memFree=110353000/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7986052 CPUtime=3547.85 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 354951 0 0 0 354327 458 0 0 20 0 20 0 56515454 19586084864 1996513 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996513 6215 1 0 2146603 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=12240 CPUtime=3490.44 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 152475 0 0 0 348914 130 0 0 20 0 20 0 56515454 19586084864 1996513 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=7985988 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996513 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=100 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4254 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996513 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996513 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3547.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7986052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3574.2 s]
/proc/loadavg: 2.09 2.16 2.62 3/265 438127
/proc/meminfo: memFree=110352572/131655788 swapFree=131057156/131071996
[pid=436143] ppid=436140 vsize=19127036 memory=7986056 CPUtime=3600.07 cores=5,7
/proc/436143/stat : 436143 (java) S 436140 436143 435238 0 -1 1077936128 356150 0 0 0 359547 460 0 0 20 0 20 0 56515454 19586084864 1996514 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
/proc/436143/statm: 4781759 1996514 6215 1 0 2146603 0
[pid=436143/tid=436145] ppid=436140 vsize=19127036 memory=4788 CPUtime=3541.78 cores=5,7
/proc/436143/task/436145/stat : 436145 (java) R 436140 436143 435238 0 -1 4194368 153257 0 0 0 354048 130 0 0 20 0 20 0 56515454 19586084864 1996514 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436154] ppid=436140 vsize=19127036 memory=7986056 CPUtime=0 cores=5,7
/proc/436143/task/436154/stat : 436154 (Finalizer) S 436140 436143 435238 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 56515457 19586084864 1996514 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436161] ppid=436140 vsize=19127036 memory=2776 CPUtime=0.01 cores=5,7
/proc/436143/task/436161/stat : 436161 (Common-Cleaner) S 436140 436143 435238 0 -1 1077936192 4345 0 0 0 1 0 0 0 20 0 20 0 56515458 19586084864 1996514 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
[pid=436143/tid=436165] ppid=436140 vsize=19127036 memory=3244 CPUtime=0 cores=5,7
/proc/436143/task/436165/stat : 436165 (Timer-0) S 436140 436143 435238 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56515837 19586084864 1996514 134679101440 94861642989568 94861642993264 140727200042720 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94861643001080 94861643001872 94861667266560 140727200044042 140727200044132 140727200044132 140727200051144 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 7986056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.6 s, system=4.64385 s

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

[startup+3574.3 s]*
/proc/loadavg: 2.08 2.15 2.62 5/247 438130
/proc/meminfo: memFree=116629856/131655788 swapFree=131057156/131071996
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): 3574.32
CPU time (s): 3600.25
CPU user time (s): 3595.6
CPU system time (s): 4.64385
CPU usage (%): 100.725
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 7986056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.6
system time used= 4.64385
maximum resident set size= 7987988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125052
involuntary context switches= 3175


# summary of solver processes directly reported to runsolver:
#   pid: 436143
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3595.6
#   total CPU system time (s): 4.64385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7281 second user time and 35.097 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-29 00:21:01
IDJOB=4462007
IDBENCH=178875
IDSOLVER=3058
FILE ID=nodeC005/4462007-1722205260
RUNJOBID= nodeC005-1722204305-435251
SLURM_JOB_ID= 8248640
Free space on /tmp= 723736 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462007-1722205260/watcher-4462007-1722205260 -o /tmp/evaluation-result-4462007-1722205260/solver-4462007-1722205260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722204305-435251 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4462007-1722205260.opb

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

MD5SUM BENCH= 4616ac8a16a5f48e16aff56bf369874b
RANDOM SEED=260534927

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		: 3504.755
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		: 3650.300
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.265
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.145
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		: 3591.332
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		: 3491.573
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		: 3591.332
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		: 3491.613
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:        85519680 kB
MemAvailable:   88459820 kB
Buffers:          393396 kB
Cached:          3361592 kB
SwapCached:          244 kB
Active:          1806132 kB
Inactive:       43675580 kB
Active(anon):       2188 kB
Inactive(anon): 41777736 kB
Active(file):    1803944 kB
Inactive(file):  1897844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057156 kB
Dirty:              7540 kB
Writeback:            28 kB
AnonPages:      41726672 kB
Mapped:           117916 kB
Shmem:             52880 kB
KReclaimable:     156768 kB
Slab:             265984 kB
SReclaimable:     156768 kB
SUnreclaim:       109216 kB
KernelStack:        4760 kB
PageTables:        92140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   42146688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10720 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38868992 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= 723772 MiB
End job on nodeC005 at 2024-07-29 01:20:35