Trace number 4459176

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.64 3563.76

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
MD5SUM3762504243d867ee0a80bf59380bdaf6
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 benchmark1326
Best CPU time to get the best result obtained on this benchmark1025.76
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3383952
Total number of constraints141576
Number of constraints which are clauses71451
Number of constraints which are cardinality constraints (but not clauses)64974
Number of constraints which are nor clauses,nor cardinality constraints5151
Minimum length of a constraint50
Maximum length of a constraint55
Number of terms in the objective function 2652
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 2652
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2652
Number of bits of the biggest sum of numbers12
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.13/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.12	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.15	c Number of processors 	2
0.29/0.23	--- Begin Solver configuration ---
0.29/0.23	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.23	Learn all clauses as in MiniSAT
0.29/0.23	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.23	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.23	Expensive reason simplification
0.29/0.23	Glucose 2.1 dynamic restart strategy
0.29/0.23	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.29/0.23	timeout=2147483s
0.29/0.23	DB Simplification allowed=false
0.29/0.23	Listener: none
0.29/0.23	--- End Solver configuration ---
0.29/0.24	c Pseudo Boolean Optimization by upper bound
0.29/0.24	c --- Begin Solver configuration ---
0.29/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.29/0.24	c Learn all clauses as in MiniSAT
0.29/0.24	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.24	c Expensive reason simplification
0.29/0.24	c Glucose 2.1 dynamic restart strategy
0.29/0.24	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.29/0.24	c timeout=2147483s
0.29/0.24	c DB Simplification allowed=false
0.29/0.24	c Listener: none
0.29/0.24	c --- End Solver configuration ---
0.29/0.24	c solving HOME/instance-4459176-1721894117.opb
0.29/0.24	c reading problem ... 
0.29/0.24	c using VERIPB proof format
0.29/0.27	c  objective function found
326.50/317.76	c ... done. Wall clock time 317.52s.
326.50/317.76	c declared #vars     3383952
326.50/317.76	c #constraints  141576
326.50/317.76	c constraints type 
326.50/317.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 70125
326.50/317.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 71451
326.50/317.76	c 141576 constraints processed.
326.50/317.78	c objective function length is 2652 literals
334.26/322.41	c cleaning 2491 clauses out of 5001 with flag 31165/5001
339.88/327.28	c cleaning 4245 clauses out of 8510 with flag 68448/11001
344.13/331.24	c cleaning 5621 clauses out of 11265 with flag 113951/18001
349.54/336.36	c cleaning 6808 clauses out of 13645 with flag 168436/26002
355.96/342.70	c cleaning 7906 clauses out of 15835 with flag 225090/35000
362.98/349.89	c cleaning 8944 clauses out of 17929 with flag 289509/45000
372.90/359.79	c cleaning 9976 clauses out of 19985 with flag 364045/56000
382.59/369.33	c cleaning 10987 clauses out of 22009 with flag 440198/68000
391.54/378.12	c cleaning 11987 clauses out of 24023 with flag 528541/81001
401.91/388.30	c cleaning 12995 clauses out of 26037 with flag 621862/95002
413.00/399.22	c cleaning 13982 clauses out of 28040 with flag 724967/110000
425.10/411.41	c cleaning 14995 clauses out of 30060 with flag 830550/126002
441.64/427.71	c cleaning 15997 clauses out of 32063 with flag 943832/143000
454.62/440.59	c cleaning 16999 clauses out of 34068 with flag 1068755/161002
467.27/453.28	c cleaning 18000 clauses out of 36069 with flag 1193914/180002
487.16/473.04	c cleaning 18996 clauses out of 38070 with flag 1317662/200003
501.56/486.81	c cleaning 19992 clauses out of 40073 with flag 1456011/221002
513.27/498.52	c cleaning 20994 clauses out of 42079 with flag 1604033/243000
527.70/513.06	c cleaning 22005 clauses out of 44085 with flag 1756000/266000
543.18/528.40	c cleaning 22991 clauses out of 46081 with flag 1907984/290001
558.82/544.14	c cleaning 23979 clauses out of 48089 with flag 2076499/315000
583.22/568.33	c cleaning 24991 clauses out of 50110 with flag 2249071/341000
605.45/590.24	c cleaning 25996 clauses out of 52119 with flag 2450958/368000
623.80/608.28	c cleaning 27013 clauses out of 54123 with flag 2635210/396000
640.39/624.69	c cleaning 27998 clauses out of 56112 with flag 2815087/425002
657.86/642.19	c cleaning 29025 clauses out of 58115 with flag 3012305/455003
689.52/673.76	c cleaning 30020 clauses out of 60089 with flag 3214455/486002
716.63/700.50	c cleaning 30984 clauses out of 62070 with flag 3462974/518003
739.40/723.07	c cleaning 31965 clauses out of 64084 with flag 3675387/551001
777.17/760.86	c cleaning 32993 clauses out of 66118 with flag 3911390/585000
800.45/783.84	c cleaning 33981 clauses out of 68125 with flag 4135363/620000
822.45/805.97	c cleaning 34989 clauses out of 70145 with flag 4368476/656001
855.52/839.17	c cleaning 36046 clauses out of 72155 with flag 4614161/693000
907.53/890.91	c cleaning 36973 clauses out of 74113 with flag 4933636/731004
958.66/941.88	c cleaning 37980 clauses out of 76138 with flag 5231155/770002
1007.33/990.13	c cleaning 39021 clauses out of 78157 with flag 5520483/810001
1037.30/1019.90	c cleaning 39986 clauses out of 80135 with flag 5814328/851000
1074.04/1056.28	c cleaning 40983 clauses out of 82150 with flag 6081495/893001
1112.72/1094.64	c cleaning 41983 clauses out of 84166 with flag 6370311/936000
1143.37/1125.09	c cleaning 42946 clauses out of 86183 with flag 6651504/980000
1194.14/1175.62	c cleaning 43960 clauses out of 88238 with flag 6948647/1025001
1225.07/1206.21	c cleaning 44973 clauses out of 90278 with flag 7262673/1071001
1267.11/1247.95	c cleaning 45943 clauses out of 92304 with flag 7568421/1118000
1335.40/1316.00	c cleaning 46962 clauses out of 94361 with flag 7929552/1166000
1414.15/1394.44	c cleaning 47988 clauses out of 96403 with flag 8303088/1215004
1503.89/1483.61	c cleaning 49186 clauses out of 98412 with flag 8701623/1265001
1548.37/1527.64	c cleaning 50067 clauses out of 100225 with flag 9061436/1316000
1616.28/1595.39	c cleaning 51021 clauses out of 102161 with flag 9393038/1368003
1688.92/1667.53	c cleaning 52016 clauses out of 104137 with flag 9778919/1421000
1774.02/1752.36	c cleaning 53003 clauses out of 106121 with flag 10184121/1475000
1837.52/1812.37	c cleaning 54037 clauses out of 108121 with flag 10607920/1530003
1880.76/1855.50	c cleaning 55025 clauses out of 110084 with flag 10977969/1586003
1953.41/1927.60	c cleaning 55992 clauses out of 112056 with flag 11366166/1643000
1995.41/1969.14	c cleaning 56998 clauses out of 114064 with flag 11751793/1701000
2068.95/2042.46	c cleaning 57983 clauses out of 116067 with flag 12156482/1760001
2162.30/2135.47	c cleaning 58993 clauses out of 118085 with flag 12551008/1820002
2249.42/2223.09	c cleaning 59999 clauses out of 120092 with flag 12993338/1881002
2381.14/2354.36	c cleaning 60991 clauses out of 122092 with flag 13466608/1943001
2515.25/2488.00	c cleaning 62001 clauses out of 124101 with flag 13937026/2006001
2671.07/2643.42	c cleaning 63002 clauses out of 126101 with flag 14460600/2070002
2801.58/2773.27	c cleaning 63997 clauses out of 128099 with flag 14995020/2135002
2862.94/2834.13	c cleaning 64973 clauses out of 130100 with flag 15422514/2201000
2905.99/2876.55	c cleaning 65945 clauses out of 132128 with flag 15891557/2268001
3019.73/2986.73	c cleaning 66962 clauses out of 134183 with flag 16354756/2336001
3062.87/3029.20	c cleaning 67902 clauses out of 136222 with flag 16814445/2405002
3147.28/3113.06	c cleaning 69131 clauses out of 138318 with flag 17296015/2475000
3227.09/3192.28	c cleaning 70061 clauses out of 140187 with flag 17769013/2546000
3354.43/3319.13	c cleaning 71026 clauses out of 142126 with flag 18287308/2618000
3488.04/3452.11	c cleaning 72014 clauses out of 144100 with flag 18854917/2691000
3564.64/3528.19	c cleaning 73014 clauses out of 146088 with flag 19429659/2765002
3600.04/3563.23	c timeout
3600.04/3563.23	c starts		: 557
3600.04/3563.25	c conflicts		: 2797240
3600.04/3563.25	c decisions		: 270735903
3600.04/3563.26	c propagations		: 559358391
3600.04/3563.26	c inspects		: 8214708815
3600.04/3563.26	c shortcuts		: 0
3600.04/3563.26	c learnt literals	: 0
3600.04/3563.26	c learnt binary clauses	: 0
3600.04/3563.26	c learnt ternary clauses	: 0
3600.04/3563.26	c learnt constraints	: 2797240
3600.04/3563.26	c ignored constraints	: 0
3600.04/3563.26	c root simplifications	: 0
3600.04/3563.26	c removed literals (reason simplification)	: 6662108
3600.04/3563.28	c reason swapping (by a shorter reason)	: 0
3600.04/3563.28	c Calls to reduceDB	: 70
3600.04/3563.28	c Number of update (reduction) of LBD	: 1836160
3600.04/3563.28	c Imported unit clauses	: 0
3600.04/3563.28	c No decision after first conflict	: false
3600.04/3563.28	c number of reductions to clauses (during analyze)	: 0
3600.04/3563.28	c number of learned constraints concerned by reduction	: 0
3600.04/3563.28	c number of learning phase by resolution	: 0
3600.04/3563.28	c number of learning phase by cutting planes	: 0
3600.04/3563.28	c number of rounding to 1 operations	: 0
3600.04/3563.28	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3563.28	c number of reductions of the coefficients by power 2 	: 0
3600.04/3563.28	c number of right shift for reduction by power 2 	: 0
3600.04/3563.28	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3563.28	c number of ending skipping 	: 0
3600.04/3563.28	c number of internal skipping 	: 0
3600.04/3563.28	c number of derivation steps 	: 0
3600.04/3563.28	c number of skipped derivation steps 	: 0
3600.04/3563.28	c number of remaining unassigned 	: 0
3600.04/3563.28	c number of remaining assigned 	: 0
3600.04/3563.28	c number of falsified literals weakened from reason	: 0
3600.04/3563.28	c number of falsified literals weakened from conflict	: 0
3600.04/3563.28	c time for arithmetic operations	: 0
3600.04/3563.28	c minimum degree of deleted constraints	: null
3600.04/3563.28	c maximum degree of deleted constraints	: null
3600.04/3563.28	c number of deleted constraints	: 0
3600.04/3563.28	c speed (assignments/second)	: 172355.81489937974
3600.04/3563.28	c non guided choices	: 266637317
3600.18/3563.33	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 105312
3600.18/3563.33	s UNKNOWN
3600.18/3563.33	c Total wall clock time (in seconds): 3563.094

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459176-1721894117/watcher-4459176-1721894117 -o /tmp/evaluation-result-4459176-1721894117/solver-4459176-1721894117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270229 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4459176-1721894117 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459176-1721894117.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
Starting watchdog thread
solver pid=274365, runsolver pid=274362
Current StackSize limit: 8192 KiB


