Trace number 4507489

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.22 3582.32

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
MD5SUMb65f6b5f7cc62b44e438e625661039cb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark130.979
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5916
Total number of constraints6092
Number of constraints which are clauses6005
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
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 88
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4507489-1751191606.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.32/0.28	c ... done. Wall clock time 0.144s.
0.32/0.28	c declared #vars     5916
0.32/0.28	c #constraints  6092
0.32/0.28	c constraints type 
0.32/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1118
0.32/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 87
0.32/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
0.32/0.28	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.32/0.28	c 6092 constraints processed.
3.26/1.70	c cleaning 2488 clauses out of 4987 with flag 23470/5000
5.28/2.87	c cleaning 4239 clauses out of 8490 with flag 60261/11001
7.00/4.16	c cleaning 5603 clauses out of 11244 with flag 106876/18000
8.53/5.60	c cleaning 6803 clauses out of 13639 with flag 156047/26001
10.38/7.43	c cleaning 7906 clauses out of 15833 with flag 209928/35000
12.40/9.47	c cleaning 8932 clauses out of 17918 with flag 270258/45000
14.71/11.72	c cleaning 9315 clauses out of 19986 with flag 328607/56001
17.22/14.21	c cleaning 10184 clauses out of 22661 with flag 396106/68000
19.87/16.81	c cleaning 11001 clauses out of 25469 with flag 470319/81000
23.12/20.10	c cleaning 12102 clauses out of 28465 with flag 557610/95000
26.43/23.37	c cleaning 12731 clauses out of 31358 with flag 643263/110001
30.06/27.00	c cleaning 13426 clauses out of 34625 with flag 736949/126001
34.13/30.93	c cleaning 14471 clauses out of 38197 with flag 838957/143000
38.31/35.02	c cleaning 15435 clauses out of 41724 with flag 948606/161001
42.93/39.75	c cleaning 16327 clauses out of 45285 with flag 1065421/180000
47.73/44.55	c cleaning 17076 clauses out of 48957 with flag 1190669/200000
53.19/50.00	c cleaning 18066 clauses out of 52878 with flag 1330124/221000
58.97/55.67	c cleaning 19052 clauses out of 56812 with flag 1473244/243000
64.95/61.67	c cleaning 19757 clauses out of 60759 with flag 1623639/266000
71.55/68.36	c cleaning 20831 clauses out of 65000 with flag 1785595/290000
78.43/75.13	c cleaning 21777 clauses out of 69172 with flag 1951397/315006
85.99/82.69	c cleaning 22637 clauses out of 73389 with flag 2126223/341001
93.38/90.10	c cleaning 23344 clauses out of 77749 with flag 2306254/368001
101.76/98.50	c cleaning 24536 clauses out of 82408 with flag 2498047/396006
110.53/107.22	c cleaning 25355 clauses out of 86868 with flag 2706253/425002
119.98/116.66	c cleaning 26285 clauses out of 91512 with flag 2914869/455001
130.05/126.66	c cleaning 27237 clauses out of 96227 with flag 3154952/486002
140.36/137.02	c cleaning 28121 clauses out of 100989 with flag 3401174/518001
151.24/147.87	c cleaning 29335 clauses out of 105868 with flag 3650854/551001
162.41/158.98	c cleaning 30161 clauses out of 110530 with flag 3911150/585000
174.61/171.17	c cleaning 31154 clauses out of 115373 with flag 4173762/620005
187.15/183.61	c cleaning 32367 clauses out of 120214 with flag 4450123/656000
200.34/196.97	c cleaning 33175 clauses out of 124848 with flag 4744772/693001
214.65/211.13	c cleaning 33920 clauses out of 129671 with flag 5048173/731000
230.10/226.45	c cleaning 35204 clauses out of 134751 with flag 5362076/770000
245.50/241.78	c cleaning 36347 clauses out of 139547 with flag 5687512/810000
261.59/257.98	c cleaning 36789 clauses out of 144202 with flag 6077452/851002
278.94/275.19	c cleaning 37884 clauses out of 149411 with flag 6503769/893003
296.95/293.36	c cleaning 39132 clauses out of 154525 with flag 6883627/936001
314.79/311.02	c cleaning 40188 clauses out of 159391 with flag 7272019/980000
333.73/330.13	c cleaning 40843 clauses out of 164203 with flag 7687943/1025000
354.42/351.52	c cleaning 42158 clauses out of 169360 with flag 8162304/1071000
375.95/372.94	c cleaning 43399 clauses out of 174205 with flag 8676794/1118003
398.61/395.51	c cleaning 44184 clauses out of 178803 with flag 9141931/1166000
420.85/417.77	c cleaning 45116 clauses out of 183619 with flag 9612967/1215001
444.51/441.84	c cleaning 46269 clauses out of 188502 with flag 10146086/1265000
469.33/466.33	c cleaning 47274 clauses out of 193233 with flag 10678611/1316000
495.28/492.29	c cleaning 48106 clauses out of 197961 with flag 11181413/1368003
522.39/519.22	c cleaning 49375 clauses out of 202852 with flag 11723069/1421000
549.84/546.65	c cleaning 50485 clauses out of 207476 with flag 12255204/1475000
578.69/575.35	c cleaning 51319 clauses out of 211992 with flag 12840470/1530001
609.75/606.34	c cleaning 52284 clauses out of 216675 with flag 13490969/1586003
639.91/636.38	c cleaning 53425 clauses out of 221388 with flag 14095632/1643000
672.41/668.78	c cleaning 54235 clauses out of 225964 with flag 14731029/1701001
705.44/701.40	c cleaning 55416 clauses out of 230729 with flag 15394085/1760001
738.69/734.62	c cleaning 56854 clauses out of 235311 with flag 16055776/1820000
774.65/770.43	c cleaning 57359 clauses out of 239457 with flag 16763169/1881001
810.39/806.04	c cleaning 58498 clauses out of 244098 with flag 17435016/1943002
848.58/843.90	c cleaning 59466 clauses out of 248601 with flag 18155937/2006003
887.69/883.00	c cleaning 60644 clauses out of 253131 with flag 18863721/2070000
931.60/926.71	c cleaning 61398 clauses out of 257487 with flag 19652388/2135001
972.65/967.77	c cleaning 62674 clauses out of 262089 with flag 20421442/2201002
1015.22/1009.96	c cleaning 63465 clauses out of 266414 with flag 21169791/2268001
1061.56/1056.20	c cleaning 64761 clauses out of 270950 with flag 22091000/2336002
1106.94/1101.56	c cleaning 65939 clauses out of 275188 with flag 22948773/2405001
1154.58/1148.98	c cleaning 66968 clauses out of 279249 with flag 23865401/2475001
1202.83/1197.09	c cleaning 68005 clauses out of 283279 with flag 24772658/2546000
1253.56/1247.77	c cleaning 69011 clauses out of 287275 with flag 25784878/2618001
1305.61/1299.46	c cleaning 70351 clauses out of 291263 with flag 26784660/2691000
1362.02/1355.83	c cleaning 71420 clauses out of 294914 with flag 27910269/2765002
1429.10/1422.31	c cleaning 72349 clauses out of 298494 with flag 29409509/2840002
1487.23/1480.35	c cleaning 73547 clauses out of 302144 with flag 30698715/2916001
1541.86/1534.67	c cleaning 74106 clauses out of 305601 with flag 31643691/2993005
1605.97/1598.51	c cleaning 75182 clauses out of 309490 with flag 32766117/3071001
1664.85/1657.01	c cleaning 76581 clauses out of 313309 with flag 33865635/3150002
1721.30/1714.08	c cleaning 77432 clauses out of 316726 with flag 34830568/3230001
1785.10/1777.19	c cleaning 78328 clauses out of 320292 with flag 35795996/3311000
1844.94/1836.88	c cleaning 79688 clauses out of 323965 with flag 36796463/3393001
1911.36/1902.93	c cleaning 80501 clauses out of 327276 with flag 37867941/3476000
1979.74/1971.07	c cleaning 81519 clauses out of 330777 with flag 38966255/3560002
2054.64/2045.39	c cleaning 82191 clauses out of 334259 with flag 40233120/3645003
2127.23/2117.66	c cleaning 83299 clauses out of 338066 with flag 41511811/3731001
2201.38/2191.30	c cleaning 84680 clauses out of 341768 with flag 42774591/3818002
2275.62/2265.39	c cleaning 85425 clauses out of 345086 with flag 43998389/3906000
2347.91/2338.03	c cleaning 86559 clauses out of 348661 with flag 45106804/3995000
2429.07/2418.80	c cleaning 87529 clauses out of 352102 with flag 46352871/4085000
2504.21/2493.48	c cleaning 88543 clauses out of 355575 with flag 47528664/4176002
2587.05/2576.01	c cleaning 89744 clauses out of 359031 with flag 48749803/4268002
2663.70/2652.14	c cleaning 91032 clauses out of 362285 with flag 49913608/4361000
2748.99/2738.04	c cleaning 91778 clauses out of 365254 with flag 51156894/4455001
2837.15/2825.89	c cleaning 92722 clauses out of 368479 with flag 52536059/4550004
2947.25/2935.48	c cleaning 93425 clauses out of 371753 with flag 54465931/4646000
3035.41/3022.88	c cleaning 95115 clauses out of 375327 with flag 55843249/4743000
3127.75/3114.39	c cleaning 95990 clauses out of 378213 with flag 57271355/4841001
3221.19/3206.81	c cleaning 97037 clauses out of 381221 with flag 58759691/4940000
3317.42/3302.11	c cleaning 97405 clauses out of 384188 with flag 60209252/5040004
3420.86/3404.65	c cleaning 98692 clauses out of 387779 with flag 61702642/5141000
3534.13/3516.92	c cleaning 99616 clauses out of 391088 with flag 63811579/5243001
3600.05/3582.21	c starts		: 48343
3600.05/3582.21	c timeout
3600.05/3582.23	c conflicts		: 5327822
3600.05/3582.23	c decisions		: 62951526
3600.05/3582.23	c propagations		: 1939899822
3600.05/3582.23	c inspects		: 23658470064
3600.05/3582.23	c shortcuts		: 0
3600.05/3582.23	c learnt literals	: 121
3600.05/3582.23	c learnt binary clauses	: 103087
3600.05/3582.23	c learnt ternary clauses	: 125656
3600.05/3582.23	c learnt constraints	: 5327701
3600.05/3582.23	c ignored constraints	: 0
3600.05/3582.23	c root simplifications	: 0
3600.05/3582.23	c removed literals (reason simplification)	: 169824437
3600.05/3582.23	c reason swapping (by a shorter reason)	: 0
3600.05/3582.23	c Calls to reduceDB	: 98
3600.05/3582.23	c Number of update (reduction) of LBD	: 4933161
3600.05/3582.23	c Imported unit clauses	: 0
3600.05/3582.23	c No decision after first conflict	: false
3600.05/3582.23	c number of reductions to clauses (during analyze)	: 0
3600.05/3582.23	c number of learned constraints concerned by reduction	: 0
3600.05/3582.23	c number of learning phase by resolution	: 0
3600.05/3582.23	c number of learning phase by cutting planes	: 0
3600.05/3582.23	c number of rounding to 1 operations	: 0
3600.05/3582.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3582.23	c number of reductions of the coefficients by power 2 	: 0
3600.05/3582.23	c number of right shift for reduction by power 2 	: 0
3600.05/3582.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3582.23	c number of ending skipping 	: 0
3600.05/3582.23	c number of internal skipping 	: 0
3600.05/3582.23	c number of derivation steps 	: 0
3600.05/3582.23	c number of skipped derivation steps 	: 0
3600.05/3582.23	c number of remaining unassigned 	: 0
3600.05/3582.23	c number of remaining assigned 	: 0
3600.05/3582.23	c number of falsified literals weakened from reason	: 0
3600.05/3582.23	c number of falsified literals weakened from conflict	: 0
3600.05/3582.23	c time for arithmetic operations	: 0
3600.05/3582.23	c minimum degree of deleted constraints	: null
3600.05/3582.23	c maximum degree of deleted constraints	: null
3600.05/3582.23	c number of deleted constraints	: 0
3600.05/3582.23	c speed (assignments/second)	: 541577.5242654615
3600.05/3582.23	c non guided choices	: 3316
3600.19/3582.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 273205
3600.19/3582.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 103087
3600.19/3582.31	s UNKNOWN
3600.19/3582.31	c Total wall clock time (in seconds): 3582.181

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=25050, runsolver pid=25031

