Trace number 4424817

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-07OPTIMUM 1283.38 1281.31

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM58dcfab840f802fd07e06728414a1271
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.00362
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables220
Total number of constraints42
Number of soft constraints30
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint11
Top cost 1595
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1594
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.14	c Free memory 		2115194816
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.18	--- Begin Solver configuration ---
0.12/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	Learn all clauses as in MiniSAT
0.12/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	No reason simplification
0.12/0.18	Glucose 2.1 dynamic restart strategy
0.12/0.18	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.12/0.18	timeout=2147483s
0.12/0.18	DB Simplification allowed=false
0.12/0.18	Listener: none
0.12/0.18	--- End Solver configuration ---
0.12/0.19	c Pseudo Boolean Optimization by upper bound
0.12/0.19	c --- Begin Solver configuration ---
0.12/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.19	c Learn all clauses as in MiniSAT
0.12/0.19	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	c No reason simplification
0.12/0.19	c Glucose 2.1 dynamic restart strategy
0.12/0.19	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.12/0.19	c timeout=2147483s
0.12/0.19	c DB Simplification allowed=false
0.12/0.19	c Listener: none
0.12/0.19	c --- End Solver configuration ---
0.12/0.19	c solving HOME/instance-4424817-1720879704.wbo
0.12/0.19	c reading problem ... 
0.12/0.20	c ... done. Wall clock time 0.02s.
0.12/0.20	c declared #vars     220
0.12/0.20	c internal #vars     250
0.12/0.20	c #constraints  43
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4
0.12/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.12/0.20	c org.sat4j.specs.Constr$1 => 1
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22
0.12/0.20	c 43 constraints processed.
0.12/0.21	c objective function length is 30 literals
0.51/0.35	c SATISFIABLE
0.51/0.35	c OPTIMIZING...
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.176
0.51/0.36	o 84
0.88/0.54	c Got one! Elapsed wall clock time (in seconds):0.353
0.88/0.54	o 37
1.35/0.85	c cleaning 2938 clauses out of 5876 with flag 24210/5876
1.35/0.88	c Got one! Elapsed wall clock time (in seconds):0.705
1.35/0.88	o 34
2.00/1.23	c cleaning 4346 clauses out of 8703 with flag 31433/11641
2.44/1.50	c Got one! Elapsed wall clock time (in seconds):1.318
2.44/1.50	o 26
2.44/1.54	c cleaning 4898 clauses out of 9799 with flag 8545/17083
2.79/1.76	c Got one! Elapsed wall clock time (in seconds):1.577
2.79/1.76	o 9
2.90/1.84	c cleaning 5337 clauses out of 10686 with flag 6063/22868
3.51/2.40	c cleaning 5670 clauses out of 11350 with flag 44957/28869
4.56/3.21	c cleaning 6339 clauses out of 12679 with flag 97104/35868
5.77/4.41	c cleaning 7167 clauses out of 14340 with flag 154530/43868
7.07/5.73	c cleaning 8084 clauses out of 16173 with flag 220607/52868
8.27/6.91	c cleaning 9043 clauses out of 18090 with flag 294309/62869
9.57/8.23	c cleaning 10021 clauses out of 20047 with flag 379416/73869
10.79/9.49	c cleaning 11011 clauses out of 22026 with flag 475531/85869
12.10/10.79	c cleaning 12002 clauses out of 24015 with flag 580456/98869
13.79/12.40	c cleaning 13002 clauses out of 26015 with flag 681385/112871
16.00/14.66	c cleaning 14004 clauses out of 28011 with flag 780273/127869
18.76/17.37	c cleaning 15003 clauses out of 30009 with flag 879429/143871
22.12/20.66	c cleaning 16001 clauses out of 32003 with flag 1006405/160868
25.63/24.18	c cleaning 16998 clauses out of 34003 with flag 1126110/178869
29.62/28.12	c cleaning 17995 clauses out of 36004 with flag 1291253/197868
34.70/33.22	c cleaning 18994 clauses out of 38009 with flag 1455825/217868
40.40/38.92	c cleaning 20005 clauses out of 40015 with flag 1640009/238868
41.09/39.62	c Got one! Elapsed wall clock time (in seconds):39.441
41.09/39.62	o 3
42.09/40.61	c cleaning 16439 clauses out of 32889 with flag 41092/251747
42.79/41.37	c cleaning 11220 clauses out of 22450 with flag 89200/257747
43.69/42.24	c cleaning 9109 clauses out of 18230 with flag 144998/264747
44.60/43.14	c cleaning 8554 clauses out of 17122 with flag 208903/272748
45.39/43.97	c cleaning 8784 clauses out of 17567 with flag 285597/281747
46.39/44.93	c cleaning 9387 clauses out of 18783 with flag 375061/291747
47.78/46.32	c cleaning 10194 clauses out of 20396 with flag 468574/302747
49.38/47.95	c cleaning 11092 clauses out of 22202 with flag 574473/314747
50.88/49.43	c cleaning 12051 clauses out of 24110 with flag 685593/327747
52.49/51.08	c cleaning 13027 clauses out of 26060 with flag 816332/341748
54.97/53.52	c cleaning 14013 clauses out of 28032 with flag 963473/356747
56.87/55.47	c cleaning 15004 clauses out of 30019 with flag 1091388/372747
59.76/58.32	c cleaning 16008 clauses out of 32017 with flag 1243510/389749
62.66/61.27	c cleaning 16997 clauses out of 34007 with flag 1393881/407747
66.65/65.26	c cleaning 18002 clauses out of 36011 with flag 1587232/426748
69.65/68.28	c cleaning 19001 clauses out of 38009 with flag 1790842/446748
73.55/72.17	c cleaning 19998 clauses out of 40007 with flag 1999221/467747
78.83/77.43	c cleaning 20995 clauses out of 42009 with flag 2213068/489747
83.13/81.70	c cleaning 22005 clauses out of 44014 with flag 2433542/512747
89.56/88.11	c cleaning 23002 clauses out of 46009 with flag 2658313/536747
95.13/93.74	c cleaning 23990 clauses out of 48007 with flag 2902723/561747
102.54/101.12	c cleaning 25003 clauses out of 50017 with flag 3149113/587747
111.01/109.61	c cleaning 26001 clauses out of 52014 with flag 3431856/614747
119.29/117.99	c cleaning 26999 clauses out of 54013 with flag 3731338/642747
128.98/127.64	c cleaning 27995 clauses out of 56015 with flag 4036249/671748
141.25/139.92	c cleaning 29006 clauses out of 58020 with flag 4381753/701748
151.24/149.97	c cleaning 30000 clauses out of 60013 with flag 4739708/732747
159.34/158.04	c cleaning 31006 clauses out of 62015 with flag 5081978/764749
170.61/169.32	c cleaning 31997 clauses out of 64009 with flag 5442841/797749
182.89/181.65	c cleaning 32996 clauses out of 66010 with flag 5822811/831747
195.77/194.55	c cleaning 34002 clauses out of 68014 with flag 6207711/866747
210.30/209.13	c cleaning 35004 clauses out of 70013 with flag 6612590/902748
222.46/221.34	c cleaning 36003 clauses out of 72009 with flag 7016745/939748
235.34/234.26	c cleaning 36997 clauses out of 74006 with flag 7446091/977748
248.33/247.28	c cleaning 37995 clauses out of 76009 with flag 7881251/1016748
262.37/261.29	c cleaning 39005 clauses out of 78014 with flag 8343400/1056748
274.05/272.93	c cleaning 40003 clauses out of 80010 with flag 8783849/1097749
288.42/287.36	c cleaning 41001 clauses out of 82005 with flag 9303784/1139747
302.30/300.71	c cleaning 41997 clauses out of 84004 with flag 9804444/1182747
312.93/310.71	c cleaning 42992 clauses out of 86007 with flag 10231690/1226748
324.48/321.86	c cleaning 44007 clauses out of 88021 with flag 10557389/1271754
343.08/340.25	c cleaning 44996 clauses out of 90007 with flag 10907425/1317747
355.04/352.21	c cleaning 45998 clauses out of 92012 with flag 11280038/1364748
370.65/367.86	c cleaning 47005 clauses out of 94015 with flag 11670924/1412749
382.74/379.93	c cleaning 47991 clauses out of 96008 with flag 12052543/1461747
396.82/394.04	c cleaning 49003 clauses out of 98018 with flag 12447682/1511748
413.24/410.49	c cleaning 49999 clauses out of 100014 with flag 12890093/1562747
424.52/421.72	c cleaning 50998 clauses out of 102018 with flag 13376528/1614750
446.37/443.68	c cleaning 52000 clauses out of 104018 with flag 13827159/1667748
480.34/477.64	c cleaning 53004 clauses out of 106017 with flag 14285022/1721747
502.30/499.67	c cleaning 54004 clauses out of 108014 with flag 14775297/1776748
526.76/524.18	c cleaning 55000 clauses out of 110012 with flag 15266343/1832750
547.75/545.17	c cleaning 55992 clauses out of 112010 with flag 15794105/1889748
561.91/559.38	c cleaning 57011 clauses out of 114021 with flag 16346854/1947751
575.88/573.38	c cleaning 57999 clauses out of 116006 with flag 16934569/2006747
593.96/591.43	c cleaning 59001 clauses out of 118007 with flag 17452610/2066747
632.08/629.64	c cleaning 59998 clauses out of 120006 with flag 17967602/2127747
666.21/663.84	c cleaning 60993 clauses out of 122008 with flag 18467707/2189747
707.37/705.10	c cleaning 62009 clauses out of 124017 with flag 19022213/2252749
738.79/736.59	c cleaning 62999 clauses out of 126008 with flag 19593606/2316749
760.75/758.58	c cleaning 63998 clauses out of 128007 with flag 20114787/2381747
793.06/790.80	c cleaning 64999 clauses out of 130009 with flag 20754569/2447747
816.62/814.42	c cleaning 66003 clauses out of 132011 with flag 21418465/2514748
872.33/870.20	c cleaning 67000 clauses out of 134007 with flag 22065636/2582747
927.26/925.01	c cleaning 67999 clauses out of 136009 with flag 22693660/2651749
970.87/968.66	c cleaning 68996 clauses out of 138008 with flag 23310474/2721747
1007.04/1004.89	c cleaning 70001 clauses out of 140012 with flag 23948808/2792747
1048.18/1046.01	c cleaning 71002 clauses out of 142013 with flag 24613142/2864749
1108.95/1106.98	c cleaning 71998 clauses out of 144009 with flag 25334110/2937747
1170.11/1168.23	c cleaning 73001 clauses out of 146012 with flag 26057447/3011748
1207.45/1205.63	c cleaning 74000 clauses out of 148012 with flag 26771963/3086749
1236.00/1234.21	c cleaning 75005 clauses out of 150011 with flag 27419169/3162748
1276.28/1274.54	c cleaning 76002 clauses out of 152007 with flag 28085169/3239749
1283.25/1281.27	c starts		: 16452
1283.25/1281.28	c conflicts		: 3259645
1283.25/1281.28	c decisions		: 4387914
1283.25/1281.28	c propagations		: 45044657
1283.25/1281.28	c inspects		: 17413214495
1283.25/1281.28	c shortcuts		: 0
1283.25/1281.28	c learnt literals	: 7
1283.25/1281.28	c learnt binary clauses	: 6
1283.25/1281.28	c learnt ternary clauses	: 7
1283.25/1281.28	c learnt constraints	: 3259637
1283.25/1281.28	c ignored constraints	: 0
1283.25/1281.28	c root simplifications	: 0
1283.25/1281.28	c removed literals (reason simplification)	: 0
1283.25/1281.28	c reason swapping (by a shorter reason)	: 0
1283.25/1281.28	c Calls to reduceDB	: 93
1283.25/1281.28	c Number of update (reduction) of LBD	: 1714688
1283.25/1281.28	c Imported unit clauses	: 0
1283.25/1281.28	c No decision after first conflict	: false
1283.25/1281.28	c number of reductions to clauses (during analyze)	: 0
1283.25/1281.28	c number of learned constraints concerned by reduction	: 0
1283.25/1281.28	c number of learning phase by resolution	: 0
1283.25/1281.28	c number of learning phase by cutting planes	: 0
1283.25/1281.28	c number of rounding to 1 operations	: 0
1283.25/1281.28	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1283.25/1281.28	c number of reductions of the coefficients by power 2 	: 0
1283.25/1281.28	c number of right shift for reduction by power 2 	: 0
1283.25/1281.28	c number of reductions of the coefficients by GCD over coefficients 	: 0
1283.25/1281.28	c number of ending skipping 	: 0
1283.25/1281.28	c number of internal skipping 	: 0
1283.25/1281.28	c number of derivation steps 	: 0
1283.25/1281.28	c number of skipped derivation steps 	: 0
1283.25/1281.28	c number of remaining unassigned 	: 0
1283.25/1281.28	c number of remaining assigned 	: 0
1283.25/1281.28	c number of falsified literals weakened from reason	: 0
1283.25/1281.28	c number of falsified literals weakened from conflict	: 0
1283.25/1281.28	c time for arithmetic operations	: 0
1283.25/1281.28	c minimum degree of deleted constraints	: null
1283.25/1281.28	c maximum degree of deleted constraints	: null
1283.25/1281.28	c number of deleted constraints	: 0
1283.25/1281.28	c speed (assignments/second)	: 35161.8001542463
1283.25/1281.28	c non guided choices	: 1156
1283.25/1281.28	s OPTIMUM FOUND
1283.25/1281.28	c Found 6 solution(s)
1283.25/1281.28	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 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 
1283.25/1281.29	c objective function=3
1283.25/1281.29	c Total wall clock time (in seconds): 1281.107