[startup+0.10034 s]*
/proc/loadavg: 5.35 5.28 5.20 8/358 274383
/proc/meminfo: memFree=48531760/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=18993908 memory=59916 CPUtime=0.13 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 6669 0 0 0 12 1 0 0 20 0 18 0 25401225 19449761792 14979 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4748477 14979 5959 1 0 551023 0
[pid=274365/tid=274367] ppid=274362 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 5633 0 0 0 7 1 0 0 20 0 18 0 25401225 19449761792 14979 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25401228 19449761792 14979 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=18993908 memory=3618136736603296184 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25401229 19449761792 14979 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 59916 KiB

[startup+0.208099 s]*
/proc/loadavg: 5.35 5.28 5.20 7/358 274383
/proc/meminfo: memFree=48520604/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=18993908 memory=68576 CPUtime=0.29 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 7287 0 0 0 27 2 0 0 20 0 18 0 25401225 19449761792 17144 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4748477 17144 5984 1 0 551521 0
[pid=274365/tid=274367] ppid=274362 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) S 274362 274365 270216 0 -1 1077936192 5823 0 0 0 17 1 0 0 20 0 18 0 25401225 19449761792 17144 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=18993908 memory=1967857 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25401228 19449761792 17144 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25401229 19449761792 17144 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68576 KiB

