Trace number 4541535

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 2025-06-06? (TO) 3600.28 3593.41

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
MD5SUMc057026a3dee35393963218173951f41
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1264.48
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5610
Total number of constraints7531
Number of constraints which are clauses5580
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints1921
Minimum length of a constraint1
Maximum length of a constraint120
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 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305843009213693951
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.20	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4541535-1753209161.opb
0.42/0.37	c reading problem ... 
0.42/0.37	c  no objective function found
0.94/0.69	c ... done. Wall clock time 0.3s.
0.94/0.69	c declared #vars     5610
0.94/0.69	c #constraints  9481
0.94/0.69	c constraints type 
0.94/0.69	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4080
0.94/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3481
0.94/0.69	c org.sat4j.specs.Constr$1 => 30
0.94/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1860
0.94/0.70	c org.sat4j.pb.constraints.pb.UnitClausePB => 30
0.94/0.70	c 9481 constraints processed.
3.46/2.10	c cleaning 2496 clauses out of 5001 with flag 23508/5001
4.40/2.92	c cleaning 4243 clauses out of 8504 with flag 55793/11000
5.97/4.18	c cleaning 5623 clauses out of 11261 with flag 104655/18000
7.83/5.48	c cleaning 6806 clauses out of 13638 with flag 154987/26000
9.23/6.87	c cleaning 7908 clauses out of 15833 with flag 227180/35001
11.24/8.58	c cleaning 8951 clauses out of 17925 with flag 328526/45001
12.75/10.04	c cleaning 9971 clauses out of 19973 with flag 438962/56000
14.75/12.08	c cleaning 10985 clauses out of 22005 with flag 564178/68003
17.19/14.49	c cleaning 12000 clauses out of 24018 with flag 693197/81001
19.26/16.35	c cleaning 12996 clauses out of 26018 with flag 831060/95001
22.08/19.13	c cleaning 14004 clauses out of 28021 with flag 985977/110000
24.89/21.93	c cleaning 15000 clauses out of 30018 with flag 1163220/126001
28.35/25.34	c cleaning 15976 clauses out of 32017 with flag 1324661/143000
32.01/28.97	c cleaning 17001 clauses out of 34041 with flag 1510858/161000
36.27/33.12	c cleaning 18008 clauses out of 36041 with flag 1712976/180001
41.99/38.84	c cleaning 18997 clauses out of 38032 with flag 1984897/200000
47.09/43.97	c cleaning 20000 clauses out of 40036 with flag 2275030/221001
52.25/49.09	c cleaning 21000 clauses out of 42035 with flag 2604689/243000
57.92/54.73	c cleaning 22003 clauses out of 44035 with flag 2989137/266000
64.31/61.08	c cleaning 22999 clauses out of 46032 with flag 3346980/290000
70.18/66.97	c cleaning 24005 clauses out of 48033 with flag 3723418/315000
78.13/74.87	c cleaning 25013 clauses out of 50028 with flag 4032637/341000
86.07/82.72	c cleaning 25989 clauses out of 52016 with flag 4293572/368001
95.23/91.87	c cleaning 27007 clauses out of 54027 with flag 4598204/396001
104.59/101.14	c cleaning 28008 clauses out of 56022 with flag 4918779/425003
114.14/110.60	c cleaning 28997 clauses out of 58012 with flag 5279310/455001
123.89/120.38	c cleaning 29994 clauses out of 60014 with flag 5604287/486000
133.04/129.47	c cleaning 31007 clauses out of 62021 with flag 5969999/518001
144.50/140.81	c cleaning 32004 clauses out of 64015 with flag 6364279/551002
156.14/152.46	c cleaning 32992 clauses out of 66009 with flag 6796121/585000
167.51/163.79	c cleaning 33995 clauses out of 68017 with flag 7217880/620000
177.89/174.13	c cleaning 34997 clauses out of 70022 with flag 7548683/656000
191.90/187.92	c cleaning 36003 clauses out of 72026 with flag 7957874/693001
205.62/201.62	c cleaning 37004 clauses out of 74024 with flag 8412295/731002
221.28/217.25	c cleaning 37991 clauses out of 76018 with flag 8943160/770000
236.95/232.95	c cleaning 38987 clauses out of 78028 with flag 9534558/810001
250.87/246.85	c cleaning 40000 clauses out of 80040 with flag 10105941/851000
265.08/261.04	c cleaning 41010 clauses out of 82040 with flag 10535508/893000
280.90/276.83	c cleaning 41994 clauses out of 84031 with flag 11048075/936001
297.18/293.05	c cleaning 42990 clauses out of 86038 with flag 11625645/980002
314.23/310.08	c cleaning 44000 clauses out of 88046 with flag 12150874/1025000
335.18/330.95	c cleaning 45014 clauses out of 90046 with flag 12783975/1071001
356.70/352.20	c cleaning 46005 clauses out of 92032 with flag 13396790/1118001
375.65/371.22	c cleaning 46999 clauses out of 94026 with flag 13925490/1166000
399.61/395.15	c cleaning 47995 clauses out of 96027 with flag 14631056/1215000
420.03/415.57	c cleaning 48991 clauses out of 98032 with flag 15287251/1265000
441.51/436.41	c cleaning 49999 clauses out of 100041 with flag 16101073/1316000
467.44/462.46	c cleaning 51017 clauses out of 102043 with flag 17071546/1368001
493.62/488.59	c cleaning 51996 clauses out of 104025 with flag 18102744/1421000
519.20/514.06	c cleaning 53007 clauses out of 106032 with flag 18833157/1475003
546.34/541.12	c cleaning 53987 clauses out of 108023 with flag 19543647/1530001
571.96/566.77	c cleaning 55003 clauses out of 110037 with flag 20346908/1586002
598.86/593.56	c cleaning 56006 clauses out of 112033 with flag 21165342/1643001
625.51/620.28	c cleaning 56997 clauses out of 114026 with flag 21948958/1701000
652.35/647.04	c cleaning 58005 clauses out of 116033 with flag 22699454/1760004
682.51/677.19	c cleaning 59001 clauses out of 118026 with flag 23385609/1820002
710.74/705.45	c cleaning 59995 clauses out of 120023 with flag 24128666/1881000
745.47/739.50	c cleaning 61006 clauses out of 122028 with flag 25032493/1943000
777.93/772.02	c cleaning 61993 clauses out of 124022 with flag 25932091/2006000
813.55/807.77	c cleaning 62985 clauses out of 126030 with flag 27192987/2070001
849.44/843.68	c cleaning 64004 clauses out of 128045 with flag 28264743/2135001
884.89/878.93	c cleaning 65010 clauses out of 130042 with flag 29030864/2201002
920.81/914.96	c cleaning 65976 clauses out of 132030 with flag 30126841/2268000
960.11/954.27	c cleaning 67021 clauses out of 134054 with flag 31485450/2336000
1002.69/996.77	c cleaning 67977 clauses out of 136033 with flag 32633650/2405000
1044.89/1038.95	c cleaning 69022 clauses out of 138058 with flag 34155590/2475002
1086.17/1080.17	c cleaning 69999 clauses out of 140034 with flag 35550300/2546000
1139.13/1133.04	c cleaning 71009 clauses out of 142035 with flag 36523843/2618000
1183.96/1177.81	c cleaning 71987 clauses out of 144026 with flag 38055010/2691000
1232.31/1226.16	c cleaning 72992 clauses out of 146040 with flag 39142107/2765001
1273.88/1267.61	c cleaning 74018 clauses out of 148049 with flag 40092753/2840002
1328.50/1321.86	c cleaning 75005 clauses out of 150030 with flag 41848539/2916001
1375.58/1368.92	c cleaning 76001 clauses out of 152024 with flag 43246730/2993000
1431.92/1425.21	c cleaning 77010 clauses out of 154023 with flag 45214555/3071000
1486.72/1480.12	c cleaning 77985 clauses out of 156013 with flag 47123743/3150000
1546.18/1539.66	c cleaning 78982 clauses out of 158029 with flag 49309590/3230001
1601.47/1594.87	c cleaning 80007 clauses out of 160046 with flag 51325399/3311000
1661.31/1654.66	c cleaning 80993 clauses out of 162041 with flag 53480179/3393002
1727.54/1720.89	c cleaning 82002 clauses out of 164048 with flag 55998571/3476002
1790.60/1783.81	c cleaning 83017 clauses out of 166045 with flag 58320324/3560001
1853.01/1846.28	c cleaning 83998 clauses out of 168032 with flag 60578708/3645005
1913.30/1906.58	c cleaning 85004 clauses out of 170030 with flag 62436137/3731001
1975.68/1968.93	c cleaning 85985 clauses out of 172027 with flag 64162259/3818002
2038.21/2031.48	c cleaning 87013 clauses out of 174040 with flag 66418713/3906000
2108.22/2101.48	c cleaning 88005 clauses out of 176027 with flag 68969262/3995000
2176.05/2169.23	c cleaning 89001 clauses out of 178023 with flag 71444429/4085001
2254.28/2247.25	c cleaning 90002 clauses out of 180022 with flag 73938844/4176001
2342.56/2335.63	c cleaning 91000 clauses out of 182019 with flag 76886008/4268000
2424.86/2417.93	c cleaning 91991 clauses out of 184020 with flag 79535804/4361001
2502.34/2495.43	c cleaning 93001 clauses out of 186028 with flag 81986443/4455000
2586.46/2579.66	c cleaning 94008 clauses out of 188027 with flag 84663497/4550000
2680.54/2673.80	c cleaning 95000 clauses out of 190020 with flag 87733729/4646001
2766.04/2759.25	c cleaning 95993 clauses out of 192022 with flag 90788340/4743003
2857.39/2850.60	c cleaning 96999 clauses out of 194026 with flag 93790142/4841000
2948.94/2942.23	c cleaning 97994 clauses out of 196027 with flag 97119387/4940000
3036.53/3029.85	c cleaning 99002 clauses out of 198033 with flag 100200781/5040000
3122.41/3115.63	c cleaning 100002 clauses out of 200031 with flag 103143050/5141000
3209.98/3203.03	c cleaning 101005 clauses out of 202029 with flag 106000432/5243000
3300.72/3293.88	c cleaning 102009 clauses out of 204025 with flag 109079965/5346001
3400.44/3393.48	c cleaning 103003 clauses out of 206015 with flag 112181664/5450000
3503.85/3497.00	c cleaning 103993 clauses out of 208012 with flag 114932596/5555000
3600.00/3593.22	c starts		: 11072
3600.00/3593.23	c timeout
3600.00/3593.24	c conflicts		: 5656321
3600.00/3593.24	c decisions		: 8119283
3600.00/3593.24	c propagations		: 2225560173
3600.00/3593.24	c inspects		: 32092693600
3600.00/3593.24	c shortcuts		: 0
3600.00/3593.24	c learnt literals	: 1
3600.00/3593.24	c learnt binary clauses	: 1152
3600.00/3593.24	c learnt ternary clauses	: 2122
3600.00/3593.24	c learnt constraints	: 5656320
3600.00/3593.24	c ignored constraints	: 0
3600.00/3593.24	c root simplifications	: 0
3600.00/3593.24	c removed literals (reason simplification)	: 544783324
3600.00/3593.24	c reason swapping (by a shorter reason)	: 0
3600.00/3593.24	c Calls to reduceDB	: 101
3600.00/3593.24	c Number of update (reduction) of LBD	: 1902238
3600.00/3593.24	c Imported unit clauses	: 0
3600.00/3593.24	c No decision after first conflict	: false
3600.00/3593.24	c number of reductions to clauses (during analyze)	: 0
3600.00/3593.24	c number of learned constraints concerned by reduction	: 0
3600.00/3593.24	c number of learning phase by resolution	: 0
3600.00/3593.24	c number of learning phase by cutting planes	: 0
3600.00/3593.24	c number of rounding to 1 operations	: 0
3600.00/3593.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3593.25	c number of reductions of the coefficients by power 2 	: 0
3600.00/3593.25	c number of right shift for reduction by power 2 	: 0
3600.00/3593.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3593.25	c number of ending skipping 	: 0
3600.00/3593.25	c number of internal skipping 	: 0
3600.00/3593.25	c number of derivation steps 	: 0
3600.00/3593.25	c number of skipped derivation steps 	: 0
3600.00/3593.25	c number of remaining unassigned 	: 0
3600.00/3593.25	c number of remaining assigned 	: 0
3600.00/3593.25	c number of falsified literals weakened from reason	: 0
3600.00/3593.25	c number of falsified literals weakened from conflict	: 0
3600.00/3593.25	c time for arithmetic operations	: 0
3600.00/3593.25	c minimum degree of deleted constraints	: null
3600.00/3593.25	c maximum degree of deleted constraints	: null
3600.00/3593.25	c number of deleted constraints	: 0
3600.00/3593.25	c speed (assignments/second)	: 619495.5800025386
3600.00/3593.26	c non guided choices	: 108
3600.16/3593.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204188
3600.16/3593.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1152
3600.16/3593.39	s UNKNOWN
3600.16/3593.39	c Total wall clock time (in seconds): 3593.021

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541535-1753209161/watcher-4541535-1753209161 -o /tmp/evaluation-result-4541535-1753209161/solver-4541535-1753209161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195949 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4541535-1753209161.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 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

