Trace number 4507345

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) 3600.35 3585.18

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
MD5SUM5fb93660b547b6cc9dd610c04b6e276e
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 variables5712
Total number of constraints5882
Number of constraints which are clauses5798
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
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 85
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.14	c See www.sat4j.org for details.
0.12/0.15	c version PB25.v20250606
0.12/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.18	c java.vm.version	22.0.1+8-16
0.12/0.18	c java.vm.vendor	Oracle Corporation
0.12/0.18	c sun.arch.data.model	64
0.12/0.18	c java.version		22.0.1
0.12/0.18	c os.name		Linux
0.12/0.18	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.18	c os.arch		amd64
0.12/0.18	c Free memory 		2104792832
0.12/0.19	c Max memory 		16282288128
0.12/0.19	c Total memory 		2113929216
0.12/0.19	c Number of processors 	2
0.29/0.29	c Pseudo Boolean Optimization by upper bound
0.29/0.29	c --- Begin Solver configuration ---
0.29/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.29	c Learn all clauses as in MiniSAT
0.29/0.29	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	c Expensive reason simplification
0.29/0.29	c Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	c timeout=2147483s
0.29/0.29	c DB Simplification allowed=false
0.29/0.29	c Listener: none
0.29/0.29	c --- End Solver configuration ---
0.29/0.29	c solving HOME/instance-4507345-1751190068.opb
0.29/0.29	c reading problem ... 
0.29/0.29	c using VERIPB proof format
0.29/0.29	c  no objective function found
0.83/0.57	c ... done. Wall clock time 0.277s.
0.83/0.57	c declared #vars     5712
0.83/0.57	c #constraints  5882
0.83/0.57	c constraints type 
0.83/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1079
0.83/0.57	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 84
0.83/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4717
0.83/0.57	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.83/0.57	c 5882 constraints processed.
4.92/2.67	c cleaning 2489 clauses out of 4995 with flag 32671/5000
6.68/3.84	c cleaning 4235 clauses out of 8503 with flag 74536/11001
8.80/5.31	c cleaning 5622 clauses out of 11262 with flag 128196/18000
11.58/8.02	c cleaning 6770 clauses out of 13636 with flag 181776/26000
13.48/9.94	c cleaning 7873 clauses out of 15861 with flag 243315/35000
16.72/13.09	c cleaning 8982 clauses out of 17984 with flag 309370/45000
19.21/15.54	c cleaning 9677 clauses out of 20000 with flag 377172/56000
21.91/18.29	c cleaning 10271 clauses out of 22318 with flag 446582/68001
24.77/21.05	c cleaning 11155 clauses out of 25049 with flag 521202/81004
28.61/24.87	c cleaning 11854 clauses out of 27887 with flag 605523/95000
32.96/29.16	c cleaning 12733 clauses out of 31028 with flag 700904/110000
36.63/32.84	c cleaning 13743 clauses out of 34296 with flag 798245/126002
40.79/36.91	c cleaning 14648 clauses out of 37548 with flag 903934/143000
45.22/41.21	c cleaning 15489 clauses out of 40899 with flag 1013410/161001
51.19/47.12	c cleaning 16252 clauses out of 44405 with flag 1132905/180001
56.08/52.03	c cleaning 17013 clauses out of 48146 with flag 1256324/200000
62.89/58.80	c cleaning 18075 clauses out of 52131 with flag 1392258/221000
70.07/66.10	c cleaning 19146 clauses out of 56050 with flag 1540669/243000
76.64/72.55	c cleaning 19967 clauses out of 59903 with flag 1692217/266000
83.24/79.02	c cleaning 20745 clauses out of 63936 with flag 1853400/290000
90.41/86.22	c cleaning 21723 clauses out of 68188 with flag 2024760/315002
98.01/93.79	c cleaning 22925 clauses out of 72462 with flag 2214651/341000
107.01/102.79	c cleaning 23661 clauses out of 76537 with flag 2403447/368000
116.31/112.05	c cleaning 24571 clauses out of 80876 with flag 2597811/396001
126.36/122.05	c cleaning 25534 clauses out of 85303 with flag 2809183/425000
136.02/131.66	c cleaning 26452 clauses out of 89775 with flag 3050821/455006
146.20/141.86	c cleaning 27730 clauses out of 94316 with flag 3306266/486000
159.62/155.14	c cleaning 28090 clauses out of 98583 with flag 3555131/518000
171.22/166.82	c cleaning 29441 clauses out of 103494 with flag 3815928/551002
185.00/180.46	c cleaning 30378 clauses out of 108051 with flag 4089941/585000
197.30/192.87	c cleaning 31392 clauses out of 112673 with flag 4376489/620000
211.25/206.89	c cleaning 32075 clauses out of 117279 with flag 4694065/656000
226.30/221.94	c cleaning 33075 clauses out of 122204 with flag 5031939/693001
241.02/236.53	c cleaning 33948 clauses out of 127130 with flag 5368225/731002
256.21/251.63	c cleaning 35226 clauses out of 132176 with flag 5716013/770000
273.10/268.50	c cleaning 36360 clauses out of 136948 with flag 6051200/810000
291.46/286.89	c cleaning 37133 clauses out of 141588 with flag 6412260/851000
308.95/304.29	c cleaning 38285 clauses out of 146456 with flag 6782908/893001
329.05/324.34	c cleaning 39066 clauses out of 151169 with flag 7199803/936000
347.97/343.16	c cleaning 40658 clauses out of 156103 with flag 7636603/980000
368.29/363.30	c cleaning 41255 clauses out of 160450 with flag 8089267/1025005
389.82/384.82	c cleaning 42365 clauses out of 165192 with flag 8513598/1071004
411.08/406.05	c cleaning 43410 clauses out of 169825 with flag 8980416/1118003
436.08/430.98	c cleaning 44360 clauses out of 174411 with flag 9530910/1166000
461.25/455.85	c cleaning 45499 clauses out of 179051 with flag 10038445/1215000
489.35/483.56	c cleaning 46338 clauses out of 183553 with flag 10542744/1265001
515.80/509.92	c cleaning 47563 clauses out of 188214 with flag 11075639/1316000
544.67/538.43	c cleaning 48516 clauses out of 192653 with flag 11716066/1368002
572.67/566.35	c cleaning 49651 clauses out of 197135 with flag 12343546/1421000
603.23/596.92	c cleaning 50504 clauses out of 201484 with flag 12931063/1475000
632.42/626.16	c cleaning 51708 clauses out of 205984 with flag 13524668/1530004
663.99/657.58	c cleaning 52830 clauses out of 210272 with flag 14149081/1586000
700.02/693.40	c cleaning 53706 clauses out of 214444 with flag 14818368/1643002
736.45/729.82	c cleaning 54618 clauses out of 218740 with flag 15527563/1701004
775.02/768.30	c cleaning 55655 clauses out of 223117 with flag 16274408/1760000
813.40/806.60	c cleaning 56734 clauses out of 227463 with flag 17008056/1820001
854.39/847.45	c cleaning 57717 clauses out of 231729 with flag 17778670/1881001
894.51/887.43	c cleaning 58842 clauses out of 236011 with flag 18585001/1943000
934.19/926.96	c cleaning 59828 clauses out of 240169 with flag 19361433/2006000
977.96/970.58	c cleaning 60873 clauses out of 244340 with flag 20214762/2070000
1021.29/1013.68	c cleaning 61760 clauses out of 248466 with flag 21027540/2135000
1071.32/1063.86	c cleaning 63596 clauses out of 252706 with flag 22125744/2201000
1118.70/1110.96	c cleaning 64018 clauses out of 256110 with flag 22981677/2268000
1169.92/1162.08	c cleaning 65039 clauses out of 260092 with flag 23904700/2336000
1218.30/1210.32	c cleaning 66318 clauses out of 264054 with flag 24737492/2405001
1271.97/1263.73	c cleaning 67128 clauses out of 267737 with flag 25723362/2475002
1332.70/1324.54	c cleaning 68797 clauses out of 271607 with flag 27071604/2546000
1384.84/1375.95	c cleaning 69730 clauses out of 274811 with flag 28121654/2618001
1438.84/1429.92	c cleaning 70431 clauses out of 278080 with flag 29176598/2691000
1502.25/1494.90	c cleaning 71523 clauses out of 281649 with flag 30323351/2765000
1556.71/1549.37	c cleaning 72512 clauses out of 285128 with flag 31287480/2840003
1628.31/1620.12	c cleaning 73932 clauses out of 288613 with flag 32526127/2916000
1689.25/1680.72	c cleaning 74567 clauses out of 291681 with flag 33547471/2993000
1761.34/1752.47	c cleaning 75362 clauses out of 295114 with flag 34933196/3071000
1829.08/1820.76	c cleaning 77017 clauses out of 298755 with flag 36326698/3150003
1891.59/1882.91	c cleaning 77892 clauses out of 301736 with flag 37460547/3230001
1958.02/1949.01	c cleaning 78829 clauses out of 304843 with flag 38502958/3311000
2025.86/2016.56	c cleaning 79789 clauses out of 308014 with flag 39635851/3393000
2096.69/2087.19	c cleaning 80702 clauses out of 311225 with flag 40828158/3476000
2167.77/2159.15	c cleaning 82062 clauses out of 314523 with flag 42013150/3560000
2238.26/2228.78	c cleaning 82803 clauses out of 317460 with flag 43125384/3645000
2315.99/2305.95	c cleaning 83714 clauses out of 320656 with flag 44404663/3731000
2388.75/2378.63	c cleaning 84964 clauses out of 323946 with flag 45625062/3818004
2466.62/2456.12	c cleaning 86033 clauses out of 326981 with flag 46949759/3906003
2545.54/2534.91	c cleaning 87024 clauses out of 329945 with flag 48336420/3995000
2627.10/2617.10	c cleaning 87998 clauses out of 332921 with flag 49716472/4085000
2711.04/2700.62	c cleaning 89343 clauses out of 335923 with flag 51135091/4176000
2798.08/2787.57	c cleaning 90286 clauses out of 338580 with flag 52405547/4268000
2891.97/2879.97	c cleaning 91092 clauses out of 341294 with flag 53769253/4361001
2978.06/2965.78	c cleaning 92360 clauses out of 344201 with flag 55150569/4455000
3075.86/3063.29	c cleaning 93232 clauses out of 346844 with flag 56649973/4550003
3165.39/3152.62	c cleaning 94039 clauses out of 349610 with flag 58004922/4646001
3262.57/3249.38	c cleaning 95066 clauses out of 352570 with flag 59478500/4743000
3352.29/3338.82	c cleaning 96194 clauses out of 355506 with flag 60847194/4841002
3451.82/3437.90	c cleaning 97297 clauses out of 358311 with flag 62184609/4940001
3549.83/3534.81	c cleaning 98630 clauses out of 361012 with flag 63628105/5040000
3600.08/3585.03	c starts		: 43716
3600.08/3585.04	c timeout
3600.08/3585.05	c conflicts		: 5114242
3600.08/3585.05	c decisions		: 54826666
3600.08/3585.05	c propagations		: 1825609154
3600.08/3585.05	c inspects		: 21586331538
3600.08/3585.05	c shortcuts		: 0
3600.08/3585.05	c learnt literals	: 105
3600.08/3585.05	c learnt binary clauses	: 92282
3600.08/3585.05	c learnt ternary clauses	: 112939
3600.08/3585.05	c learnt constraints	: 5114137
3600.08/3585.05	c ignored constraints	: 0
3600.08/3585.05	c root simplifications	: 0
3600.08/3585.05	c removed literals (reason simplification)	: 178898184
3600.08/3585.05	c reason swapping (by a shorter reason)	: 0
3600.08/3585.06	c Calls to reduceDB	: 96
3600.08/3585.06	c Number of update (reduction) of LBD	: 4848632
3600.08/3585.06	c Imported unit clauses	: 0
3600.08/3585.06	c No decision after first conflict	: false
3600.08/3585.06	c number of reductions to clauses (during analyze)	: 0
3600.08/3585.06	c number of learned constraints concerned by reduction	: 0
3600.08/3585.06	c number of learning phase by resolution	: 0
3600.08/3585.06	c number of learning phase by cutting planes	: 0
3600.08/3585.06	c number of rounding to 1 operations	: 0
3600.08/3585.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3585.06	c number of reductions of the coefficients by power 2 	: 0
3600.08/3585.06	c number of right shift for reduction by power 2 	: 0
3600.08/3585.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3585.06	c number of ending skipping 	: 0
3600.08/3585.06	c number of internal skipping 	: 0
3600.08/3585.06	c number of derivation steps 	: 0
3600.08/3585.06	c number of skipped derivation steps 	: 0
3600.08/3585.06	c number of remaining unassigned 	: 0
3600.08/3585.06	c number of remaining assigned 	: 0
3600.08/3585.06	c number of falsified literals weakened from reason	: 0
3600.08/3585.06	c number of falsified literals weakened from conflict	: 0
3600.08/3585.06	c time for arithmetic operations	: 0
3600.08/3585.06	c minimum degree of deleted constraints	: null
3600.08/3585.06	c maximum degree of deleted constraints	: null
3600.08/3585.06	c number of deleted constraints	: 0
3600.08/3585.06	c speed (assignments/second)	: 509310.0534945843
3600.08/3585.06	c non guided choices	: 1058
3600.28/3585.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 244342
3600.28/3585.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 92282
3600.28/3585.14	s UNKNOWN
3600.28/3585.14	c Total wall clock time (in seconds): 3584.849

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

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


