Trace number 4424868

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 Default 2024-07-07? (TO) 3600.58 3540.21

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j12027_7-unsat--soft-33-100-0.wbo
MD5SUM2e4d01321953204035915c899f35b9ad
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark2993
Best CPU time to get the best result obtained on this benchmark3600.34
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables27588
Total number of constraints91561
Number of soft constraints61241
Number of constraints which are clauses91109
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints452
Minimum length of a constraint1
Maximum length of a constraint66
Top cost 3099658
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3099657
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 415
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.24/0.70	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.24/0.70	c This is free software under the dual EPL/GNU LGPL licenses.
0.24/0.70	c See www.sat4j.org for details.
0.24/0.72	c version CUSTOM.v20240707
0.24/0.75	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.75	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.75	c java.vm.version	22.0.1+8-16
0.24/0.75	c java.vm.vendor	Oracle Corporation
0.24/0.75	c sun.arch.data.model	64
0.24/0.75	c java.version		22.0.1
0.24/0.75	c os.name		Linux
0.24/0.75	c os.version		4.18.0-301.1.el8.x86_64
0.24/0.75	c os.arch		amd64
0.24/0.76	c Free memory 		2115194816
0.24/0.76	c Max memory 		16282288128
0.24/0.76	c Total memory 		2122317824
0.24/0.76	c Number of processors 	2
0.39/0.86	--- Begin Solver configuration ---
0.39/0.86	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.39/0.86	Learn all clauses as in MiniSAT
0.39/0.86	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.86	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.86	No reason simplification
0.39/0.86	Glucose 2.1 dynamic restart strategy
0.39/0.86	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.39/0.86	timeout=2147483s
0.39/0.86	DB Simplification allowed=false
0.39/0.86	Listener: none
0.39/0.86	--- End Solver configuration ---
0.39/0.87	c Pseudo Boolean Optimization by upper bound
0.39/0.87	c --- Begin Solver configuration ---
0.39/0.87	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.39/0.87	c Learn all clauses as in MiniSAT
0.39/0.87	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.87	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.87	c No reason simplification
0.39/0.87	c Glucose 2.1 dynamic restart strategy
0.39/0.87	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.39/0.87	c timeout=2147483s
0.39/0.87	c DB Simplification allowed=false
0.39/0.87	c Listener: none
0.39/0.87	c --- End Solver configuration ---
0.39/0.87	c solving HOME/instance-4424868-1723130241.wbo
0.39/0.87	c reading problem ... 
2.55/1.92	c ... done. Wall clock time 1.044s.
2.55/1.93	c declared #vars     27588
2.55/1.93	c internal #vars     88829
2.55/1.93	c #constraints  91562
2.55/1.93	c constraints type 
2.55/1.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 25827
2.55/1.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 452
2.55/1.93	c org.sat4j.specs.Constr$1 => 2026
2.55/1.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 62935
2.55/1.93	c org.sat4j.pb.constraints.pb.UnitClausePB => 322
2.55/1.93	c 91562 constraints processed.
2.55/1.95	c objective function length is 61241 literals
3.72/2.51	c SATISFIABLE
3.72/2.51	c OPTIMIZING...
3.72/2.51	c Got one! Elapsed wall clock time (in seconds):1.638
3.72/2.52	o 3821
14.23/11.56	c cleaning 2544 clauses out of 5098 with flag 26441/5098
20.04/16.84	c cleaning 4268 clauses out of 8554 with flag 99168/11098
26.04/22.66	c cleaning 5642 clauses out of 11286 with flag 201457/18098
33.40/29.54	c cleaning 6818 clauses out of 13644 with flag 344276/26098
40.35/35.93	c cleaning 7912 clauses out of 15826 with flag 500899/35098
45.61/41.04	c cleaning 8955 clauses out of 17914 with flag 684245/45098
57.75/53.02	c cleaning 9966 clauses out of 19960 with flag 902055/56099
70.52/65.85	c cleaning 10993 clauses out of 21993 with flag 1138246/68098
83.84/79.10	c cleaning 11999 clauses out of 24002 with flag 1357560/81100
99.16/94.21	c cleaning 12999 clauses out of 26004 with flag 1603550/95101
113.30/108.29	c cleaning 13996 clauses out of 28002 with flag 1924596/110098
130.63/125.47	c cleaning 14999 clauses out of 30006 with flag 2303826/126098
136.83/131.44	c cleaning 15995 clauses out of 32009 with flag 2725679/143100
142.93/137.36	c cleaning 16994 clauses out of 34012 with flag 3250578/161098
151.55/145.67	c cleaning 18002 clauses out of 36021 with flag 3783174/180101
163.47/156.65	c cleaning 19002 clauses out of 38019 with flag 4263028/200101
171.11/164.19	c cleaning 19989 clauses out of 40017 with flag 4857969/221101
180.99/173.67	c cleaning 20995 clauses out of 42025 with flag 5637208/243098
190.09/182.47	c cleaning 22002 clauses out of 44031 with flag 6448638/266099
199.61/191.61	c cleaning 23001 clauses out of 46028 with flag 7248028/290098
226.04/217.99	c cleaning 24007 clauses out of 48027 with flag 7893999/315098
248.05/239.17	c cleaning 25005 clauses out of 50020 with flag 8605830/341098
267.28/258.26	c cleaning 26000 clauses out of 52017 with flag 9407449/368100
292.25/282.91	c cleaning 27002 clauses out of 54016 with flag 10289363/396099
313.50/303.92	c cleaning 28001 clauses out of 56016 with flag 11177733/425101
328.51/318.65	c cleaning 28988 clauses out of 58013 with flag 12157641/455099
340.79/330.68	c cleaning 29997 clauses out of 60024 with flag 13291380/486098
354.16/342.89	c cleaning 30992 clauses out of 62028 with flag 14423550/518099
381.76/370.17	c cleaning 32006 clauses out of 64035 with flag 15537930/551098
419.74/408.02	c cleaning 33010 clauses out of 66030 with flag 16325383/585099
461.47/449.59	c cleaning 34002 clauses out of 68019 with flag 17608506/620098
505.95/494.00	c cleaning 35005 clauses out of 70017 with flag 18668203/656098
553.44/541.29	c cleaning 36002 clauses out of 72014 with flag 19738708/693100
591.31/579.08	c cleaning 36995 clauses out of 74011 with flag 21036960/731099
628.66/616.15	c cleaning 38004 clauses out of 76016 with flag 22395913/770099
687.76/675.03	c cleaning 39002 clauses out of 78012 with flag 23863693/810099
727.81/714.62	c cleaning 40002 clauses out of 80010 with flag 25406317/851099
770.92/757.44	c cleaning 40992 clauses out of 82007 with flag 27272122/893098
824.21/809.66	c cleaning 42000 clauses out of 84016 with flag 29362998/936099
891.51/876.85	c cleaning 43001 clauses out of 86015 with flag 30974891/980098
921.84/906.68	c cleaning 43986 clauses out of 88014 with flag 32672035/1025098
945.06/929.49	c cleaning 45004 clauses out of 90030 with flag 34833379/1071100
967.66/951.48	c cleaning 45990 clauses out of 92024 with flag 36939638/1118098
1015.59/999.10	c cleaning 47016 clauses out of 94034 with flag 38894907/1166098
1077.34/1060.55	c cleaning 47997 clauses out of 96019 with flag 41179111/1215099
1147.00/1129.72	c cleaning 49010 clauses out of 98022 with flag 43411986/1265099
1212.01/1194.49	c cleaning 50002 clauses out of 100014 with flag 45389412/1316101
1254.07/1236.08	c cleaning 51001 clauses out of 102010 with flag 46960037/1368099
1305.15/1286.39	c cleaning 51997 clauses out of 104008 with flag 48724862/1421098
1343.81/1324.71	c cleaning 52984 clauses out of 106012 with flag 50568260/1475099
1370.20/1350.33	c cleaning 53991 clauses out of 108027 with flag 52644165/1530098
1405.83/1384.69	c cleaning 55003 clauses out of 110037 with flag 55084568/1586099
1463.37/1433.28	c cleaning 55990 clauses out of 112035 with flag 57516442/1643100
1501.42/1470.42	c cleaning 57002 clauses out of 114043 with flag 59866312/1701098
1549.46/1518.11	c cleaning 58008 clauses out of 116041 with flag 62663470/1760098
1602.49/1570.55	c cleaning 59009 clauses out of 118033 with flag 65488338/1820098
1637.21/1604.41	c cleaning 59996 clauses out of 120025 with flag 68413822/1881099
1672.27/1638.74	c cleaning 61000 clauses out of 122028 with flag 71534059/1943098
1709.57/1675.23	c cleaning 62003 clauses out of 124028 with flag 75014565/2006098
1752.14/1716.43	c cleaning 63000 clauses out of 126025 with flag 78694199/2070098
1791.65/1755.09	c cleaning 63992 clauses out of 128025 with flag 82418244/2135098
1836.81/1798.35	c cleaning 65010 clauses out of 130036 with flag 86091268/2201101
1875.47/1836.30	c cleaning 65986 clauses out of 132023 with flag 89958925/2268098
1913.77/1873.85	c cleaning 67003 clauses out of 134037 with flag 93776515/2336098
1953.82/1913.14	c cleaning 67999 clauses out of 136034 with flag 97516904/2405098
1994.20/1952.38	c cleaning 68994 clauses out of 138039 with flag 101456052/2475102
2087.09/2044.96	c cleaning 70011 clauses out of 140041 with flag 104998472/2546098
2208.59/2165.90	c cleaning 71010 clauses out of 142030 with flag 108626624/2618098
2282.55/2238.35	c cleaning 71995 clauses out of 144021 with flag 112471245/2691099
2371.12/2325.90	c cleaning 73002 clauses out of 146025 with flag 116377996/2765098
2469.05/2423.56	c cleaning 73985 clauses out of 148023 with flag 120086696/2840098
2526.93/2480.44	c cleaning 75000 clauses out of 150039 with flag 123509168/2916099
2585.49/2537.48	c cleaning 76004 clauses out of 152038 with flag 127531010/2993098
2634.92/2585.95	c cleaning 77000 clauses out of 154035 with flag 131398622/3071099
2692.85/2642.25	c cleaning 77994 clauses out of 156034 with flag 135724538/3150098
2746.82/2695.03	c cleaning 79009 clauses out of 158045 with flag 140214118/3230103
2807.10/2754.22	c cleaning 79996 clauses out of 160032 with flag 144832634/3311099
2870.69/2816.09	c cleaning 80998 clauses out of 162035 with flag 149920909/3393098
2957.51/2899.84	c cleaning 82013 clauses out of 164037 with flag 154157929/3476098
3099.58/3041.58	c cleaning 83009 clauses out of 166024 with flag 158652902/3560098
3212.91/3154.56	c cleaning 84000 clauses out of 168015 with flag 163340086/3645098
3350.08/3291.47	c cleaning 85009 clauses out of 170017 with flag 167839162/3731100
3492.96/3433.36	c cleaning 85988 clauses out of 172008 with flag 172442594/3818100
3600.07/3539.92	c starts		: 17540
3600.07/3539.95	c conflicts		: 3904612
3600.07/3539.95	c decisions		: 9019147
3600.07/3539.95	c propagations		: 6924528224
3600.07/3539.95	c inspects		: 21060939367
3600.07/3539.95	c shortcuts		: 0
3600.07/3539.95	c learnt literals	: 0
3600.07/3539.95	c learnt binary clauses	: 0
3600.07/3539.95	c learnt ternary clauses	: 0
3600.07/3539.95	c learnt constraints	: 3904612
3600.07/3539.95	c ignored constraints	: 0
3600.07/3539.95	c root simplifications	: 0
3600.07/3539.95	c removed literals (reason simplification)	: 0
3600.07/3539.95	c reason swapping (by a shorter reason)	: 0
3600.07/3539.95	c Calls to reduceDB	: 83
3600.07/3539.96	c Number of update (reduction) of LBD	: 1925934
3600.07/3539.96	c Imported unit clauses	: 0
3600.07/3539.96	c No decision after first conflict	: false
3600.07/3539.97	c number of reductions to clauses (during analyze)	: 0
3600.07/3539.97	c number of learned constraints concerned by reduction	: 0
3600.07/3539.97	c number of learning phase by resolution	: 0
3600.07/3539.97	c number of learning phase by cutting planes	: 0
3600.07/3539.97	c number of rounding to 1 operations	: 0
3600.07/3539.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3539.97	c number of reductions of the coefficients by power 2 	: 0
3600.07/3539.97	c number of right shift for reduction by power 2 	: 0
3600.07/3539.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3539.97	c number of ending skipping 	: 0
3600.07/3539.97	c number of internal skipping 	: 0
3600.07/3539.97	c number of derivation steps 	: 0
3600.07/3539.97	c number of skipped derivation steps 	: 0
3600.07/3539.97	c number of remaining unassigned 	: 0
3600.07/3539.97	c number of remaining assigned 	: 0
3600.07/3539.97	c number of falsified literals weakened from reason	: 0
3600.07/3539.97	c number of falsified literals weakened from conflict	: 0
3600.07/3539.97	c time for arithmetic operations	: 0
3600.07/3539.97	c minimum degree of deleted constraints	: null
3600.07/3539.97	c maximum degree of deleted constraints	: null
3600.07/3539.97	c number of deleted constraints	: 0
3600.07/3540.00	c speed (assignments/second)	: 1957214.834579347
3600.07/3540.00	c non guided choices	: 159
3600.48/3540.12	c timeout
3600.48/3540.12	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.48/3540.12		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.48/3540.12		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.48/3540.12		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.48/3540.12		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.48/3540.12		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.48/3540.12		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.48/3540.12		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424868-1723130241/watcher-4424868-1723130241 -o /tmp/evaluation-result-4424868-1723130241/solver-4424868-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1723130241-458774 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424868-1723130241.wbo 

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


