Trace number 4459615

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 Default 2024-07-07SAT 430.198 424.871

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_15.opb
MD5SUM2407996de31b42808f1baaa935b78168
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.039952
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Solver Data 

0.03/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.03/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.13	c See www.sat4j.org for details.
0.03/0.14	c version CUSTOM.v20240707
0.03/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.03/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.03/0.15	c java.vm.version	22.0.1+8-16
0.03/0.15	c java.vm.vendor	Oracle Corporation
0.03/0.15	c sun.arch.data.model	64
0.03/0.15	c java.version		22.0.1
0.03/0.15	c os.name		Linux
0.03/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.03/0.15	c os.arch		amd64
0.03/0.15	c Free memory 		2106806208
0.03/0.15	c Max memory 		16282288128
0.03/0.15	c Total memory 		2113929216
0.03/0.15	c Number of processors 	2
0.03/0.20	--- Begin Solver configuration ---
0.03/0.20	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.03/0.20	Learn all clauses as in MiniSAT
0.03/0.20	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.20	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.20	No reason simplification
0.03/0.20	Glucose 2.1 dynamic restart strategy
0.03/0.20	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.03/0.20	timeout=2147483s
0.03/0.20	DB Simplification allowed=false
0.03/0.20	Listener: none
0.03/0.20	--- End Solver configuration ---
0.03/0.20	c Pseudo Boolean Optimization by upper bound
0.03/0.20	c --- Begin Solver configuration ---
0.03/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.03/0.20	c Learn all clauses as in MiniSAT
0.03/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.20	c No reason simplification
0.03/0.20	c Glucose 2.1 dynamic restart strategy
0.03/0.20	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.03/0.20	c timeout=2147483s
0.03/0.20	c DB Simplification allowed=false
0.03/0.20	c Listener: none
0.03/0.20	c --- End Solver configuration ---
0.03/0.20	c solving HOME/instance-4459615-1721932566.opb
0.03/0.20	c reading problem ... 
0.03/0.20	c  no objective function found
0.19/0.27	c ... done. Wall clock time 0.067s.
0.19/0.27	c declared #vars     200
0.19/0.27	c internal #vars     1448
0.19/0.27	c #constraints  2799
0.19/0.27	c constraints type 
0.19/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.19/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
0.19/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1248
0.19/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1248
0.19/0.27	c 2799 constraints processed.
1.13/0.77	c cleaning 2500 clauses out of 5000 with flag 11273/5000
1.74/1.06	c cleaning 4240 clauses out of 8500 with flag 25504/11000
2.27/1.32	c cleaning 5629 clauses out of 11260 with flag 42667/18000
2.68/1.72	c cleaning 6808 clauses out of 13631 with flag 60543/26000
3.14/2.11	c cleaning 7899 clauses out of 15824 with flag 80943/35001
3.54/2.57	c cleaning 8950 clauses out of 17924 with flag 102683/45000
4.04/3.09	c cleaning 9978 clauses out of 19975 with flag 127518/56001
4.54/3.57	c cleaning 10980 clauses out of 21997 with flag 154051/68001
5.17/4.14	c cleaning 11998 clauses out of 24018 with flag 183575/81002
5.68/4.68	c cleaning 13007 clauses out of 26020 with flag 217161/95002
6.37/5.30	c cleaning 13995 clauses out of 28011 with flag 252041/110000
7.12/6.06	c cleaning 15002 clauses out of 30016 with flag 288477/126000
7.96/6.88	c cleaning 15998 clauses out of 32015 with flag 326770/143001
9.11/7.93	c cleaning 16995 clauses out of 34017 with flag 368222/161001
10.30/9.16	c cleaning 18002 clauses out of 36021 with flag 418730/180000
11.83/10.68	c cleaning 19011 clauses out of 38023 with flag 474732/200004
13.02/11.86	c cleaning 19996 clauses out of 40008 with flag 531748/221000
14.45/13.24	c cleaning 21001 clauses out of 42012 with flag 593020/243000
15.84/14.62	c cleaning 22005 clauses out of 44011 with flag 657358/266000
17.79/16.53	c cleaning 22997 clauses out of 46006 with flag 722358/290000
20.08/18.86	c cleaning 24002 clauses out of 48009 with flag 786945/315000
22.36/21.05	c cleaning 24990 clauses out of 50007 with flag 853491/341000
24.74/23.43	c cleaning 26004 clauses out of 52017 with flag 923009/368000
27.11/25.77	c cleaning 27006 clauses out of 54019 with flag 994208/396006
29.91/28.50	c cleaning 28000 clauses out of 56007 with flag 1067334/425000
33.16/31.76	c cleaning 29000 clauses out of 58007 with flag 1139157/455000
36.73/35.21	c cleaning 29989 clauses out of 60007 with flag 1212551/486000
39.43/37.96	c cleaning 31000 clauses out of 62019 with flag 1293126/518001
43.38/41.84	c cleaning 31989 clauses out of 64019 with flag 1371603/551001
46.54/44.95	c cleaning 33004 clauses out of 66029 with flag 1456482/585000
51.43/49.81	c cleaning 34006 clauses out of 68025 with flag 1539120/620000
54.87/53.26	c cleaning 34998 clauses out of 70019 with flag 1627828/656000
58.83/57.13	c cleaning 36008 clauses out of 72026 with flag 1717215/693005
63.22/61.22	c cleaning 36999 clauses out of 74013 with flag 1812817/731000
66.14/64.15	c cleaning 38000 clauses out of 76014 with flag 1912117/770000
69.85/67.82	c cleaning 38998 clauses out of 78015 with flag 2015472/810001
75.20/73.18	c cleaning 40010 clauses out of 80037 with flag 2116475/851021
82.25/80.14	c cleaning 40993 clauses out of 82006 with flag 2212726/893000
89.78/87.68	c cleaning 42000 clauses out of 84014 with flag 2311742/936001
95.07/92.95	c cleaning 42997 clauses out of 86017 with flag 2412168/980004
100.98/98.72	c cleaning 44005 clauses out of 88025 with flag 2517115/1025009
108.76/106.50	c cleaning 44996 clauses out of 90011 with flag 2621289/1071000
114.75/112.57	c cleaning 45991 clauses out of 92016 with flag 2727987/1118001
121.74/119.50	c cleaning 46999 clauses out of 94025 with flag 2839410/1166001
128.34/126.16	c cleaning 47995 clauses out of 96025 with flag 2950200/1215000
133.23/131.06	c cleaning 49003 clauses out of 98030 with flag 3065039/1265000
138.22/136.01	c cleaning 50002 clauses out of 100029 with flag 3182610/1316002
144.41/142.27	c cleaning 50998 clauses out of 102025 with flag 3303061/1368000
151.20/149.04	c cleaning 51993 clauses out of 104028 with flag 3423956/1421001
157.15/154.86	c cleaning 53033 clauses out of 106068 with flag 3547835/1475034
162.19/159.86	c cleaning 53997 clauses out of 108001 with flag 3665495/1530000
168.82/166.06	c cleaning 54994 clauses out of 110011 with flag 3788281/1586007
175.70/172.30	c cleaning 55996 clauses out of 112010 with flag 3914303/1643000
183.05/179.61	c cleaning 57018 clauses out of 114035 with flag 4042565/1701021
191.23/187.85	c cleaning 57995 clauses out of 115996 with flag 4175397/1760000
196.97/193.46	c cleaning 58989 clauses out of 118001 with flag 4314904/1820000
202.86/199.36	c cleaning 59996 clauses out of 120012 with flag 4455169/1881000
209.95/206.43	c cleaning 61009 clauses out of 122017 with flag 4598695/1943001
218.13/214.51	c cleaning 61990 clauses out of 124007 with flag 4743604/2006000
223.39/219.84	c cleaning 63006 clauses out of 126020 with flag 4906481/2070003
230.46/226.82	c cleaning 64011 clauses out of 128023 with flag 5063242/2135012
237.09/233.60	c cleaning 65007 clauses out of 130016 with flag 5214909/2201016
243.23/239.75	c cleaning 65997 clauses out of 131994 with flag 5366798/2268001
251.01/247.46	c cleaning 66992 clauses out of 133997 with flag 5521863/2336001
259.79/256.29	c cleaning 68005 clauses out of 136009 with flag 5676656/2405005
268.28/264.56	c cleaning 68998 clauses out of 137999 with flag 5839644/2475000
276.46/272.78	c cleaning 69991 clauses out of 140002 with flag 6016523/2546001
285.26/281.49	c cleaning 70999 clauses out of 142010 with flag 6185101/2618000
292.19/287.90	c cleaning 72001 clauses out of 144011 with flag 6352797/2691000
300.16/295.80	c cleaning 73004 clauses out of 146010 with flag 6527656/2765000
305.75/301.43	c cleaning 73991 clauses out of 148007 with flag 6702866/2840001
312.35/308.04	c cleaning 74991 clauses out of 150021 with flag 6877147/2916006
324.30/319.86	c cleaning 76003 clauses out of 152031 with flag 7056511/2993007
333.78/329.37	c cleaning 77016 clauses out of 154035 with flag 7229710/3071014
344.97/340.50	c cleaning 77996 clauses out of 156011 with flag 7405202/3150006
354.15/349.53	c cleaning 79007 clauses out of 158014 with flag 7583106/3230005
359.74/355.18	c cleaning 79993 clauses out of 160004 with flag 7756038/3311002
368.17/363.45	c cleaning 81002 clauses out of 162011 with flag 7948135/3393002
377.96/373.24	c cleaning 81995 clauses out of 164008 with flag 8135636/3476001
384.38/379.55	c cleaning 82996 clauses out of 166012 with flag 8321368/3560000
393.61/388.87	c cleaning 84004 clauses out of 168016 with flag 8523604/3645000
401.78/396.94	c cleaning 85006 clauses out of 170012 with flag 8720099/3731000
412.66/407.88	c cleaning 86000 clauses out of 172018 with flag 8923591/3818012
422.45/417.54	c cleaning 86999 clauses out of 174008 with flag 9120363/3906002
429.29/424.09	c cleaning 87995 clauses out of 176007 with flag 9316671/3995000
429.99/424.77	c SATISFIABLE
429.99/424.78	c starts		: 774
429.99/424.78	c conflicts		: 4007292
429.99/424.79	c decisions		: 6306263
429.99/424.79	c propagations		: 36209204
429.99/424.79	c inspects		: 2926708557
429.99/424.79	c shortcuts		: 0
429.99/424.79	c learnt literals	: 0
429.99/424.79	c learnt binary clauses	: 0
429.99/424.79	c learnt ternary clauses	: 392
429.99/424.79	c learnt constraints	: 4007292
429.99/424.79	c ignored constraints	: 0
429.99/424.79	c root simplifications	: 0
429.99/424.79	c removed literals (reason simplification)	: 0
429.99/424.79	c reason swapping (by a shorter reason)	: 0
429.99/424.79	c Calls to reduceDB	: 85
429.99/424.79	c Number of update (reduction) of LBD	: 766310
429.99/424.79	c Imported unit clauses	: 0
429.99/424.79	c No decision after first conflict	: false
429.99/424.79	c number of reductions to clauses (during analyze)	: 0
429.99/424.79	c number of learned constraints concerned by reduction	: 0
429.99/424.79	c number of learning phase by resolution	: 0
429.99/424.79	c number of learning phase by cutting planes	: 0
429.99/424.79	c number of rounding to 1 operations	: 0
429.99/424.79	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
429.99/424.79	c number of reductions of the coefficients by power 2 	: 0
430.10/424.80	c number of right shift for reduction by power 2 	: 0
430.10/424.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
430.10/424.80	c number of ending skipping 	: 0
430.10/424.80	c number of internal skipping 	: 0
430.10/424.80	c number of derivation steps 	: 0
430.10/424.80	c number of skipped derivation steps 	: 0
430.10/424.80	c number of remaining unassigned 	: 0
430.10/424.80	c number of remaining assigned 	: 0
430.10/424.80	c number of falsified literals weakened from reason	: 0
430.10/424.80	c number of falsified literals weakened from conflict	: 0
430.10/424.80	c time for arithmetic operations	: 0
430.10/424.80	c minimum degree of deleted constraints	: null
430.10/424.80	c maximum degree of deleted constraints	: null
430.10/424.80	c number of deleted constraints	: 0
430.10/424.81	c speed (assignments/second)	: 85293.8568699458
430.10/424.81	c non guided choices	: 1333
430.10/424.85	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 100304
430.10/424.85	s SATISFIABLE
430.10/424.85	c Found 1 solution(s)
430.10/424.85	v -x1 x2 -x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 x200 
430.10/424.85	c Total wall clock time (in seconds): 424.651

