Trace number 4507057

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) 3559.48 3700.25

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
MD5SUM4394b20101c323a14e6df6504cadd31d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18445
Total number of constraints18757
Number of constraints which are clauses18602
Number of constraints which are cardinality constraints (but not clauses)155
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint155
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 156
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.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.26/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.23	c java.vm.version	22.0.1+8-16
0.26/0.23	c java.vm.vendor	Oracle Corporation
0.26/0.23	c sun.arch.data.model	64
0.26/0.23	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.24	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/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.36	c solving HOME/instance-4507057-1751182786.opb
0.42/0.36	c reading problem ... 
0.42/0.36	c using VERIPB proof format
0.42/0.37	c  no objective function found
1.71/1.01	c ... done. Wall clock time 0.65s.
1.71/1.01	c declared #vars     18445
1.71/1.01	c #constraints  18757
1.71/1.01	c constraints type 
1.71/1.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2002
1.71/1.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 155
1.71/1.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16598
1.71/1.01	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.71/1.01	c 18757 constraints processed.
6.93/3.84	c cleaning 2478 clauses out of 4992 with flag 23078/5000
10.90/11.06	c cleaning 4208 clauses out of 8514 with flag 55740/11000
14.38/14.21	c cleaning 5622 clauses out of 11303 with flag 92230/18001
17.66/17.43	c cleaning 6799 clauses out of 13672 with flag 133334/26000
21.37/21.19	c cleaning 7926 clauses out of 15870 with flag 179035/35000
26.97/26.60	c cleaning 8073 clauses out of 17934 with flag 227372/45000
32.60/32.23	c cleaning 9076 clauses out of 20859 with flag 280504/56000
38.88/38.39	c cleaning 9693 clauses out of 23779 with flag 341421/68000
44.54/44.19	c cleaning 10491 clauses out of 27086 with flag 406238/81001
49.97/49.59	c cleaning 11454 clauses out of 30584 with flag 477563/95000
56.34/55.89	c cleaning 12139 clauses out of 34118 with flag 554068/110000
64.94/64.27	c cleaning 13099 clauses out of 37979 with flag 637973/126000
73.36/72.82	c cleaning 14064 clauses out of 41877 with flag 727077/143000
81.72/81.08	c cleaning 14735 clauses out of 45811 with flag 823323/161000
91.27/90.52	c cleaning 15505 clauses out of 50073 with flag 926564/180001
100.50/99.78	c cleaning 16472 clauses out of 54564 with flag 1028622/200001
112.64/112.26	c cleaning 17140 clauses out of 59087 with flag 1134677/221001
124.36/123.96	c cleaning 18133 clauses out of 63941 with flag 1251321/243000
135.31/135.03	c cleaning 19086 clauses out of 68806 with flag 1370107/266000
148.40/147.95	c cleaning 19682 clauses out of 73719 with flag 1502408/290001
160.99/160.53	c cleaning 20754 clauses out of 79034 with flag 1639036/315000
175.68/175.32	c cleaning 21354 clauses out of 84282 with flag 1781796/341003
191.17/190.70	c cleaning 22544 clauses out of 89928 with flag 1930528/368003
208.50/208.17	c cleaning 23184 clauses out of 95377 with flag 2086588/396000
225.36/224.99	c cleaning 23879 clauses out of 101193 with flag 2246531/425002
243.02/242.45	c cleaning 24744 clauses out of 107313 with flag 2415432/455002
260.97/262.15	c cleaning 25550 clauses out of 113566 with flag 2586713/486002
280.63/281.77	c cleaning 26332 clauses out of 120012 with flag 2766006/518001
300.35/301.58	c cleaning 27322 clauses out of 126678 with flag 2951612/551002
321.05/322.14	c cleaning 28257 clauses out of 133354 with flag 3145599/585000
341.59/342.61	c cleaning 29053 clauses out of 140096 with flag 3356144/620000
365.49/365.81	c cleaning 29920 clauses out of 147042 with flag 3568045/656000
389.79/396.34	c cleaning 30876 clauses out of 154124 with flag 3783708/693004
414.43/420.78	c cleaning 31735 clauses out of 161243 with flag 4008661/731000
440.85/447.20	c cleaning 32424 clauses out of 168506 with flag 4244399/770000
465.87/472.34	c cleaning 33173 clauses out of 176082 with flag 4481284/810000
492.21/498.71	c cleaning 34570 clauses out of 183908 with flag 4730464/851000
521.52/527.94	c cleaning 35359 clauses out of 191341 with flag 4988008/893004
551.14/557.68	c cleaning 36170 clauses out of 198976 with flag 5256795/936000
580.81/587.15	c cleaning 37165 clauses out of 206803 with flag 5526516/980000
616.54/626.75	c cleaning 37686 clauses out of 214633 with flag 5800582/1025000
650.46/665.70	c cleaning 38453 clauses out of 222946 with flag 6088736/1071002
685.43/700.66	c cleaning 39399 clauses out of 231488 with flag 6380284/1118001
722.40/737.23	c cleaning 40500 clauses out of 240088 with flag 6674038/1166001
760.82/775.89	c cleaning 41695 clauses out of 248584 with flag 6986507/1215000
799.98/815.26	c cleaning 42407 clauses out of 256888 with flag 7317634/1265000
841.66/857.68	c cleaning 43325 clauses out of 265481 with flag 7646880/1316000
883.90/899.85	c cleaning 44119 clauses out of 274154 with flag 7988351/1368000
926.43/942.32	c cleaning 45427 clauses out of 283035 with flag 8341519/1421000
970.54/989.93	c cleaning 45796 clauses out of 291607 with flag 8703037/1475001
1015.44/1034.61	c cleaning 47104 clauses out of 300808 with flag 9061897/1530001
1061.76/1080.73	c cleaning 48219 clauses out of 309700 with flag 9437310/1586000
1111.99/1130.64	c cleaning 49041 clauses out of 318482 with flag 9815819/1643003
1164.71/1183.35	c cleaning 49637 clauses out of 327439 with flag 10208280/1701001
1217.50/1235.61	c cleaning 50646 clauses out of 336799 with flag 10617092/1760000
1270.27/1288.34	c cleaning 51660 clauses out of 346152 with flag 11042744/1820000
1326.42/1344.32	c cleaning 52498 clauses out of 355492 with flag 11470554/1881001
1384.19/1406.72	c cleaning 53697 clauses out of 364993 with flag 11919214/1943000
1441.74/1464.23	c cleaning 54563 clauses out of 374294 with flag 12359075/2006003
1502.13/1539.67	c cleaning 55468 clauses out of 383729 with flag 12810478/2070001
1568.26/1619.83	c cleaning 56444 clauses out of 393262 with flag 13292432/2135002
1631.62/1700.66	c cleaning 57751 clauses out of 402816 with flag 13763484/2201000
1694.09/1762.96	c cleaning 58576 clauses out of 412066 with flag 14257989/2268001
1762.58/1831.30	c cleaning 58949 clauses out of 421490 with flag 14765907/2336001
1833.46/1901.46	c cleaning 60344 clauses out of 431539 with flag 15280139/2405000
1907.16/1975.20	c cleaning 61439 clauses out of 441194 with flag 15805168/2475000
1983.74/2078.27	c cleaning 62308 clauses out of 450757 with flag 16338889/2546003
2063.06/2195.29	c cleaning 63452 clauses out of 460445 with flag 16866428/2618000
2142.83/2274.64	c cleaning 64057 clauses out of 469992 with flag 17399168/2691000
2223.82/2355.51	c cleaning 65516 clauses out of 479935 with flag 17958338/2765000
2309.06/2440.89	c cleaning 65555 clauses out of 489417 with flag 18544099/2840000
2394.75/2526.25	c cleaning 67277 clauses out of 499862 with flag 19121814/2916000
2484.53/2622.51	c cleaning 67949 clauses out of 509586 with flag 19719889/2993001
2571.44/2709.50	c cleaning 68799 clauses out of 519636 with flag 20317574/3071002
2666.90/2805.00	c cleaning 70106 clauses out of 529835 with flag 20941646/3150000
2765.53/2902.36	c cleaning 71268 clauses out of 539727 with flag 21587556/3230001
2866.98/3003.44	c cleaning 71899 clauses out of 549456 with flag 22257161/3311000
2968.29/3104.67	c cleaning 73114 clauses out of 559557 with flag 22911725/3393000
3076.57/3218.26	c cleaning 74210 clauses out of 569445 with flag 23600820/3476003
3185.25/3327.95	c cleaning 74837 clauses out of 579228 with flag 24326942/3560000
3292.13/3434.57	c cleaning 75785 clauses out of 589392 with flag 25038061/3645001
3404.15/3545.70	c cleaning 76995 clauses out of 599610 with flag 25752755/3731005
3518.08/3658.89	c cleaning 77865 clauses out of 609608 with flag 26481540/3818000
3559.16/3700.03	c timeout
3559.16/3700.04	c starts		: 24764
3559.16/3700.05	c conflicts		: 3856183
3559.16/3700.05	c decisions		: 114933722
3559.16/3700.05	c propagations		: 3505993244
3559.16/3700.05	c inspects		: 16275002357
3559.16/3700.05	c shortcuts		: 0
3559.16/3700.05	c learnt literals	: 182
3559.16/3700.05	c learnt binary clauses	: 207039
3559.16/3700.05	c learnt ternary clauses	: 196443
3559.16/3700.05	c learnt constraints	: 3856001
3559.16/3700.05	c ignored constraints	: 0
3559.16/3700.05	c root simplifications	: 0
3559.16/3700.05	c removed literals (reason simplification)	: 41902142
3559.16/3700.05	c reason swapping (by a shorter reason)	: 0
3559.16/3700.05	c Calls to reduceDB	: 83
3559.16/3700.05	c Number of update (reduction) of LBD	: 2952277
3559.16/3700.05	c Imported unit clauses	: 0
3559.16/3700.05	c No decision after first conflict	: false
3559.16/3700.06	c number of reductions to clauses (during analyze)	: 0
3559.16/3700.06	c number of learned constraints concerned by reduction	: 0
3559.16/3700.06	c number of learning phase by resolution	: 0
3559.16/3700.06	c number of learning phase by cutting planes	: 0
3559.16/3700.06	c number of rounding to 1 operations	: 0
3559.16/3700.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3559.16/3700.06	c number of reductions of the coefficients by power 2 	: 0
3559.16/3700.06	c number of right shift for reduction by power 2 	: 0
3559.16/3700.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3559.16/3700.06	c number of ending skipping 	: 0
3559.16/3700.06	c number of internal skipping 	: 0
3559.16/3700.06	c number of derivation steps 	: 0
3559.16/3700.06	c number of skipped derivation steps 	: 0
3559.16/3700.06	c number of remaining unassigned 	: 0
3559.16/3700.06	c number of remaining assigned 	: 0
3559.16/3700.07	c number of falsified literals weakened from reason	: 0
3559.16/3700.07	c number of falsified literals weakened from conflict	: 0
3559.16/3700.07	c time for arithmetic operations	: 0
3559.16/3700.07	c minimum degree of deleted constraints	: null
3559.16/3700.07	c maximum degree of deleted constraints	: null
3559.16/3700.07	c number of deleted constraints	: 0
3559.16/3700.07	c speed (assignments/second)	: 947814.9913477247
3559.16/3700.07	c non guided choices	: 33234
3559.42/3700.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 362887
3559.42/3700.23	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 207039
3559.42/3700.23	s UNKNOWN
3559.42/3700.23	c Total wall clock time (in seconds): 3699.877

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 (63317 MiB free)
  memory of node 1: 64465 MiB (63932 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=20354, runsolver pid=20345

[startup+0.100071 s]*
/proc/loadavg: 0.49 0.95 1.66 12/317 20429
/proc/meminfo: memFree=130244960/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=18930344 memory=48160 CPUtime=0.09 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 5571 0 94 0 6 3 0 0 20 0 18 0 33957449 19384672256 12040 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4732586 12040 4907 1 0 546862 0
[pid=20354/tid=20365] ppid=20345 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4456512 4516 0 94 0 4 2 0 0 20 0 18 0 33957452 19384672256 12040 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=18930344 memory=2576 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384672256 12040 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=18930344 memory=54096036103158 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33957459 19384672256 12040 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 48160 KiB

[startup+0.21663 s]*
/proc/loadavg: 0.49 0.95 1.66 11/319 20431
/proc/meminfo: memFree=130231300/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=18930384 memory=53640 CPUtime=0.26 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 6029 0 94 0 22 4 0 0 20 0 18 0 33957449 19384713216 13410 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4732596 13410 5323 1 0 547233 0
[pid=20354/tid=20365] ppid=20345 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 4913 0 94 0 14 3 0 0 20 0 18 0 33957452 19384713216 13410 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 13410 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33957459 19384713216 13410 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53640 KiB

[startup+0.315307 s]*
/proc/loadavg: 0.49 0.95 1.66 13/319 20431
/proc/meminfo: memFree=130212776/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=18930384 memory=59628 CPUtime=0.42 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 6523 0 94 0 37 5 0 0 20 0 18 0 33957449 19384713216 14907 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4732596 14907 5323 1 0 547694 0
[pid=20354/tid=20365] ppid=20345 vsize=18930384 memory=-6000919477018389613 CPUtime=0.25 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 5095 0 94 0 22 3 0 0 20 0 18 0 33957452 19384713216 14907 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 14907 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33957459 19384713216 14907 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59628 KiB

[startup+0.700367 s]
/proc/loadavg: 0.49 0.95 1.66 9/319 20431
/proc/meminfo: memFree=130182976/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=18930384 memory=91608 CPUtime=1.12 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 8356 0 94 0 104 8 0 0 20 0 18 0 33957449 19384713216 22902 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4732596 22902 5387 1 0 548968 0
[pid=20354/tid=20365] ppid=20345 vsize=18930384 memory=17024 CPUtime=0.59 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 5254 0 94 0 55 4 0 0 20 0 18 0 33957452 19384713216 22902 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33957458 19384713216 22902 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33957459 19384713216 22902 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 91608 KiB

[startup+1.50032 s]
/proc/loadavg: 0.49 0.95 1.66 12/323 20435
/proc/meminfo: memFree=129818844/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=168676 CPUtime=2.67 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 14022 0 94 0 255 12 0 0 20 0 20 0 33957449 19521036288 42169 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 42169 5419 1 0 551154 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=3200 CPUtime=1.26 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 5846 0 94 0 119 7 0 0 20 0 20 0 33957452 19521036288 42169 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 42169 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 42169 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168676 KiB

[startup+3.10526 s]
/proc/loadavg: 0.49 0.95 1.66 9/327 20439
/proc/meminfo: memFree=129714164/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=176388 CPUtime=5.82 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 16707 0 94 0 569 13 0 0 20 0 20 0 33957449 19521036288 44097 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 44097 5451 1 0 551820 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=11264 CPUtime=2.78 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 6215 0 94 0 271 7 0 0 20 0 20 0 33957452 19521036288 44097 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 44097 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 44097 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 44097 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176388 KiB

[startup+6.3004 s]
/proc/loadavg: 0.93 1.03 1.68 8/327 20439
/proc/meminfo: memFree=129611528/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=187888 CPUtime=10.05 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 22068 0 94 0 990 15 0 0 20 0 20 0 33957449 19521036288 46972 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 46972 5451 1 0 554589 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=0 CPUtime=5.93 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 6863 0 94 0 585 8 0 0 20 0 20 0 33957452 19521036288 46972 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=-6000919485608324205 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 46972 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 46972 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 46972 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187888 KiB

[startup+12.7004 s]
/proc/loadavg: 1.17 1.08 1.69 7/329 20441
/proc/meminfo: memFree=129570880/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=196340 CPUtime=12.88 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 25984 0 94 0 1270 18 0 0 20 0 20 0 33957449 19521036288 49085 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 49085 5483 1 0 554589 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=189964 CPUtime=8.33 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 7133 0 94 0 824 9 0 0 20 0 20 0 33957452 19521036288 49085 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=187888 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 49085 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 49085 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 49085 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 12.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196340 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=20354] ppid=20345 vsize=19063512 memory=517104 CPUtime=25.87 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 29593 0 94 0 2557 30 0 0 20 0 20 0 33957449 19521036288 129276 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 129276 5483 1 0 667366 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=290628 CPUtime=20.77 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 8564 0 94 0 2059 18 0 0 20 0 20 0 33957452 19521036288 129276 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=442284 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 129276 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 129276 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 129276 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 25.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 517104 KiB