[startup+0.316046 s]*
/proc/loadavg: 5.35 5.28 5.20 7/358 274383
/proc/meminfo: memFree=48388604/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=18993908 memory=194560 CPUtime=0.45 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 7616 0 0 0 40 5 0 0 20 0 18 0 25401225 19449761792 48640 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4748477 48640 5999 1 0 551655 0
[pid=274365/tid=274367] ppid=274362 vsize=18993908 memory=-9031801275823137468 CPUtime=0.28 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 6073 0 0 0 24 4 0 0 20 0 18 0 25401225 19449761792 48640 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25401228 19449761792 48640 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25401229 19449761792 48640 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 194560 KiB

[startup+0.701045 s]
/proc/loadavg: 5.35 5.28 5.20 6/359 274384
/proc/meminfo: memFree=47729316/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=864976 CPUtime=1.17 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 10152 0 0 0 98 19 0 0 20 0 19 0 25401225 19517923328 216244 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 216244 6125 1 0 553108 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=5640 CPUtime=0.63 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 6731 0 0 0 46 17 0 0 20 0 19 0 25401225 19517923328 216244 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 216244 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=4857 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 216244 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 864976 KiB

[startup+1.50105 s]
/proc/loadavg: 5.35 5.28 5.20 6/359 274384
/proc/meminfo: memFree=47673636/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=1625932 CPUtime=2.23 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 12655 0 0 0 189 34 0 0 20 0 19 0 25401225 19517923328 406483 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 406483 6157 1 0 1067355 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=4857 CPUtime=1.36 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 7146 0 0 0 106 30 0 0 20 0 19 0 25401225 19517923328 406483 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 406483 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 406483 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 1625932 KiB