Verifier Data 

OK	0

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: 63931 MiB (61198 MiB free)
  memory of node 1: 64510 MiB (62039 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459615-1721932566/watcher-4459615-1721932566 -o /tmp/evaluation-result-4459615-1721932566/solver-4459615-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721932566-258453 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459615-1721932566.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=258501, runsolver pid=258498

[startup+0.100087 s]*
/proc/loadavg: 0.07 0.08 0.09 4/277 258519
/proc/meminfo: memFree=126152812/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=18975008 memory=53124 CPUtime=0.03 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 6290 0 0 0 2 1 0 0 20 0 18 0 29785273 19430408192 13281 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4743752 13281 5093 1 0 548590 0
[pid=258501/tid=258503] ppid=258498 vsize=18975008 memory=4026531957 CPUtime=0.02 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) D 258498 258501 258442 0 -1 1078198336 5247 0 0 0 1 1 0 0 20 0 18 0 29785274 19430408192 13281 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=18975008 memory=237129433438 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29785281 19430408192 13281 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=18975008 memory=14132229934082635 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29785281 19430408192 13281 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18975008 KiB
Current children cumulated memory: 53124 KiB

[startup+0.208368 s]*
/proc/loadavg: 0.07 0.08 0.09 10/291 258542
/proc/meminfo: memFree=126091864/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=18975048 memory=63876 CPUtime=0.19 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 7454 0 0 0 17 2 0 0 20 0 18 0 29785273 19430449152 15969 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4743762 15969 5684 1 0 549491 0
[pid=258501/tid=258503] ppid=258498 vsize=18975048 memory=3472328300254199927 CPUtime=0.11 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 5873 0 0 0 10 1 0 0 20 0 18 0 29785274 19430449152 15969 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=18975048 memory=1499806 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29785281 19430449152 15969 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=18975048 memory=14977754374342008 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29785281 19430449152 15969 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63876 KiB

