Trace number 4486617

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.22 3618.8

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUMf9f2b1fc4917344504b6167976088a05
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark925
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints5250
Number of constraints which are clauses5250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2000
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.31	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.31	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.31	c See www.sat4j.org for details.
0.07/0.31	c version PB25.v20250606
0.07/0.32	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.32	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.32	c java.vm.version	22.0.1+8-16
0.07/0.32	c java.vm.vendor	Oracle Corporation
0.07/0.32	c sun.arch.data.model	64
0.07/0.32	c java.version		22.0.1
0.07/0.32	c os.name		Linux
0.07/0.32	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.07/0.32	c os.arch		amd64
0.07/0.33	c Free memory 		2104792832
0.07/0.33	c Max memory 		16282288128
0.07/0.33	c Total memory 		2113929216
0.07/0.33	c Number of processors 	2
0.07/0.38	c Pseudo Boolean Optimization by upper bound
0.07/0.38	c --- Begin Solver configuration ---
0.07/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.07/0.38	c Learn all clauses as in MiniSAT
0.07/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.38	c Expensive reason simplification
0.07/0.38	c Glucose 2.1 dynamic restart strategy
0.07/0.38	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.07/0.38	c timeout=2147483s
0.07/0.38	c DB Simplification allowed=false
0.07/0.38	c Listener: none
0.07/0.38	c --- End Solver configuration ---
0.07/0.38	c solving HOME/instance-4486617-1751336155.opb
0.07/0.38	c reading problem ... 
0.18/0.41	c using VERIPB proof format
0.18/0.41	c  objective function found
0.37/0.52	c ... done. Wall clock time 0.134s.
0.37/0.52	c declared #vars     2000
0.37/0.52	c #constraints  5250
0.37/0.52	c constraints type 
0.37/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
0.37/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4250
0.37/0.52	c 5250 constraints processed.
0.37/0.55	c objective function length is 2000 literals
1.91/1.38	c cleaning 2494 clauses out of 5000 with flag 32259/5000
3.10/1.97	c cleaning 4247 clauses out of 8506 with flag 73039/11000
4.14/2.59	c cleaning 5626 clauses out of 11259 with flag 117397/18000
5.03/3.34	c cleaning 6811 clauses out of 13633 with flag 191645/26000
6.03/4.23	c cleaning 7910 clauses out of 15823 with flag 292652/35001
7.10/5.25	c cleaning 8956 clauses out of 17917 with flag 375345/45005
8.36/9.74	c cleaning 9975 clauses out of 19957 with flag 489453/56001
9.77/11.12	c cleaning 10987 clauses out of 21981 with flag 620583/68000
11.16/12.54	c cleaning 11989 clauses out of 23995 with flag 774513/81001
12.85/14.21	c cleaning 13000 clauses out of 26008 with flag 926499/95003
14.76/16.13	c cleaning 13993 clauses out of 28005 with flag 1085010/110000
16.75/18.20	c cleaning 15000 clauses out of 30013 with flag 1254434/126001
19.07/20.43	c cleaning 15998 clauses out of 32012 with flag 1415024/143000
21.70/23.02	c cleaning 16996 clauses out of 34014 with flag 1600640/161000
24.39/25.77	c cleaning 18001 clauses out of 36018 with flag 1819660/180000
27.29/28.64	c cleaning 18999 clauses out of 38020 with flag 2064583/200003
30.28/31.66	c cleaning 19999 clauses out of 40018 with flag 2335412/221000
33.58/34.90	c cleaning 21003 clauses out of 42019 with flag 2565684/243000
36.97/38.38	c cleaning 22001 clauses out of 44016 with flag 2790616/266000
40.78/42.29	c cleaning 22998 clauses out of 46016 with flag 3031990/290001
44.67/46.16	c cleaning 23998 clauses out of 48017 with flag 3317592/315000
48.86/50.36	c cleaning 25000 clauses out of 50020 with flag 3610143/341001
53.65/55.15	c cleaning 26003 clauses out of 52019 with flag 3974999/368000
58.34/59.83	c cleaning 27005 clauses out of 54019 with flag 4303824/396003
63.33/64.89	c cleaning 27992 clauses out of 56011 with flag 4605256/425000
69.11/70.68	c cleaning 29000 clauses out of 58020 with flag 4983655/455001
75.36/76.98	c cleaning 30000 clauses out of 60019 with flag 5482983/486000
81.94/83.51	c cleaning 30997 clauses out of 62020 with flag 6040938/518001
88.43/90.03	c cleaning 32007 clauses out of 64023 with flag 6562009/551001
94.81/96.46	c cleaning 33000 clauses out of 66015 with flag 6900690/585000
101.62/103.35	c cleaning 33996 clauses out of 68015 with flag 7202493/620000
109.18/110.91	c cleaning 35002 clauses out of 70019 with flag 7601200/656000
117.16/118.92	c cleaning 35997 clauses out of 72017 with flag 8038008/693000
125.05/126.87	c cleaning 37001 clauses out of 74022 with flag 8395761/731002
134.92/136.85	c cleaning 38001 clauses out of 76021 with flag 8890191/770002
144.01/145.96	c cleaning 39001 clauses out of 78019 with flag 9376901/810001
153.19/155.15	c cleaning 39991 clauses out of 80017 with flag 9831950/851000
163.90/165.96	c cleaning 41007 clauses out of 82026 with flag 10376018/893000
176.18/178.23	c cleaning 41999 clauses out of 84021 with flag 11041785/936002
187.05/189.16	c cleaning 43004 clauses out of 86020 with flag 11639875/980000
198.20/200.38	c cleaning 44002 clauses out of 88017 with flag 12088072/1025001
209.67/211.82	c cleaning 44995 clauses out of 90016 with flag 12574176/1071002
223.31/225.54	c cleaning 45995 clauses out of 92021 with flag 13193149/1118002
237.47/239.73	c cleaning 47007 clauses out of 94024 with flag 13889996/1166000
251.53/253.87	c cleaning 48004 clauses out of 96020 with flag 14570550/1215003
266.96/269.34	c cleaning 48998 clauses out of 98015 with flag 15334917/1265002
280.73/283.13	c cleaning 49992 clauses out of 100015 with flag 15857287/1316000
295.75/298.23	c cleaning 51004 clauses out of 102025 with flag 16436311/1368002
311.70/314.26	c cleaning 52001 clauses out of 104021 with flag 16950597/1421002
328.44/331.01	c cleaning 53005 clauses out of 106022 with flag 17513974/1475004
344.75/347.49	c cleaning 54001 clauses out of 108013 with flag 18059570/1530000
362.81/365.54	c cleaning 54993 clauses out of 110012 with flag 18765459/1586000
381.66/384.44	c cleaning 55999 clauses out of 112020 with flag 19485765/1643001
401.60/404.44	c cleaning 57001 clauses out of 114020 with flag 20255328/1701000
421.64/424.54	c cleaning 57997 clauses out of 116020 with flag 20968959/1760001
442.71/445.82	c cleaning 59006 clauses out of 118022 with flag 21691238/1820000
463.97/467.19	c cleaning 59993 clauses out of 120016 with flag 22401595/1881000
485.69/488.99	c cleaning 61004 clauses out of 122026 with flag 23097224/1943003
506.61/509.93	c cleaning 62001 clauses out of 124019 with flag 23700964/2006000
528.42/531.87	c cleaning 62999 clauses out of 126018 with flag 24236718/2070000
551.86/555.39	c cleaning 63997 clauses out of 128019 with flag 24890393/2135000
575.97/579.54	c cleaning 65008 clauses out of 130023 with flag 25500463/2201001
600.42/604.05	c cleaning 65989 clauses out of 132015 with flag 26109973/2268001
626.52/630.25	c cleaning 67001 clauses out of 134025 with flag 26823265/2336000
656.43/660.21	c cleaning 67996 clauses out of 136025 with flag 27802323/2405001
683.46/687.35	c cleaning 69001 clauses out of 138028 with flag 28568791/2475000
711.88/715.89	c cleaning 70003 clauses out of 140027 with flag 29285405/2546000
741.35/745.35	c cleaning 71006 clauses out of 142025 with flag 30014927/2618001
772.45/776.92	c cleaning 71999 clauses out of 144018 with flag 30724462/2691000
805.02/809.61	c cleaning 73006 clauses out of 146019 with flag 31458644/2765000
837.74/842.52	c cleaning 73997 clauses out of 148015 with flag 32167630/2840002
874.48/879.38	c cleaning 74999 clauses out of 150017 with flag 33048243/2916001
907.52/912.46	c cleaning 75998 clauses out of 152019 with flag 33800468/2993002
941.93/946.99	c cleaning 77003 clauses out of 154019 with flag 34484209/3071000
980.15/985.27	c cleaning 77999 clauses out of 156016 with flag 35307529/3150000
1016.45/1021.67	c cleaning 79007 clauses out of 158018 with flag 36091402/3230001
1056.87/1062.15	c cleaning 79999 clauses out of 160010 with flag 37065820/3311000
1096.30/1101.63	c cleaning 80997 clauses out of 162012 with flag 37843934/3393001
1137.13/1142.51	c cleaning 81993 clauses out of 164014 with flag 38640802/3476000
1178.38/1183.91	c cleaning 83002 clauses out of 166023 with flag 39485141/3560002
1223.80/1229.42	c cleaning 84007 clauses out of 168021 with flag 40459317/3645002
1269.78/1275.51	c cleaning 84996 clauses out of 170012 with flag 41606737/3731000
1316.40/1322.28	c cleaning 85991 clauses out of 172016 with flag 42910128/3818000
1362.40/1368.35	c cleaning 87005 clauses out of 174025 with flag 44296298/3906000
1409.52/1415.52	c cleaning 88000 clauses out of 176020 with flag 45392015/3995000
1459.05/1466.14	c cleaning 89000 clauses out of 178020 with flag 46425254/4085000
1509.92/1517.17	c cleaning 90002 clauses out of 180022 with flag 47380255/4176002
1557.78/1565.14	c cleaning 91004 clauses out of 182018 with flag 48337670/4268000
1611.37/1618.93	c cleaning 91992 clauses out of 184014 with flag 49226917/4361000
1660.27/1667.91	c cleaning 92999 clauses out of 186023 with flag 50218212/4455001
1715.35/1723.44	c cleaning 94006 clauses out of 188023 with flag 51140492/4550000
1768.45/1777.95	c cleaning 94997 clauses out of 190018 with flag 52041872/4646001
1828.93/1840.81	c cleaning 96002 clauses out of 192022 with flag 53299811/4743002
1891.68/1903.80	c cleaning 96996 clauses out of 194019 with flag 54758240/4841001
1955.44/1967.62	c cleaning 98003 clauses out of 196022 with flag 56280335/4940000
2014.01/2026.36	c cleaning 99004 clauses out of 198019 with flag 57265816/5040000
2073.89/2086.61	c cleaning 99996 clauses out of 200016 with flag 58187343/5141001
2134.08/2146.92	c cleaning 101000 clauses out of 202019 with flag 59155770/5243000
2207.09/2220.32	c cleaning 101998 clauses out of 204019 with flag 60516488/5346000
2276.26/2289.67	c cleaning 103001 clauses out of 206022 with flag 62054411/5450001
2343.06/2356.69	c cleaning 104006 clauses out of 208021 with flag 63508627/5555001
2409.19/2422.99	c cleaning 105000 clauses out of 210015 with flag 64774226/5661001
2472.47/2486.31	c cleaning 106000 clauses out of 212014 with flag 65772476/5768000
2543.83/2557.83	c cleaning 106997 clauses out of 214014 with flag 66981043/5876000
2611.11/2625.49	c cleaning 108002 clauses out of 216017 with flag 67934664/5985000
2680.94/2695.64	c cleaning 108999 clauses out of 218015 with flag 68988252/6095000
2752.23/2767.16	c cleaning 110002 clauses out of 220016 with flag 70012439/6206000
2820.91/2836.04	c cleaning 110993 clauses out of 222016 with flag 71015560/6318002
2894.73/2910.08	c cleaning 112001 clauses out of 224021 with flag 72099337/6431000
2974.28/2989.75	c cleaning 112999 clauses out of 226020 with flag 73440307/6545000
3049.62/3065.27	c cleaning 114004 clauses out of 228021 with flag 74428822/6660000
3125.58/3141.50	c cleaning 114994 clauses out of 230019 with flag 75392919/6776002
3213.81/3230.46	c cleaning 116001 clauses out of 232025 with flag 76776736/6893002
3308.67/3325.96	c cleaning 117003 clauses out of 234023 with flag 78456645/7011001
3406.37/3424.12	c cleaning 117992 clauses out of 236019 with flag 80217876/7130000
3493.74/3511.80	c cleaning 118993 clauses out of 238027 with flag 81809632/7250000
3577.22/3595.85	c cleaning 120007 clauses out of 240036 with flag 83192285/7371002
3600.09/3618.71	c starts		: 1769
3600.09/3618.71	c timeout
3600.09/3618.71	c conflicts		: 7416177
3600.09/3618.71	c decisions		: 9597110
3600.09/3618.71	c propagations		: 1772128668
3600.09/3618.71	c inspects		: 36952230110
3600.09/3618.71	c shortcuts		: 0
3600.09/3618.72	c learnt literals	: 0
3600.09/3618.72	c learnt binary clauses	: 0
3600.09/3618.72	c learnt ternary clauses	: 79
3600.09/3618.72	c learnt constraints	: 7416177
3600.09/3618.72	c ignored constraints	: 0
3600.09/3618.72	c root simplifications	: 0
3600.09/3618.72	c removed literals (reason simplification)	: 80239688
3600.09/3618.72	c reason swapping (by a shorter reason)	: 0
3600.09/3618.72	c Calls to reduceDB	: 117
3600.09/3618.72	c Number of update (reduction) of LBD	: 3169194
3600.09/3618.72	c Imported unit clauses	: 0
3600.09/3618.72	c No decision after first conflict	: false
3600.09/3618.72	c number of reductions to clauses (during analyze)	: 0
3600.09/3618.72	c number of learned constraints concerned by reduction	: 0
3600.09/3618.72	c number of learning phase by resolution	: 0
3600.09/3618.72	c number of learning phase by cutting planes	: 0
3600.09/3618.72	c number of rounding to 1 operations	: 0
3600.09/3618.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3618.72	c number of reductions of the coefficients by power 2 	: 0
3600.09/3618.72	c number of right shift for reduction by power 2 	: 0
3600.09/3618.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3618.72	c number of ending skipping 	: 0
3600.09/3618.72	c number of internal skipping 	: 0
3600.09/3618.72	c number of derivation steps 	: 0
3600.09/3618.72	c number of skipped derivation steps 	: 0
3600.09/3618.72	c number of remaining unassigned 	: 0
3600.09/3618.72	c number of remaining assigned 	: 0
3600.09/3618.72	c number of falsified literals weakened from reason	: 0
3600.09/3618.72	c number of falsified literals weakened from conflict	: 0
3600.09/3618.72	c time for arithmetic operations	: 0
3600.09/3618.72	c minimum degree of deleted constraints	: null
3600.09/3618.72	c maximum degree of deleted constraints	: null
3600.09/3618.72	c number of deleted constraints	: 0
3600.09/3618.72	c speed (assignments/second)	: 489788.47704255575
3600.09/3618.72	c non guided choices	: 0
3600.09/3618.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 165204
3600.09/3618.78	s UNKNOWN
3600.09/3618.78	c Total wall clock time (in seconds): 3618.397

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486617-1751336155/watcher-4486617-1751336155 -o /tmp/evaluation-result-4486617-1751336155/solver-4486617-1751336155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49842 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486617-1751336155 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486617-1751336155.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49887, runsolver pid=49881