[startup+3.10704 s]
/proc/loadavg: 5.35 5.28 5.20 7/359 274384
/proc/meminfo: memFree=46805072/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=1648980 CPUtime=4.49 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 13870 0 0 0 414 35 0 0 20 0 19 0 25401225 19517923328 412245 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 412245 6157 1 0 1439416 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=12240 CPUtime=2.81 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 7247 0 0 0 250 31 0 0 20 0 19 0 25401225 19517923328 412245 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 412245 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=6657 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 412245 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 1648980 KiB

[startup+6.30043 s]
/proc/loadavg: 5.40 5.30 5.21 5/359 274386
/proc/meminfo: memFree=46108788/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=2764008 CPUtime=8.15 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 56997 0 0 0 750 65 0 0 20 0 19 0 25401225 19517923328 691002 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 691002 6201 1 0 1816460 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=12240 CPUtime=5.75 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 45132 0 0 0 519 56 0 0 20 0 19 0 25401225 19517923328 691002 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=-9031801275823137468 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 691002 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=1967773 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 691002 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 2764008 KiB

[startup+12.7003 s]
/proc/loadavg: 5.37 5.29 5.20 5/359 274386
/proc/meminfo: memFree=44791984/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=3229276 CPUtime=15 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 177130 0 0 0 1413 87 0 0 20 0 19 0 25401225 19517923328 807319 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 807319 6201 1 0 2102911 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=12240 CPUtime=11.51 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) S 274362 274365 270216 0 -1 1077936192 146775 0 0 0 1078 73 0 0 20 0 19 0 25401225 19517923328 807319 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=2802100 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 807319 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=5640 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 807319 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 3229276 KiB

