Trace number 4526369

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06OPTIMUM 123.685 122.019

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/spot5/
normalized-spot5-29_wcsp.wbo
MD5SUM5f413b04ce5bf31c45b055969f32f1ab
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8059
Best CPU time to get the best result obtained on this benchmark0.026904
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables202
Total number of constraints774
Number of soft constraints692
Number of constraints which are clauses692
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 20092
Min constraint cost 1
Max constraint cost 20092
Sum of constraints costs 12276211
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4526369-1751631847.wbo
0.13/0.13	c reading problem ... 
0.13/0.18	c ... done. Wall clock time 0.051s.
0.13/0.18	c declared #vars     202
0.13/0.18	c internal #vars     894
0.13/0.18	c #constraints  857
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 208
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 19
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 629
0.13/0.18	c 857 constraints processed.
0.13/0.19	c objective function length is 692 literals
0.31/0.21	c SATISFIABLE
0.31/0.21	c OPTIMIZING...
0.31/0.21	c Got one! Elapsed wall clock time (in seconds):0.086
0.31/0.21	o 9060
0.31/0.22	c Got one! Elapsed wall clock time (in seconds):0.092
0.31/0.22	o 9059
1.27/0.74	c cleaning 2502 clauses out of 5003 with flag 15831/5003
2.06/1.16	c cleaning 4249 clauses out of 8503 with flag 33527/11005
2.52/1.51	c cleaning 5627 clauses out of 11253 with flag 55169/18004
2.93/1.95	c cleaning 6807 clauses out of 13626 with flag 79468/26004
3.44/2.43	c cleaning 7902 clauses out of 15818 with flag 105006/35003
3.99/2.94	c cleaning 8955 clauses out of 17916 with flag 136394/45003
4.63/3.58	c cleaning 9978 clauses out of 19961 with flag 166042/56003
5.43/4.35	c cleaning 10986 clauses out of 21983 with flag 195978/68003
6.24/5.13	c cleaning 11996 clauses out of 23997 with flag 230540/81003
7.03/5.99	c cleaning 12994 clauses out of 26002 with flag 266782/95004
8.23/7.11	c cleaning 14004 clauses out of 28007 with flag 302109/110003
9.56/8.46	c cleaning 15002 clauses out of 30003 with flag 343559/126003
10.88/9.77	c cleaning 15995 clauses out of 32001 with flag 391952/143003
12.48/11.38	c cleaning 16996 clauses out of 34008 with flag 441653/161005
14.19/13.05	c cleaning 18006 clauses out of 36011 with flag 499925/180004
16.20/15.05	c cleaning 18995 clauses out of 38004 with flag 561360/200003
18.31/17.18	c cleaning 20005 clauses out of 40009 with flag 639090/221003
20.70/19.53	c cleaning 21002 clauses out of 42004 with flag 709255/243003
22.39/21.21	c cleaning 22000 clauses out of 44002 with flag 776980/266003
23.99/22.83	c cleaning 22996 clauses out of 46002 with flag 842275/290003
26.59/25.49	c cleaning 23999 clauses out of 48007 with flag 917260/315004
29.29/28.17	c cleaning 25004 clauses out of 50007 with flag 996861/341003
32.37/31.29	c cleaning 25999 clauses out of 52003 with flag 1068714/368003
35.57/34.49	c cleaning 27002 clauses out of 54004 with flag 1139973/396003
38.97/37.84	c cleaning 27990 clauses out of 56002 with flag 1220956/425003
42.17/41.00	c cleaning 29000 clauses out of 58012 with flag 1317847/455003
44.36/43.25	c cleaning 30001 clauses out of 60012 with flag 1411918/486003
46.95/45.84	c cleaning 31005 clauses out of 62013 with flag 1539203/518005
49.75/48.69	c cleaning 32000 clauses out of 64006 with flag 1644065/551003
53.67/52.54	c cleaning 32998 clauses out of 66006 with flag 1731525/585003
58.56/57.43	c cleaning 34004 clauses out of 68009 with flag 1815741/620004
62.75/61.66	c cleaning 35002 clauses out of 70005 with flag 1907998/656004
67.44/66.30	c cleaning 35992 clauses out of 72002 with flag 2004613/693003
72.03/70.94	c cleaning 37001 clauses out of 74010 with flag 2098632/731003
77.12/76.04	c cleaning 38002 clauses out of 76009 with flag 2188186/770003
83.54/82.46	c cleaning 39004 clauses out of 78008 with flag 2275604/810004
88.84/87.72	c cleaning 40002 clauses out of 80003 with flag 2365197/851003
94.23/93.13	c cleaning 41001 clauses out of 82003 with flag 2466531/893005
100.81/99.79	c cleaning 41996 clauses out of 84000 with flag 2565992/936003
105.50/104.42	c Got one! Elapsed wall clock time (in seconds):104.29
105.50/104.42	o 8064
105.50/104.43	c Got one! Elapsed wall clock time (in seconds):104.305
105.50/104.43	o 8062
105.50/104.43	c Got one! Elapsed wall clock time (in seconds):104.308
105.50/104.43	o 8059
107.22/106.11	c cleaning 37887 clauses out of 75790 with flag 11241/969789
107.82/106.73	c cleaning 21946 clauses out of 43902 with flag 24248/975788
108.36/107.26	c cleaning 14473 clauses out of 28956 with flag 39424/982788
108.86/107.75	c cleaning 11234 clauses out of 22482 with flag 56461/990787
109.36/108.24	c cleaning 10124 clauses out of 20248 with flag 75904/999787
109.96/108.84	c cleaning 10055 clauses out of 20124 with flag 99315/1009787
110.66/109.56	c cleaning 10531 clauses out of 21070 with flag 125039/1020788
111.51/110.35	c cleaning 11265 clauses out of 22540 with flag 153805/1032789
112.31/111.19	c cleaning 12132 clauses out of 24273 with flag 186345/1045787
113.40/112.23	c cleaning 13071 clauses out of 26141 with flag 224267/1059787
114.30/113.15	c cleaning 14031 clauses out of 28070 with flag 260750/1074787
115.20/114.02	c cleaning 15018 clauses out of 30039 with flag 297697/1090787
116.39/115.29	c cleaning 16008 clauses out of 32021 with flag 344398/1107787
117.89/116.71	c cleaning 17004 clauses out of 34013 with flag 387230/1125787
119.29/118.12	c cleaning 18004 clauses out of 36010 with flag 429578/1144788
121.33/119.72	c cleaning 18998 clauses out of 38005 with flag 473501/1164788
122.76/121.18	c cleaning 20002 clauses out of 40008 with flag 519314/1185789
123.58/121.96	c starts		: 1927
123.58/121.96	c conflicts		: 1198401
123.58/121.96	c decisions		: 1541078
123.58/121.96	c propagations		: 55315680
123.58/121.96	c inspects		: 1364402273
123.58/121.96	c shortcuts		: 0
123.58/121.96	c learnt literals	: 2
123.58/121.96	c learnt binary clauses	: 7
123.58/121.96	c learnt ternary clauses	: 282
123.58/121.96	c learnt constraints	: 1198398
123.58/121.96	c ignored constraints	: 0
123.58/121.96	c root simplifications	: 0
123.58/121.96	c removed literals (reason simplification)	: 19373525
123.58/121.96	c reason swapping (by a shorter reason)	: 0
123.58/121.96	c Calls to reduceDB	: 56
123.58/121.96	c Number of update (reduction) of LBD	: 40558
123.58/121.96	c Imported unit clauses	: 0
123.58/121.96	c No decision after first conflict	: false
123.58/121.96	c number of reductions to clauses (during analyze)	: 0
123.58/121.96	c number of learned constraints concerned by reduction	: 0
123.58/121.96	c number of learning phase by resolution	: 0
123.58/121.97	c number of learning phase by cutting planes	: 0
123.58/121.97	c number of rounding to 1 operations	: 0
123.58/121.97	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
123.58/121.97	c number of reductions of the coefficients by power 2 	: 0
123.58/121.97	c number of right shift for reduction by power 2 	: 0
123.58/121.97	c number of reductions of the coefficients by GCD over coefficients 	: 0
123.58/121.97	c number of ending skipping 	: 0
123.58/121.97	c number of internal skipping 	: 0
123.58/121.97	c number of derivation steps 	: 0
123.58/121.97	c number of skipped derivation steps 	: 0
123.58/121.97	c number of remaining unassigned 	: 0
123.58/121.97	c number of remaining assigned 	: 0
123.58/121.97	c number of falsified literals weakened from reason	: 0
123.58/121.97	c number of falsified literals weakened from conflict	: 0
123.58/121.97	c time for arithmetic operations	: 0
123.58/121.97	c minimum degree of deleted constraints	: null
123.58/121.97	c maximum degree of deleted constraints	: null
123.58/121.97	c number of deleted constraints	: 0
123.58/121.97	c speed (assignments/second)	: 454263.61172702635
123.58/121.97	c non guided choices	: 47
123.58/121.97	s OPTIMUM FOUND
123.58/121.97	c Found 5 solution(s)
123.58/121.97	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 
123.58/121.97	c objective function=8059
123.58/121.97	c Total wall clock time (in seconds): 121.845