Verifier Data 

OK	3

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: 64059 MiB (60470 MiB free)
  memory of node 1: 64510 MiB (60787 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424817-1720879704/watcher-4424817-1720879704 -o /tmp/evaluation-result-4424817-1720879704/solver-4424817-1720879704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701330 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424817-1720879704.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 Starting watchdog threadLinux Starting watchdog threadmit, stack expansion wil
Current StackSize limit: 8192 KiB

solver pid=703505, runsolver pid=703502

[startup+0.100498 s]*
/proc/loadavg: 4.10 3.38 2.61 7/315 703523
/proc/meminfo: memFree=124133092/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=18975048 memory=55912 CPUtime=0.12 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 6556 0 0 0 9 3 0 0 20 0 18 0 140129674 19430449152 13978 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4743762 13978 5569 1 0 550907 0
[pid=703505/tid=703507] ppid=703502 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 5494 0 0 0 6 2 0 0 20 0 18 0 140129674 19430449152 13978 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140129680 19430449152 13978 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=18975048 memory=15823283178223670 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140129680 19430449152 13978 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55912 KiB

[startup+0.221493 s]*
/proc/loadavg: 4.10 3.38 2.61 10/316 703524
/proc/meminfo: memFree=124122352/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=66916 CPUtime=0.33 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 7543 0 0 0 30 3 0 0 20 0 19 0 140129674 19498610688 16729 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 16729 5801 1 0 551953 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 6070 0 0 0 18 3 0 0 20 0 19 0 140129674 19498610688 16729 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=1645 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 16729 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=13847460783068500 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 16729 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 16729 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 66916 KiB

[startup+0.31649 s]*
/proc/loadavg: 4.10 3.38 2.61 7/316 703524
/proc/meminfo: memFree=124118964/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=70180 CPUtime=0.51 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 9340 0 0 0 47 4 0 0 20 0 19 0 140129674 19498610688 17545 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 17545 5887 1 0 552718 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=-9033487931072225980 CPUtime=0.26 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 6080 0 0 0 23 3 0 0 20 0 19 0 140129674 19498610688 17545 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 17545 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 17545 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 17545 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70180 KiB

[startup+0.705022 s]
/proc/loadavg: 4.10 3.38 2.61 7/316 703524
/proc/meminfo: memFree=124114140/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=80368 CPUtime=1.22 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 11530 0 0 0 118 4 0 0 20 0 19 0 140129674 19498610688 20092 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 20092 5887 1 0 554081 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=35256 CPUtime=0.57 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 6106 0 0 0 54 3 0 0 20 0 19 0 140129674 19498610688 20092 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 20092 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=2208 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 20092 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=32604 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 20092 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80368 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 3.38 2.61 6/316 703524
/proc/meminfo: memFree=124103956/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=90140 CPUtime=2.44 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 14729 0 0 0 239 5 0 0 20 0 19 0 140129674 19498610688 22535 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 22535 5887 1 0 554329 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=11948 CPUtime=1.36 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 6481 0 0 0 133 3 0 0 20 0 19 0 140129674 19498610688 22535 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 22535 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=2208 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 22535 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=32604 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 22535 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90140 KiB

[startup+3.1135 s]
/proc/loadavg: 4.10 3.38 2.61 5/316 703524
/proc/meminfo: memFree=124087864/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=99220 CPUtime=4.38 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 16390 0 0 0 432 6 0 0 20 0 19 0 140129674 19498610688 24805 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 24805 5887 1 0 554518 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=0 CPUtime=2.97 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 6976 0 0 0 294 3 0 0 20 0 19 0 140129674 19498610688 24805 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=-9033487931072225980 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 24805 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=11948 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 24805 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=2208 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 24805 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99220 KiB

[startup+6.30044 s]
/proc/loadavg: 4.09 3.39 2.62 5/316 703526
/proc/meminfo: memFree=124078836/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=109848 CPUtime=7.67 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 16469 0 0 0 761 6 0 0 20 0 19 0 140129674 19498610688 27462 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 27462 5887 1 0 554518 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=11948 CPUtime=6.15 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 7038 0 0 0 611 4 0 0 20 0 19 0 140129674 19498610688 27462 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=2208 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 27462 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 27462 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=90192 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 27462 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109848 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 3.40 2.62 5/316 703526
/proc/meminfo: memFree=124052360/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19041612 memory=136632 CPUtime=14.1 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 19441 0 0 0 1402 8 0 0 20 0 19 0 140129674 19498610688 34158 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4760403 34158 5899 1 0 554518 0
[pid=703505/tid=703507] ppid=703502 vsize=19041612 memory=90192 CPUtime=12.54 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 8404 0 0 0 1249 5 0 0 20 0 19 0 140129674 19498610688 34158 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19041612 memory=132536 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 34158 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19041612 memory=122268 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140129680 19498610688 34158 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19041612 memory=11648 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140129696 19498610688 34158 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136632 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 3.44 2.65 5/317 703531
/proc/meminfo: memFree=123990116/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=180076 CPUtime=27.01 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 25333 0 0 0 2691 10 0 0 20 0 20 0 140129674 19566772224 45019 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 45019 5931 1 0 554807 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=1812 CPUtime=25.27 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 9703 0 0 0 2522 5 0 0 20 0 20 0 140129674 19566772224 45019 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 45019 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=161236 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 45019 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 45019 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 27.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180076 KiB

[startup+51.113 s]
/proc/loadavg: 4.14 3.51 2.69 5/317 703534
/proc/meminfo: memFree=123989596/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=180332 CPUtime=52.59 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 27961 0 0 0 5248 11 0 0 20 0 20 0 140129674 19566772224 45083 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 45083 5947 1 0 554807 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=11648 CPUtime=50.82 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 11670 0 0 0 5076 6 0 0 20 0 20 0 140129674 19566772224 45083 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0

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

/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1244.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052388 KiB

[startup+1281.31 s]
# the end of solver process 703505 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1282.46 s, system=0.926058 s

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

[startup+1254.4 s]
/proc/loadavg: 4.15 4.17 3.82 5/320 704375
/proc/meminfo: memFree=111968048/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052388 CPUtime=1256.16 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 75566 0 0 0 125527 89 0 0 20 0 20 0 140129674 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263097 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=11948 CPUtime=1248.45 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23563 0 0 0 124837 8 0 0 20 0 20 0 140129674 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=1052388 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1256.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052388 KiB

[startup+1267.2 s]
/proc/loadavg: 4.20 4.18 3.83 5/320 704378
/proc/meminfo: memFree=111630960/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052388 CPUtime=1268.93 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 75656 0 0 0 126803 90 0 0 20 0 20 0 140129674 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263097 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=0 CPUtime=1261.21 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23650 0 0 0 126113 8 0 0 20 0 20 0 140129674 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=5424 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263097 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1268.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052388 KiB

[startup+1273.6 s]
/proc/loadavg: 4.18 4.17 3.83 6/320 704378
/proc/meminfo: memFree=111503732/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052420 CPUtime=1275.38 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 77652 0 0 0 127447 91 0 0 20 0 20 0 140129674 19566772224 263105 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263105 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=11648 CPUtime=1267.59 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23846 0 0 0 126751 8 0 0 20 0 20 0 140129674 19566772224 263105 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=5424 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263105 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=2620 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263105 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=3472328296227679265 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263105 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1275.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052420 KiB

[startup+1276.8 s]
/proc/loadavg: 4.17 4.17 3.83 6/320 704379
/proc/meminfo: memFree=111446164/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052544 CPUtime=1278.85 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 79248 0 0 0 127794 91 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263136 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=1052420 CPUtime=1270.79 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23865 0 0 0 127071 8 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=35464 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=11948 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=40524 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1278.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052544 KiB

[startup+1278.4 s]
/proc/loadavg: 4.17 4.17 3.83 5/320 704379
/proc/meminfo: memFree=111390784/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052544 CPUtime=1280.45 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 79249 0 0 0 127954 91 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263136 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=11948 CPUtime=1272.38 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23866 0 0 0 127230 8 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=1052544 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=35464 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=1052544 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1280.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052544 KiB

[startup+1280 s]*
/proc/loadavg: 4.15 4.17 3.83 5/320 704379
/proc/meminfo: memFree=111351756/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052544 CPUtime=1282.06 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 79250 0 0 0 128115 91 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263136 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=-8600578317379609276 CPUtime=1273.99 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23867 0 0 0 127391 8 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=1471057968234071897 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=8172 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=3420 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1282.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052544 KiB

[startup+1280.8 s]
/proc/loadavg: 4.15 4.17 3.83 5/320 704379
/proc/meminfo: memFree=111351756/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052544 CPUtime=1282.84 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 79250 0 0 0 128193 91 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263136 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=35464 CPUtime=1274.78 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23867 0 0 0 127470 8 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=1052544 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=8505805347662455428 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=6878395403450982818 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1282.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052544 KiB

[startup+1281.2 s]
/proc/loadavg: 4.15 4.17 3.83 5/320 704380
/proc/meminfo: memFree=111333140/131655788 swapFree=131071996/131071996
[pid=703505] ppid=703502 vsize=19108176 memory=1052544 CPUtime=1283.25 cores=4,6
/proc/703505/stat : 703505 (java) S 703502 703505 696886 0 -1 1077936128 79279 0 0 0 128234 91 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
/proc/703505/statm: 4777044 263136 5978 1 0 558259 0
[pid=703505/tid=703507] ppid=703502 vsize=19108176 memory=26164 CPUtime=1275.18 cores=4,6
/proc/703505/task/703507/stat : 703507 (java) R 703502 703505 696886 0 -1 4194368 23888 0 0 0 127510 8 0 0 20 0 20 0 140129674 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703516] ppid=703502 vsize=19108176 memory=25332 CPUtime=0 cores=4,6
/proc/703505/task/703516/stat : 703516 (Finalizer) S 703502 703505 696886 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703523] ppid=703502 vsize=19108176 memory=108 CPUtime=0 cores=4,6
/proc/703505/task/703523/stat : 703523 (Common-Cleaner) S 703502 703505 696886 0 -1 1077936192 1198 0 0 0 0 0 0 0 20 0 20 0 140129680 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
[pid=703505/tid=703524] ppid=703502 vsize=19108176 memory=-9033487931072225980 CPUtime=0 cores=4,6
/proc/703505/task/703524/stat : 703524 (Timer-0) S 703502 703505 696886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140129696 19566772224 263136 134679101440 93891206504448 93891206508144 140722643492400 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93891206515960 93891206516752 93891237187584 140722643493869 140722643493959 140722643493959 140722643501000 0
Current children cumulated CPU time: 1283.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1052544 KiB

