Trace number 4459156

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.59 3559.92

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.11/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.12	c See www.sat4j.org for details.
0.11/0.14	c version CUSTOM.v20240707
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.16	c java.version		22.0.1
0.11/0.16	c os.name		Linux
0.11/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.16	c os.arch		amd64
0.11/0.17	c Free memory 		2113181440
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2122317824
0.11/0.18	c Number of processors 	2
0.25/0.26	--- Begin Solver configuration ---
0.25/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.26	Learn all clauses as in MiniSAT
0.25/0.26	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.26	No reason simplification
0.25/0.26	Glucose 2.1 dynamic restart strategy
0.25/0.26	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.25/0.26	timeout=2147483s
0.25/0.26	DB Simplification allowed=false
0.25/0.26	Listener: none
0.25/0.26	--- End Solver configuration ---
0.25/0.27	c Pseudo Boolean Optimization by upper bound
0.25/0.27	c --- Begin Solver configuration ---
0.25/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.27	c Learn all clauses as in MiniSAT
0.25/0.27	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.27	c No reason simplification
0.25/0.27	c Glucose 2.1 dynamic restart strategy
0.25/0.27	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.25/0.27	c timeout=2147483s
0.25/0.27	c DB Simplification allowed=false
0.25/0.27	c Listener: none
0.25/0.27	c --- End Solver configuration ---
0.25/0.27	c solving HOME/instance-4459156-1721885911.opb
0.25/0.27	c reading problem ... 
0.38/0.31	c  objective function found
324.05/317.04	c ... done. Wall clock time 316.768s.
324.05/317.04	c declared #vars     3383952
324.05/317.04	c #constraints  141576
324.05/317.04	c constraints type 
324.05/317.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 70125
324.05/317.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 71451
324.05/317.04	c 141576 constraints processed.
324.05/317.05	c objective function length is 2652 literals
328.05/319.59	c cleaning 2498 clauses out of 5004 with flag 32251/5004
330.14/321.49	c cleaning 4250 clauses out of 8502 with flag 71008/11000
333.93/324.53	c cleaning 5613 clauses out of 11252 with flag 117113/18000
336.75/327.17	c cleaning 6808 clauses out of 13645 with flag 166611/26006
340.77/330.96	c cleaning 7896 clauses out of 15831 with flag 225118/35000
345.06/335.21	c cleaning 8949 clauses out of 17935 with flag 289265/45000
348.86/339.07	c cleaning 9973 clauses out of 19987 with flag 360563/56001
353.74/343.97	c cleaning 10977 clauses out of 22013 with flag 436549/68000
361.23/351.44	c cleaning 11994 clauses out of 24036 with flag 526004/81000
369.83/360.01	c cleaning 12996 clauses out of 26042 with flag 620924/95000
379.11/369.33	c cleaning 13994 clauses out of 28046 with flag 719723/110000
389.64/379.88	c cleaning 15006 clauses out of 30054 with flag 822668/126002
397.02/387.07	c cleaning 16010 clauses out of 32049 with flag 929284/143003
404.65/394.63	c cleaning 16987 clauses out of 34036 with flag 1043742/161000
411.54/401.52	c cleaning 18005 clauses out of 36050 with flag 1165116/180001
421.82/411.82	c cleaning 19004 clauses out of 38050 with flag 1300552/200006
432.60/422.64	c cleaning 19996 clauses out of 40040 with flag 1438578/221000
444.00/434.09	c cleaning 21010 clauses out of 42044 with flag 1585404/243000
457.63/447.57	c cleaning 22000 clauses out of 44036 with flag 1730829/266002
470.01/459.99	c cleaning 22997 clauses out of 46035 with flag 1908154/290001
484.68/474.65	c cleaning 23998 clauses out of 48037 with flag 2089249/315000
499.35/489.37	c cleaning 24998 clauses out of 50041 with flag 2274883/341002
510.34/500.31	c cleaning 25989 clauses out of 52041 with flag 2445231/368000
529.07/518.85	c cleaning 26986 clauses out of 54052 with flag 2619716/396000
548.05/537.89	c cleaning 27996 clauses out of 56069 with flag 2819054/425003
562.23/552.11	c cleaning 28990 clauses out of 58070 with flag 3037677/455000
575.71/565.53	c cleaning 29987 clauses out of 60082 with flag 3224746/486002
588.64/578.30	c cleaning 30992 clauses out of 62097 with flag 3428070/518004
601.72/591.46	c cleaning 31979 clauses out of 64103 with flag 3637969/551002
622.40/612.16	c cleaning 32994 clauses out of 66122 with flag 3848373/585000
642.95/632.72	c cleaning 33996 clauses out of 68131 with flag 4086113/620003
659.50/649.28	c cleaning 34984 clauses out of 70135 with flag 4318262/656003
674.53/663.81	c cleaning 35970 clauses out of 72148 with flag 4554468/693000
691.82/681.15	c cleaning 36973 clauses out of 74182 with flag 4793808/731004
712.68/701.86	c cleaning 38079 clauses out of 76205 with flag 5067871/770000
749.51/738.76	c cleaning 39036 clauses out of 78126 with flag 5346106/810000
805.40/794.76	c cleaning 40018 clauses out of 80091 with flag 5610815/851001
871.25/860.44	c cleaning 41003 clauses out of 82075 with flag 5896948/893003
918.57/907.89	c cleaning 42024 clauses out of 84069 with flag 6209643/936000
936.64/925.97	c cleaning 42993 clauses out of 86046 with flag 6487963/980001
973.67/962.72	c cleaning 44002 clauses out of 88052 with flag 6788288/1025000
1007.42/996.54	c cleaning 44975 clauses out of 90050 with flag 7115445/1071000
1034.61/1023.36	c cleaning 45979 clauses out of 92076 with flag 7443729/1118001
1086.42/1075.62	c cleaning 46987 clauses out of 94096 with flag 7767028/1166000
1136.60/1125.79	c cleaning 47985 clauses out of 96110 with flag 8143631/1215001
1169.21/1158.66	c cleaning 48961 clauses out of 98125 with flag 8523416/1265001
1219.17/1208.38	c cleaning 49980 clauses out of 100163 with flag 8896459/1316000
1282.90/1272.61	c cleaning 51084 clauses out of 102186 with flag 9265844/1368003
1322.56/1312.68	c cleaning 52015 clauses out of 104099 with flag 9592416/1421000
1355.95/1345.66	c cleaning 52995 clauses out of 106084 with flag 9949292/1475000
1379.91/1369.64	c cleaning 53976 clauses out of 108090 with flag 10286743/1530001
1428.15/1417.54	c cleaning 54949 clauses out of 110115 with flag 10661952/1586002
1527.82/1514.25	c cleaning 55821 clauses out of 112164 with flag 11614999/1643000
1659.11/1639.58	c cleaning 56925 clauses out of 114343 with flag 12640413/1701000
1768.69/1746.87	c cleaning 58068 clauses out of 116421 with flag 13659881/1760003
1923.99/1893.23	c cleaning 59151 clauses out of 118350 with flag 14810788/1820000
2018.07/1984.68	c cleaning 59933 clauses out of 120200 with flag 15786728/1881001
2103.04/2069.75	c cleaning 60954 clauses out of 122266 with flag 16192580/1943000
2176.76/2142.98	c cleaning 61984 clauses out of 124312 with flag 16639124/2006000
2255.72/2222.09	c cleaning 62989 clauses out of 126329 with flag 17110789/2070001
2341.45/2307.27	c cleaning 63995 clauses out of 128340 with flag 17575066/2135001
2418.75/2383.93	c cleaning 65008 clauses out of 130344 with flag 18112881/2201000
2506.20/2471.53	c cleaning 66010 clauses out of 132336 with flag 18679130/2268000
2586.49/2551.38	c cleaning 67002 clauses out of 134328 with flag 19241177/2336002
2667.98/2632.55	c cleaning 67999 clauses out of 136324 with flag 19810172/2405000
2757.86/2718.98	c cleaning 69003 clauses out of 138326 with flag 20356745/2475001
2856.39/2817.67	c cleaning 70000 clauses out of 140323 with flag 20924382/2546001
2949.72/2910.52	c cleaning 71002 clauses out of 142323 with flag 21505770/2618001
3044.61/3005.07	c cleaning 71996 clauses out of 144320 with flag 22063047/2691000
3155.64/3115.89	c cleaning 73002 clauses out of 146324 with flag 22614323/2765000
3277.02/3237.48	c cleaning 73994 clauses out of 148322 with flag 23230277/2840000
3409.58/3369.81	c cleaning 75001 clauses out of 150328 with flag 23853219/2916000
3535.61/3495.83	c cleaning 76004 clauses out of 152329 with flag 24420918/2993002
3600.03/3559.62	c starts		: 5916
3600.03/3559.64	c conflicts		: 3042630
3600.03/3559.64	c decisions		: 206477781
3600.03/3559.65	c propagations		: 430798573
3600.03/3559.65	c inspects		: 10300465408
3600.03/3559.65	c shortcuts		: 0
3600.03/3559.65	c learnt literals	: 0
3600.03/3559.65	c learnt binary clauses	: 0
3600.03/3559.65	c learnt ternary clauses	: 0
3600.03/3559.65	c learnt constraints	: 3042630
3600.03/3559.65	c ignored constraints	: 0
3600.03/3559.65	c root simplifications	: 0
3600.03/3559.65	c removed literals (reason simplification)	: 0
3600.03/3559.65	c reason swapping (by a shorter reason)	: 0
3600.03/3559.65	c Calls to reduceDB	: 73
3600.03/3559.65	c Number of update (reduction) of LBD	: 1811833
3600.03/3559.65	c Imported unit clauses	: 0
3600.03/3559.65	c No decision after first conflict	: false
3600.03/3559.65	c number of reductions to clauses (during analyze)	: 0
3600.03/3559.65	c number of learned constraints concerned by reduction	: 0
3600.03/3559.65	c number of learning phase by resolution	: 0
3600.03/3559.65	c number of learning phase by cutting planes	: 0
3600.03/3559.65	c number of rounding to 1 operations	: 0
3600.03/3559.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3559.66	c number of reductions of the coefficients by power 2 	: 0
3600.03/3559.66	c number of right shift for reduction by power 2 	: 0
3600.03/3559.66	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3559.66	c number of ending skipping 	: 0
3600.03/3559.66	c number of internal skipping 	: 0
3600.03/3559.66	c number of derivation steps 	: 0
3600.03/3559.66	c number of skipped derivation steps 	: 0
3600.03/3559.66	c number of remaining unassigned 	: 0
3600.03/3559.66	c number of remaining assigned 	: 0
3600.03/3559.66	c number of falsified literals weakened from reason	: 0
3600.03/3559.66	c number of falsified literals weakened from conflict	: 0
3600.03/3559.66	c time for arithmetic operations	: 0
3600.03/3559.70	c minimum degree of deleted constraints	: null
3600.03/3559.70	c maximum degree of deleted constraints	: null
3600.03/3559.70	c number of deleted constraints	: 0
3600.03/3559.70	c speed (assignments/second)	: 132859.5973489673
3600.03/3559.70	c non guided choices	: 192296690
3600.42/3559.85	c timeout
3600.42/3559.86	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 125953
3600.42/3559.86	s UNKNOWN
3600.42/3559.86	c Total wall clock time (in seconds): 3559.59

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459156-1721885911/watcher-4459156-1721885911 -o /tmp/evaluation-result-4459156-1721885911/solver-4459156-1721885911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262298 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459156-1721885911.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=267534, runsolver pid=267531
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 5.97 5.94 5.61 5/316 267552
/proc/meminfo: memFree=58867448/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=18975048 memory=58240 CPUtime=0.11 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 6567 0 0 0 9 2 0 0 20 0 18 0 24580723 19430449152 14560 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4743762 14560 5588 1 0 550891 0
[pid=267534/tid=267536] ppid=267531 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 5484 0 0 0 7 1 0 0 20 0 18 0 24580724 19430449152 14560 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24580727 19430449152 14560 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=18975048 memory=14128957269627868 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24580728 19430449152 14560 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58240 KiB

