Trace number 4507021

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) 3591.87 3700.28

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
MD5SUMc4faa5671d3144bef53831284f041277
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 benchmark278.497
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20706
Total number of constraints21056
Number of constraints which are clauses20882
Number of constraints which are cardinality constraints (but not clauses)174
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint174
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 175
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.10/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.18	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.36	c Pseudo Boolean Optimization by upper bound
0.42/0.36	c --- Begin Solver configuration ---
0.42/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.36	c Learn all clauses as in MiniSAT
0.42/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.36	c Expensive reason simplification
0.42/0.36	c Glucose 2.1 dynamic restart strategy
0.42/0.36	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.42/0.36	c timeout=2147483s
0.42/0.36	c DB Simplification allowed=false
0.42/0.36	c Listener: none
0.42/0.36	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4507021-1751182786.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c using VERIPB proof format
0.42/0.38	c  no objective function found
1.74/1.05	c ... done. Wall clock time 0.676s.
1.74/1.05	c declared #vars     20706
1.74/1.05	c #constraints  21056
1.74/1.05	c constraints type 
1.74/1.05	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2249
1.74/1.05	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 174
1.74/1.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18631
1.74/1.05	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.74/1.05	c 21056 constraints processed.
7.48/4.33	c cleaning 2493 clauses out of 4993 with flag 20716/5000
11.55/11.71	c cleaning 4224 clauses out of 8494 with flag 51809/11000
15.87/15.17	c cleaning 5626 clauses out of 11265 with flag 86995/18000
20.09/18.82	c cleaning 6792 clauses out of 13640 with flag 128653/26004
24.67/22.82	c cleaning 7894 clauses out of 15839 with flag 173163/35001
29.92/28.05	c cleaning 8293 clauses out of 17944 with flag 222569/45000
36.19/34.31	c cleaning 8815 clauses out of 20648 with flag 276834/56000
42.37/40.46	c cleaning 9619 clauses out of 23829 with flag 335670/68000
48.47/46.64	c cleaning 10584 clauses out of 27205 with flag 400885/81000
55.30/53.41	c cleaning 11278 clauses out of 30620 with flag 472473/95000
62.98/60.86	c cleaning 12156 clauses out of 34336 with flag 547248/110000
70.65/68.49	c cleaning 13146 clauses out of 38186 with flag 628929/126006
78.92/77.01	c cleaning 13659 clauses out of 42034 with flag 714708/143000
89.37/87.30	c cleaning 14476 clauses out of 46371 with flag 809390/161000
101.11/98.96	c cleaning 15540 clauses out of 50894 with flag 911496/180000
112.18/110.35	c cleaning 15849 clauses out of 55350 with flag 1016047/200001
124.65/122.74	c cleaning 16565 clauses out of 60495 with flag 1123285/221000
136.70/134.84	c cleaning 17926 clauses out of 65921 with flag 1237461/243000
148.97/147.00	c cleaning 18609 clauses out of 70993 with flag 1356364/266001
162.33/160.22	c cleaning 19336 clauses out of 76380 with flag 1485820/290000
177.38/175.37	c cleaning 20370 clauses out of 82040 with flag 1615137/315000
191.98/189.86	c cleaning 21051 clauses out of 87666 with flag 1749054/341000
208.35/206.14	c cleaning 21904 clauses out of 93612 with flag 1894119/368000
225.13/222.86	c cleaning 22817 clauses out of 99704 with flag 2045541/396000
243.68/241.23	c cleaning 23739 clauses out of 105885 with flag 2203559/425000
263.48/262.78	c cleaning 24673 clauses out of 112143 with flag 2365321/455000
281.86/281.03	c cleaning 25118 clauses out of 118469 with flag 2542304/486000
304.24/303.32	c cleaning 26147 clauses out of 125349 with flag 2716727/518000
325.64/324.76	c cleaning 26972 clauses out of 132202 with flag 2898260/551001
348.01/347.03	c cleaning 27921 clauses out of 139228 with flag 3094560/585000
371.78/370.56	c cleaning 28895 clauses out of 146305 with flag 3294809/620000
396.56/395.33	c cleaning 29841 clauses out of 153409 with flag 3496823/656000
422.61/421.85	c cleaning 30411 clauses out of 160567 with flag 3705815/693003
448.32/447.60	c cleaning 31350 clauses out of 168152 with flag 3927097/731002
476.85/477.98	c cleaning 32294 clauses out of 175800 with flag 4154762/770001
505.74/506.72	c cleaning 33036 clauses out of 183501 with flag 4388840/810000
534.75/535.76	c cleaning 33817 clauses out of 191465 with flag 4626326/851001
565.62/566.47	c cleaning 34670 clauses out of 199650 with flag 4871169/893004
596.90/597.56	c cleaning 35382 clauses out of 207977 with flag 5124681/936001
628.34/628.91	c cleaning 36515 clauses out of 216591 with flag 5380808/980000
661.35/661.92	c cleaning 37375 clauses out of 225074 with flag 5654330/1025000
698.22/700.20	c cleaning 38501 clauses out of 233699 with flag 5934451/1071000
733.79/735.58	c cleaning 39618 clauses out of 242197 with flag 6221179/1118000
772.74/774.53	c cleaning 40356 clauses out of 250579 with flag 6516820/1166001
811.29/813.11	c cleaning 40956 clauses out of 259220 with flag 6815274/1215000
852.12/853.85	c cleaning 41783 clauses out of 268266 with flag 7141040/1265005
892.31/893.96	c cleaning 43083 clauses out of 277478 with flag 7454021/1316000
935.43/936.90	c cleaning 43918 clauses out of 286393 with flag 7774930/1368000
979.97/981.41	c cleaning 45029 clauses out of 295471 with flag 8101044/1421000
1025.95/1028.25	c cleaning 45332 clauses out of 304444 with flag 8447131/1475003
1074.15/1076.26	c cleaning 46450 clauses out of 314106 with flag 8795671/1530001
1122.51/1124.30	c cleaning 47448 clauses out of 323653 with flag 9150657/1586000
1173.38/1175.78	c cleaning 48619 clauses out of 333202 with flag 9513274/1643000
1225.13/1227.34	c cleaning 49517 clauses out of 342585 with flag 9895093/1701003
1280.52/1282.34	c cleaning 49713 clauses out of 352065 with flag 10280517/1760000
1337.92/1339.10	c cleaning 50742 clauses out of 362351 with flag 10674931/1820001
1398.50/1408.91	c cleaning 52152 clauses out of 372608 with flag 11084154/1881000
1462.56/1506.60	c cleaning 53075 clauses out of 382456 with flag 11496691/1943000
1525.55/1583.15	c cleaning 53863 clauses out of 392375 with flag 11914468/2006001
1593.28/1675.01	c cleaning 54655 clauses out of 402510 with flag 12350523/2070002
1657.31/1738.64	c cleaning 55666 clauses out of 412852 with flag 12798096/2135000
1719.21/1799.99	c cleaning 56501 clauses out of 423185 with flag 13260852/2201000
1792.28/1871.09	c cleaning 57862 clauses out of 433683 with flag 13725867/2268000
1863.16/1941.53	c cleaning 58419 clauses out of 443817 with flag 14187802/2336000
1936.84/2020.68	c cleaning 59610 clauses out of 454398 with flag 14666746/2405000
2014.15/2114.37	c cleaning 59976 clauses out of 464791 with flag 15162705/2475004
2095.00/2209.94	c cleaning 61695 clauses out of 475814 with flag 15670089/2546003
2174.52/2287.57	c cleaning 62546 clauses out of 486113 with flag 16173713/2618000
2259.73/2372.04	c cleaning 63255 clauses out of 496567 with flag 16702822/2691000
2342.54/2454.39	c cleaning 64444 clauses out of 507313 with flag 17223779/2765001
2433.31/2551.63	c cleaning 65347 clauses out of 517868 with flag 17753599/2840000
2524.98/2641.83	c cleaning 66146 clauses out of 528523 with flag 18307778/2916002
2614.29/2730.55	c cleaning 66940 clauses out of 539373 with flag 18866758/2993000
2710.37/2824.41	c cleaning 68170 clauses out of 550433 with flag 19432201/3071000
2806.18/2918.26	c cleaning 69007 clauses out of 561262 with flag 20007058/3150000
2906.59/3016.78	c cleaning 70001 clauses out of 572254 with flag 20604729/3230000
3007.96/3116.74	c cleaning 70883 clauses out of 583252 with flag 21224723/3311001
3112.70/3225.79	c cleaning 71698 clauses out of 594368 with flag 21827592/3393000
3219.41/3331.08	c cleaning 72649 clauses out of 605670 with flag 22448166/3476000
3327.34/3438.39	c cleaning 73665 clauses out of 617021 with flag 23071544/3560000
3439.44/3550.13	c cleaning 75061 clauses out of 628355 with flag 23729283/3645000
3553.77/3662.89	c cleaning 76046 clauses out of 639297 with flag 24398333/3731004
3591.58/3700.03	c starts		: 22732
3591.58/3700.05	c timeout
3591.58/3700.05	c conflicts		: 3764986
3591.58/3700.05	c decisions		: 137660445
3591.58/3700.05	c propagations		: 3757802569
3591.58/3700.05	c inspects		: 15934289526
3591.58/3700.05	c shortcuts		: 0
3591.58/3700.05	c learnt literals	: 178
3591.58/3700.06	c learnt binary clauses	: 235632
3591.58/3700.06	c learnt ternary clauses	: 210744
3591.58/3700.06	c learnt constraints	: 3764808
3591.58/3700.06	c ignored constraints	: 0
3591.58/3700.06	c root simplifications	: 0
3591.58/3700.06	c removed literals (reason simplification)	: 36405971
3591.58/3700.06	c reason swapping (by a shorter reason)	: 0
3591.58/3700.06	c Calls to reduceDB	: 82
3591.58/3700.06	c Number of update (reduction) of LBD	: 2733892
3591.58/3700.06	c Imported unit clauses	: 0
3591.58/3700.06	c No decision after first conflict	: false
3591.58/3700.06	c number of reductions to clauses (during analyze)	: 0
3591.58/3700.06	c number of learned constraints concerned by reduction	: 0
3591.58/3700.06	c number of learning phase by resolution	: 0
3591.58/3700.07	c number of learning phase by cutting planes	: 0
3591.58/3700.07	c number of rounding to 1 operations	: 0
3591.58/3700.07	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3591.58/3700.07	c number of reductions of the coefficients by power 2 	: 0
3591.58/3700.07	c number of right shift for reduction by power 2 	: 0
3591.58/3700.07	c number of reductions of the coefficients by GCD over coefficients 	: 0
3591.58/3700.07	c number of ending skipping 	: 0
3591.58/3700.07	c number of internal skipping 	: 0
3591.58/3700.07	c number of derivation steps 	: 0
3591.58/3700.07	c number of skipped derivation steps 	: 0
3591.58/3700.07	c number of remaining unassigned 	: 0
3591.58/3700.07	c number of remaining assigned 	: 0
3591.58/3700.07	c number of falsified literals weakened from reason	: 0
3591.58/3700.07	c number of falsified literals weakened from conflict	: 0
3591.58/3700.07	c time for arithmetic operations	: 0
3591.58/3700.07	c minimum degree of deleted constraints	: null
3591.58/3700.07	c maximum degree of deleted constraints	: null
3591.58/3700.07	c number of deleted constraints	: 0
3591.58/3700.07	c speed (assignments/second)	: 1015900.7276588774
3591.58/3700.07	c non guided choices	: 48960
3591.76/3700.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 361601
3591.76/3700.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 235632
3591.76/3700.27	s UNKNOWN
3591.76/3700.27	c Total wall clock time (in seconds): 3699.903

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63316 MiB free)
  memory of node 1: 64465 MiB (63935 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507021-1751182786/watcher-4507021-1751182786 -o /tmp/evaluation-result-4507021-1751182786/solver-4507021-1751182786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751182786-20307 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507021-1751182786 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4507021-1751182786.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=20362, runsolver pid=20347

[startup+0.100362 s]*
/proc/loadavg: 0.49 0.95 1.66 14/319 20431
/proc/meminfo: memFree=130237904/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=18930384 memory=46996 CPUtime=0.1 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 5660 0 0 0 7 3 0 0 20 0 18 0 33957451 19384713216 11749 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4732596 11749 5093 1 0 546882 0
[pid=20362/tid=20373] ppid=20347 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 4582 0 0 0 4 2 0 0 20 0 18 0 33957454 19384713216 11749 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 11749 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=18930384 memory=55195547748946 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33957460 19384713216 11749 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 46996 KiB

[startup+0.213458 s]*
/proc/loadavg: 0.49 0.95 1.66 11/319 20431
/proc/meminfo: memFree=130227268/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=18930384 memory=51828 CPUtime=0.27 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 6139 0 0 0 23 4 0 0 20 0 18 0 33957451 19384713216 12957 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4732596 12957 5317 1 0 547243 0
[pid=20362/tid=20373] ppid=20347 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 4960 0 0 0 14 2 0 0 20 0 18 0 33957454 19384713216 12957 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=18930384 memory=2576 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 12957 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=18930384 memory=54096036103158 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33957460 19384713216 12957 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51828 KiB

[startup+0.313195 s]*
/proc/loadavg: 0.49 0.95 1.66 13/319 20431
/proc/meminfo: memFree=130212776/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=18930384 memory=58092 CPUtime=0.42 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 6681 0 0 0 38 4 0 0 20 0 18 0 33957451 19384713216 14523 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4732596 14523 5349 1 0 547717 0
[pid=20362/tid=20373] ppid=20347 vsize=18930384 memory=-6000919477018389613 CPUtime=0.25 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 5131 0 0 0 23 2 0 0 20 0 18 0 33957454 19384713216 14523 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 14523 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33957460 19384713216 14523 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58092 KiB

[startup+0.700373 s]
/proc/loadavg: 0.49 0.95 1.66 13/319 20431
/proc/meminfo: memFree=130170816/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=18930384 memory=95000 CPUtime=1.13 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 8731 0 0 0 106 7 0 0 20 0 18 0 33957451 19384713216 23750 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4732596 23750 5413 1 0 549018 0
[pid=20362/tid=20373] ppid=20347 vsize=18930384 memory=17024 CPUtime=0.61 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 5295 0 0 0 57 4 0 0 20 0 18 0 33957454 19384713216 23750 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 23750 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 33957460 19384713216 23750 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95000 KiB

[startup+1.50026 s]
/proc/loadavg: 0.49 0.95 1.66 15/323 20435
/proc/meminfo: memFree=129814748/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=171940 CPUtime=2.69 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 14319 0 0 0 257 12 0 0 20 0 20 0 33957451 19521036288 42985 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 42985 5477 1 0 551541 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=3200 CPUtime=1.27 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 5915 0 0 0 121 6 0 0 20 0 20 0 33957454 19521036288 42985 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 42985 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 42985 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171940 KiB

[startup+3.10541 s]
/proc/loadavg: 0.49 0.95 1.66 9/327 20439
/proc/meminfo: memFree=129714164/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=191932 CPUtime=5.86 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 25112 0 0 0 571 15 0 0 20 0 20 0 33957451 19521036288 47983 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 47983 5477 1 0 556203 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=11264 CPUtime=2.78 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 6311 0 0 0 272 6 0 0 20 0 20 0 33957454 19521036288 47983 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 47983 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 47983 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 47983 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191932 KiB

[startup+6.30039 s]
/proc/loadavg: 0.93 1.03 1.68 6/327 20439
/proc/meminfo: memFree=129611528/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=196064 CPUtime=10.04 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 26317 0 0 0 988 16 0 0 20 0 20 0 33957451 19521036288 49016 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 49016 5509 1 0 556245 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=0 CPUtime=5.94 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 6900 0 0 0 587 7 0 0 20 0 20 0 33957454 19521036288 49016 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 49016 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=-6000919477018389613 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 49016 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 49016 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 10.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196064 KiB

[startup+12.7003 s]
/proc/loadavg: 1.17 1.08 1.69 7/329 20441
/proc/meminfo: memFree=129570880/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=206068 CPUtime=13.19 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 31982 0 0 0 1300 19 0 0 20 0 20 0 33957451 19521036288 51517 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 51517 5509 1 0 556245 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=200232 CPUtime=8.31 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 7216 0 0 0 822 9 0 0 20 0 20 0 33957454 19521036288 51517 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=196064 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 51517 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 51517 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 51517 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 13.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206068 KiB

[startup+25.5004 s]
/proc/loadavg: 1.80 1.23 1.73 6/329 20441
/proc/meminfo: memFree=128334400/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=419384 CPUtime=27.37 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 42663 0 0 0 2708 29 0 0 20 0 20 0 33957451 19521036288 104846 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 104846 5509 1 0 556262 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=413236 CPUtime=20.71 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 8783 0 0 0 2057 14 0 0 20 0 20 0 33957454 19521036288 104846 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=370208 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 104846 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=370208 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 104846 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=196064 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 104846 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 27.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 419384 KiB

[startup+51.1133 s]
/proc/loadavg: 2.67 1.48 1.80 5/331 20444
/proc/meminfo: memFree=125910536/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1129516 CPUtime=52.98 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 45851 0 0 0 5246 52 0 0 20 0 20 0 33957451 19521036288 282379 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 282379 5509 1 0 704577 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=419384 CPUtime=45.62 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 9853 0 0 0 4532 30 0 0 20 0 20 0 33957454 19521036288 282379 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 282379 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 282379 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=279305884408976 CPUtime=0 cores=5,7

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

[startup+3342.3 s]
/proc/loadavg: 4.22 4.35 4.28 6/331 20622
/proc/meminfo: memFree=100153868/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3230.73 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 169054 0 0 0 322169 904 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=11264 CPUtime=3138.24 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 74248 0 0 0 313166 658 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1352 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3230.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.31 4.27 6/331 20628
/proc/meminfo: memFree=99841028/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3291.25 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 169953 0 0 0 328208 917 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=11264 CPUtime=3197.41 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 75056 0 0 0 319073 668 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1352 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3291.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.28 4.26 6/331 20630
/proc/meminfo: memFree=99498124/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3350.92 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 171838 0 0 0 334162 930 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=11264 CPUtime=3256.25 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 76226 0 0 0 324948 677 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1416 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3350.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.28 4.26 6/330 20632
/proc/meminfo: memFree=98918836/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3411.55 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 175017 0 0 0 340212 943 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3315.34 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 77635 0 0 0 330846 688 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=-4421386487691438949 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1455 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3411.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.26 6/330 20634
/proc/meminfo: memFree=98587876/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3471.73 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 175092 0 0 0 346216 957 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3374.69 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 77695 0 0 0 336769 700 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1456 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3471.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

[startup+3642.3 s]
/proc/loadavg: 4.22 4.25 4.26 6/330 20638
/proc/meminfo: memFree=98265360/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3532.33 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 175111 0 0 0 352262 971 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3433.87 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 77702 0 0 0 342676 711 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=1626048 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1456 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3532.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.14 4.22 4.24 8/331 20641
/proc/meminfo: memFree=97945544/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19063512 memory=1626048 CPUtime=3591.58 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 179242 0 0 0 358172 986 0 0 20 0 20 0 33957451 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4765878 406512 5509 1 0 418635 0
[pid=20362/tid=20373] ppid=20347 vsize=19063512 memory=-6000919477018389613 CPUtime=3490.27 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) R 20347 20362 20294 0 -1 4194368 79987 0 0 0 348306 721 0 0 20 0 20 0 33957454 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19063512 memory=6452091056132481083 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1459 0 0 0 0 0 0 0 20 0 20 0 33957460 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20438] ppid=20347 vsize=19063512 memory=6016 CPUtime=0 cores=5,7
/proc/20362/task/20438/stat : 20438 (Timer-0) S 20347 20362 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957558 19521036288 406512 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3591.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1626048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.99 s, system=9.8844 s

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