[startup+0.100098 s]*
/proc/loadavg: 4.57 4.31 4.26 7/330 21381
/proc/meminfo: memFree=128481824/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=18930384 memory=50712 CPUtime=0.12 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 5847 0 0 0 10 2 0 0 20 0 18 0 34685617 19384713216 12678 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4732596 12678 5339 1 0 547057 0
[pid=21363/tid=21365] ppid=21360 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 4733 0 0 0 6 1 0 0 20 0 18 0 34685619 19384713216 12678 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34685622 19384713216 12678 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34685623 19384713216 12678 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50712 KiB

[startup+0.2094 s]*
/proc/loadavg: 4.57 4.31 4.26 5/330 21381
/proc/meminfo: memFree=128477488/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=18930384 memory=59496 CPUtime=0.29 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 6492 0 0 0 26 3 0 0 20 0 18 0 34685617 19384713216 14874 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4732596 14874 5339 1 0 547623 0
[pid=21363/tid=21365] ppid=21360 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 5066 0 0 0 17 2 0 0 20 0 18 0 34685619 19384713216 14874 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34685622 19384713216 14874 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34685623 19384713216 14874 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59496 KiB

[startup+0.310204 s]*
/proc/loadavg: 4.57 4.31 4.26 7/330 21381
/proc/meminfo: memFree=128452632/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=18930384 memory=60776 CPUtime=0.47 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 6750 0 0 0 44 3 0 0 20 0 18 0 34685617 19384713216 15194 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4732596 15194 5435 1 0 547832 0
[pid=21363/tid=21365] ppid=21360 vsize=18930384 memory=-6000919507049605997 CPUtime=0.3 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 5256 0 0 0 28 2 0 0 20 0 18 0 34685619 19384713216 15194 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34685622 19384713216 15194 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34685623 19384713216 15194 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60776 KiB