Current StackSize limit: 8192 KiB

solver pid=195996, runsolver pid=195990

[startup+0.100079 s]*
/proc/loadavg: 1.38 2.64 4.67 9/300 196056
/proc/meminfo: memFree=129049896/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18930344 memory=45608 CPUtime=0.09 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 5305 0 170 0 5 4 0 0 20 0 18 0 236595786 19384672256 11402 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4732586 11402 4939 1 0 546720 0
[pid=195996/tid=196010] ppid=195990 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 4421 0 170 0 3 2 0 0 20 0 18 0 236595790 19384672256 11402 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18930344 memory=1707 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236595796 19384672256 11402 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18930344 memory=56295059358712 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236595797 19384672256 11402 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45608 KiB

[startup+0.219966 s]*
/proc/loadavg: 1.38 2.64 4.67 7/321 196077
/proc/meminfo: memFree=129021308/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18930384 memory=51800 CPUtime=0.27 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 5994 0 170 0 22 5 0 0 20 0 18 0 236595786 19384713216 12950 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4732596 12950 5323 1 0 547234 0
[pid=195996/tid=196010] ppid=195990 vsize=18930384 memory=4027056412 CPUtime=0.17 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 4833 0 170 0 14 3 0 0 20 0 18 0 236595790 19384713216 12950 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236595796 19384713216 12950 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236595797 19384713216 12950 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51800 KiB