[startup+25.5006 s]
/proc/loadavg: 5.21 5.26 5.19 5/355 274389
/proc/meminfo: memFree=43417500/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=3873284 CPUtime=28.17 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 548013 0 0 0 2679 138 0 0 20 0 19 0 25401225 19517923328 968321 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 968321 6201 1 0 2470558 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=12264 CPUtime=23.48 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 487303 0 0 0 2231 117 0 0 20 0 19 0 25401225 19517923328 968321 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 968321 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 968321 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 28.17 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 3873284 KiB

[startup+51.131 s]
/proc/loadavg: 4.88 5.17 5.17 6/351 274392
/proc/meminfo: memFree=41581512/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=4596644 CPUtime=54.32 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 990247 0 0 0 5234 198 0 0 20 0 19 0 25401225 19517923328 1149161 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 1149161 6201 1 0 2882072 0
[pid=274365/tid=274367] ppid=274362 vsize=19060472 memory=4590892 CPUtime=47.17 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) S 274362 274365 270216 0 -1 1077936192 883481 0 0 0 4550 167 0 0 20 0 19 0 25401225 19517923328 1149161 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19060472 memory=12264 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25401228 19517923328 1149161 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19060472 memory=3230332 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25401229 19517923328 1149161 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 54.32 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 4596644 KiB

[startup+102.3 s]
/proc/loadavg: 4.83 5.11 5.15 5/351 274400
/proc/meminfo: memFree=39749148/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19060472 memory=5354772 CPUtime=106.43 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 1661974 0 0 0 10358 285 0 0 20 0 19 0 25401225 19517923328 1338693 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4765118 1338693 6201 1 0 3358332 0

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

/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 23847610 0 0 0 311560 2829 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 744 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=1968579 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=3904956473718152067 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3767 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=4279135704013707688 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3257.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.52 4.08 4/293 276099
/proc/meminfo: memFree=97397912/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3317.58 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 28581250 0 0 0 328268 3490 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=2688 CPUtime=3203.15 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 24032613 0 0 0 317459 2856 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 751 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=4876 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=3788016 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3863 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=2680 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3317.58 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.45 4.02 4/296 276114
/proc/meminfo: memFree=97077092/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3377.82 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 28621546 0 0 0 334269 3513 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=140398185941819 CPUtime=3262.3 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 24065065 0 0 0 323355 2875 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 759 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=140398185941820 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=140398185941829 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3864 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=145775484994784 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3377.82 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.38 3.96 4/296 276125
/proc/meminfo: memFree=96855948/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3438.19 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 29059632 0 0 0 340258 3561 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=1967773 CPUtime=3321.44 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 24449032 0 0 0 329228 2916 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 768 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=1968579 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=1973123 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3961 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=3854728 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3438.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.33 3.90 4/296 276136
/proc/meminfo: memFree=96634652/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3498.35 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 29097499 0 0 0 346255 3580 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=1967773 CPUtime=3380.79 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 24474215 0 0 0 335147 2932 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 775 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=1968579 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=1973123 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3962 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=100 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3498.35 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.29 3.85 4/296 276146
/proc/meminfo: memFree=96323176/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3558.87 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 29773653 0 0 0 352237 3650 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=1967773 CPUtime=3439.49 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) D 274362 274365 270216 0 -1 4194368 24969820 0 0 0 340965 2984 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 780 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=1968579 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=1973123 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3964 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=19432 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3558.87 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3563.21 s]
/proc/loadavg: 3.14 3.27 3.82 5/296 276153
/proc/meminfo: memFree=96117428/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19127036 memory=11136560 CPUtime=3600.04 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 29804109 0 0 0 356336 3668 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4781759 2784140 6255 1 0 3878945 0
[pid=274365/tid=274367] ppid=274362 vsize=19127036 memory=71048 CPUtime=3479.7 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) R 274362 274365 270216 0 -1 4194368 24972652 0 0 0 344971 2999 0 0 20 0 20 0 25401225 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 797 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19127036 memory=11136560 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25401228 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19127036 memory=18484 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3964 0 0 0 0 0 0 0 20 0 20 0 25401229 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274688] ppid=274362 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/274365/task/274688/stat : 274688 (Timer-0) S 274362 274365 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25433014 19586084864 2784140 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 11136560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.53 s, system=37.1104 s

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