[startup+3700.2 s]
/proc/loadavg: 4.14 4.22 4.24 8/331 20641
/proc/meminfo: memFree=97945544/131382120 swapFree=33010684/33010684
[pid=20362] ppid=20347 vsize=19263204 memory=1626944 CPUtime=3591.76 cores=5,7
/proc/20362/stat : 20362 (java) S 20347 20362 20294 0 -1 4194304 181064 0 0 0 358189 987 0 0 20 0 21 0 33957451 19725520896 406736 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
/proc/20362/statm: 4815801 406736 5541 1 0 419593 0
[pid=20362/tid=20373] ppid=20347 vsize=19263204 memory=3200 CPUtime=3490.29 cores=5,7
/proc/20362/task/20373/stat : 20373 (java) S 20347 20362 20294 0 -1 4194368 80182 0 0 0 348308 721 0 0 20 0 21 0 33957454 19725520896 406736 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20415] ppid=20347 vsize=19263204 memory=-6000919477018389613 CPUtime=0 cores=5,7
/proc/20362/task/20415/stat : 20415 (Finalizer) S 20347 20362 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 33957458 19725520896 406736 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
[pid=20362/tid=20431] ppid=20347 vsize=19263204 memory=5504 CPUtime=0 cores=5,7
/proc/20362/task/20431/stat : 20431 (Common-Cleaner) S 20347 20362 20294 0 -1 4194368 1459 0 0 0 0 0 0 0 20 0 21 0 33957460 19725520896 406736 18446744073709551615 94153941934080 94153941937776 140731846155888 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94153941945592 94153941946384 94153968848896 140731846158640 140731846158822 140731846158822 140731846164424 0
Current children cumulated CPU time: 3591.76 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1626944 KiB