[startup+0.315191 s]*
/proc/loadavg: 1.83 2.71 4.68 10/321 196077
/proc/meminfo: memFree=128991580/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18930384 memory=57992 CPUtime=0.42 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 6527 0 170 0 36 6 0 0 20 0 18 0 236595786 19384713216 14498 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4732596 14498 5323 1 0 547691 0
[pid=195996/tid=196010] ppid=195990 vsize=18930384 memory=-8958892655456854716 CPUtime=0.25 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 5000 0 170 0 22 3 0 0 20 0 18 0 236595790 19384713216 14498 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236595796 19384713216 14498 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236595797 19384713216 14498 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57992 KiB

[startup+0.700412 s]
/proc/loadavg: 1.83 2.71 4.68 13/321 196077
/proc/meminfo: memFree=128978032/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18930384 memory=84724 CPUtime=1.1 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 8437 0 170 0 102 8 0 0 20 0 18 0 236595786 19384713216 21181 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4732596 21181 5419 1 0 549017 0
[pid=195996/tid=196010] ppid=195990 vsize=18930384 memory=27392 CPUtime=0.54 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 5178 0 170 0 50 4 0 0 20 0 18 0 236595790 19384713216 21181 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18930384 memory=10752 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236595796 19384713216 21181 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 236595797 19384713216 21181 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84724 KiB