[startup+0.10006 s]*
/proc/loadavg: 1.05 2.12 3.20 9/336 25107
/proc/meminfo: memFree=129947848/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=18930384 memory=57808 CPUtime=0.13 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 6573 0 0 0 11 2 0 0 20 0 18 0 34838384 19384713216 14452 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4732596 14452 5348 1 0 547620 0
[pid=25050/tid=25069] ppid=25031 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 5072 0 0 0 7 1 0 0 20 0 18 0 34838385 19384713216 14452 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34838387 19384713216 14452 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34838388 19384713216 14452 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57808 KiB

[startup+0.205875 s]*
/proc/loadavg: 1.05 2.12 3.20 12/336 25107
/proc/meminfo: memFree=129894740/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=18930384 memory=66392 CPUtime=0.32 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 7093 0 0 0 30 2 0 0 20 0 18 0 34838384 19384713216 16598 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4732596 16598 5444 1 0 547972 0
[pid=25050/tid=25069] ppid=25031 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 5279 0 0 0 15 1 0 0 20 0 18 0 34838385 19384713216 16598 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34838387 19384713216 16598 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34838388 19384713216 16598 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66392 KiB

[startup+0.305823 s]*
/proc/loadavg: 1.05 2.12 3.20 14/340 25111
/proc/meminfo: memFree=129793036/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=18996948 memory=93696 CPUtime=0.51 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 8744 0 0 0 48 3 0 0 20 0 19 0 34838384 19452874752 23424 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4749237 23424 5444 1 0 549407 0
[pid=25050/tid=25069] ppid=25031 vsize=18996948 memory=-6000919502805165933 CPUtime=0.24 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 5354 0 0 0 22 2 0 0 20 0 19 0 34838385 19452874752 23424 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34838387 19452874752 23424 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34838388 19452874752 23424 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (java) R 25031 25050 24970 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 34838413 19452874752 23424 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93696 KiB

