Trace number 4518971

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 VeriPB 2025-06-06? (TO) 3551.11 3700.16

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
MD5SUMc6bac13c4e4f8552186782101ff3a61f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3586.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7920
Total number of constraints11808
Number of constraints which are clauses7776
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4032
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 144
Biggest coefficient in the objective function 2361183241434822606848
Number of bits for the biggest coefficient in the objective function 72
Sum of the numbers in the objective function 9444732965739290427390
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 2361183241434822606848
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 9444732965739290427390
Number of bits of the biggest sum of numbers73
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.19	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.29/0.23	c Free memory 		2104792832
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2113929216
0.29/0.24	c Number of processors 	2
0.43/0.35	c Pseudo Boolean Optimization by upper bound
0.43/0.35	c --- Begin Solver configuration ---
0.43/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.35	c Learn all clauses as in MiniSAT
0.43/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.35	c Expensive reason simplification
0.43/0.35	c Glucose 2.1 dynamic restart strategy
0.43/0.35	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.43/0.35	c timeout=2147483s
0.43/0.35	c DB Simplification allowed=false
0.43/0.35	c Listener: none
0.43/0.35	c --- End Solver configuration ---
0.43/0.35	c solving HOME/instance-4518971-1751554784.opb
0.43/0.35	c reading problem ... 
0.43/0.35	c using VERIPB proof format
0.43/0.36	c  objective function found
1.13/0.70	c ... done. Wall clock time 0.342s.
1.13/0.70	c declared #vars     7920
1.13/0.71	c #constraints  15840
1.13/0.71	c constraints type 
1.13/0.71	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8208
1.13/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5040
1.13/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2592
1.13/0.71	c 15840 constraints processed.
1.13/0.74	c objective function length is 144 literals
2.91/1.63	c SATISFIABLE
2.91/1.63	c OPTIMIZING...
2.91/1.63	c Got one! Elapsed wall clock time (in seconds):1.279
2.91/1.63	o 0
4.30/2.33	c cleaning 2526 clauses out of 5056 with flag 14839/5056
5.87/3.11	c cleaning 4260 clauses out of 8530 with flag 52850/11056
7.37/3.91	c cleaning 5630 clauses out of 11270 with flag 104695/18056
17.30/13.29	c cleaning 6818 clauses out of 13640 with flag 186700/26056
27.87/22.84	c cleaning 7911 clauses out of 15823 with flag 250041/35057
36.44/31.34	c cleaning 8954 clauses out of 17911 with flag 343149/45056
46.59/41.36	c cleaning 9972 clauses out of 19957 with flag 562419/56056
56.17/50.82	c cleaning 10988 clauses out of 21986 with flag 838445/68057
64.16/58.78	c cleaning 11991 clauses out of 23998 with flag 1025034/81057
73.39/72.22	c cleaning 12995 clauses out of 26006 with flag 1222091/95056
81.48/80.37	c cleaning 14000 clauses out of 28011 with flag 1459743/110056
91.33/90.15	c cleaning 15000 clauses out of 30012 with flag 1726390/126057
112.41/110.87	c cleaning 16001 clauses out of 32012 with flag 2343179/143057
129.40/127.62	c cleaning 16991 clauses out of 34011 with flag 2822373/161057
149.12/147.35	c cleaning 18008 clauses out of 36019 with flag 3257955/180056
171.02/171.02	c cleaning 19006 clauses out of 38011 with flag 3846015/200056
186.89/186.88	c cleaning 19994 clauses out of 40005 with flag 4244841/221056
202.14/202.07	c cleaning 20993 clauses out of 42011 with flag 4558535/243056
218.22/218.08	c cleaning 21997 clauses out of 44019 with flag 4896159/266057
237.66/237.42	c cleaning 23003 clauses out of 46022 with flag 5334869/290057
253.57/253.26	c cleaning 24007 clauses out of 48019 with flag 5718599/315057
277.89/291.61	c cleaning 25001 clauses out of 50012 with flag 6309211/341057
305.14/318.95	c cleaning 25997 clauses out of 52010 with flag 6769541/368056
329.48/343.33	c cleaning 26988 clauses out of 54014 with flag 7128598/396057
354.58/376.55	c cleaning 28006 clauses out of 56025 with flag 7516802/425056
385.77/407.80	c cleaning 29002 clauses out of 58019 with flag 8558721/455056
410.32/432.34	c cleaning 29998 clauses out of 60018 with flag 9118888/486057
433.93/456.13	c cleaning 30999 clauses out of 62019 with flag 9696366/518056
467.34/496.76	c cleaning 32008 clauses out of 64020 with flag 10624178/551056
509.41/538.54	c cleaning 32995 clauses out of 66012 with flag 12097314/585056
539.37/568.75	c cleaning 33995 clauses out of 68017 with flag 12728254/620056
574.30/603.54	c cleaning 34999 clauses out of 70022 with flag 13421377/656056
611.19/640.44	c cleaning 36001 clauses out of 72023 with flag 14438080/693056
644.05/673.36	c cleaning 37003 clauses out of 74023 with flag 15125823/731057
681.22/710.45	c cleaning 38004 clauses out of 76020 with flag 15875037/770057
726.63/755.42	c cleaning 38997 clauses out of 78015 with flag 17367918/810056
785.31/815.03	c cleaning 40003 clauses out of 80020 with flag 19511685/851058
833.28/884.50	c cleaning 40995 clauses out of 82017 with flag 20754879/893058
882.47/933.79	c cleaning 42008 clauses out of 84020 with flag 22214907/936056
925.46/984.79	c cleaning 42992 clauses out of 86012 with flag 23191952/980056
979.49/1039.00	c cleaning 44003 clauses out of 88021 with flag 24356791/1025057
1040.98/1107.64	c cleaning 45001 clauses out of 90017 with flag 26533304/1071056
1100.31/1167.07	c cleaning 46001 clauses out of 92016 with flag 28327539/1118056
1140.65/1207.54	c cleaning 46997 clauses out of 94016 with flag 29269261/1166057
1192.81/1261.19	c cleaning 47998 clauses out of 96019 with flag 30145448/1215057
1252.01/1320.52	c cleaning 49002 clauses out of 98020 with flag 31643652/1265056
1309.66/1385.85	c cleaning 50000 clauses out of 100018 with flag 33486478/1316056
1363.30/1439.50	c cleaning 51004 clauses out of 102019 with flag 35322379/1368057
1416.17/1501.82	c cleaning 52000 clauses out of 104014 with flag 37165819/1421056
1472.05/1557.91	c cleaning 53000 clauses out of 106015 with flag 39124668/1475057
1527.73/1613.70	c cleaning 53995 clauses out of 108014 with flag 41127779/1530056
1585.36/1671.48	c cleaning 54999 clauses out of 110020 with flag 43300788/1586057
1642.62/1728.87	c cleaning 56001 clauses out of 112020 with flag 45317836/1643056
1705.49/1796.36	c cleaning 57005 clauses out of 114019 with flag 47539475/1701056
1768.56/1861.19	c cleaning 58003 clauses out of 116015 with flag 49882434/1760057
1827.53/1920.45	c cleaning 58992 clauses out of 118011 with flag 52171020/1820056
1890.49/1983.42	c cleaning 59994 clauses out of 120019 with flag 54430998/1881056
1959.34/2057.80	c cleaning 61001 clauses out of 122025 with flag 56698312/1943056
2050.14/2165.06	c cleaning 61992 clauses out of 124025 with flag 60336589/2006057
2137.45/2253.37	c cleaning 63011 clauses out of 126033 with flag 63477129/2070057
2244.87/2370.31	c cleaning 63973 clauses out of 128021 with flag 67046168/2135056
2357.60/2489.12	c cleaning 65015 clauses out of 130049 with flag 71882790/2201057
2478.32/2614.49	c cleaning 66003 clauses out of 132034 with flag 75649708/2268057
2574.41/2710.42	c cleaning 67006 clauses out of 134030 with flag 78947253/2336056
2695.20/2831.02	c cleaning 68009 clauses out of 136025 with flag 83184186/2405057
2818.46/2957.24	c cleaning 69001 clauses out of 138015 with flag 88006405/2475056
2897.92/3041.11	c cleaning 69995 clauses out of 140014 with flag 90150136/2546056
2968.08/3113.62	c cleaning 70997 clauses out of 142020 with flag 92494322/2618057
3035.81/3181.67	c cleaning 72002 clauses out of 144022 with flag 94849651/2691056
3102.86/3248.82	c cleaning 73002 clauses out of 146021 with flag 97480347/2765057
3178.54/3324.60	c cleaning 74004 clauses out of 148018 with flag 100668009/2840056
3304.80/3450.82	c cleaning 74998 clauses out of 150014 with flag 104165011/2916056
3425.13/3573.51	c cleaning 76002 clauses out of 152017 with flag 106996351/2993057
3531.94/3681.08	c cleaning 77002 clauses out of 154014 with flag 109957115/3071056
3550.90/3700.04	c starts		: 12706
3550.90/3700.04	c conflicts		: 3081363
3550.90/3700.04	c decisions		: 4296174
3550.90/3700.04	c propagations		: 3955533128
3550.90/3700.05	c inspects		: 26913167357
3550.90/3700.05	c shortcuts		: 0
3550.90/3700.05	c learnt literals	: 0
3550.90/3700.05	c learnt binary clauses	: 1551
3550.90/3700.05	c learnt ternary clauses	: 1525
3550.90/3700.05	c learnt constraints	: 3081363
3550.90/3700.05	c ignored constraints	: 0
3550.90/3700.05	c root simplifications	: 0
3550.90/3700.05	c removed literals (reason simplification)	: 535508877
3550.90/3700.05	c reason swapping (by a shorter reason)	: 0
3550.90/3700.05	c Calls to reduceDB	: 74
3550.90/3700.05	c Number of update (reduction) of LBD	: 552748
3550.90/3700.05	c Imported unit clauses	: 0
3550.90/3700.05	c No decision after first conflict	: false
3550.90/3700.05	c number of reductions to clauses (during analyze)	: 0
3550.90/3700.05	c number of learned constraints concerned by reduction	: 0
3550.90/3700.05	c number of learning phase by resolution	: 0
3550.90/3700.05	c number of learning phase by cutting planes	: 0
3550.90/3700.05	c number of rounding to 1 operations	: 0
3550.90/3700.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3550.90/3700.05	c number of reductions of the coefficients by power 2 	: 0
3550.90/3700.05	c number of right shift for reduction by power 2 	: 0
3550.90/3700.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3550.90/3700.05	c number of ending skipping 	: 0
3550.90/3700.05	c number of internal skipping 	: 0
3550.90/3700.05	c number of derivation steps 	: 0
3550.90/3700.05	c number of skipped derivation steps 	: 0
3550.90/3700.05	c number of remaining unassigned 	: 0
3550.90/3700.05	c number of remaining assigned 	: 0
3550.90/3700.05	c number of falsified literals weakened from reason	: 0
3550.90/3700.05	c number of falsified literals weakened from conflict	: 0
3550.90/3700.05	c time for arithmetic operations	: 0
3550.90/3700.05	c minimum degree of deleted constraints	: null
3550.90/3700.05	c maximum degree of deleted constraints	: null
3550.90/3700.05	c number of deleted constraints	: 0
3550.90/3700.06	c speed (assignments/second)	: 1069270.7928919161
3550.90/3700.06	c non guided choices	: 28
3550.90/3700.10	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
3550.90/3700.10		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3550.90/3700.10		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3550.90/3700.10		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3550.90/3700.10		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3550.90/3700.10		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3550.90/3700.10		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3550.90/3700.10		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: 63794 MiB (39179 MiB free)
  memory of node 1: 64507 MiB (35690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518971-1751554784/watcher-4518971-1751554784 -o /tmp/evaluation-result-4518971-1751554784/solver-4518971-1751554784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78255 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518971-1751554784 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518971-1751554784.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=79263, runsolver pid=79260

[startup+0.100075 s]*
/proc/loadavg: 4.66 4.47 4.41 7/332 79281
/proc/meminfo: memFree=76657312/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=18930384 memory=50048 CPUtime=0.12 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 5717 0 0 0 9 3 0 0 20 0 18 0 71157754 19384713216 12512 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4732596 12512 5302 1 0 546952 0
[pid=79263/tid=79265] ppid=79260 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 4634 0 0 0 5 2 0 0 20 0 18 0 71157756 19384713216 12512 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71157761 19384713216 12512 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=18930384 memory=58494082626307 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71157762 19384713216 12512 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50048 KiB

[startup+0.214051 s]*
/proc/loadavg: 4.66 4.47 4.41 6/332 79281
/proc/meminfo: memFree=76652272/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=18930384 memory=54908 CPUtime=0.29 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 6393 0 0 0 25 4 0 0 20 0 18 0 71157754 19384713216 13727 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4732596 13727 5334 1 0 547533 0
[pid=79263/tid=79265] ppid=79260 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 4988 0 0 0 15 2 0 0 20 0 18 0 71157756 19384713216 13727 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71157761 19384713216 13727 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71157762 19384713216 13727 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54908 KiB

[startup+0.319075 s]*
/proc/loadavg: 4.66 4.47 4.41 8/332 79281
/proc/meminfo: memFree=76640112/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=18930384 memory=60020 CPUtime=0.43 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 6630 0 0 0 39 4 0 0 20 0 18 0 71157754 19384713216 15005 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4732596 15005 5334 1 0 547737 0
[pid=79263/tid=79265] ppid=79260 vsize=18930384 memory=-6000919507049669480 CPUtime=0.25 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 5170 0 0 0 23 2 0 0 20 0 18 0 71157756 19384713216 15005 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71157761 19384713216 15005 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71157762 19384713216 15005 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60020 KiB

[startup+0.700519 s]
/proc/loadavg: 4.66 4.47 4.41 7/332 79281
/proc/meminfo: memFree=76636016/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=18930384 memory=97924 CPUtime=1.13 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 8319 0 0 0 107 6 0 0 20 0 18 0 71157754 19384713216 24481 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4732596 24481 5398 1 0 548957 0
[pid=79263/tid=79265] ppid=79260 vsize=18930384 memory=18432 CPUtime=0.56 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 5329 0 0 0 52 4 0 0 20 0 18 0 71157756 19384713216 24481 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71157761 19384713216 24481 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71157762 19384713216 24481 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97924 KiB

[startup+1.5003 s]
/proc/loadavg: 4.66 4.47 4.41 8/333 79282
/proc/meminfo: memFree=76593168/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=18996948 memory=129028 CPUtime=2.71 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 15899 0 0 0 262 9 0 0 20 0 19 0 71157754 19452874752 32257 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4749237 32257 5494 1 0 551694 0
[pid=79263/tid=79265] ppid=79260 vsize=18996948 memory=3200 CPUtime=1.26 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 5912 0 0 0 121 5 0 0 20 0 19 0 71157756 19452874752 32257 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71157761 19452874752 32257 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71157762 19452874752 32257 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=18996948 memory=14304 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71157832 19452874752 32257 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129028 KiB

[startup+3.10578 s]
/proc/loadavg: 4.66 4.47 4.41 6/334 79283
/proc/meminfo: memFree=76487960/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=180820 CPUtime=5.87 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 21931 0 0 0 575 12 0 0 20 0 20 0 71157754 19521036288 45205 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 45205 5526 1 0 553836 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=14304 CPUtime=2.79 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 7277 0 0 0 273 6 0 0 20 0 20 0 71157756 19521036288 45205 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 45205 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 71157762 19521036288 45205 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 45205 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180820 KiB

[startup+6.30024 s]
/proc/loadavg: 4.61 4.46 4.40 5/334 79283
/proc/meminfo: memFree=76310572/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=318552 CPUtime=10.33 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 30778 0 0 0 1015 18 0 0 20 0 20 0 71157754 19521036288 79638 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 79638 5526 1 0 554388 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=0 CPUtime=5.76 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 7681 0 0 0 567 9 0 0 20 0 20 0 71157756 19521036288 79638 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 79638 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 71157762 19521036288 79638 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=139396 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 79638 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 318552 KiB

[startup+12.7003 s]
/proc/loadavg: 4.56 4.45 4.40 4/315 79286
/proc/meminfo: memFree=78117760/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=606300 CPUtime=16.8 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 32968 0 0 0 1651 29 0 0 20 0 20 0 71157754 19521036288 151575 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 151575 5526 1 0 1080778 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=139396 CPUtime=11.62 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 8153 0 0 0 1146 16 0 0 20 0 20 0 71157756 19521036288 151575 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=591936 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 151575 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 71157762 19521036288 151575 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 151575 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 606300 KiB

[startup+25.5004 s]
/proc/loadavg: 4.43 4.43 4.39 6/334 79350
/proc/meminfo: memFree=99174652/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=1509316 CPUtime=30.62 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 42642 0 0 0 3005 57 0 0 20 0 20 0 71157754 19521036288 377329 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 377329 5558 1 0 1670838 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=591936 CPUtime=23.76 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 9539 0 0 0 2340 36 0 0 20 0 20 0 71157756 19521036288 377329 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 377329 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=1238972 CPUtime=0 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 71157762 19521036288 377329 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 377329 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 30.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1509316 KiB

[startup+51.1138 s]
/proc/loadavg: 4.34 4.41 4.39 5/333 79350
/proc/meminfo: memFree=97649360/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=1869832 CPUtime=56.48 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 44491 0 0 0 5574 74 0 0 20 0 20 0 71157754 19521036288 467458 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 467458 5558 1 0 1670839 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=1794056 CPUtime=48.65 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 10424 0 0 0 4819 46 0 0 20 0 20 0 71157756 19521036288 467458 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=1794056 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 467458 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=14304 CPUtime=0 cores=5,7

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

[startup+3342.3 s]
/proc/loadavg: 4.68 4.43 4.32 5/333 79609
/proc/meminfo: memFree=92726780/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3196.22 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 198109 0 0 0 318655 967 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=2728 CPUtime=3148.64 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 105629 0 0 0 314172 692 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3135 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3196.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.38 4.31 5/332 79613
/proc/meminfo: memFree=92309416/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3256.45 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 200480 0 0 0 324662 983 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3207.51 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 107090 0 0 0 320046 705 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3188 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3256.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.35 4.30 5/331 79615
/proc/meminfo: memFree=92075312/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3316.29 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 202029 0 0 0 330634 995 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3267.2 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 108467 0 0 0 326006 714 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=14304 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3260 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3316.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

[startup+3522.3 s]
/proc/loadavg: 3.92 4.25 4.27 4/305 79650
/proc/meminfo: memFree=101372244/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3374.25 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 205196 0 0 0 336417 1008 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3324.38 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 110673 0 0 0 331716 722 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=14304 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3379 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3374.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

[startup+3582.3 s]
/proc/loadavg: 3.34 4.02 4.19 5/307 79654
/proc/meminfo: memFree=101181212/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3433.91 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 206175 0 0 0 342374 1017 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3383.99 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 111521 0 0 0 337670 729 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=17528 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3470 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3433.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

[startup+3642.3 s]
/proc/loadavg: 3.24 3.86 4.12 4/306 79656
/proc/meminfo: memFree=100917408/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3493.72 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 208506 0 0 0 348344 1028 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3443.75 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 113818 0 0 0 343639 736 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=6641224 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3472 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3493.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.22 3.75 4.07 4/306 79669
/proc/meminfo: memFree=100489996/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19063512 memory=6641224 CPUtime=3550.9 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 211679 0 0 0 354051 1039 0 0 20 0 20 0 71157754 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4765878 1660306 5558 1 0 1674939 0
[pid=79263/tid=79265] ppid=79260 vsize=19063512 memory=12672 CPUtime=3500.65 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) R 79260 79263 78242 0 -1 4194368 116023 0 0 0 349320 745 0 0 20 0 20 0 71157756 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19063512 memory=4499269339765698204 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71157761 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19063512 memory=2432 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3603 0 0 0 0 1 0 0 20 0 20 0 71157762 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79282] ppid=79260 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/79263/task/79282/stat : 79282 (Timer-0) S 79260 79263 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71157832 19521036288 1660306 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3550.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6641224 KiB

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

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