Child status: 143

Real time (s): 3700.28
CPU time (s): 3591.87
CPU user time (s): 3581.99
CPU system time (s): 9.8844
CPU usage (%): 97.0702
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2776828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.99
system time used= 9.8844
maximum resident set size= 2776956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11395832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124030
involuntary context switches= 13942


# summary of solver processes directly reported to runsolver:
#   pid: 20362
#   total CPU time (s): 3591.87
#   total CPU user time (s): 3581.99
#   total CPU system time (s): 9.8844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8528 second user time and 36.864 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-29 09:39:46
IDJOB=4507021
IDBENCH=158316
IDSOLVER=3364
FILE ID=nodeC002/4507021-1751182786
RUNJOBID= nodeC002-1751182786-20307
SLURM_JOB_ID= 9587562
Free space on /tmp= 433056 MiB

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

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

MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=472328659

nodeC002 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		: 1197.230
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130300572 kB
MemAvailable:   129942440 kB
Buffers:            3280 kB
Cached:           449148 kB
SwapCached:            0 kB
Active:           314108 kB
Inactive:         202012 kB
Active(anon):      81652 kB
Inactive(anon):        0 kB
Active(file):     232456 kB
Inactive(file):   202012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8100 kB
Writeback:             0 kB
AnonPages:         66732 kB
Mapped:           101324 kB
Shmem:             17960 kB
KReclaimable:      85144 kB
Slab:             166140 kB
SReclaimable:      85144 kB
SUnreclaim:        80996 kB
KernelStack:        3732 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC002 at 2025-06-29 10:41:27