[startup+0.100055 s]*
/proc/loadavg: 1.28 2.66 3.51 1/258 49892
/proc/meminfo: memFree=128618588/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=404 memory=128 CPUtime=0 cores=4,6
/proc/49887/stat : 49887 (java) D 49881 49887 49831 0 -1 4456448 83 0 0 0 0 0 0 0 20 0 1 0 49293474 413696 32 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 101 32 32 1 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 404 KiB
Current children cumulated memory: 128 KiB

[startup+0.205161 s]*
/proc/loadavg: 1.28 2.66 3.51 1/267 49901
/proc/meminfo: memFree=128617432/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=16932400 memory=16000 CPUtime=0 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 1082 0 0 0 0 0 0 0 20 0 5 0 49293474 17338777600 4000 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4233100 4000 3296 1 0 536973 0
[pid=49887/tid=49897] ppid=49881 vsize=16932400 memory=3472328300254200092 CPUtime=0 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 518 0 0 0 0 0 0 0 20 0 5 0 49293493 17338777600 4528 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49904] ppid=49881 vsize=16932400 memory=16163 CPUtime=0 cores=4,6
/proc/49887/task/49904/stat : 49904 (java) R 49881 49887 49831 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 5 0 49293495 17338777600 4560 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 16932400 KiB
Current children cumulated memory: 16000 KiB