[startup+0.700242 s]
/proc/loadavg: 1.05 2.12 3.20 10/340 25111
/proc/meminfo: memFree=129700796/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=18996948 memory=128980 CPUtime=1.27 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 11627 0 0 0 123 4 0 0 20 0 19 0 34838384 19452874752 32245 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4749237 32245 5444 1 0 551322 0
[pid=25050/tid=25069] ppid=25031 vsize=18996948 memory=17280 CPUtime=0.61 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 5394 0 0 0 58 3 0 0 20 0 19 0 34838385 19452874752 32245 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34838387 19452874752 32245 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34838388 19452874752 32245 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34838413 19452874752 32245 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128980 KiB

[startup+1.50024 s]
/proc/loadavg: 1.61 2.21 3.22 10/341 25112
/proc/meminfo: memFree=129500304/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=175108 CPUtime=2.86 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 19198 0 1 0 279 7 0 0 20 0 20 0 34838384 19521036288 43777 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 43777 5508 1 0 553106 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=0 CPUtime=1.38 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 5711 0 0 0 134 4 0 0 20 0 20 0 34838385 19521036288 43777 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 43777 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 43777 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 43777 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175108 KiB

[startup+3.10602 s]
/proc/loadavg: 1.61 2.21 3.22 6/344 25115
/proc/meminfo: memFree=129393100/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=185188 CPUtime=5.82 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 23620 0 1 0 574 8 0 0 20 0 20 0 34838384 19521036288 46297 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 46297 5508 1 0 554384 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=10752 CPUtime=2.93 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 6762 0 0 0 288 5 0 0 20 0 20 0 34838385 19521036288 46297 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=-6000919502805165933 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 46297 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 46297 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 46297 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185188 KiB