[startup+0.100095 s]*
/proc/loadavg: 0.10 0.09 0.09 1/221 458793
/proc/meminfo: memFree=129817040/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=37736 memory=2840 CPUtime=0 cores=0,2
/proc/458792/stat : 458792 (java) D 458789 458792 458764 0 -1 4194304 197 0 5 0 0 0 0 0 20 0 1 0 79619785 38641664 710 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 0 0 0 0 17 0 0 0 8 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 9434 710 625 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2840 KiB

[startup+0.212276 s]*
/proc/loadavg: 0.10 0.09 0.09 1/221 458793
/proc/meminfo: memFree=129811136/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=37736 memory=7288 CPUtime=0.01 cores=0,2
/proc/458792/stat : 458792 (java) D 458789 458792 458764 0 -1 4194304 547 0 26 0 0 1 0 0 20 0 1 0 79619785 38641664 1822 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 0 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 9434 1822 1468 1 0 254 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 7288 KiB

[startup+0.311308 s]*
/proc/loadavg: 0.10 0.09 0.09 2/222 458794
/proc/meminfo: memFree=129805952/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=280404 memory=16820 CPUtime=0.01 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 1217 0 63 0 0 1 0 0 20 0 2 0 79619785 287133696 4205 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16784588 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 70101 4205 2794 1 0 2301 0
[pid=458792/tid=458794] ppid=458789 vsize=280404 memory=-8526830752411263676 CPUtime=0 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 666 0 33 0 0 0 0 0 20 0 2 0 79619808 287133696 4205 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 2147221247 0 16784588 0 0 0 -1 0 0 0 8 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 280404 KiB
Current children cumulated memory: 16820 KiB