[startup+0.304631 s]*
/proc/loadavg: 1.28 2.66 3.51 5/300 49934
/proc/meminfo: memFree=128575828/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=18930384 memory=49644 CPUtime=0.07 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 6109 0 0 0 5 2 0 0 20 0 18 0 49293474 19384713216 12411 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4732596 12411 5318 1 0 547252 0
[pid=49887/tid=49897] ppid=49881 vsize=18930384 memory=8323965605201148814 CPUtime=0.04 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 4888 0 0 0 3 1 0 0 20 0 18 0 49293493 19384713216 12411 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49293497 19384713216 12411 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49293498 19384713216 12411 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49644 KiB

[startup+0.700214 s]
/proc/loadavg: 1.28 2.66 3.51 12/334 49968
/proc/meminfo: memFree=128477680/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=18996948 memory=87280 CPUtime=0.72 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 9324 0 1 0 68 4 0 0 20 0 19 0 49293474 19452874752 21820 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4749237 21820 5446 1 0 549695 0
[pid=49887/tid=49897] ppid=49881 vsize=18996948 memory=18176 CPUtime=0.31 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 5424 0 1 0 28 3 0 0 20 0 19 0 49293493 19452874752 21820 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=18996948 memory=68266944 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49293497 19452874752 21820 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=18996948 memory=2618 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49293498 19452874752 21820 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87280 KiB