[startup+6.30019 s]
/proc/loadavg: 1.80 2.24 3.23 5/344 25115
/proc/meminfo: memFree=128723752/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=429864 CPUtime=9.27 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 23966 0 1 0 913 14 0 0 20 0 20 0 34838384 19521036288 107466 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 107466 5508 1 0 554387 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=0 CPUtime=6.09 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 7010 0 0 0 599 10 0 0 20 0 20 0 34838385 19521036288 107466 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 107466 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 107466 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=175108 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 107466 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 9.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429864 KiB

[startup+12.7002 s]
/proc/loadavg: 1.98 2.27 3.23 5/343 25115
/proc/meminfo: memFree=128247480/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=440136 CPUtime=15.7 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 25311 0 1 0 1554 16 0 0 20 0 20 0 34838384 19521036288 110034 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 110034 5508 1 0 554387 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=175108 CPUtime=12.42 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 7887 0 0 0 1230 12 0 0 20 0 20 0 34838385 19521036288 110034 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=440136 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 110034 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 110034 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 110034 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 15.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 440136 KiB

[startup+25.5002 s]
/proc/loadavg: 2.37 2.35 3.25 5/343 25115
/proc/meminfo: memFree=126686044/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=663628 CPUtime=28.66 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 29997 0 1 0 2840 26 0 0 20 0 20 0 34838384 19521036288 165907 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 165907 5508 1 0 554403 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=10752 CPUtime=25 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 8915 0 0 0 2482 18 0 0 20 0 20 0 34838385 19521036288 165907 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=62913553629956 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 165907 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 165907 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 165907 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 28.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 663628 KiB