[startup+0.700253 s]
/proc/loadavg: 4.57 4.31 4.26 6/330 21381
/proc/meminfo: memFree=128420684/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=18996948 memory=97252 CPUtime=1.18 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 8615 0 0 0 113 5 0 0 20 0 19 0 34685617 19452874752 24313 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4749237 24313 5435 1 0 549476 0
[pid=21363/tid=21365] ppid=21360 vsize=18996948 memory=17024 CPUtime=0.58 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 5356 0 0 0 55 3 0 0 20 0 19 0 34685619 19452874752 24313 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34685622 19452874752 24313 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 34685623 19452874752 24313 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97252 KiB

[startup+1.50025 s]
/proc/loadavg: 4.57 4.31 4.26 6/331 21382
/proc/meminfo: memFree=128341268/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=169776 CPUtime=2.76 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 15593 0 0 0 267 9 0 0 20 0 20 0 34685617 19521036288 42444 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 42444 5467 1 0 551848 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=3200 CPUtime=1.34 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 5809 0 0 0 129 5 0 0 20 0 20 0 34685619 19521036288 42444 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 42444 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 42444 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 42444 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169776 KiB

[startup+3.10561 s]
/proc/loadavg: 4.57 4.31 4.26 5/332 21383
/proc/meminfo: memFree=128257312/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=182064 CPUtime=5.81 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 19156 0 0 0 571 10 0 0 20 0 20 0 34685617 19521036288 45516 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 45516 5467 1 0 552133 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=14464 CPUtime=2.85 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) S 21360 21363 20294 0 -1 4194368 6706 0 0 0 279 6 0 0 20 0 20 0 34685619 19521036288 45516 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 45516 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 45516 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 45516 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182064 KiB