[startup+3563.31 s]
/proc/loadavg: 3.14 3.27 3.82 5/296 276153
/proc/meminfo: memFree=96117428/131655788 swapFree=131060868/131071996
[pid=274365] ppid=274362 vsize=19326728 memory=11137252 CPUtime=3600.18 cores=5,7
/proc/274365/stat : 274365 (java) S 274362 274365 270216 0 -1 1077936128 29809957 0 0 0 356348 3670 0 0 20 0 21 0 25401225 19790569472 2784313 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
/proc/274365/statm: 4831682 2784313 6254 1 0 3879864 0
[pid=274365/tid=274367] ppid=274362 vsize=19326728 memory=5640 CPUtime=3479.72 cores=5,7
/proc/274365/task/274367/stat : 274367 (java) S 274362 274365 270216 0 -1 1077936192 24972990 0 0 0 344973 2999 0 0 20 0 21 0 25401225 19790569472 2784313 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 799 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274376] ppid=274362 vsize=19326728 memory=11136560 CPUtime=0 cores=5,7
/proc/274365/task/274376/stat : 274376 (Finalizer) S 274362 274365 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 25401228 19790569472 2784313 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
[pid=274365/tid=274383] ppid=274362 vsize=19326728 memory=19856 CPUtime=0 cores=5,7
/proc/274365/task/274383/stat : 274383 (Common-Cleaner) S 274362 274365 270216 0 -1 1077936192 3964 0 0 0 0 0 0 0 20 0 21 0 25401229 19790569472 2784313 134679101440 94388412149760 94388412153456 140732316700224 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94388412161272 94388412162064 94388436426752 140732316705711 140732316705893 140732316705893 140732316712904 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 11137252 KiB

[startup+3563.7 s]
/proc/loadavg: 3.14 3.27 3.82 4/278 276156
/proc/meminfo: memFree=99433436/131655788 swapFree=131060868/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): 3563.76
CPU time (s): 3600.64
CPU user time (s): 3563.53
CPU system time (s): 37.1104
CPU usage (%): 101.035
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 11137252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.53
system time used= 37.1104
maximum resident set size= 11138356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29812968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17932768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131537
involuntary context switches= 10217


# summary of solver processes directly reported to runsolver:
#   pid: 274365
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3563.53
#   total CPU system time (s): 37.1104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2206 second user time and 40.765 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 09:55:18
IDJOB=4459176
IDBENCH=178533
IDSOLVER=3079
FILE ID=nodeC005/4459176-1721894117
RUNJOBID= nodeC005-1721887320-270229
SLURM_JOB_ID= 8089296
Free space on /tmp= 723696 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_50.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-4459176-1721894117/watcher-4459176-1721894117 -o /tmp/evaluation-result-4459176-1721894117/solver-4459176-1721894117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270229 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4459176-1721894117 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459176-1721894117.opb

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

MD5SUM BENCH= 3762504243d867ee0a80bf59380bdaf6
RANDOM SEED=168152784

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		: 3623.264
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		: 3565.756
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.256
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.222
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		: 3674.569
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.245
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.290
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		: 2891.922
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:        48574116 kB
MemAvailable:   93437020 kB
Buffers:          288340 kB
Cached:         45299032 kB
SwapCached:          320 kB
Active:          1651920 kB
Inactive:       80572068 kB
Active(anon):       1768 kB
Inactive(anon): 36687664 kB
Active(file):    1650152 kB
Inactive(file): 43884404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:            783612 kB
Writeback:             0 kB
AnonPages:      36626784 kB
Mapped:           118988 kB
Shmem:             52956 kB
KReclaimable:     336760 kB
Slab:             471172 kB
SReclaimable:     336760 kB
SUnreclaim:       134412 kB
KernelStack:        5488 kB
PageTables:        82060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   38025968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:  22482944 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC005 at 2024-07-25 10:54:42