[startup+0.700451 s]
/proc/loadavg: 0.10 0.09 0.09 2/228 458800
/proc/meminfo: memFree=129759932/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=18975048 memory=56668 CPUtime=0.24 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 6667 0 153 0 17 7 0 0 20 0 18 0 79619785 19430449152 14167 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4743762 14167 5632 1 0 550965 0
[pid=458792/tid=458794] ppid=458789 vsize=18975048 memory=39132 CPUtime=0.15 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 1077936192 5519 0 103 0 10 5 0 0 20 0 18 0 79619808 19430449152 14167 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56668 KiB

[startup+1.50124 s]
/proc/loadavg: 0.10 0.09 0.09 4/239 458811
/proc/meminfo: memFree=129734992/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19041612 memory=174300 CPUtime=1.74 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 9323 0 154 0 161 13 0 0 20 0 19 0 79619785 19498610688 43575 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4760403 43575 5811 1 0 552966 0
[pid=458792/tid=458794] ppid=458789 vsize=19041612 memory=39132 CPUtime=0.87 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) S 458789 458792 458764 0 -1 1077936192 5957 0 104 0 77 10 0 0 20 0 19 0 79619808 19498610688 43575 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19041612 memory=11360 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 79619838 19498610688 43575 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19041612 memory=39132 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 19 0 79619842 19498610688 43575 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 174300 KiB