[startup+6.30039 s]
/proc/loadavg: 4.61 4.33 4.27 5/332 21383
/proc/meminfo: memFree=128100608/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=207336 CPUtime=9.87 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 23369 0 0 0 974 13 0 0 20 0 20 0 34685617 19521036288 51834 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 51834 5467 1 0 554189 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=0 CPUtime=5.87 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 6720 0 0 0 580 7 0 0 20 0 20 0 34685619 19521036288 51834 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 51834 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 51834 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=169776 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 51834 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 9.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 207336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.56 4.32 4.27 5/332 21383
/proc/meminfo: memFree=126448304/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=516532 CPUtime=16.41 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 28091 0 0 0 1618 23 0 0 20 0 20 0 34685617 19521036288 129133 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 129133 5499 1 0 740088 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=169776 CPUtime=11.98 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 7734 0 0 0 1183 15 0 0 20 0 20 0 34685619 19521036288 129133 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=516532 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 129133 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 129133 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 129133 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 516532 KiB

[startup+25.5003 s]
/proc/loadavg: 4.94 4.42 4.30 5/332 21383
/proc/meminfo: memFree=124658372/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=1114968 CPUtime=29.3 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 31777 0 0 0 2891 39 0 0 20 0 20 0 34685617 19521036288 278742 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 278742 5499 1 0 963600 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=0 CPUtime=24.27 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 8777 0 0 0 2400 27 0 0 20 0 20 0 34685619 19521036288 278742 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 278742 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=1114968 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 278742 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=1006260 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 278742 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1114968 KiB

