Trace number 4542199

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.26 3541.84

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 44
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.10/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.17	c See www.sat4j.org for details.
0.10/0.18	c version PB25.v20250606
0.10/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.21	c java.vm.version	22.0.1+8-16
0.10/0.21	c java.vm.vendor	Oracle Corporation
0.10/0.21	c sun.arch.data.model	64
0.10/0.21	c java.version		22.0.1
0.10/0.21	c os.name		Linux
0.10/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.21	c os.arch		amd64
0.25/0.23	c Free memory 		2104792832
0.25/0.23	c Max memory 		16282288128
0.25/0.23	c Total memory 		2113929216
0.25/0.24	c Number of processors 	2
0.38/0.34	c Pseudo Boolean Optimization by upper bound
0.38/0.34	c --- Begin Solver configuration ---
0.38/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.38/0.34	c Learn all clauses as in MiniSAT
0.38/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.38/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.38/0.34	c Expensive reason simplification
0.38/0.34	c Glucose 2.1 dynamic restart strategy
0.38/0.34	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.38/0.34	c timeout=2147483s
0.38/0.34	c DB Simplification allowed=false
0.38/0.34	c Listener: none
0.38/0.34	c --- End Solver configuration ---
0.38/0.34	c solving HOME/instance-4542199-1753216365.opb
0.38/0.34	c reading problem ... 
0.38/0.35	c using VERIPB proof format
0.38/0.36	c  no objective function found
52.24/47.95	c ... done. Wall clock time 47.601s.
52.24/47.95	c declared #vars     1040520
52.24/47.95	c #constraints  61390
52.24/47.95	c constraints type 
52.24/47.95	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30305
52.24/47.95	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31085
52.24/47.95	c 61390 constraints processed.
57.66/50.95	c cleaning 2491 clauses out of 5000 with flag 31451/5000
59.53/52.58	c cleaning 4239 clauses out of 8510 with flag 70008/11001
61.93/54.90	c cleaning 5617 clauses out of 11271 with flag 112777/18001
66.02/58.12	c cleaning 6592 clauses out of 13653 with flag 197822/26000
70.60/62.74	c cleaning 8032 clauses out of 16064 with flag 319129/35003
75.01/67.15	c cleaning 8910 clauses out of 18029 with flag 426522/45000
84.18/76.12	c cleaning 10059 clauses out of 20120 with flag 587305/56001
93.62/85.58	c cleaning 11027 clauses out of 22061 with flag 756743/68001
100.60/92.57	c cleaning 12012 clauses out of 24034 with flag 937151/81001
110.28/101.46	c cleaning 13011 clauses out of 26021 with flag 1075174/95000
121.86/112.80	c cleaning 13997 clauses out of 28010 with flag 1239460/110000
141.56/132.14	c cleaning 15007 clauses out of 30013 with flag 1477966/126000
155.93/145.89	c cleaning 15999 clauses out of 32006 with flag 1640796/143000
170.85/160.36	c cleaning 17000 clauses out of 34007 with flag 1777125/161000
189.50/178.38	c cleaning 18001 clauses out of 36010 with flag 2010133/180003
211.60/199.96	c cleaning 18990 clauses out of 38006 with flag 2235186/200000
234.81/222.68	c cleaning 20002 clauses out of 40016 with flag 2509642/221000
258.05/245.56	c cleaning 20992 clauses out of 42014 with flag 2739217/243000
289.92/276.74	c cleaning 22007 clauses out of 44025 with flag 2979060/266003
323.73/310.02	c cleaning 22994 clauses out of 46016 with flag 3231911/290001
353.90/339.76	c cleaning 23993 clauses out of 48023 with flag 3497848/315002
389.78/375.00	c cleaning 24969 clauses out of 50031 with flag 3781105/341003
427.26/411.75	c cleaning 25994 clauses out of 52061 with flag 4055706/368002
458.92/442.93	c cleaning 27005 clauses out of 54067 with flag 4320933/396002
503.29/486.61	c cleaning 28022 clauses out of 56060 with flag 4620270/425000
540.16/523.07	c cleaning 29011 clauses out of 58040 with flag 4939926/455002
589.96/570.29	c cleaning 30005 clauses out of 60027 with flag 5223937/486000
636.80/616.21	c cleaning 31001 clauses out of 62022 with flag 5559147/518000
688.41/667.25	c cleaning 31992 clauses out of 64023 with flag 5923924/551002
744.51/722.39	c cleaning 33008 clauses out of 66031 with flag 6312603/585002
807.75/784.94	c cleaning 33972 clauses out of 68021 with flag 6716252/620000
862.17/838.74	c cleaning 35012 clauses out of 70050 with flag 7064273/656001
932.25/907.89	c cleaning 36013 clauses out of 72041 with flag 7453049/693004
997.54/972.57	c cleaning 36996 clauses out of 74024 with flag 7867669/731000
1068.64/1042.77	c cleaning 38006 clauses out of 76029 with flag 8239816/770001
1153.76/1127.07	c cleaning 38992 clauses out of 78024 with flag 8659434/810002
1226.14/1196.77	c cleaning 40000 clauses out of 80030 with flag 9102579/851000
1306.56/1276.28	c cleaning 41009 clauses out of 82031 with flag 9521137/893001
1393.88/1362.63	c cleaning 41998 clauses out of 84022 with flag 9916984/936001
1479.31/1447.39	c cleaning 42961 clauses out of 86023 with flag 10273786/980000
1564.69/1531.90	c cleaning 44020 clauses out of 88065 with flag 10727476/1025003
1658.62/1624.93	c cleaning 45009 clauses out of 90043 with flag 11157699/1071001
1732.00/1697.17	c cleaning 45958 clauses out of 92034 with flag 11563568/1118001
1852.62/1814.07	c cleaning 47029 clauses out of 94079 with flag 12028145/1166004
1934.96/1895.40	c cleaning 48012 clauses out of 96046 with flag 12393384/1215000
2012.11/1971.65	c cleaning 48989 clauses out of 98043 with flag 12848990/1265009
2100.71/2059.13	c cleaning 49977 clauses out of 100045 with flag 13323801/1316000
2167.49/2125.00	c cleaning 51000 clauses out of 102068 with flag 13907463/1368000
2238.32/2194.76	c cleaning 51992 clauses out of 104069 with flag 14535841/1421001
2320.91/2276.36	c cleaning 52990 clauses out of 106076 with flag 15146529/1475000
2411.12/2365.54	c cleaning 53993 clauses out of 108090 with flag 15736665/1530004
2499.84/2453.34	c cleaning 54991 clauses out of 110093 with flag 16258576/1586000
2608.75/2561.31	c cleaning 56010 clauses out of 112105 with flag 16815513/1643003
2716.88/2668.31	c cleaning 56999 clauses out of 114093 with flag 17386005/1701001
2834.78/2785.22	c cleaning 57999 clauses out of 116093 with flag 17956496/1760000
3007.52/2955.05	c cleaning 59001 clauses out of 118094 with flag 18547090/1820000
3141.13/3087.30	c cleaning 60037 clauses out of 120093 with flag 19130041/1881000
3238.68/3184.16	c cleaning 61015 clauses out of 122057 with flag 19540364/1943001
3370.12/3314.51	c cleaning 62011 clauses out of 124042 with flag 20053817/2006001
3496.56/3439.92	c cleaning 62941 clauses out of 126030 with flag 20589373/2070000
3572.91/3514.82	c cleaning 64004 clauses out of 128092 with flag 21136152/2135003
3600.05/3541.72	c timeout
3600.05/3541.73	c starts		: 1708
3600.05/3541.74	c conflicts		: 2159353
3600.05/3541.74	c decisions		: 9170588
3600.05/3541.74	c propagations		: 51524774
3600.05/3541.74	c inspects		: 7735525781
3600.05/3541.74	c shortcuts		: 0
3600.05/3541.74	c learnt literals	: 0
3600.05/3541.74	c learnt binary clauses	: 0
3600.05/3541.74	c learnt ternary clauses	: 0
3600.05/3541.74	c learnt constraints	: 2159353
3600.05/3541.74	c ignored constraints	: 0
3600.05/3541.74	c root simplifications	: 0
3600.05/3541.74	c removed literals (reason simplification)	: 112880490
3600.05/3541.74	c reason swapping (by a shorter reason)	: 0
3600.05/3541.74	c Calls to reduceDB	: 61
3600.05/3541.74	c Number of update (reduction) of LBD	: 1718453
3600.05/3541.74	c Imported unit clauses	: 0
3600.05/3541.74	c No decision after first conflict	: false
3600.05/3541.74	c number of reductions to clauses (during analyze)	: 0
3600.05/3541.74	c number of learned constraints concerned by reduction	: 0
3600.05/3541.74	c number of learning phase by resolution	: 0
3600.05/3541.74	c number of learning phase by cutting planes	: 0
3600.05/3541.74	c number of rounding to 1 operations	: 0
3600.05/3541.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3541.74	c number of reductions of the coefficients by power 2 	: 0
3600.05/3541.74	c number of right shift for reduction by power 2 	: 0
3600.05/3541.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3541.74	c number of ending skipping 	: 0
3600.05/3541.74	c number of internal skipping 	: 0
3600.05/3541.74	c number of derivation steps 	: 0
3600.05/3541.74	c number of skipped derivation steps 	: 0
3600.05/3541.74	c number of remaining unassigned 	: 0
3600.05/3541.74	c number of remaining assigned 	: 0
3600.05/3541.74	c number of falsified literals weakened from reason	: 0
3600.05/3541.74	c number of falsified literals weakened from conflict	: 0
3600.05/3541.74	c time for arithmetic operations	: 0
3600.05/3541.74	c minimum degree of deleted constraints	: null
3600.05/3541.74	c maximum degree of deleted constraints	: null
3600.05/3541.74	c number of deleted constraints	: 0
3600.05/3541.74	c speed (assignments/second)	: 14747.98622198586
3600.05/3541.74	c non guided choices	: 4812632
3600.05/3541.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 88438
3600.05/3541.79	s UNKNOWN
3600.05/3541.79	c Total wall clock time (in seconds): 3541.447

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: 63837 MiB (39902 MiB free)
  memory of node 1: 64465 MiB (34607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542199-1753216365/watcher-4542199-1753216365 -o /tmp/evaluation-result-4542199-1753216365/solver-4542199-1753216365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180195 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542199-1753216365 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542199-1753216365.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=181094, runsolver pid=181091

[startup+0.100072 s]*
/proc/loadavg: 4.18 4.29 4.30 5/326 181112
/proc/meminfo: memFree=76277764/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=48200 CPUtime=0.1 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 5741 0 0 0 8 2 0 0 20 0 18 0 237315975 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 12050 5305 1 0 546954 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 4640 0 0 0 4 1 0 0 20 0 18 0 237315977 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=56295059375534 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48200 KiB

[startup+0.214338 s]*
/proc/loadavg: 4.18 4.29 4.30 6/326 181112
/proc/meminfo: memFree=76264092/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=53180 CPUtime=0.25 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 6471 0 0 0 22 3 0 0 20 0 18 0 237315975 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 13295 5337 1 0 547534 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 4985 0 0 0 14 2 0 0 20 0 18 0 237315977 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=2622 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=55195547730935 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53180 KiB

[startup+0.315803 s]*
/proc/loadavg: 4.18 4.29 4.30 5/326 181112
/proc/meminfo: memFree=76257980/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=58788 CPUtime=0.38 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 6773 0 0 0 35 3 0 0 20 0 18 0 237315975 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 14697 5433 1 0 547770 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=-9103017756334006972 CPUtime=0.24 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 5170 0 0 0 22 2 0 0 20 0 18 0 237315977 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58788 KiB

[startup+0.700298 s]
/proc/loadavg: 4.18 4.29 4.30 6/326 181112
/proc/meminfo: memFree=75998924/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=797272 CPUtime=0.98 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 9492 0 0 0 77 21 0 0 20 0 18 0 237315975 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 199318 5433 1 0 549194 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=22272 CPUtime=0.57 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 5941 0 0 0 39 18 0 0 20 0 18 0 237315977 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=3328 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 797272 KiB

[startup+1.50028 s]
/proc/loadavg: 4.18 4.29 4.30 6/327 181113
/proc/meminfo: memFree=75260008/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=1058616 CPUtime=2.3 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 11516 0 0 0 202 28 0 0 20 0 19 0 237315975 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 264654 5465 1 0 673431 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=3328 CPUtime=1.27 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 6155 0 0 0 104 23 0 0 20 0 19 0 237315977 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1058616 KiB

[startup+3.10609 s]
/proc/loadavg: 4.18 4.29 4.30 6/327 181113
/proc/meminfo: memFree=74636864/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=1680648 CPUtime=4.4 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 19413 0 0 0 397 43 0 0 20 0 19 0 237315975 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 420162 5529 1 0 865433 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=11008 CPUtime=2.77 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 6527 0 0 0 242 35 0 0 20 0 19 0 237315977 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1680648 KiB

[startup+6.30036 s]
/proc/loadavg: 4.17 4.29 4.30 5/327 181113
/proc/meminfo: memFree=73551936/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=2737956 CPUtime=7.79 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 21238 0 0 0 715 64 0 0 20 0 19 0 237315975 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 684489 5529 1 0 1429438 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=5632 CPUtime=5.74 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 7343 0 0 0 521 53 0 0 20 0 19 0 237315977 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2737956 KiB

[startup+12.7004 s]
/proc/loadavg: 4.31 4.31 4.31 6/327 181180
/proc/meminfo: memFree=80608300/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=3535896 CPUtime=14.61 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 23230 0 0 0 1379 82 0 0 20 0 19 0 237315975 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 883974 5529 1 0 1738596 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=2742052 CPUtime=11.64 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 8311 0 0 0 1100 64 0 0 20 0 19 0 237315977 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=22272 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=3294028 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3535896 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.35 4.32 5/326 181246
/proc/meminfo: memFree=92340268/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=4537200 CPUtime=28.26 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 24820 0 0 0 2721 105 0 0 20 0 19 0 237315975 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 1134300 5529 1 0 2095797 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=4329572 CPUtime=23.36 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 8715 0 0 0 2258 78 0 0 20 0 19 0 237315977 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4537200 KiB

[startup+51.106 s]
/proc/loadavg: 4.47 4.35 4.32 6/328 181249
/proc/meminfo: memFree=85800600/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=5987372 CPUtime=58.03 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 39972 0 0 0 5657 146 0 0 20 0 20 0 237315975 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 1496843 5529 1 0 2468163 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=4317280 CPUtime=46.95 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 13487 0 0 0 4596 99 0 0 20 0 20 0 237315977 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=5834420 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237315982 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 58.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5987372 KiB

[startup+102.301 s]
/proc/loadavg: 4.40 4.36 4.32 5/329 181251
/proc/meminfo: memFree=77733828/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=9729936 CPUtime=111.18 cores=0,2

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

/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4125 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3216.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3222.3 s]
/proc/loadavg: 4.48 4.31 4.29 5/327 181433
/proc/meminfo: memFree=34476960/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3277.3 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 361025 0 0 0 325683 2047 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=22400 CPUtime=3159.29 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 208658 0 0 0 314113 1816 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=22400 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3277.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.28 4.28 5/328 181440
/proc/meminfo: memFree=34036940/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3337.59 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 365218 0 0 0 331687 2072 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3218.68 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 211595 0 0 0 320030 1838 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4315 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3337.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.26 4.27 5/328 181442
/proc/meminfo: memFree=33518164/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3397.95 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 369806 0 0 0 337699 2096 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3277.99 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 214830 0 0 0 325939 1860 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=6768 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=17436 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4365 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3397.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/328 181444
/proc/meminfo: memFree=33050792/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3458.64 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 373138 0 0 0 343739 2125 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3336.94 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 217032 0 0 0 331809 1885 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=-9103017756334006972 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4452 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3458.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.26 6/327 181446
/proc/meminfo: memFree=32379344/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3519.29 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 379703 0 0 0 349771 2158 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3395.95 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 221632 0 0 0 337680 1915 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4549 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3519.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