[startup+0.306605 s]*
/proc/loadavg: 0.07 0.08 0.09 11/303 258554
/proc/meminfo: memFree=126065608/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19041612 memory=71916 CPUtime=0.37 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 7788 0 0 0 35 2 0 0 20 0 19 0 29785273 19498610688 17979 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4760403 17979 5824 1 0 549932 0
[pid=258501/tid=258503] ppid=258498 vsize=19041612 memory=-9104701078621627068 CPUtime=0.19 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 5966 0 0 0 18 1 0 0 20 0 19 0 29785274 19498610688 17979 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 17979 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 17979 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29785301 19498610688 17979 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71916 KiB

[startup+0.701212 s]
/proc/loadavg: 0.07 0.08 0.09 11/326 258586
/proc/meminfo: memFree=125914992/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19041612 memory=96852 CPUtime=1.13 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 12811 0 0 0 110 3 0 0 20 0 19 0 29785273 19498610688 24213 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4760403 24213 5840 1 0 553015 0
[pid=258501/tid=258503] ppid=258498 vsize=19041612 memory=76760 CPUtime=0.57 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 5984 0 0 0 56 1 0 0 20 0 19 0 29785274 19498610688 24213 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19041612 memory=12316 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 24213 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19041612 memory=2272 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 24213 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19041612 memory=32140 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29785301 19498610688 24213 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96852 KiB