[startup+3.10624 s]
/proc/loadavg: 0.25 0.12 0.10 3/241 458815
/proc/meminfo: memFree=129584324/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=221008 CPUtime=4.91 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 21488 0 155 0 474 17 0 0 20 0 20 0 79619785 19566772224 55252 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 55252 5882 1 0 558849 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=0 CPUtime=2.33 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 6294 0 105 0 223 10 0 0 20 0 20 0 79619808 19566772224 55252 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=220012 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 55252 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 55252 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=62904 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 55252 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 221008 KiB

[startup+6.30023 s]
/proc/loadavg: 0.25 0.12 0.10 2/241 458815
/proc/meminfo: memFree=129588456/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=216636 CPUtime=8.64 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 25495 0 155 0 846 18 0 0 20 0 20 0 79619785 19566772224 54159 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 54159 5882 1 0 558923 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=62904 CPUtime=5.5 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 6513 0 105 0 540 10 0 0 20 0 20 0 79619808 19566772224 54159 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=220012 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 54159 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=180444 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 54159 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 54159 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 216636 KiB

[startup+12.7004 s]
/proc/loadavg: 0.45 0.16 0.12 2/241 458815
/proc/meminfo: memFree=129571428/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=233968 CPUtime=15.48 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 31273 0 155 0 1528 20 0 0 20 0 20 0 79619785 19566772224 58492 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 58492 5910 1 0 558971 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=0 CPUtime=11.84 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 7764 0 105 0 1174 10 0 0 20 0 20 0 79619808 19566772224 58492 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=233752 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 58492 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=233752 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 58492 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=233968 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 58492 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 233968 KiB