[startup+3522.3 s]
/proc/loadavg: 3.58 4.06 4.20 4/302 181481
/proc/meminfo: memFree=56625584/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3580.52 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 384370 0 0 0 355855 2197 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3454.27 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 225509 0 0 0 343477 1950 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4627 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3580.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3541.7 s]
/proc/loadavg: 3.41 3.99 4.17 4/302 181482
/proc/meminfo: memFree=56504140/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3600.05 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 385053 0 0 0 357796 2209 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3473.39 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 226071 0 0 0 345379 1960 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4670 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.12 s, system=22.1376 s

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

[startup+3541.81 s]*
/proc/loadavg: 3.41 3.99 4.17 4/283 181485
/proc/meminfo: memFree=57569896/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3541.84
CPU time (s): 3600.26
CPU user time (s): 3578.12
CPU system time (s): 22.1376
CPU usage (%): 101.649
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 13575404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.12
system time used= 22.1376
maximum resident set size= 13576300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21951424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120738
involuntary context switches= 13709


# summary of solver processes directly reported to runsolver:
#   pid: 181094
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3578.12
#   total CPU system time (s): 22.1376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4865 second user time and 38.0181 second system time

The end

Launcher Data

Begin job on nodeC010 at 2025-07-22 22:32:46
IDJOB=4542199
IDBENCH=163905
IDSOLVER=3364
FILE ID=nodeC010/4542199-1753216365
RUNJOBID= nodeC010-1753209221-180195
SLURM_JOB_ID= 9687770
Free space on /tmp= 412128 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542199-1753216365/watcher-4542199-1753216365 -o /tmp/evaluation-result-4542199-1753216365/solver-4542199-1753216365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180195 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542199-1753216365 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542199-1753216365.opb

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=23043599

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        76299164 kB
MemAvailable:   119031480 kB
Buffers:             228 kB
Cached:         43476108 kB
SwapCached:         4300 kB
Active:         11737296 kB
Inactive:       42639524 kB
Active(anon):   10873692 kB
Inactive(anon):    48712 kB
Active(file):     863604 kB
Inactive(file): 42590812 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             76924 kB
Writeback:            12 kB
AnonPages:      10894624 kB
Mapped:           124260 kB
Shmem:             21832 kB
KReclaimable:     235052 kB
Slab:             327380 kB
SReclaimable:     235052 kB
SUnreclaim:        92328 kB
KernelStack:        4992 kB
PageTables:        25140 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   16550868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10516480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 409660 MiB
End job on nodeC010 at 2025-07-22 23:31:48