# cumulated CPU time of all completed processes:  user=3540.68 s, system=10.4273 s

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

[startup+3700.12 s]
/proc/loadavg: 3.22 3.75 4.07 4/306 79669
/proc/meminfo: memFree=100489996/131382120 swapFree=33010416/33010684
[pid=79263] ppid=79260 vsize=19263204 memory=6641992 CPUtime=3551.08 cores=5,7
/proc/79263/stat : 79263 (java) S 79260 79263 78242 0 -1 4194304 214022 0 0 0 354068 1040 0 0 20 0 16 0 71157754 19725520896 1660498 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
/proc/79263/statm: 4815801 1660498 5558 1 0 1675874 0
[pid=79263/tid=79265] ppid=79260 vsize=19263204 memory=6641224 CPUtime=3500.72 cores=5,7
/proc/79263/task/79265/stat : 79265 (java) D 79260 79263 78242 0 -1 4194368 116497 0 0 0 349327 745 0 0 20 0 16 0 71157756 19725520896 1660498 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79274] ppid=79260 vsize=19263204 memory=6641224 CPUtime=0 cores=5,7
/proc/79263/task/79274/stat : 79274 (Finalizer) S 79260 79263 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 71157761 19725520896 1660498 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
[pid=79263/tid=79281] ppid=79260 vsize=19263204 memory=4499269339765698204 CPUtime=0.01 cores=5,7
/proc/79263/task/79281/stat : 79281 (Common-Cleaner) S 79260 79263 78242 0 -1 4194368 3603 0 0 0 0 1 0 0 20 0 16 0 71157762 19725520896 1660498 18446744073709551615 93878680555520 93878680559216 140726253040144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93878680567032 93878680567824 93878704861184 140726253046064 140726253046246 140726253046246 140726253051848 0
Current children cumulated CPU time: 3551.08 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6641992 KiB