[startup+25.5005 s]
/proc/loadavg: 0.61 0.21 0.13 2/241 458818
/proc/meminfo: memFree=129317820/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=497240 CPUtime=29.26 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 41959 0 155 0 2897 29 0 0 20 0 20 0 79619785 19566772224 124310 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 124310 5922 1 0 836770 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=11360 CPUtime=24.26 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 9633 0 105 0 2415 11 0 0 20 0 20 0 79619808 19566772224 124310 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 124310 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 124310 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 124310 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 29.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497240 KiB

[startup+51.1132 s]
/proc/loadavg: 0.75 0.27 0.15 2/241 458822
/proc/meminfo: memFree=128919232/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=884596 CPUtime=55.69 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 47183 0 155 0 5530 39 0 0 20 0 20 0 79619785 19566772224 221149 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 221149 5922 1 0 836781 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=11360 CPUtime=49.44 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 11603 0 105 0 4930 14 0 0 20 0 20 0 79619808 19566772224 221149 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=884592 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 221149 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=884592 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 221149 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 221149 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 55.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 884596 KiB

[startup+102.301 s]
/proc/loadavg: 1.02 0.43 0.22 2/241 458829
/proc/meminfo: memFree=128588288/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=1214444 CPUtime=107.25 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 54345 0 155 0 10674 51 0 0 20 0 20 0 79619785 19566772224 303611 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 303611 5932 1 0 836781 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=11360 CPUtime=99.98 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 13924 0 105 0 9984 14 0 0 20 0 20 0 79619808 19566772224 303611 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=1214444 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 303611 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=1214420 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 167 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 303611 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=1101688 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 303611 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 107.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1214444 KiB

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

