Trace number 4506877

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3500.45 3700.21

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
MD5SUM98be46c5d9a37fa78efcf3182d546400
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark56.3156
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20944
Total number of constraints21298
Number of constraints which are clauses21122
Number of constraints which are cardinality constraints (but not clauses)176
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
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.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version PB25.v20250606
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.17	c Free memory 		2104792832
0.12/0.17	c Max memory 		16282288128
0.12/0.17	c Total memory 		2113929216
0.12/0.17	c Number of processors 	2
0.33/0.24	c Pseudo Boolean Optimization by upper bound
0.33/0.24	c --- Begin Solver configuration ---
0.33/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.33/0.24	c Learn all clauses as in MiniSAT
0.33/0.24	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.24	c Expensive reason simplification
0.33/0.24	c Glucose 2.1 dynamic restart strategy
0.33/0.24	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.33/0.24	c timeout=2147483s
0.33/0.24	c DB Simplification allowed=false
0.33/0.24	c Listener: none
0.33/0.24	c --- End Solver configuration ---
0.33/0.24	c solving HOME/instance-4506877-1751165700.opb
0.33/0.24	c reading problem ... 
0.33/0.24	c using VERIPB proof format
0.33/0.24	c  no objective function found
1.21/0.76	c ... done. Wall clock time 0.509s.
1.21/0.76	c declared #vars     20944
1.21/0.76	c #constraints  21298
1.21/0.76	c constraints type 
1.21/0.76	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2275
1.21/0.77	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 176
1.21/0.77	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18845
1.21/0.77	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.21/0.77	c 21298 constraints processed.
6.68/3.60	c cleaning 2488 clauses out of 4992 with flag 23395/5000
10.00/6.24	c cleaning 4245 clauses out of 8492 with flag 53729/11001
14.72/10.41	c cleaning 5562 clauses out of 11241 with flag 90976/18000
18.82/14.47	c cleaning 6789 clauses out of 13674 with flag 133065/26000
23.31/18.93	c cleaning 7886 clauses out of 15882 with flag 180866/35000
29.12/24.70	c cleaning 8130 clauses out of 17992 with flag 230252/45000
35.37/31.00	c cleaning 8833 clauses out of 20861 with flag 286571/56001
41.83/37.41	c cleaning 9686 clauses out of 24027 with flag 348401/68002
48.69/44.25	c cleaning 10511 clauses out of 27339 with flag 413213/81002
55.67/51.16	c cleaning 11110 clauses out of 30825 with flag 479337/95000
63.30/58.79	c cleaning 11906 clauses out of 34712 with flag 555306/110000
71.96/67.49	c cleaning 12966 clauses out of 38806 with flag 638993/126001
80.92/76.24	c cleaning 13584 clauses out of 42835 with flag 724947/143000
90.37/85.59	c cleaning 14670 clauses out of 47250 with flag 815703/161000
100.65/95.76	c cleaning 15210 clauses out of 51576 with flag 912050/180000
113.05/108.17	c cleaning 16180 clauses out of 56364 with flag 1018142/200002
124.94/120.00	c cleaning 16911 clauses out of 61184 with flag 1125403/221002
137.88/135.10	c cleaning 17584 clauses out of 66266 with flag 1238476/243000
151.28/148.38	c cleaning 18448 clauses out of 71677 with flag 1357586/266000
165.23/162.12	c cleaning 19273 clauses out of 77219 with flag 1483843/290000
181.04/178.17	c cleaning 19990 clauses out of 82942 with flag 1616695/315001
196.88/193.95	c cleaning 21117 clauses out of 88946 with flag 1749964/341002
215.01/211.98	c cleaning 22029 clauses out of 94826 with flag 1893469/368000
233.49/231.62	c cleaning 22822 clauses out of 100796 with flag 2045342/396000
251.73/249.53	c cleaning 23627 clauses out of 106974 with flag 2199638/425001
270.19/267.97	c cleaning 24598 clauses out of 113346 with flag 2370260/455001
288.73/286.40	c cleaning 25455 clauses out of 119745 with flag 2540663/486000
308.96/306.53	c cleaning 26180 clauses out of 126286 with flag 2715289/518000
331.79/329.30	c cleaning 27132 clauses out of 133102 with flag 2899282/551000
354.51/351.75	c cleaning 27872 clauses out of 139969 with flag 3087812/585000
379.36/376.58	c cleaning 28859 clauses out of 147096 with flag 3288936/620002
402.69/399.89	c cleaning 29347 clauses out of 154232 with flag 3489594/656000
428.60/425.05	c cleaning 30156 clauses out of 161881 with flag 3697309/693000
454.35/450.84	c cleaning 31136 clauses out of 169722 with flag 3917148/731001
481.81/478.13	c cleaning 32295 clauses out of 177581 with flag 4139080/770001
512.47/508.65	c cleaning 32899 clauses out of 185280 with flag 4378432/810000
541.36/537.54	c cleaning 34070 clauses out of 193382 with flag 4618805/851002
573.01/569.02	c cleaning 34924 clauses out of 201308 with flag 4862230/893000
604.60/600.41	c cleaning 35711 clauses out of 209381 with flag 5116452/936000
638.55/634.28	c cleaning 36368 clauses out of 217672 with flag 5373467/980005
672.84/668.46	c cleaning 37301 clauses out of 226298 with flag 5635119/1025000
708.70/704.26	c cleaning 38310 clauses out of 234996 with flag 5907039/1071000
744.92/740.08	c cleaning 39240 clauses out of 243685 with flag 6189336/1118001
781.52/776.65	c cleaning 40214 clauses out of 252443 with flag 6477958/1166000
821.93/818.11	c cleaning 40439 clauses out of 261237 with flag 6793157/1215008
864.70/861.87	c cleaning 42026 clauses out of 270789 with flag 7098755/1265000
907.29/904.30	c cleaning 42089 clauses out of 279760 with flag 7414674/1316001
952.38/949.09	c cleaning 43710 clauses out of 289673 with flag 7737264/1368003
997.90/994.56	c cleaning 44507 clauses out of 298958 with flag 8063595/1421000
1045.07/1041.86	c cleaning 45690 clauses out of 308450 with flag 8410314/1475000
1095.20/1103.57	c cleaning 46550 clauses out of 317757 with flag 8744972/1530000
1146.20/1156.75	c cleaning 47114 clauses out of 327204 with flag 9093769/1586000
1197.63/1210.71	c cleaning 48120 clauses out of 337088 with flag 9450249/1643001
1253.52/1277.90	c cleaning 49015 clauses out of 346967 with flag 9835091/1701000
1309.06/1334.03	c cleaning 50008 clauses out of 356952 with flag 10215960/1760001
1365.73/1390.47	c cleaning 50884 clauses out of 366941 with flag 10600787/1820000
1426.87/1451.77	c cleaning 51693 clauses out of 377058 with flag 11011862/1881001
1486.60/1527.28	c cleaning 52404 clauses out of 387363 with flag 11430951/1943000
1551.15/1594.32	c cleaning 53949 clauses out of 397958 with flag 11851597/2006000
1617.09/1660.67	c cleaning 54656 clauses out of 408011 with flag 12276873/2070002
1685.18/1733.24	c cleaning 55423 clauses out of 418353 with flag 12724071/2135001
1753.26/1801.50	c cleaning 56665 clauses out of 428929 with flag 13179123/2201000
1822.63/1872.09	c cleaning 57531 clauses out of 439265 with flag 13638574/2268001
1895.69/1946.95	c cleaning 58247 clauses out of 449731 with flag 14129092/2336000
1968.26/2020.14	c cleaning 59986 clauses out of 460483 with flag 14601351/2405000
2042.02/2093.57	c cleaning 60330 clauses out of 470498 with flag 15079920/2475002
2117.83/2169.10	c cleaning 61000 clauses out of 481166 with flag 15567138/2546000
2200.97/2252.35	c cleaning 61960 clauses out of 492165 with flag 16079182/2618000
2282.25/2333.43	c cleaning 62957 clauses out of 503202 with flag 16585212/2691000
2369.59/2461.90	c cleaning 64338 clauses out of 514245 with flag 17101324/2765000
2459.14/2586.95	c cleaning 65193 clauses out of 524907 with flag 17633208/2840000
2545.01/2671.53	c cleaning 65884 clauses out of 535714 with flag 18168738/2916000
2629.21/2809.95	c cleaning 66818 clauses out of 546828 with flag 18709629/2993000
2712.97/2898.65	c cleaning 68017 clauses out of 558009 with flag 19279062/3071000
2796.71/2982.11	c cleaning 69087 clauses out of 568992 with flag 19855042/3150000
2883.55/3083.88	c cleaning 69816 clauses out of 579903 with flag 20453290/3230000
2971.51/3172.21	c cleaning 70924 clauses out of 591087 with flag 21042636/3311000
3062.75/3266.04	c cleaning 71682 clauses out of 602165 with flag 21664625/3393003
3155.62/3357.51	c cleaning 72828 clauses out of 613479 with flag 22299214/3476000
3251.85/3453.85	c cleaning 73630 clauses out of 624651 with flag 22923448/3560000
3347.33/3548.04	c cleaning 74930 clauses out of 636021 with flag 23571186/3645000
3447.05/3647.53	c cleaning 75415 clauses out of 647090 with flag 24224331/3731000
3500.14/3700.04	c starts		: 23212
3500.14/3700.05	c timeout
3500.14/3700.06	c conflicts		: 3780682
3500.14/3700.06	c decisions		: 141880768
3500.14/3700.06	c propagations		: 3826201122
3500.14/3700.06	c inspects		: 16279336584
3500.14/3700.06	c shortcuts		: 0
3500.14/3700.06	c learnt literals	: 186
3500.14/3700.06	c learnt binary clauses	: 240729
3500.14/3700.06	c learnt ternary clauses	: 213032
3500.14/3700.06	c learnt constraints	: 3780496
3500.14/3700.06	c ignored constraints	: 0
3500.14/3700.06	c root simplifications	: 0
3500.14/3700.06	c removed literals (reason simplification)	: 36285512
3500.14/3700.06	c reason swapping (by a shorter reason)	: 0
3500.14/3700.06	c Calls to reduceDB	: 82
3500.14/3700.06	c Number of update (reduction) of LBD	: 2722813
3500.14/3700.06	c Imported unit clauses	: 0
3500.14/3700.06	c No decision after first conflict	: false
3500.14/3700.06	c number of reductions to clauses (during analyze)	: 0
3500.14/3700.06	c number of learned constraints concerned by reduction	: 0
3500.14/3700.06	c number of learning phase by resolution	: 0
3500.14/3700.06	c number of learning phase by cutting planes	: 0
3500.14/3700.06	c number of rounding to 1 operations	: 0
3500.14/3700.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3500.14/3700.06	c number of reductions of the coefficients by power 2 	: 0
3500.14/3700.06	c number of right shift for reduction by power 2 	: 0
3500.14/3700.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3500.14/3700.06	c number of ending skipping 	: 0
3500.14/3700.06	c number of internal skipping 	: 0
3500.14/3700.06	c number of derivation steps 	: 0
3500.14/3700.06	c number of skipped derivation steps 	: 0
3500.14/3700.06	c number of remaining unassigned 	: 0
3500.14/3700.06	c number of remaining assigned 	: 0
3500.14/3700.06	c number of falsified literals weakened from reason	: 0
3500.14/3700.06	c number of falsified literals weakened from conflict	: 0
3500.14/3700.06	c time for arithmetic operations	: 0
3500.14/3700.06	c minimum degree of deleted constraints	: null
3500.14/3700.06	c maximum degree of deleted constraints	: null
3500.14/3700.06	c number of deleted constraints	: 0
3500.14/3700.06	c speed (assignments/second)	: 1034313.0376063589
3500.14/3700.06	c non guided choices	: 51219
3500.32/3700.17	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 380628
3500.32/3700.17	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 240729
3500.32/3700.17	s UNKNOWN
3500.32/3700.18	c Total wall clock time (in seconds): 3699.936

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 (58866 MiB free)
  memory of node 1: 64507 MiB (50562 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=19486, runsolver pid=19483

[startup+0.100071 s]*
/proc/loadavg: 4.51 4.21 4.18 6/331 19504
/proc/meminfo: memFree=112028212/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=18930384 memory=48640 CPUtime=0.12 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 5846 0 0 0 9 3 0 0 20 0 18 0 32249756 19384713216 12160 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4732596 12160 5331 1 0 547018 0
[pid=19486/tid=19488] ppid=19483 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 4725 0 0 0 5 2 0 0 20 0 18 0 32249758 19384713216 12160 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32249761 19384713216 12192 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32249762 19384713216 12192 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48640 KiB

[startup+0.213863 s]*
/proc/loadavg: 4.51 4.21 4.18 6/331 19504
/proc/meminfo: memFree=112020084/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=18930384 memory=58640 CPUtime=0.33 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 6707 0 0 0 29 4 0 0 20 0 18 0 32249756 19384713216 14660 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4732596 14660 5427 1 0 547732 0
[pid=19486/tid=19488] ppid=19483 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 5200 0 0 0 17 2 0 0 20 0 18 0 32249758 19384713216 14660 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32249761 19384713216 14660 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32249762 19384713216 14660 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58640 KiB

[startup+0.323828 s]*
/proc/loadavg: 4.51 4.21 4.18 7/331 19504
/proc/meminfo: memFree=112008040/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=18930384 memory=65356 CPUtime=0.52 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 6860 0 0 0 47 5 0 0 20 0 18 0 32249756 19384713216 16339 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4732596 16339 5427 1 0 547819 0
[pid=19486/tid=19488] ppid=19483 vsize=18930384 memory=-6000919494131082094 CPUtime=0.29 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 5272 0 0 0 26 3 0 0 20 0 18 0 32249758 19384713216 16339 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32249761 19384713216 16339 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32249762 19384713216 16339 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65356 KiB

[startup+0.70032 s]
/proc/loadavg: 4.51 4.21 4.18 6/331 19504
/proc/meminfo: memFree=111977604/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=18996948 memory=161116 CPUtime=1.21 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 8846 0 0 0 113 8 0 0 20 0 19 0 32249756 19452874752 40279 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4749237 40279 5459 1 0 549301 0
[pid=19486/tid=19488] ppid=19483 vsize=18996948 memory=17152 CPUtime=0.64 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 5335 0 0 0 59 5 0 0 20 0 19 0 32249758 19452874752 40279 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32249761 19452874752 40279 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 32249762 19452874752 40279 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161116 KiB

[startup+1.50026 s]
/proc/loadavg: 4.51 4.21 4.18 7/333 19506
/proc/meminfo: memFree=111909940/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=170748 CPUtime=2.78 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 16125 0 0 0 268 10 0 0 20 0 20 0 32249756 19521036288 42687 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 42687 5459 1 0 551723 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=3200 CPUtime=1.31 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 5831 0 0 0 126 5 0 0 20 0 20 0 32249758 19521036288 42687 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 42687 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 42687 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 42687 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170748 KiB

[startup+3.10537 s]
/proc/loadavg: 4.71 4.26 4.19 7/333 19506
/proc/meminfo: memFree=111880176/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=194936 CPUtime=5.91 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 21322 0 0 0 579 12 0 0 20 0 20 0 32249756 19521036288 48734 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 48734 5459 1 0 553958 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=14848 CPUtime=2.85 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 6228 0 0 0 279 6 0 0 20 0 20 0 32249758 19521036288 48734 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 48734 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 48734 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 48734 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194936 KiB

[startup+6.30039 s]
/proc/loadavg: 4.71 4.26 4.19 6/333 19506
/proc/meminfo: memFree=111836420/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=208152 CPUtime=10.12 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 23912 0 0 0 998 14 0 0 20 0 20 0 32249756 19521036288 52038 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 52038 5491 1 0 554452 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=0 CPUtime=5.97 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 6835 0 0 0 590 7 0 0 20 0 20 0 32249758 19521036288 52038 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 52038 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 52038 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=170876 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 52038 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208152 KiB

[startup+12.7004 s]
/proc/loadavg: 4.82 4.29 4.20 5/332 19506
/proc/meminfo: memFree=111656468/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=353112 CPUtime=17.09 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 27465 0 0 0 1688 21 0 0 20 0 20 0 32249756 19521036288 88278 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 88278 5491 1 0 554452 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=170876 CPUtime=12.12 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 7705 0 0 0 1201 11 0 0 20 0 20 0 32249758 19521036288 88278 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=353112 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 88278 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 88278 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 88278 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 17.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 353112 KiB

[startup+25.5004 s]
/proc/loadavg: 4.94 4.34 4.22 6/333 19507
/proc/meminfo: memFree=111207524/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=736044 CPUtime=29.92 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 30100 0 0 0 2961 31 0 0 20 0 20 0 32249756 19521036288 184011 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 184011 5491 1 0 759150 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=0 CPUtime=24.56 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 8815 0 0 0 2438 18 0 0 20 0 20 0 32249758 19521036288 184011 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 184011 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=736044 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 184011 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=570132 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 184011 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 736044 KiB

[startup+51.1133 s]
/proc/loadavg: 5.15 4.44 4.26 5/333 19508
/proc/meminfo: memFree=110443340/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1074128 CPUtime=55.67 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 33188 0 0 0 5521 46 0 0 20 0 20 0 32249756 19521036288 268532 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 268532 5491 1 0 759151 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=736044 CPUtime=49.55 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 9835 0 0 0 4929 26 0 0 20 0 20 0 32249758 19521036288 268532 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=30472 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 268532 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 268532 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0

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

[startup+3342.3 s]
/proc/loadavg: 1.19 1.40 2.51 2/256 19789
/proc/meminfo: memFree=123167960/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3140.21 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 156050 0 0 0 313171 850 0 0 20 0 20 0 32249756 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494225 5523 1 0 507558 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=17152 CPUtime=3070.76 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 80602 0 0 0 306471 605 0 0 20 0 20 0 32249758 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 1784 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3140.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1976900 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.34 2.41 2/256 19791
/proc/meminfo: memFree=123072100/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3199.19 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 157470 0 0 0 319056 863 0 0 20 0 20 0 32249756 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494225 5523 1 0 507558 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3128.63 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 81373 0 0 0 312248 615 0 0 20 0 20 0 32249758 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 1839 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3199.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1976900 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.29 2.33 2/256 19793
/proc/meminfo: memFree=122983040/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3260.33 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 163711 0 0 0 325153 880 0 0 20 0 20 0 32249756 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494225 5523 1 0 507558 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3187.72 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 85665 0 0 0 318144 628 0 0 20 0 20 0 32249758 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 1953 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494225 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3260.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1976900 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.25 2.25 2/256 19795
/proc/meminfo: memFree=122886956/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1977028 CPUtime=3321.31 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 168669 0 0 0 331235 896 0 0 20 0 20 0 32249756 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494257 5523 1 0 507558 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=1976900 CPUtime=3246.89 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 89447 0 0 0 324049 640 0 0 20 0 20 0 32249758 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=1976900 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 1953 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3321.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1977028 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.22 2.17 2/256 19797
/proc/meminfo: memFree=122790700/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1977028 CPUtime=3381.82 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 169240 0 0 0 337271 911 0 0 20 0 20 0 32249756 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494257 5523 1 0 507560 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=1977028 CPUtime=3305.89 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 89924 0 0 0 329937 652 0 0 20 0 20 0 32249758 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 1953 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3381.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1977028 KiB

[startup+3642.3 s]
/proc/loadavg: 1.14 1.21 2.11 2/254 19803
/proc/meminfo: memFree=122711152/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1977028 CPUtime=3441.87 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 172780 0 0 0 343260 927 0 0 20 0 20 0 32249756 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494257 5523 1 0 507560 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=10752 CPUtime=3364.28 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 91378 0 0 0 335764 664 0 0 20 0 20 0 32249758 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=1977028 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 2011 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3441.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1977028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 1.11 1.18 2.04 2/254 19806
/proc/meminfo: memFree=122615976/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19063512 memory=1977028 CPUtime=3500.14 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 175982 0 0 0 349072 942 0 0 20 0 20 0 32249756 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4765878 494257 5523 1 0 507560 0
[pid=19486/tid=19488] ppid=19483 vsize=19063512 memory=-6000919494131082094 CPUtime=3421.1 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) R 19483 19486 16715 0 -1 4194368 92533 0 0 0 341434 676 0 0 20 0 20 0 32249758 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19063512 memory=7582447271968546324 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32249761 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19063512 memory=6656 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 2014 0 0 0 0 0 0 0 20 0 20 0 32249762 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19506] ppid=19483 vsize=19063512 memory=5184 CPUtime=0 cores=0,2
/proc/19486/task/19506/stat : 19506 (Timer-0) S 19483 19486 16715 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32249834 19521036288 494257 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3500.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1977028 KiB

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

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