[startup+1.50022 s]
/proc/loadavg: 1.28 2.66 3.51 6/297 49985
/proc/meminfo: memFree=128406324/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=173604 CPUtime=2.3 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 17458 0 2 0 223 7 0 0 20 0 20 0 49293474 19521036288 43401 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 43401 5510 1 0 552750 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=0 CPUtime=1.04 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 5799 0 1 0 100 4 0 0 20 0 20 0 49293493 19521036288 43401 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=68266944 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 43401 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=2618 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 43401 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 43401 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173604 KiB

[startup+3.1055 s]
/proc/loadavg: 1.28 2.66 3.51 3/296 50032
/proc/meminfo: memFree=128200708/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=174688 CPUtime=4.83 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 21607 0 2 0 475 8 0 0 20 0 20 0 49293474 19521036288 43672 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 43672 5510 1 0 552909 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=0 CPUtime=2.62 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 6315 0 1 0 257 5 0 0 20 0 20 0 49293493 19521036288 43672 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=68266944 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 43672 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 43672 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 43672 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174688 KiB

[startup+6.30014 s]
/proc/loadavg: 1.50 2.68 3.52 1/296 50032
/proc/meminfo: memFree=127807932/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=279400 CPUtime=7.55 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 25467 0 2 0 744 11 0 0 20 0 20 0 49293474 19521036288 69850 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 69850 5510 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=0 CPUtime=5.06 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) D 49881 49887 49831 0 -1 4194368 6753 0 1 0 499 7 0 0 20 0 20 0 49293493 19521036288 69850 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=68266944 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 69850 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 69850 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 69850 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 279400 KiB