Verifier Data 

OK	8059

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: 63708 MiB (59628 MiB free)
  memory of node 1: 64465 MiB (60260 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526369-1751631847/watcher-4526369-1751631847 -o /tmp/evaluation-result-4526369-1751631847/solver-4526369-1751631847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526369-1751631847.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=92867, runsolver pid=92864
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.40 4.20 4.13 5/337 92885
/proc/meminfo: memFree=122743952/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18930384 memory=57664 CPUtime=0.13 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 6577 0 0 0 11 2 0 0 20 0 18 0 78807238 19384713216 14416 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4732596 14416 5335 1 0 547622 0
[pid=92867/tid=92869] ppid=92864 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 5080 0 0 0 6 1 0 0 20 0 18 0 78807240 19384713216 14416 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78807242 19384713216 14416 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18930384 memory=60684515937227 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78807242 19384713216 14416 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57664 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.40 4.20 4.13 6/338 92886
/proc/meminfo: memFree=122729964/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=64816 CPUtime=0.31 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 7175 0 0 0 29 2 0 0 20 0 19 0 78807238 19452874752 16204 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 16204 5495 1 0 548295 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) S 92864 92867 90077 0 -1 4194368 5383 0 0 0 15 1 0 0 20 0 19 0 78807240 19452874752 16204 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=16124 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 16204 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 16204 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 16204 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64816 KiB