# cumulated CPU time of all completed processes:  user=3490.99 s, system=9.45284 s

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

[startup+3700.12 s]
/proc/loadavg: 1.11 1.18 2.04 2/254 19806
/proc/meminfo: memFree=122615976/131382112 swapFree=33010684/33010684
[pid=19486] ppid=19483 vsize=19263204 memory=1977668 CPUtime=3500.32 cores=0,2
/proc/19486/stat : 19486 (java) S 19483 19486 16715 0 -1 4194304 177872 0 0 0 349089 943 0 0 20 0 21 0 32249756 19725520896 494417 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
/proc/19486/statm: 4815801 494417 5523 1 0 508496 0
[pid=19486/tid=19488] ppid=19483 vsize=19263204 memory=1920 CPUtime=3421.13 cores=0,2
/proc/19486/task/19488/stat : 19488 (java) S 19483 19486 16715 0 -1 4194368 92756 0 0 0 341437 676 0 0 20 0 21 0 32249758 19725520896 494417 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19497] ppid=19483 vsize=19263204 memory=1977028 CPUtime=0 cores=0,2
/proc/19486/task/19497/stat : 19497 (Finalizer) S 19483 19486 16715 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32249761 19725520896 494417 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
[pid=19486/tid=19504] ppid=19483 vsize=19263204 memory=4252 CPUtime=0 cores=0,2
/proc/19486/task/19504/stat : 19504 (Common-Cleaner) S 19483 19486 16715 0 -1 4194368 2014 0 0 0 0 0 0 0 20 0 21 0 32249762 19725520896 494417 18446744073709551615 94545016172544 94545016176240 140734537577808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94545016184056 94545016184848 94545043808256 140734537582896 140734537583078 140734537583078 140734537588680 0
Current children cumulated CPU time: 3500.32 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1977668 KiB