/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=14322100 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2095 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322224 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3281.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322224 KiB

[startup+3282.3 s]
/proc/loadavg: 1.65 1.25 1.12 2/240 460539
/proc/meminfo: memFree=115417144/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322224 CPUtime=3341 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 331264 0 155 0 333553 547 0 0 20 0 20 0 79619785 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580556 5932 1 0 4097652 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=11360 CPUtime=3219.61 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 137573 0 105 0 321853 108 0 0 20 0 20 0 79619808 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=14322224 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=39132 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2095 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=25580 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580556 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3341 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322224 KiB

[startup+3342.3 s]
/proc/loadavg: 1.66 1.34 1.16 2/240 460549
/proc/meminfo: memFree=115416452/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322236 CPUtime=3401.36 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 333153 0 155 0 339586 550 0 0 20 0 20 0 79619785 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580559 5932 1 0 4097655 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=14322232 CPUtime=3278.95 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 138715 0 105 0 327787 108 0 0 20 0 20 0 79619808 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2095 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322232 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3401.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322236 KiB

[startup+3402.3 s]
/proc/loadavg: 1.29 1.29 1.15 2/240 460558
/proc/meminfo: memFree=115415760/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322236 CPUtime=3461.25 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 333961 0 155 0 345572 553 0 0 20 0 20 0 79619785 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580559 5932 1 0 4097655 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=39132 CPUtime=3338.78 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 139519 0 105 0 333770 108 0 0 20 0 20 0 79619808 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2095 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580559 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3461.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322236 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.25 1.15 2/240 460567
/proc/meminfo: memFree=115415036/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322256 CPUtime=3521.89 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 340567 0 155 0 351633 556 0 0 20 0 20 0 79619785 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580564 5932 1 0 4097658 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=39132 CPUtime=3397.81 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 141907 0 105 0 339672 109 0 0 20 0 20 0 79619808 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=14322236 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=14322244 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2144 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322256 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3521.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322256 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.23 1.15 2/239 460576
/proc/meminfo: memFree=115414448/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322256 CPUtime=3582.5 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 342605 0 155 0 357691 559 0 0 20 0 20 0 79619785 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580564 5932 1 0 4097658 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=14322256 CPUtime=3456.91 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 143189 0 105 0 345582 109 0 0 20 0 20 0 79619808 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=14322256 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=12220 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2144 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322256 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.9 s]
/proc/loadavg: 1.11 1.22 1.14 2/239 460580
/proc/meminfo: memFree=115414324/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19108176 memory=14322256 CPUtime=3600.07 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 342785 0 155 0 359447 560 0 0 20 0 20 0 79619785 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 0 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4777044 3580564 5932 1 0 4097658 0
[pid=458792/tid=458794] ppid=458789 vsize=19108176 memory=16216 CPUtime=3474.46 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 143367 0 105 0 347337 109 0 0 20 0 20 0 79619808 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19108176 memory=-8526830752411263676 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 79619838 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19108176 memory=14322256 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2144 0 0 0 0 0 0 0 20 0 20 0 79619842 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458813] ppid=458789 vsize=19108176 memory=14322256 CPUtime=0 cores=0,2
/proc/458792/task/458813/stat : 458813 (Timer-0) S 458789 458792 458764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 79619988 19566772224 3580564 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14322256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.91 s, system=5.66984 s

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