[startup+51.1056 s]
/proc/loadavg: 3.01 2.51 3.27 6/345 25117
/proc/meminfo: memFree=124133524/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=1224892 CPUtime=54.38 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 34901 0 1 0 5390 48 0 0 20 0 20 0 34838384 19521036288 306223 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 306223 5508 1 0 554403 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=14824 CPUtime=50.17 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 10031 0 0 0 4984 33 0 0 20 0 20 0 34838385 19521036288 306223 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0

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

Current children cumulated memory: 2180208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.14 5/345 25628
/proc/meminfo: memFree=107157500/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2180208 CPUtime=3296.91 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 154222 0 1 0 328711 980 0 0 20 0 20 0 34838384 19521036288 545052 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 545052 5508 1 0 556400 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=2180208 CPUtime=3232.87 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 68698 0 0 0 322431 856 0 0 20 0 20 0 34838385 19521036288 545052 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=2180208 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 545052 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=2180208 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 545052 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 545052 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3296.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.14 5/346 25631
/proc/meminfo: memFree=106219072/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2180336 CPUtime=3357.67 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 154538 0 1 0 334769 998 0 0 20 0 20 0 34838384 19521036288 545084 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 545084 5508 1 0 556440 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=2180336 CPUtime=3292.23 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 68907 0 0 0 328350 873 0 0 20 0 20 0 34838385 19521036288 545084 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=-6000919502805165933 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 545084 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=2180336 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 545084 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 545084 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3357.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/344 25633
/proc/meminfo: memFree=105586096/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2184176 CPUtime=3418.43 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 155522 0 1 0 340831 1012 0 0 20 0 20 0 34838384 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 546044 5508 1 0 556528 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=2180336 CPUtime=3351.55 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 69753 0 0 0 334270 885 0 0 20 0 20 0 34838385 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=2180336 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3418.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/345 25636
/proc/meminfo: memFree=104858996/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2184176 CPUtime=3478.76 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 157813 0 1 0 346845 1031 0 0 20 0 20 0 34838384 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 546044 5508 1 0 556528 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=2184176 CPUtime=3410.71 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 71133 0 0 0 340169 902 0 0 20 0 20 0 34838385 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=2180336 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=2180336 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1441 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3478.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.14 6/346 25639
/proc/meminfo: memFree=104136812/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2184176 CPUtime=3539.56 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 161025 0 1 0 352911 1045 0 0 20 0 20 0 34838384 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 546044 5508 1 0 556528 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=10752 CPUtime=3469.97 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 72877 0 0 0 346083 914 0 0 20 0 20 0 34838385 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=2184176 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=2184176 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3539.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.2 s]
/proc/loadavg: 4.40 4.22 4.16 5/346 25641
/proc/meminfo: memFree=103499744/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19063512 memory=2184176 CPUtime=3600.05 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 162131 0 1 0 358941 1064 0 0 20 0 20 0 34838384 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4765878 546044 5508 1 0 556528 0
[pid=25050/tid=25069] ppid=25031 vsize=19063512 memory=2166856 CPUtime=3529.1 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) R 25031 25050 24970 0 -1 4194368 72943 0 0 0 351980 930 0 0 20 0 20 0 34838385 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19063512 memory=6752 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34838387 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19063512 memory=-6000919502805165933 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 34838388 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25111] ppid=25031 vsize=19063512 memory=245635481903 CPUtime=0 cores=1,3
/proc/25050/task/25111/stat : 25111 (Timer-0) S 25031 25050 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34838413 19521036288 546044 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184176 KiB

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