[startup+1.50076 s]
/proc/loadavg: 0.07 0.08 0.09 10/327 258589
/proc/meminfo: memFree=125803936/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19041612 memory=139676 CPUtime=2.48 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 17021 0 0 0 243 5 0 0 20 0 19 0 29785273 19498610688 34919 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4760403 34919 5840 1 0 553300 0
[pid=258501/tid=258503] ppid=258498 vsize=19041612 memory=12316 CPUtime=1.36 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 6360 0 0 0 134 2 0 0 20 0 19 0 29785274 19498610688 34919 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 34919 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29785281 19498610688 34919 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29785301 19498610688 34919 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139676 KiB

[startup+3.10621 s]
/proc/loadavg: 0.39 0.15 0.11 6/330 258592
/proc/meminfo: memFree=125433160/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=195744 CPUtime=4.14 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 19107 0 0 0 408 6 0 0 20 0 20 0 29785273 19566772224 48936 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 48936 5888 1 0 553591 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=-7305529503206444380 CPUtime=2.94 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 6630 0 0 0 291 3 0 0 20 0 20 0 29785274 19566772224 48936 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 48936 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 48936 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=100060 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 48936 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195744 KiB

[startup+6.30123 s]
/proc/loadavg: 0.39 0.15 0.11 5/332 258594
/proc/meminfo: memFree=124630828/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=322256 CPUtime=7.47 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 19642 0 0 0 738 9 0 0 20 0 20 0 29785273 19566772224 80564 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 80564 5888 1 0 553592 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=0 CPUtime=5.99 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 6681 0 0 0 596 3 0 0 20 0 20 0 29785274 19566772224 80564 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 80564 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 80564 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=-8598610170007495356 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 80564 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 322256 KiB