[startup+12.7002 s]
/proc/loadavg: 1.70 2.70 3.52 5/321 50122
/proc/meminfo: memFree=126834144/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=482244 CPUtime=11.37 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 28145 0 2 0 1119 18 0 0 20 0 20 0 49293474 19521036288 120561 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 120561 5510 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=18176 CPUtime=8.85 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 7440 0 1 0 871 14 0 0 20 0 20 0 49293493 19521036288 120561 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=8323116782224505742 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 120561 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=4096 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 120561 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 120561 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 482244 KiB

[startup+25.5002 s]
/proc/loadavg: 2.34 2.80 3.54 5/342 50175
/proc/meminfo: memFree=123892480/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=1205444 CPUtime=24.19 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 33051 0 2 0 2383 36 0 0 20 0 20 0 49293474 19521036288 301361 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 301361 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=-6000919502720754539 CPUtime=21.59 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 9186 0 1 0 2128 31 0 0 20 0 20 0 49293493 19521036288 301361 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=1186884 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 301361 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=1000516 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 301361 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=279400 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 301361 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 24.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1205444 KiB

[startup+51.1057 s]
/proc/loadavg: 2.98 2.91 3.56 5/343 50176
/proc/meminfo: memFree=122072256/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=1305808 CPUtime=49.66 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 35741 0 2 0 4924 42 0 0 20 0 20 0 49293474 19521036288 326452 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 326452 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=1205444 CPUtime=47.03 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 10309 0 1 0 4666 37 0 0 20 0 20 0 49293493 19521036288 326452 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=18176 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 326452 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 326452 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=16360 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 326452 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 49.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1305808 KiB