[startup+51.1136 s]
/proc/loadavg: 4.62 4.38 4.29 5/332 21383
/proc/meminfo: memFree=123334496/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=1504364 CPUtime=55.19 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 35568 0 0 0 5461 58 0 0 20 0 20 0 34685617 19521036288 376091 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 376091 5499 1 0 963602 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=1133456 CPUtime=49.42 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 10148 0 0 0 4903 39 0 0 20 0 20 0 34685619 19521036288 376091 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=26520 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 376091 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 66 0 0 0 0 0 0 0 20 0 20 0 34685623 19521036288 376091 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0

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

[startup+3282.3 s]
/proc/loadavg: 4.21 4.32 4.24 5/331 21551
/proc/meminfo: memFree=92486416/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3295.6 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 191286 0 0 0 328393 1167 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=14464 CPUtime=3227.5 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 108032 0 0 0 321826 924 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2440 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3295.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.34 4.26 5/331 21553
/proc/meminfo: memFree=92079252/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3355.85 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 194538 0 0 0 334400 1185 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3286.71 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 110382 0 0 0 327731 940 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2497 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3355.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.35 4.27 5/332 21560
/proc/meminfo: memFree=91618540/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3415.97 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 196952 0 0 0 340394 1203 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3345.98 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 111938 0 0 0 333643 955 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2525 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3415.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.81 4.49 4.32 5/332 21562
/proc/meminfo: memFree=91191624/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3476.26 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 199231 0 0 0 346405 1221 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3405.17 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 113956 0 0 0 339547 970 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=11264 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2599 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3476.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.62 4.49 4.33 5/330 21564
/proc/meminfo: memFree=90893328/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3537.36 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 206098 0 0 0 352497 1239 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3464.3 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 118478 0 0 0 345445 985 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2719 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3537.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