[startup+0.305606 s]*
/proc/loadavg: 4.45 4.21 4.13 6/338 92886
/proc/meminfo: memFree=122728200/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=69096 CPUtime=0.51 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 8853 0 0 0 48 3 0 0 20 0 19 0 78807238 19452874752 17274 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 17274 5495 1 0 549389 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=-6000919489869408870 CPUtime=0.27 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 5422 0 0 0 25 2 0 0 20 0 19 0 78807240 19452874752 17274 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 17274 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 17274 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 17274 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69096 KiB

[startup+0.700246 s]
/proc/loadavg: 4.45 4.21 4.13 6/338 92886
/proc/meminfo: memFree=122722372/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=82796 CPUtime=1.27 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 11871 0 0 0 124 3 0 0 20 0 19 0 78807238 19452874752 20699 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 20699 5495 1 0 551615 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=18816 CPUtime=0.66 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 5426 0 0 0 64 2 0 0 20 0 19 0 78807240 19452874752 20699 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 20699 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 20699 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 20699 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82796 KiB

[startup+1.5002 s]
/proc/loadavg: 4.45 4.21 4.13 6/338 92886
/proc/meminfo: memFree=122708700/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=92052 CPUtime=2.52 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 15993 0 0 0 248 4 0 0 20 0 19 0 78807238 19452874752 23013 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 23013 5495 1 0 551776 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=0 CPUtime=1.45 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 5954 0 0 0 143 2 0 0 20 0 19 0 78807240 19452874752 23013 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 23013 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 23013 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 23013 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 92052 KiB

[startup+3.10549 s]
/proc/loadavg: 4.45 4.21 4.13 6/338 92886
/proc/meminfo: memFree=122684348/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=108568 CPUtime=4.24 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 16710 0 0 0 420 4 0 0 20 0 19 0 78807238 19452874752 27142 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 27142 5495 1 0 551777 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=10752 CPUtime=3.05 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 6280 0 0 0 303 2 0 0 20 0 19 0 78807240 19452874752 27142 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=-6000919489869408870 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 27142 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 27142 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 27142 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108568 KiB