[startup+0.20587 s]*
/proc/loadavg: 5.97 5.94 5.61 5/316 267552
/proc/meminfo: memFree=58858292/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=18975048 memory=66648 CPUtime=0.25 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 7204 0 0 0 22 3 0 0 20 0 18 0 24580723 19430449152 16662 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4743762 16662 5593 1 0 551413 0
[pid=267534/tid=267536] ppid=267531 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 5724 0 0 0 17 2 0 0 20 0 18 0 24580724 19430449152 16662 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=18975048 memory=1466016 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24580727 19430449152 16662 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24580728 19430449152 16662 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66648 KiB

[startup+0.305817 s]*
/proc/loadavg: 5.97 5.94 5.61 5/316 267552
/proc/meminfo: memFree=58768660/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=18975048 memory=166856 CPUtime=0.38 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 7525 0 0 0 32 6 0 0 20 0 18 0 24580723 19430449152 41714 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4743762 41714 5785 1 0 551564 0
[pid=267534/tid=267536] ppid=267531 vsize=18975048 memory=-9104701082899817148 CPUtime=0.29 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 5938 0 0 0 24 5 0 0 20 0 18 0 24580724 19430449152 41714 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24580727 19430449152 41714 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24580728 19430449152 41714 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 166856 KiB

[startup+0.700304 s]
/proc/loadavg: 5.97 5.94 5.61 5/316 267552
/proc/meminfo: memFree=58425188/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=865164 CPUtime=1 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 10887 0 0 0 77 23 0 0 20 0 19 0 24580723 19498610688 216291 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 216291 5875 1 0 553470 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=5468 CPUtime=0.66 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 6510 0 0 0 45 21 0 0 20 0 19 0 24580724 19498610688 216291 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=11904 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 216291 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 216291 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 865164 KiB