[startup+1.50031 s]
/proc/loadavg: 1.83 2.71 4.68 9/325 196081
/proc/meminfo: memFree=128897576/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18996948 memory=101356 CPUtime=2.68 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 15620 0 170 0 258 10 0 0 20 0 19 0 236595786 19452874752 25339 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4749237 25339 5419 1 0 551704 0
[pid=195996/tid=196010] ppid=195990 vsize=18996948 memory=3200 CPUtime=1.27 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 5420 0 170 0 122 5 0 0 20 0 19 0 236595790 19452874752 25339 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236595796 19452874752 25339 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236595797 19452874752 25339 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=18996948 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236595858 19452874752 25339 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101356 KiB

[startup+3.11313 s]
/proc/loadavg: 1.83 2.71 4.68 7/325 196081
/proc/meminfo: memFree=128803224/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18999820 memory=120084 CPUtime=4.78 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 19632 0 170 0 466 12 0 0 20 0 19 0 236595786 19455815680 30021 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4749955 30021 5419 1 0 552729 0
[pid=195996/tid=196010] ppid=195990 vsize=18999820 memory=16688 CPUtime=2.87 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 6546 0 170 0 281 6 0 0 20 0 19 0 236595790 19455815680 30021 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18999820 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236595796 19455815680 30021 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18999820 memory=10752 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236595797 19455815680 30021 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=18999820 memory=3200 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236595858 19455815680 30021 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 18999820 KiB
Current children cumulated memory: 120084 KiB