[startup+6.30019 s]
/proc/loadavg: 4.41 4.21 4.13 5/338 92886
/proc/meminfo: memFree=122614812/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=126904 CPUtime=7.43 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 17426 0 0 0 738 5 0 0 20 0 19 0 78807238 19452874752 31726 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 31726 5495 1 0 551777 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=0 CPUtime=6.24 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 6663 0 0 0 621 3 0 0 20 0 19 0 78807240 19452874752 31726 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 31726 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 31726 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=94100 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 31726 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.21 4.13 5/338 92887
/proc/meminfo: memFree=122496036/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=18996948 memory=159672 CPUtime=13.89 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 21278 0 0 0 1383 6 0 0 20 0 19 0 78807238 19452874752 39918 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4749237 39918 5495 1 0 551777 0
[pid=92867/tid=92869] ppid=92864 vsize=18996948 memory=94100 CPUtime=12.62 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 7602 0 0 0 1258 4 0 0 20 0 19 0 78807240 19452874752 39918 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=18996948 memory=155576 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 39918 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78807242 19452874752 39918 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78807259 19452874752 39918 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.13 5/339 92888
/proc/meminfo: memFree=122278452/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=174740 CPUtime=26.69 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 23285 0 0 0 2662 7 0 0 20 0 20 0 78807238 19521036288 43685 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 43685 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=155576 CPUtime=25.38 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 8124 0 0 0 2534 4 0 0 20 0 20 0 78807240 19521036288 43685 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 43685 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=-6000919489869408870 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 43685 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 43685 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174740 KiB

[startup+51.1056 s]
/proc/loadavg: 4.26 4.20 4.13 5/339 92888
/proc/meminfo: memFree=121855832/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=213872 CPUtime=52.27 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 24721 0 0 0 5219 8 0 0 20 0 20 0 78807238 19521036288 53468 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 53468 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=14848 CPUtime=50.89 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 8174 0 0 0 5085 4 0 0 20 0 20 0 78807240 19521036288 53468 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=180920 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 53468 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=180920 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 53468 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=159672 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 53468 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 52.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 213872 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/339 92890
/proc/meminfo: memFree=121212128/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=257012 CPUtime=103.41 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 25312 0 0 0 10330 11 0 0 20 0 20 0 78807238 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 64253 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=2688 CPUtime=101.91 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 8596 0 0 0 10187 4 0 0 20 0 20 0 78807240 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=257012 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 103.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257012 KiB

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

# cumulated CPU time of all completed processes:  user=123.537 s, system=0.148083 s

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

[startup+102.4 s]
/proc/loadavg: 4.11 4.16 4.12 5/339 92890
/proc/meminfo: memFree=121212128/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=257012 CPUtime=103.51 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 25313 0 0 0 10340 11 0 0 20 0 20 0 78807238 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 64253 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=18816 CPUtime=102.01 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 8597 0 0 0 10197 4 0 0 20 0 20 0 78807240 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 64253 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 103.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 257012 KiB

[startup+115.2 s]
/proc/loadavg: 4.09 4.16 4.12 5/339 92890
/proc/meminfo: memFree=120998128/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=300092 CPUtime=116.39 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 29229 0 0 0 11627 12 0 0 20 0 20 0 78807238 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 75023 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=257012 CPUtime=114.74 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 9662 0 0 0 11470 4 0 0 20 0 20 0 78807240 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=-6000919489869408870 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 116.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 300092 KiB

[startup+118.4 s]
/proc/loadavg: 4.09 4.15 4.12 5/339 92890
/proc/meminfo: memFree=120998128/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=300092 CPUtime=119.59 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 29229 0 0 0 11947 12 0 0 20 0 20 0 78807238 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 75023 5559 1 0 552066 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=5632 CPUtime=117.93 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 9662 0 0 0 11789 4 0 0 20 0 20 0 78807240 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=-6000919489869408870 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 75023 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 119.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 300092 KiB

[startup+120 s]*
/proc/loadavg: 4.09 4.15 4.12 5/339 92890
/proc/meminfo: memFree=120990568/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=307684 CPUtime=121.64 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 33727 0 0 0 12151 13 0 0 20 0 20 0 78807238 19521036288 76921 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 76921 5559 1 0 553379 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=-6000919489869408870 CPUtime=119.53 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 10408 0 0 0 11949 4 0 0 20 0 20 0 78807240 19521036288 76921 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 76921 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 76921 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 76921 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 121.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 307684 KiB