Child status: 30

Real time (s): 1281.31
CPU time (s): 1283.38
CPU user time (s): 1282.46
CPU system time (s): 0.926058
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 19109384
Max. memory (cumulated for all children) (KiB): 1052544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1282.46
system time used= 0.926058
maximum resident set size= 1053808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38486
involuntary context switches= 1050


# summary of solver processes directly reported to runsolver:
#   pid: 703505
#   total CPU time (s): 1283.38
#   total CPU user time (s): 1282.46
#   total CPU system time (s): 0.926058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91435 second user time and 14.339 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-13 16:08:36
IDJOB=4424817
IDBENCH=143457
IDSOLVER=3037
FILE ID=nodeC010/4424817-1720879704
RUNJOBID= nodeC010-1720879372-701330
SLURM_JOB_ID= 7483758
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424817-1720879704/watcher-4424817-1720879704 -o /tmp/evaluation-result-4424817-1720879704/solver-4424817-1720879704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720879372-701330 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424817-1720879704.wbo

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

MD5SUM BENCH= 58dcfab840f802fd07e06728414a1271
RANDOM SEED=2123601405

nodeC010.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	: 0xb00001f
cpu MHz		: 3673.926
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 invpcid_single pti 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	: 6983.51
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		: 3625.884
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 invpcid_single pti 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	: 6983.31
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.306
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 invpcid_single pti 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	: 6983.51
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.274
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 invpcid_single pti 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	: 6983.31
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		: 3635.302
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 invpcid_single pti 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	: 6983.51
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		: 3520.415
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 invpcid_single pti 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	: 6983.31
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.177
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 invpcid_single pti 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	: 6983.51
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.244
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 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124167280 kB
MemAvailable:   124065504 kB
Buffers:          320112 kB
Cached:           427036 kB
SwapCached:            0 kB
Active:           478588 kB
Inactive:        6498616 kB
Active(anon):       1440 kB
Inactive(anon):  6266320 kB
Active(file):     477148 kB
Inactive(file):   232296 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:       6229736 kB
Mapped:           121972 kB
Shmem:             37704 kB
KReclaimable:      57624 kB
Slab:             147012 kB
SReclaimable:      57624 kB
SUnreclaim:        89388 kB
KernelStack:        4800 kB
PageTables:        22412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10599976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5851136 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:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-13 16:29:57