[startup+1.50211 s]
/proc/loadavg: 5.97 5.94 5.61 6/317 267553
/proc/meminfo: memFree=58054340/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=1240672 CPUtime=1.9 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 11803 0 0 0 158 32 0 0 20 0 19 0 24580723 19498610688 310168 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 310168 5907 1 0 797861 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=11904 CPUtime=1.41 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) S 267531 267534 262286 0 -1 1077936192 6743 0 0 0 112 29 0 0 20 0 19 0 24580724 19498610688 310168 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 310168 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 310168 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1240672 KiB

[startup+3.11276 s]
/proc/loadavg: 5.90 5.93 5.61 5/317 267555
/proc/meminfo: memFree=57283364/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=1639224 CPUtime=3.88 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 12875 0 0 0 345 43 0 0 20 0 19 0 24580723 19498610688 409806 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 409806 5907 1 0 1034069 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=0 CPUtime=2.9 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 7017 0 0 0 253 37 0 0 20 0 19 0 24580724 19498610688 409806 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=11904 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 409806 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=1248864 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 409806 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1639224 KiB

[startup+6.30096 s]
/proc/loadavg: 5.90 5.93 5.61 7/317 267555
/proc/meminfo: memFree=56805988/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=2115580 CPUtime=7.26 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 14266 0 0 0 671 55 0 0 20 0 19 0 24580723 19498610688 528895 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 528895 5907 1 0 1353672 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=0 CPUtime=5.84 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 7527 0 0 0 537 47 0 0 20 0 19 0 24580724 19498610688 528895 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=1240672 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 528895 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=224194199869 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 528895 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 7.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2115580 KiB