[startup+12.7012 s]
/proc/loadavg: 1.16 0.32 0.17 5/331 258661
/proc/meminfo: memFree=123217132/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=558676 CPUtime=13.96 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 21703 0 0 0 1383 13 0 0 20 0 20 0 29785273 19566772224 139669 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 139669 5888 1 0 660101 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=12316 CPUtime=12.14 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 7315 0 0 0 1211 3 0 0 20 0 20 0 29785274 19566772224 139669 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=322256 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 139669 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=402128 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 139669 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 139669 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 558676 KiB

[startup+25.5003 s]
/proc/loadavg: 1.60 0.44 0.21 5/332 258664
/proc/meminfo: memFree=120600448/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=950176 CPUtime=26.91 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 23849 0 0 0 2669 22 0 0 20 0 20 0 29785273 19566772224 237544 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 237544 5888 1 0 660111 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=-8598610170007495356 CPUtime=24.67 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 8091 0 0 0 2462 5 0 0 20 0 20 0 29785274 19566772224 237544 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=851832 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 237544 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=851832 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 237544 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=322256 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 237544 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 950176 KiB

[startup+51.1057 s]
/proc/loadavg: 2.42 0.73 0.31 7/332 258736
/proc/meminfo: memFree=117895664/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=1378264 CPUtime=52.78 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 27869 0 0 0 5246 32 0 0 20 0 20 0 29785273 19566772224 344566 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 344566 5888 1 0 660127 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=5552 CPUtime=49.84 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 9458 0 0 0 4978 6 0 0 20 0 20 0 29785274 19566772224 344566 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0

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