[startup+3582.31 s]
/proc/loadavg: 4.40 4.22 4.16 5/346 25641
/proc/meminfo: memFree=103499744/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19263204 memory=2185072 CPUtime=3600.19 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 163458 0 1 0 358955 1064 0 0 20 0 21 0 34838384 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4815801 546268 5540 1 0 557461 0
[pid=25050/tid=25069] ppid=25031 vsize=19263204 memory=2184176 CPUtime=3529.12 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) S 25031 25050 24970 0 -1 4194368 73112 0 0 0 351981 931 0 0 20 0 21 0 34838385 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19263204 memory=17280 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34838387 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19263204 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 21 0 34838388 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2185072 KiB

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

# cumulated CPU time of all completed processes:  user=3589.57 s, system=10.6564 s

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

[startup+3582.31 s]
/proc/loadavg: 4.40 4.22 4.16 5/346 25641
/proc/meminfo: memFree=103499744/131249996 swapFree=33010684/33010684
[pid=25050] ppid=25031 vsize=19263204 memory=2185072 CPUtime=3600.19 cores=1,3
/proc/25050/stat : 25050 (java) S 25031 25050 24970 0 -1 4194304 163458 0 1 0 358955 1064 0 0 20 0 21 0 34838384 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
/proc/25050/statm: 4815801 546268 5540 1 0 557461 0
[pid=25050/tid=25069] ppid=25031 vsize=19263204 memory=2184176 CPUtime=3529.12 cores=1,3
/proc/25050/task/25069/stat : 25069 (java) S 25031 25050 24970 0 -1 4194368 73112 0 0 0 351981 931 0 0 20 0 21 0 34838385 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25100] ppid=25031 vsize=19263204 memory=17280 CPUtime=0 cores=1,3
/proc/25050/task/25100/stat : 25100 (Finalizer) S 25031 25050 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34838387 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
[pid=25050/tid=25107] ppid=25031 vsize=19263204 memory=14824 CPUtime=0 cores=1,3
/proc/25050/task/25107/stat : 25107 (Common-Cleaner) S 25031 25050 24970 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 21 0 34838388 19725520896 546268 18446744073709551615 94497486004224 94497486007920 140727588154080 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94497486015736 94497486016528 94497486516224 140727588157744 140727588157926 140727588157926 140727588163528 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2185072 KiB

Child status: 143

Real time (s): 3582.32
CPU time (s): 3600.22
CPU user time (s): 3589.57
CPU system time (s): 10.6564
CPU usage (%): 100.5
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2185072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.57
system time used= 10.6564
maximum resident set size= 2185072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163567
page faults= 1
swaps= 0
block input operations= 256
block output operations= 15751576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121754
involuntary context switches= 13335


# summary of solver processes directly reported to runsolver:
#   pid: 25050
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3589.57
#   total CPU system time (s): 10.6564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17094 second user time and 17.4883 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 12:06:46
IDJOB=4507489
IDBENCH=158355
IDSOLVER=3364
FILE ID=nodeC017/4507489-1751191606
RUNJOBID= nodeC017-1751191606-24982
SLURM_JOB_ID= 9587581
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=1350672714

nodeC017 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	: 0xb00002a
cpu MHz		: 3600.469
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.263
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.451
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3599.961
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.140
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.067
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3538.028
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
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	: 0xb00002a
cpu MHz		: 3600.115
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130101412 kB
MemAvailable:   129832032 kB
Buffers:            3280 kB
Cached:           540380 kB
SwapCached:            0 kB
Active:           325744 kB
Inactive:         286852 kB
Active(anon):      87016 kB
Inactive(anon):        0 kB
Active(file):     238728 kB
Inactive(file):   286852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4332 kB
Writeback:             0 kB
AnonPages:         72004 kB
Mapped:           102412 kB
Shmem:             18080 kB
KReclaimable:      88156 kB
Slab:             174572 kB
SReclaimable:      88156 kB
SUnreclaim:        86416 kB
KernelStack:        4188 kB
PageTables:         2780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 13:06:29