[startup+6.3004 s]
/proc/loadavg: 2.01 2.73 4.68 5/325 196081
/proc/meminfo: memFree=128666644/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=18996948 memory=156504 CPUtime=8.73 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 22616 0 170 0 859 14 0 0 20 0 19 0 236595786 19452874752 39126 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4749237 39126 5419 1 0 553844 0
[pid=195996/tid=196010] ppid=195990 vsize=18996948 memory=0 CPUtime=6.05 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 6676 0 170 0 598 7 0 0 20 0 19 0 236595790 19452874752 39126 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236595796 19452874752 39126 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 236595797 19452874752 39126 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=18996948 memory=103416 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236595858 19452874752 39126 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 156504 KiB

[startup+12.7004 s]
/proc/loadavg: 2.17 2.75 4.67 5/329 196086
/proc/meminfo: memFree=128510608/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=175648 CPUtime=15.47 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 28403 0 170 0 1530 17 0 0 20 0 20 0 236595786 19521036288 43912 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 43912 5515 1 0 554133 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=103416 CPUtime=12.39 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 7590 0 170 0 1232 7 0 0 20 0 20 0 236595790 19521036288 43912 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=175648 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 43912 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 43912 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 43912 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175648 KiB

[startup+25.5005 s]
/proc/loadavg: 2.53 2.81 4.67 5/329 196086
/proc/meminfo: memFree=128323324/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=249848 CPUtime=28.61 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 33542 0 170 0 2842 19 0 0 20 0 20 0 236595786 19521036288 62462 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 62462 5515 1 0 554133 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=175648 CPUtime=24.96 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 8221 0 170 0 2489 7 0 0 20 0 20 0 236595790 19521036288 62462 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 62462 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 62462 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=249848 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 62462 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 28.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 249848 KiB

[startup+51.1138 s]
/proc/loadavg: 3.11 2.93 4.65 5/329 196086
/proc/meminfo: memFree=127797840/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=420320 CPUtime=54.35 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 34372 0 170 0 5411 24 0 0 20 0 20 0 236595786 19521036288 105080 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 105080 5515 1 0 554133 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=420320 CPUtime=50.18 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 8379 0 170 0 5011 7 0 0 20 0 20 0 236595790 19521036288 105080 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=175648 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 105080 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 105080 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=366896 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/326 196249
/proc/meminfo: memFree=117276596/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3169028 CPUtime=3289.24 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 102387 0 170 0 328652 272 0 0 20 0 20 0 236595786 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 792257 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3169028 CPUtime=3261.75 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 50969 0 170 0 326152 23 0 0 20 0 20 0 236595790 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=-9175065437570638524 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1182 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3289.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3169028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/325 196252
/proc/meminfo: memFree=117268308/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3169028 CPUtime=3349.21 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 103340 0 170 0 334645 276 0 0 20 0 20 0 236595786 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 792257 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3169028 CPUtime=3321.45 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 51617 0 170 0 332122 23 0 0 20 0 20 0 236595790 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 792257 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3349.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3169028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/325 196254
/proc/meminfo: memFree=117063308/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3169412 CPUtime=3409.31 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 104309 0 170 0 340650 281 0 0 20 0 20 0 236595786 19521036288 792353 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 792353 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3169028 CPUtime=3381.05 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 52357 0 170 0 338081 24 0 0 20 0 20 0 236595790 19521036288 792353 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 792353 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=3169028 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 792353 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=3169412 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 792353 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3409.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3169412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/325 196256
/proc/meminfo: memFree=117016044/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3218940 CPUtime=3469.33 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 105790 0 170 0 346647 286 0 0 20 0 20 0 236595786 19521036288 804735 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 804735 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3169412 CPUtime=3440.71 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 53517 0 170 0 344047 24 0 0 20 0 20 0 236595790 19521036288 804735 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 804735 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 804735 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=3218940 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 804735 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3469.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3218940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.60 4.23 4.13 5/325 196258
/proc/meminfo: memFree=116966296/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3270248 CPUtime=3529.26 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 107044 0 170 0 352635 291 0 0 20 0 20 0 236595786 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 817562 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3218940 CPUtime=3500.41 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 54532 0 170 0 350017 24 0 0 20 0 20 0 236595790 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=3218940 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1346 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3529.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3270248 KiB