Child status: 143

Real time (s): 3700.21
CPU time (s): 3500.45
CPU user time (s): 3490.99
CPU system time (s): 9.45284
CPU usage (%): 94.6013
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3001248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.99
system time used= 9.45284
maximum resident set size= 3001248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11506440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119331
involuntary context switches= 12578


# summary of solver processes directly reported to runsolver:
#   pid: 19486
#   total CPU time (s): 3500.45
#   total CPU user time (s): 3490.99
#   total CPU system time (s): 9.45284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.602 second user time and 37.2753 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-29 04:55:01
IDJOB=4506877
IDBENCH=158302
IDSOLVER=3364
FILE ID=nodeC012/4506877-1751165700
RUNJOBID= nodeC012-1751157286-16725
SLURM_JOB_ID= 9587482
Free space on /tmp= 432980 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506877-1751165700/watcher-4506877-1751165700 -o /tmp/evaluation-result-4506877-1751165700/solver-4506877-1751165700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751157286-16725 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506877-1751165700 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4506877-1751165700.opb

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

MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=726664686

nodeC012 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		: 1795.908
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.39
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		: 3525.013
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.39
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.153
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.39
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.291
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        112054896 kB
MemAvailable:   116288340 kB
Buffers:            3280 kB
Cached:          5039944 kB
SwapCached:            0 kB
Active:         13971644 kB
Inactive:        4807140 kB
Active(anon):   13753576 kB
Inactive(anon):        0 kB
Active(file):     218068 kB
Inactive(file):  4807140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47140 kB
Writeback:             8 kB
AnonPages:      13737708 kB
Mapped:           122056 kB
Shmem:             17960 kB
KReclaimable:      95340 kB
Slab:             178932 kB
SReclaimable:      95340 kB
SUnreclaim:        83592 kB
KernelStack:        5056 kB
PageTables:        30524 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   20554424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13475840 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC012 at 2025-06-29 05:56:41