[startup+12.701 s]
/proc/loadavg: 5.92 5.93 5.61 6/317 267556
/proc/meminfo: memFree=56006744/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=2926320 CPUtime=14.07 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 21505 0 0 0 1332 75 0 0 20 0 19 0 24580723 19498610688 731580 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 731580 5954 1 0 2148161 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=2913120 CPUtime=11.62 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 8497 0 0 0 1100 62 0 0 20 0 19 0 24580724 19498610688 731580 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=2896736 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 731580 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=14699612309032043 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 731580 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2926320 KiB

[startup+25.5004 s]
/proc/loadavg: 5.85 5.91 5.61 6/317 267558
/proc/meminfo: memFree=54833492/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=4094488 CPUtime=27.16 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 23932 0 0 0 2615 101 0 0 20 0 19 0 24580723 19498610688 1023622 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 1023622 5954 1 0 2553418 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=3692552 CPUtime=23.29 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 9451 0 0 0 2246 83 0 0 20 0 19 0 24580724 19498610688 1023622 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 1023622 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 1023622 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4094488 KiB

[startup+51.1137 s]
/proc/loadavg: 5.74 5.89 5.61 5/317 267561
/proc/meminfo: memFree=54134036/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=4782132 CPUtime=53.32 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 29464 0 0 0 5214 118 0 0 20 0 19 0 24580723 19498610688 1195533 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 1195533 5954 1 0 2927330 0
[pid=267534/tid=267536] ppid=267531 vsize=19041612 memory=0 CPUtime=47.05 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 11902 0 0 0 4611 94 0 0 20 0 19 0 24580724 19498610688 1195533 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19041612 memory=3268336 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24580727 19498610688 1195533 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19041612 memory=1645020 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 24580728 19498610688 1195533 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 53.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4782132 KiB