/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714732 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=76760 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714732 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 346.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2858928 KiB

[startup+402.3 s]
/proc/loadavg: 4.42 3.22 1.59 5/333 258805
/proc/meminfo: memFree=111755516/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2858988 CPUtime=407.17 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 81261 0 0 0 40638 79 0 0 20 0 20 0 29785273 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714747 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=2856512 CPUtime=396.71 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 23619 0 0 0 39646 25 0 0 20 0 20 0 29785274 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=2858984 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 299 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=2858984 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 407.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2858988 KiB

[startup+424.871 s]
# the end of solver process 258501 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=429.374 s, system=0.823616 s

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

[startup+409.6 s]
/proc/loadavg: 4.39 3.24 1.60 5/333 258805
/proc/meminfo: memFree=111753468/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2858988 CPUtime=414.56 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 81445 0 0 0 41377 79 0 0 20 0 20 0 29785273 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714747 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=2843452 CPUtime=403.87 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 23680 0 0 0 40362 25 0 0 20 0 20 0 29785274 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=2272 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 299 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=5440 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 414.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2858988 KiB

[startup+416 s]*
/proc/loadavg: 4.36 3.25 1.61 5/333 258807
/proc/meminfo: memFree=111753328/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2858988 CPUtime=420.96 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 81458 0 0 0 42017 79 0 0 20 0 20 0 29785273 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714747 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=-8601140146263007932 CPUtime=410.27 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 23691 0 0 0 41002 25 0 0 20 0 20 0 29785274 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=4270431478482867297 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 299 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=31444 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714747 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 420.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2858988 KiB

[startup+419.2 s]
/proc/loadavg: 4.33 3.26 1.63 5/333 258807
/proc/meminfo: memFree=111753328/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2859064 CPUtime=424.5 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 90045 0 0 0 42370 80 0 0 20 0 20 0 29785273 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714766 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=2858988 CPUtime=413.37 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 24525 0 0 0 41312 25 0 0 20 0 20 0 29785274 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=76760 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=2858988 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 299 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=2858988 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 424.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859064 KiB

[startup+422.4 s]
/proc/loadavg: 4.38 3.29 1.65 6/333 258808
/proc/meminfo: memFree=111753104/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2859064 CPUtime=427.69 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 90074 0 0 0 42689 80 0 0 20 0 20 0 29785273 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714766 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=2858988 CPUtime=416.56 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 24531 0 0 0 41631 25 0 0 20 0 20 0 29785274 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=2858988 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=281268818517296 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 321 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=2858988 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 427.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859064 KiB

[startup+424 s]*
/proc/loadavg: 4.38 3.29 1.65 5/333 258808
/proc/meminfo: memFree=111753104/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2859064 CPUtime=429.29 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 90079 0 0 0 42849 80 0 0 20 0 20 0 29785273 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714766 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=-8601140146263007932 CPUtime=418.16 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 24536 0 0 0 41791 25 0 0 20 0 20 0 29785274 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=4270431478482867297 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=4852 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 321 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=3452840 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714766 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 429.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859064 KiB

[startup+424.4 s]
/proc/loadavg: 4.38 3.29 1.65 5/333 258808
/proc/meminfo: memFree=111753104/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19108176 memory=2859068 CPUtime=429.69 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 90204 0 0 0 42889 80 0 0 20 0 20 0 29785273 19566772224 714767 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4777044 714767 5919 1 0 727499 0
[pid=258501/tid=258503] ppid=258498 vsize=19108176 memory=5552 CPUtime=418.56 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) R 258498 258501 258442 0 -1 4194368 24560 0 0 0 41831 25 0 0 20 0 20 0 29785274 19566772224 714767 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19108176 memory=25668 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714767 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19108176 memory=2036 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 321 0 0 0 0 0 0 0 20 0 20 0 29785281 19566772224 714767 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258553] ppid=258498 vsize=19108176 memory=1900 CPUtime=0 cores=4,6
/proc/258501/task/258553/stat : 258553 (Timer-0) S 258498 258501 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785301 19566772224 714767 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 429.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2859068 KiB