[startup+3582.3 s]
/proc/loadavg: 5.40 4.54 4.25 5/325 196260
/proc/meminfo: memFree=116848332/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3270248 CPUtime=3589.12 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 107242 0 170 0 358618 294 0 0 20 0 20 0 236595786 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 817562 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=10752 CPUtime=3560.24 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 54665 0 170 0 356000 24 0 0 20 0 20 0 236595790 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=27392 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=3270248 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1405 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3270248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.2 s]
/proc/loadavg: 5.49 4.58 4.27 5/325 196327
/proc/meminfo: memFree=121302860/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19063512 memory=3270248 CPUtime=3600 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 107485 0 170 0 359705 295 0 0 20 0 20 0 236595786 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4765878 817562 5515 1 0 957286 0
[pid=195996/tid=196010] ppid=195990 vsize=19063512 memory=3270248 CPUtime=3571.1 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) R 195990 195996 195934 0 -1 4194368 54908 0 170 0 357086 24 0 0 20 0 20 0 236595790 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19063512 memory=3270248 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236595796 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19063512 memory=-9175065437570638524 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1405 0 0 0 0 0 0 0 20 0 20 0 236595797 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196079] ppid=195990 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/195996/task/196079/stat : 196079 (Timer-0) S 195990 195996 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236595858 19521036288 817562 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3270248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.31 s, system=2.97131 s

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

[startup+3593.3 s]
/proc/loadavg: 5.49 4.58 4.27 5/325 196327
/proc/meminfo: memFree=121302860/131382112 swapFree=33010416/33010684
[pid=195996] ppid=195990 vsize=19263204 memory=3270888 CPUtime=3600.16 cores=0,2
/proc/195996/stat : 195996 (java) S 195990 195996 195934 0 -1 4194304 109385 0 170 0 359721 295 0 0 20 0 21 0 236595786 19725520896 817722 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
/proc/195996/statm: 4815801 817722 5515 1 0 958213 0
[pid=195996/tid=196010] ppid=195990 vsize=19263204 memory=10752 CPUtime=3571.13 cores=0,2
/proc/195996/task/196010/stat : 196010 (java) S 195990 195996 195934 0 -1 4194368 54980 0 170 0 357089 24 0 0 20 0 21 0 236595790 19725520896 817722 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196045] ppid=195990 vsize=19263204 memory=16688 CPUtime=0 cores=0,2
/proc/195996/task/196045/stat : 196045 (Finalizer) S 195990 195996 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236595796 19725520896 817722 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
[pid=195996/tid=196073] ppid=195990 vsize=19263204 memory=27392 CPUtime=0 cores=0,2
/proc/195996/task/196073/stat : 196073 (Common-Cleaner) S 195990 195996 195934 0 -1 4194368 1405 0 0 0 0 0 0 0 20 0 21 0 236595797 19725520896 817722 18446744073709551615 94568520232960 94568520236656 140734881155920 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94568520244472 94568520245264 94568540962816 140734881163647 140734881163748 140734881163748 140734881169352 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3270888 KiB

Child status: 143

Real time (s): 3593.41
CPU time (s): 3600.28
CPU user time (s): 3597.31
CPU system time (s): 2.97131
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3270888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 2.97131
maximum resident set size= 3271144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109567
page faults= 170
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108549
involuntary context switches= 9992


# summary of solver processes directly reported to runsolver:
#   pid: 195996
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3597.31
#   total CPU system time (s): 2.97131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1878 second user time and 38.1136 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 20:32:41
IDJOB=4541535
IDBENCH=163136
IDSOLVER=3363
FILE ID=nodeC012/4541535-1753209161
RUNJOBID= nodeC012-1753209161-195949
SLURM_JOB_ID= 9687769
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541535-1753209161/watcher-4541535-1753209161 -o /tmp/evaluation-result-4541535-1753209161/solver-4541535-1753209161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195949 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4541535-1753209161.opb

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

MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1944425501

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.910
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.137
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.158
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.171
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.159
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.127
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.143
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129096824 kB
MemAvailable:   129864772 kB
Buffers:            2136 kB
Cached:          1533912 kB
SwapCached:           12 kB
Active:          1274212 kB
Inactive:         330360 kB
Active(anon):      89976 kB
Inactive(anon):     4688 kB
Active(file):    1184236 kB
Inactive(file):   325672 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1308 kB
Writeback:             0 kB
AnonPages:         71616 kB
Mapped:           107524 kB
Shmem:             26140 kB
KReclaimable:     194948 kB
Slab:             286804 kB
SReclaimable:     194948 kB
SUnreclaim:        91856 kB
KernelStack:        3900 kB
PageTables:         2728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     349224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3872 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432920 MiB
End job on nodeC012 at 2025-07-22 21:32:34