[startup+51.1126 s]
/proc/loadavg: 2.67 1.48 1.80 5/331 20444
/proc/meminfo: memFree=125910536/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=957760 CPUtime=51.65 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 32542 0 94 0 5117 48 0 0 20 0 20 0 33957449 19521036288 239440 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 239440 5483 1 0 667393 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=881884 CPUtime=45.55 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 9755 0 94 0 4523 32 0 0 20 0 20 0 33957452 19521036288 239440 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=846980 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 239440 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 239440 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=846980 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 239440 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0

################
# 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=20354] ppid=20345 vsize=19063512 memory=4253732 CPUtime=3199.58 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 145366 0 94 0 318961 997 0 0 20 0 20 0 33957449 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063433 5483 1 0 1077273 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=3200 CPUtime=3139.12 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 77125 0 94 0 313143 769 0 0 20 0 20 0 33957452 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=4253732 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=4253732 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2053 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=4253732 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3199.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4253732 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=20354] ppid=20345 vsize=19063512 memory=4253732 CPUtime=3259.79 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 145907 0 94 0 324967 1012 0 0 20 0 20 0 33957449 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063433 5483 1 0 1077273 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=4370332 CPUtime=3198.52 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 77570 0 94 0 319071 781 0 0 20 0 20 0 33957452 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=4370332 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=4253732 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063433 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3259.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4253732 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=20354] ppid=20345 vsize=19063512 memory=4253988 CPUtime=3319.65 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 147757 0 94 0 330938 1027 0 0 20 0 20 0 33957449 19521036288 1063497 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063497 5483 1 0 1077372 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=4370332 CPUtime=3257.67 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 79179 0 94 0 324975 792 0 0 20 0 20 0 33957452 19521036288 1063497 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=4370332 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063497 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 1063497 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=4253988 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063497 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3319.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4253988 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=20354] ppid=20345 vsize=19063512 memory=4254884 CPUtime=3380.9 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 153784 0 94 0 337048 1042 0 0 20 0 20 0 33957449 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063721 5483 1 0 1077568 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=4253988 CPUtime=3316.96 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 83484 0 94 0 330892 804 0 0 20 0 20 0 33957452 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=-6000919485608324205 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2156 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3380.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4254884 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=20354] ppid=20345 vsize=19063512 memory=4254884 CPUtime=3440.87 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 154617 0 94 0 343028 1059 0 0 20 0 20 0 33957449 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063721 5483 1 0 1077568 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=14464 CPUtime=3376.62 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 84027 0 94 0 336845 817 0 0 20 0 20 0 33957452 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2267 0 0 0 0 0 0 0 20 0 20 0 33957459 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3440.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4254884 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=20354] ppid=20345 vsize=19063512 memory=4254884 CPUtime=3501.12 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 156397 0 94 0 349038 1074 0 0 20 0 20 0 33957449 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063721 5483 1 0 1077568 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=4254884 CPUtime=3435.96 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 85732 0 94 0 342767 829 0 0 20 0 20 0 33957452 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=4254884 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=4254884 CPUtime=0.01 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2267 0 0 0 1 0 0 0 20 0 20 0 33957459 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063721 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3501.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4254884 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.14 4.22 4.24 6/330 20640
/proc/meminfo: memFree=97945544/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19063512 memory=4255012 CPUtime=3559.16 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 158429 0 94 0 354829 1087 0 0 20 0 20 0 33957449 19521036288 1063753 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4765878 1063753 5483 1 0 1077595 0
[pid=20354/tid=20365] ppid=20345 vsize=19063512 memory=-6000919477018389613 CPUtime=3493.1 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) R 20345 20354 20294 0 -1 4194368 87326 0 94 0 348469 841 0 0 20 0 20 0 33957452 19521036288 1063753 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19063512 memory=6452091056132481083 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33957458 19521036288 1063753 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19063512 memory=5632 CPUtime=0.01 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2321 0 0 0 1 0 0 0 20 0 20 0 33957459 19521036288 1063753 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20436] ppid=20345 vsize=19063512 memory=2944 CPUtime=0 cores=4,6
/proc/20354/task/20436/stat : 20436 (Timer-0) S 20345 20354 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33957552 19521036288 1063753 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3559.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4255012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3548.58 s, system=10.9077 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 6/330 20640
/proc/meminfo: memFree=97945544/131382120 swapFree=33010684/33010684
[pid=20354] ppid=20345 vsize=19263204 memory=4255908 CPUtime=3559.42 cores=4,6
/proc/20354/stat : 20354 (java) S 20345 20354 20294 0 -1 4194304 160483 0 94 0 354853 1089 0 0 20 0 21 0 33957449 19725520896 1063977 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
/proc/20354/statm: 4815801 1063977 5515 1 0 1078542 0
[pid=20354/tid=20365] ppid=20345 vsize=19263204 memory=-6000919485608324205 CPUtime=3493.13 cores=4,6
/proc/20354/task/20365/stat : 20365 (java) S 20345 20354 20294 0 -1 4194368 87612 0 94 0 348471 842 0 0 20 0 21 0 33957452 19725520896 1063977 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20399] ppid=20345 vsize=19263204 memory=1920 CPUtime=0 cores=4,6
/proc/20354/task/20399/stat : 20399 (Finalizer) S 20345 20354 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 33957458 19725520896 1063977 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
[pid=20354/tid=20427] ppid=20345 vsize=19263204 memory=-6000919485608324205 CPUtime=0.01 cores=4,6
/proc/20354/task/20427/stat : 20427 (Common-Cleaner) S 20345 20354 20294 0 -1 4194368 2321 0 0 0 1 0 0 0 20 0 21 0 33957459 19725520896 1063977 18446744073709551615 94741823737856 94741823741552 140724226966768 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741823749368 94741823750160 94741834563584 140724226976048 140724226976230 140724226976230 140724226981832 0
Current children cumulated CPU time: 3559.42 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4255908 KiB

Child status: 143

Real time (s): 3700.25
CPU time (s): 3559.48
CPU user time (s): 3548.58
CPU system time (s): 10.9077
CPU usage (%): 96.1957
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5662544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.58
system time used= 10.9077
maximum resident set size= 5662544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160655
page faults= 94
swaps= 0
block input operations= 0
block output operations= 11579240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119100
involuntary context switches= 15122


# summary of solver processes directly reported to runsolver:
#   pid: 20354
#   total CPU time (s): 3559.48
#   total CPU user time (s): 3548.58
#   total CPU system time (s): 10.9077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9455 second user time and 35.8662 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-29 09:39:46
IDJOB=4507057
IDBENCH=158319
IDSOLVER=3364
FILE ID=nodeC002/4507057-1751182786
RUNJOBID= nodeC002-1751182786-20305
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_K155.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507057-1751182786/watcher-4507057-1751182786 -o /tmp/evaluation-result-4507057-1751182786/solver-4507057-1751182786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751182786-20305 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507057-1751182786 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4507057-1751182786.opb

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

MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
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.232
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.205
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.224
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.218
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.586
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.230
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.211
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.092
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:     331316 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