[startup+424.801 s]
/proc/loadavg: 4.38 3.29 1.65 5/333 258808
/proc/meminfo: memFree=111753104/131524600 swapFree=131059368/131071996
[pid=258501] ppid=258498 vsize=19241304 memory=2859484 CPUtime=430.1 cores=4,6
/proc/258501/stat : 258501 (java) S 258498 258501 258442 0 -1 1077936128 91895 0 0 0 42929 81 0 0 20 0 20 0 29785273 19703095296 714871 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
/proc/258501/statm: 4810326 714871 5918 1 0 728138 0
[pid=258501/tid=258503] ppid=258498 vsize=19241304 memory=76760 CPUtime=418.93 cores=4,6
/proc/258501/task/258503/stat : 258503 (java) S 258498 258501 258442 0 -1 1077936192 25483 0 0 0 41868 25 0 0 20 0 20 0 29785274 19703095296 714871 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258512] ppid=258498 vsize=19241304 memory=12316 CPUtime=0 cores=4,6
/proc/258501/task/258512/stat : 258512 (Finalizer) S 258498 258501 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785281 19703095296 714871 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
[pid=258501/tid=258519] ppid=258498 vsize=19241304 memory=5440 CPUtime=0 cores=4,6
/proc/258501/task/258519/stat : 258519 (Common-Cleaner) S 258498 258501 258442 0 -1 1077936192 321 0 0 0 0 0 0 0 20 0 20 0 29785281 19703095296 714871 134679101440 94061757583360 94061757587056 140730263590800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94061757594872 94061757595664 94061782908928 140730263593990 140730263594080 140730263594080 140730263601096 0
Current children cumulated CPU time: 430.1 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2859484 KiB

Child status: 10

Real time (s): 424.871
CPU time (s): 430.198
CPU user time (s): 429.374
CPU system time (s): 0.823616
CPU usage (%): 101.254
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2859484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.374
system time used= 0.823616
maximum resident set size= 2860468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15122
involuntary context switches= 2013


# summary of solver processes directly reported to runsolver:
#   pid: 258501
#   total CPU time (s): 430.198
#   total CPU user time (s): 429.374
#   total CPU system time (s): 0.823616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.867502 second user time and 2.16031 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-25 20:36:06
IDJOB=4459615
IDBENCH=148250
IDSOLVER=3058
FILE ID=nodeC021/4459615-1721932566
RUNJOBID= nodeC021-1721932566-258453
SLURM_JOB_ID= 8247069
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_1_15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459615-1721932566/watcher-4459615-1721932566 -o /tmp/evaluation-result-4459615-1721932566/solver-4459615-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721932566-258453 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459615-1721932566.opb

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

MD5SUM BENCH= 2407996de31b42808f1baaa935b78168
RANDOM SEED=672496796

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3648.792
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 1686.306
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3648.754
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 2009.260
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3596.836
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 2086.626
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3600.014
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 2913.426
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126199084 kB
MemAvailable:   129677580 kB
Buffers:          331188 kB
Cached:          3954360 kB
SwapCached:          448 kB
Active:          2689776 kB
Inactive:        1990116 kB
Active(anon):       1584 kB
Inactive(anon):   446224 kB
Active(file):    2688192 kB
Inactive(file):  1543892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:              1900 kB
Writeback:             0 kB
AnonPages:        393624 kB
Mapped:           125592 kB
Shmem:             53464 kB
KReclaimable:     172116 kB
Slab:             291832 kB
SReclaimable:     172116 kB
SUnreclaim:       119716 kB
KernelStack:        4068 kB
PageTables:        10108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3016188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      324308 kB
DirectMap2M:    40343552 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-25 20:43:11