[startup+102.3 s]

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

/proc/meminfo: memFree=85733976/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3265.35 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 82071 0 2 0 326051 484 0 0 20 0 20 0 49293474 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 531793 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3255.41 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 37301 0 1 0 325140 401 0 0 20 0 20 0 49293493 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1800 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=4740 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3265.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2127172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/344 50367
/proc/meminfo: memFree=85366680/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3325.01 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 83369 0 2 0 332011 490 0 0 20 0 20 0 49293474 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 531793 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3315.05 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) D 49881 49887 49831 0 -1 4194368 38471 0 1 0 331099 406 0 0 20 0 20 0 49293493 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=21576 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1875 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3325.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2127172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/344 50369
/proc/meminfo: memFree=85030996/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3384.64 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 84565 0 2 0 337968 496 0 0 20 0 20 0 49293474 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 531793 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3374.56 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 39285 0 1 0 337045 411 0 0 20 0 20 0 49293493 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1983 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3384.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2127172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/344 50371
/proc/meminfo: memFree=84713748/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3444.36 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 85066 0 2 0 343933 503 0 0 20 0 20 0 49293474 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 531793 5542 1 0 552911 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2127172 CPUtime=3434.12 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 39538 0 1 0 342996 416 0 0 20 0 20 0 49293493 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1986 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2127172 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 531793 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3444.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2127172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/343 50374
/proc/meminfo: memFree=84325992/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2165428 CPUtime=3504.21 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 92957 0 2 0 349910 511 0 0 20 0 20 0 49293474 19521036288 541357 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 541357 5542 1 0 554453 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=18304 CPUtime=3493.62 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 40919 0 1 0 348941 421 0 0 20 0 20 0 49293493 19521036288 541357 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=2165428 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 541357 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=2165428 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1987 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 541357 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2165428 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 541357 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3504.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/343 50376
/proc/meminfo: memFree=83966836/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2165556 CPUtime=3563.82 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 93000 0 2 0 355864 518 0 0 20 0 20 0 49293474 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 541389 5542 1 0 554453 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2165428 CPUtime=3553.18 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 40925 0 1 0 354891 427 0 0 20 0 20 0 49293493 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1987 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2165556 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3563.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.7 s]
/proc/loadavg: 4.11 4.10 4.09 5/323 50585
/proc/meminfo: memFree=109713072/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2165556 CPUtime=3600.09 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 93255 0 2 0 359487 522 0 0 20 0 20 0 49293474 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 541389 5542 1 0 554453 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2165556 CPUtime=3589.38 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 41142 0 1 0 358508 430 0 0 20 0 20 0 49293493 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=2165556 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1987 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2165556 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.98 s, system=5.24342 s

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