[startup+120.8 s]
/proc/loadavg: 4.09 4.15 4.12 5/339 92890
/proc/meminfo: memFree=120990568/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=318252 CPUtime=122.44 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 33750 0 0 0 12231 13 0 0 20 0 20 0 78807238 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 79563 5559 1 0 553379 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=5760 CPUtime=120.31 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 10408 0 0 0 12027 4 0 0 20 0 20 0 78807240 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=307684 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 122.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 318252 KiB

[startup+121.6 s]
/proc/loadavg: 4.16 4.17 4.12 5/339 92891
/proc/meminfo: memFree=120973976/131250000 swapFree=33010684/33010684
[pid=92867] ppid=92864 vsize=19063512 memory=318252 CPUtime=123.27 cores=5,7
/proc/92867/stat : 92867 (java) S 92864 92867 90077 0 -1 4194304 33759 0 0 0 12314 13 0 0 20 0 20 0 78807238 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
/proc/92867/statm: 4765878 79563 5559 1 0 553379 0
[pid=92867/tid=92869] ppid=92864 vsize=19063512 memory=5760 CPUtime=121.11 cores=5,7
/proc/92867/task/92869/stat : 92869 (java) R 92864 92867 90077 0 -1 4194368 10410 0 0 0 12107 4 0 0 20 0 20 0 78807240 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92878] ppid=92864 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/92867/task/92878/stat : 92878 (Finalizer) S 92864 92867 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92885] ppid=92864 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/92867/task/92885/stat : 92885 (Common-Cleaner) S 92864 92867 90077 0 -1 4194368 95 0 0 0 0 0 0 0 20 0 20 0 78807242 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
[pid=92867/tid=92886] ppid=92864 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/92867/task/92886/stat : 92886 (Timer-0) S 92864 92867 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78807259 19521036288 79563 18446744073709551615 94453238714368 94453238718064 140729143910080 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94453238725880 94453238726672 94453254377472 140729143912831 140729143912932 140729143912932 140729143918536 0
Current children cumulated CPU time: 123.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 318252 KiB

[startup+122 s]*
/proc/loadavg: 4.16 4.17 4.12 6/318 92893
/proc/meminfo: memFree=121243832/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 122.019
CPU time (s): 123.685
CPU user time (s): 123.537
CPU system time (s): 0.148083
CPU usage (%): 101.366
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 318252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.537
system time used= 0.148083
maximum resident set size= 318892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4935
involuntary context switches= 734


# summary of solver processes directly reported to runsolver:
#   pid: 92867
#   total CPU time (s): 123.685
#   total CPU user time (s): 123.537
#   total CPU system time (s): 0.148083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.271278 second user time and 0.600468 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-04 14:24:07
IDJOB=4526369
IDBENCH=144049
IDSOLVER=3380
FILE ID=nodeC028/4526369-1751631847
RUNJOBID= nodeC028-1751628188-90090
SLURM_JOB_ID= 9598960
Free space on /tmp= 431476 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-29_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526369-1751631847/watcher-4526369-1751631847 -o /tmp/evaluation-result-4526369-1751631847/solver-4526369-1751631847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526369-1751631847.wbo

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

MD5SUM BENCH= 5f413b04ce5bf31c45b055969f32f1ab
RANDOM SEED=2135042999

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        122767588 kB
MemAvailable:   124737868 kB
Buffers:            3280 kB
Cached:          2770528 kB
SwapCached:            0 kB
Active:          5436440 kB
Inactive:        2461272 kB
Active(anon):    5141972 kB
Inactive(anon):        0 kB
Active(file):     294468 kB
Inactive(file):  2461272 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1072 kB
Writeback:             0 kB
AnonPages:       5126684 kB
Mapped:           124548 kB
Shmem:             18068 kB
KReclaimable:     107560 kB
Slab:             197724 kB
SReclaimable:     107560 kB
SUnreclaim:        90164 kB
KernelStack:        5184 kB
PageTables:        13800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7958896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4878336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431476 MiB
End job on nodeC028 at 2025-07-04 14:26:09