[startup+3582.3 s]
/proc/loadavg: 2.96 4.08 4.20 2/255 21667
/proc/meminfo: memFree=116512988/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3597.37 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 208672 0 0 0 358479 1258 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3523.65 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 120193 0 0 0 351364 1001 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2789 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3597.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585 s]*
/proc/loadavg: 2.80 4.03 4.18 2/255 21667
/proc/meminfo: memFree=116513020/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19063512 memory=6485832 CPUtime=3600.08 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 208672 0 0 0 358749 1259 0 0 20 0 20 0 34685617 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4765878 1621458 5499 1 0 1637107 0
[pid=21363/tid=21365] ppid=21360 vsize=19063512 memory=-6000919507049605997 CPUtime=3526.36 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) R 21360 21363 20294 0 -1 4194368 120193 0 0 0 351634 1002 0 0 20 0 20 0 34685619 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34685622 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19063512 memory=9088 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2789 0 0 0 1 0 0 0 20 0 20 0 34685623 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21382] ppid=21360 vsize=19063512 memory=22964 CPUtime=0 cores=4,6
/proc/21363/task/21382/stat : 21382 (Timer-0) S 21360 21363 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34685676 19521036288 1621458 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6485832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.72 s, system=12.6307 s

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

[startup+3585.12 s]
/proc/loadavg: 2.80 4.03 4.18 2/255 21667
/proc/meminfo: memFree=116513020/131382120 swapFree=33010684/33010684
[pid=21363] ppid=21360 vsize=19263204 memory=6486728 CPUtime=3600.28 cores=4,6
/proc/21363/stat : 21363 (java) S 21360 21363 20294 0 -1 4194304 210872 0 0 0 358768 1260 0 0 20 0 21 0 34685617 19725520896 1621682 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
/proc/21363/statm: 4815801 1621682 5531 1 0 1638030 0
[pid=21363/tid=21365] ppid=21360 vsize=19263204 memory=6485832 CPUtime=3526.39 cores=4,6
/proc/21363/task/21365/stat : 21365 (java) S 21360 21363 20294 0 -1 4194368 120476 0 0 0 351636 1003 0 0 20 0 21 0 34685619 19725520896 1621682 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21374] ppid=21360 vsize=19263204 memory=6485832 CPUtime=0 cores=4,6
/proc/21363/task/21374/stat : 21374 (Finalizer) S 21360 21363 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34685622 19725520896 1621682 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
[pid=21363/tid=21381] ppid=21360 vsize=19263204 memory=6485832 CPUtime=0.01 cores=4,6
/proc/21363/task/21381/stat : 21381 (Common-Cleaner) S 21360 21363 20294 0 -1 4194368 2789 0 0 0 1 0 0 0 20 0 21 0 34685623 19725520896 1621682 18446744073709551615 94497898364928 94497898368624 140733067707488 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94497898376440 94497898377232 94497909592064 140733067712816 140733067712998 140733067712998 140733067718600 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6486728 KiB

Child status: 143

Real time (s): 3585.18
CPU time (s): 3600.35
CPU user time (s): 3587.72
CPU system time (s): 12.6307
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6486728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.72
system time used= 12.6307
maximum resident set size= 6486856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14763656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116221
involuntary context switches= 14464


# summary of solver processes directly reported to runsolver:
#   pid: 21363
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3587.72
#   total CPU system time (s): 12.6307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0901 second user time and 37.0596 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=334202659

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		: 3491.902
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		: 3491.902
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.398
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.851
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.222
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		: 3491.902
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		: 1796.635
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.645
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:        128509684 kB
MemAvailable:   128274132 kB
Buffers:            3280 kB
Cached:           575952 kB
SwapCached:            0 kB
Active:          2037144 kB
Inactive:         328188 kB
Active(anon):    1804172 kB
Inactive(anon):        0 kB
Active(file):     232972 kB
Inactive(file):   328188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            131304 kB
Writeback:            16 kB
AnonPages:       1789360 kB
Mapped:           122236 kB
Shmem:             17960 kB
KReclaimable:      85828 kB
Slab:             172332 kB
SReclaimable:      85828 kB
SUnreclaim:        86504 kB
KernelStack:        5040 kB
PageTables:         7172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7744564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1568768 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= 433060 MiB
End job on nodeC002 at 2025-06-29 12:40:53