[startup+3618.7 s]
/proc/loadavg: 4.11 4.10 4.09 5/323 50585
/proc/meminfo: memFree=109713072/131250000 swapFree=33010684/33010684
[pid=49887] ppid=49881 vsize=19063512 memory=2165556 CPUtime=3600.09 cores=4,6
/proc/49887/stat : 49887 (java) S 49881 49887 49831 0 -1 4194304 93255 0 2 0 359487 522 0 0 20 0 20 0 49293474 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
/proc/49887/statm: 4765878 541389 5542 1 0 554453 0
[pid=49887/tid=49897] ppid=49881 vsize=19063512 memory=2165556 CPUtime=3589.38 cores=4,6
/proc/49887/task/49897/stat : 49897 (java) R 49881 49887 49831 0 -1 4194368 41142 0 1 0 358508 430 0 0 20 0 20 0 49293493 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49910] ppid=49881 vsize=19063512 memory=2165556 CPUtime=0 cores=4,6
/proc/49887/task/49910/stat : 49910 (Finalizer) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293497 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49917] ppid=49881 vsize=19063512 memory=10496 CPUtime=0 cores=4,6
/proc/49887/task/49917/stat : 49917 (Common-Cleaner) S 49881 49887 49831 0 -1 4194368 1987 0 0 0 0 0 0 0 20 0 20 0 49293498 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
[pid=49887/tid=49970] ppid=49881 vsize=19063512 memory=2165556 CPUtime=0 cores=4,6
/proc/49887/task/49970/stat : 49970 (Timer-0) S 49881 49887 49831 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49293532 19521036288 541389 18446744073709551615 93896789614592 93896789618288 140727961535024 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93896789626104 93896789626896 93896807469056 140727961540912 140727961541094 140727961541094 140727961546696 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165556 KiB

Child status: 143

Real time (s): 3618.8
CPU time (s): 3600.22
CPU user time (s): 3594.98
CPU system time (s): 5.24342
CPU usage (%): 99.4867
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2165556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.98
system time used= 5.24342
maximum resident set size= 2166580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94788
page faults= 2
swaps= 0
block input operations= 456
block output operations= 4733616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108677
involuntary context switches= 9706


# summary of solver processes directly reported to runsolver:
#   pid: 49887
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3594.98
#   total CPU system time (s): 5.24342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51322 second user time and 17.1177 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 04:15:56
IDJOB=4486617
IDBENCH=147028
IDSOLVER=3364
FILE ID=nodeC018/4486617-1751336155
RUNJOBID= nodeC018-1751336155-49842
SLURM_JOB_ID= 9594383
Free space on /tmp= 432936 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486617-1751336155/watcher-4486617-1751336155 -o /tmp/evaluation-result-4486617-1751336155/solver-4486617-1751336155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751336155-49842 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486617-1751336155 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486617-1751336155.opb

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

MD5SUM BENCH= f9f2b1fc4917344504b6167976088a05
RANDOM SEED=126312382

nodeC018 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		: 3599.494
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	: 6999.66
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		: 3700.000
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	: 6999.66
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		: 3599.850
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	: 6999.66
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		: 2456.857
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	: 6999.66
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		: 3599.823
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	: 6999.66
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		: 2517.758
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	: 6999.66
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		: 3603.602
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	: 6999.66
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		: 1199.802
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	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128622048 kB
MemAvailable:   129759744 kB
Buffers:            3280 kB
Cached:          1938784 kB
SwapCached:            0 kB
Active:           326052 kB
Inactive:        1681004 kB
Active(anon):      83068 kB
Inactive(anon):        0 kB
Active(file):     242984 kB
Inactive(file):  1681004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2540 kB
Writeback:             0 kB
AnonPages:         68460 kB
Mapped:           103500 kB
Shmem:             18076 kB
KReclaimable:     105496 kB
Slab:             193544 kB
SReclaimable:     105496 kB
SUnreclaim:        88048 kB
KernelStack:        4144 kB
PageTables:         2992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432928 MiB
End job on nodeC018 at 2025-07-01 05:16:15