[startup+102.301 s]
/proc/loadavg: 5.32 5.75 5.58 7/317 267571
/proc/meminfo: memFree=52852964/131655788 swapFree=131059112/131071996
[pid=267534] ppid=267531 vsize=19041612 memory=6051396 CPUtime=105.34 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 37245 0 0 0 10386 148 0 0 20 0 19 0 24580723 19498610688 1512849 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4760403 1512849 5954 1 0 3526846 0

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

/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 62797 0 0 0 315606 148 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1749 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3261.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.50 4.59 5/321 269611
/proc/meminfo: memFree=46854424/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3322.24 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 188738 0 0 0 331725 499 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3216.96 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 63568 0 0 0 321548 148 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3322.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.52 4.58 5/320 269622
/proc/meminfo: memFree=46846124/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3382.13 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 188904 0 0 0 337711 502 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3276.8 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 63729 0 0 0 327532 148 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3382.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.46 4.51 4.58 6/320 269632
/proc/meminfo: memFree=46836608/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3442.28 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 189437 0 0 0 343722 506 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3336.37 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 63957 0 0 0 333489 148 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3442.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.71 4.57 4.60 6/318 269643
/proc/meminfo: memFree=46822832/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3502.17 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 189782 0 0 0 349708 509 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3396.21 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 64285 0 0 0 339472 149 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1750 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3502.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

[startup+3522.3 s]
/proc/loadavg: 3.84 4.37 4.52 4/292 269687
/proc/meminfo: memFree=62795136/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3562.05 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 191283 0 0 0 355694 511 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3456.05 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 65412 0 0 0 345456 149 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=12733752 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1839 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3562.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.6 s]
/proc/loadavg: 3.48 4.21 4.46 4/292 269692
/proc/meminfo: memFree=62464528/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19108176 memory=12733752 CPUtime=3600.03 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 194967 0 0 0 359489 514 0 0 20 0 20 0 24580723 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4777044 3183438 6008 1 0 4051883 0
[pid=267534/tid=267536] ppid=267531 vsize=19108176 memory=11904 CPUtime=3492.49 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 65829 0 0 0 349100 149 0 0 20 0 20 0 24580724 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24580727 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1839 0 0 0 0 0 0 0 20 0 20 0 24580728 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267617] ppid=267531 vsize=19108176 memory=2204 CPUtime=0 cores=1,3
/proc/267534/task/267617/stat : 267617 (Timer-0) S 267531 267534 262286 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 24612441 19566772224 3183438 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12733752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.4 s, system=5.19057 s

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