Child status: 143

Real time (s): 3700.16
CPU time (s): 3551.11
CPU user time (s): 3540.68
CPU system time (s): 10.4273
CPU usage (%): 95.9718
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6641992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.68
system time used= 10.4273
maximum resident set size= 6642120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10458464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115851
involuntary context switches= 13042


# summary of solver processes directly reported to runsolver:
#   pid: 79263
#   total CPU time (s): 3551.11
#   total CPU user time (s): 3540.68
#   total CPU system time (s): 10.4273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9717 second user time and 38.9732 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 16:59:44
IDJOB=4518971
IDBENCH=177138
IDSOLVER=3364
FILE ID=nodeC006/4518971-1751554784
RUNJOBID= nodeC006-1751547548-78255
SLURM_JOB_ID= 9598718
Free space on /tmp= 432160 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518971-1751554784/watcher-4518971-1751554784 -o /tmp/evaluation-result-4518971-1751554784/solver-4518971-1751554784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78255 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518971-1751554784 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518971-1751554784.opb

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

MD5SUM BENCH= c6bac13c4e4f8552186782101ff3a61f
RANDOM SEED=1579143931

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        76667140 kB
MemAvailable:   121338580 kB
Buffers:            2128 kB
Cached:         45401412 kB
SwapCached:           12 kB
Active:          9037504 kB
Inactive:       44936052 kB
Active(anon):    8577124 kB
Inactive(anon):    10996 kB
Active(file):     460380 kB
Inactive(file): 44925056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            192300 kB
Writeback:            32 kB
AnonPages:       8571268 kB
Mapped:           124048 kB
Shmem:             17948 kB
KReclaimable:     250880 kB
Slab:             344932 kB
SReclaimable:     250880 kB
SUnreclaim:        94052 kB
KernelStack:        5072 kB
PageTables:        20504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9444148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8136704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 18:01:24