[startup+3540 s]*
/proc/loadavg: 1.11 1.22 1.14 5/240 460583
/proc/meminfo: memFree=115413648/131655788 swapFree=131071216/131071996
[pid=458792] ppid=458789 vsize=19307868 memory=14323076 CPUtime=3600.29 cores=0,2
/proc/458792/stat : 458792 (java) S 458789 458792 458764 0 -1 1077936128 345878 0 155 0 359468 561 0 0 20 0 21 0 79619785 19771256832 3580769 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 0 0 16800975 0 0 0 17 2 0 0 20 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
/proc/458792/statm: 4826967 3580769 5933 1 0 4098580 0
[pid=458792/tid=458794] ppid=458789 vsize=19307868 memory=-8526830752411263676 CPUtime=3474.57 cores=0,2
/proc/458792/task/458794/stat : 458794 (java) R 458789 458792 458764 0 -1 4194368 143479 0 105 0 347348 109 0 0 20 0 21 0 79619808 19771256832 3580769 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458803] ppid=458789 vsize=19307868 memory=-4421386509149563745 CPUtime=0 cores=0,2
/proc/458792/task/458803/stat : 458803 (Finalizer) S 458789 458792 458764 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 21 0 79619838 19771256832 3580769 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=458811] ppid=458789 vsize=19307868 memory=2728 CPUtime=0 cores=0,2
/proc/458792/task/458811/stat : 458811 (Common-Cleaner) S 458789 458792 458764 0 -1 1077936192 2144 0 0 0 0 0 0 0 20 0 21 0 79619842 19771256832 3580769 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
[pid=458792/tid=460582] ppid=458789 vsize=19307868 memory=4868 CPUtime=0.04 cores=0,2
/proc/458792/task/460582/stat : 460582 (Thread-0) R 458789 458792 458764 0 -1 4194368 423 0 0 0 4 0 0 0 20 0 21 0 79973777 19771256832 3580769 134679101440 94825871847424 94825871851120 140737069791232 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94825871858936 94825871859728 94825899393024 140737069794308 140737069794398 140737069794398 140737069801416 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14323076 KiB

[startup+3540.2 s]*
/proc/loadavg: 1.11 1.22 1.14 2/221 460583
/proc/meminfo: memFree=129333248/131655788 swapFree=131071216/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): 3540.21
CPU time (s): 3600.58
CPU user time (s): 3594.91
CPU system time (s): 5.66984
CPU usage (%): 101.705
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14323076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.91
system time used= 5.66984
maximum resident set size= 14323920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346177
page faults= 156
swaps= 0
block input operations= 69992
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114258
involuntary context switches= 28154


# summary of solver processes directly reported to runsolver:
#   pid: 458792
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3594.91
#   total CPU system time (s): 5.66984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5565 second user time and 35.3215 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-08-08 17:17:22
IDJOB=4424868
IDBENCH=143843
IDSOLVER=3037
FILE ID=nodeC002/4424868-1723130241
RUNJOBID= nodeC002-1723130241-458774
SLURM_JOB_ID= 8266873
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/normalized-j12027_7-unsat--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424868-1723130241/watcher-4424868-1723130241 -o /tmp/evaluation-result-4424868-1723130241/solver-4424868-1723130241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1723130241-458774 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424868-1723130241.wbo

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

MD5SUM BENCH= 2e4d01321953204035915c899f35b9ad
RANDOM SEED=499348665

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129819632 kB
MemAvailable:   129939220 kB
Buffers:          376880 kB
Cached:           565176 kB
SwapCached:           16 kB
Active:           739208 kB
Inactive:         567952 kB
Active(anon):       1824 kB
Inactive(anon):   409096 kB
Active(file):     737384 kB
Inactive(file):   158856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              3780 kB
Writeback:             0 kB
AnonPages:        364476 kB
Mapped:           103152 kB
Shmem:             45820 kB
KReclaimable:     126760 kB
Slab:             210328 kB
SReclaimable:     126760 kB
SUnreclaim:        83568 kB
KernelStack:        3568 kB
PageTables:         9048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     881748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      318280 kB
DirectMap2M:    26849280 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC002 at 2024-08-08 18:16:22