[startup+3559.8 s]
/proc/loadavg: 3.48 4.21 4.46 4/292 269692
/proc/meminfo: memFree=62464528/131655788 swapFree=131058856/131071996
[pid=267534] ppid=267531 vsize=19307868 memory=12734404 CPUtime=3600.42 cores=1,3
/proc/267534/stat : 267534 (java) S 267531 267534 262286 0 -1 1077936128 197881 0 0 0 359527 515 0 0 20 0 21 0 24580723 19771256832 3183601 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
/proc/267534/statm: 4826967 3183601 6007 1 0 4052772 0
[pid=267534/tid=267536] ppid=267531 vsize=19307868 memory=72492 CPUtime=3492.69 cores=1,3
/proc/267534/task/267536/stat : 267536 (java) R 267531 267534 262286 0 -1 4194368 66204 0 0 0 349120 149 0 0 20 0 21 0 24580724 19771256832 3183601 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267545] ppid=267531 vsize=19307868 memory=1992 CPUtime=0 cores=1,3
/proc/267534/task/267545/stat : 267545 (Finalizer) S 267531 267534 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 24580727 19771256832 3183601 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
[pid=267534/tid=267552] ppid=267531 vsize=19307868 memory=1832 CPUtime=0 cores=1,3
/proc/267534/task/267552/stat : 267552 (Common-Cleaner) S 267531 267534 262286 0 -1 1077936192 1839 0 0 0 0 0 0 0 20 0 21 0 24580728 19771256832 3183601 134679101440 94019074707456 94019074711152 140735675831440 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94019074718968 94019074719760 94019079286784 140735675839495 140735675839585 140735675839585 140735675846600 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12734404 KiB

[startup+3559.9 s]*
/proc/loadavg: 3.48 4.21 4.46 5/274 269695
/proc/meminfo: memFree=67280740/131655788 swapFree=131058856/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): 3559.92
CPU time (s): 3600.59
CPU user time (s): 3595.4
CPU system time (s): 5.19057
CPU usage (%): 101.142
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12734404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.4
system time used= 5.19057
maximum resident set size= 12735372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119349
involuntary context switches= 11553


# summary of solver processes directly reported to runsolver:
#   pid: 267534
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3595.4
#   total CPU system time (s): 5.19057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6956 second user time and 36.2164 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 07:38:32
IDJOB=4459156
IDBENCH=178533
IDSOLVER=3058
FILE ID=nodeC010/4459156-1721885911
RUNJOBID= nodeC010-1721877730-262298
SLURM_JOB_ID= 8089272
Free space on /tmp= 723692 MiB

SOLVER NAME= Sat4j Resolution Default 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 -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459156-1721885911/watcher-4459156-1721885911 -o /tmp/evaluation-result-4459156-1721885911/solver-4459156-1721885911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262298 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459156-1721885911.opb

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

MD5SUM BENCH= 3762504243d867ee0a80bf59380bdaf6
RANDOM SEED=862222116

nodeC010.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		: 3532.187
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.61
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		: 2101.986
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.28
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.242
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.61
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		: 3491.805
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.28
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		: 3632.317
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.61
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		: 3621.064
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.28
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.237
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.240
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        58904500 kB
MemAvailable:   102458888 kB
Buffers:          290264 kB
Cached:         43603308 kB
SwapCached:          216 kB
Active:          2174884 kB
Inactive:       69310316 kB
Active(anon):       1700 kB
Inactive(anon): 27643488 kB
Active(file):    2173184 kB
Inactive(file): 41666828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:             83888 kB
Writeback:             0 kB
AnonPages:      27591536 kB
Mapped:           120308 kB
Shmem:             53556 kB
KReclaimable:     776120 kB
Slab:             895816 kB
SReclaimable:     776120 kB
SUnreclaim:       119696 kB
KernelStack:        4816 kB
PageTables:        64244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   29211868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17455104 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:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC010 at 2024-07-25 08:37:52