Trace number 4493128

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.21 3586.63

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMc29178bae55e2a953331375c03582f77
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.015398
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4493128-1751152876.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.043s.
0.12/0.18	c declared #vars     1800
0.12/0.18	c #constraints  85
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 45
0.12/0.18	c 85 constraints processed.
1.87/1.39	c cleaning 2501 clauses out of 5002 with flag 32783/5002
3.67/2.96	c cleaning 4227 clauses out of 8501 with flag 77997/11002
6.72/5.92	c cleaning 5615 clauses out of 11272 with flag 138804/18000
9.62/8.89	c cleaning 6810 clauses out of 13657 with flag 208012/26000
13.47/12.67	c cleaning 7905 clauses out of 15847 with flag 288393/35000
18.95/18.02	c cleaning 8960 clauses out of 17949 with flag 388147/45007
22.47/21.32	c cleaning 9960 clauses out of 19982 with flag 467749/56000
26.52/25.34	c cleaning 10986 clauses out of 22024 with flag 551541/68002
30.99/29.84	c cleaning 12010 clauses out of 24036 with flag 643354/81000
35.25/34.05	c cleaning 13003 clauses out of 26026 with flag 745914/95000
40.01/38.75	c cleaning 14003 clauses out of 28024 with flag 855875/110001
45.80/44.54	c cleaning 15003 clauses out of 30022 with flag 980529/126002
52.88/51.55	c cleaning 16003 clauses out of 32018 with flag 1114779/143001
59.66/58.25	c cleaning 16996 clauses out of 34015 with flag 1260997/161001
67.70/66.29	c cleaning 17998 clauses out of 36019 with flag 1396116/180001
74.25/72.75	c cleaning 18988 clauses out of 38020 with flag 1542009/200000
80.20/78.68	c cleaning 19975 clauses out of 40033 with flag 1694966/221001
87.40/85.42	c cleaning 20682 clauses out of 42057 with flag 1895148/243000
94.24/92.24	c cleaning 22168 clauses out of 44376 with flag 2050624/266001
100.88/98.89	c cleaning 23101 clauses out of 46209 with flag 2212175/290002
106.63/104.59	c cleaning 24019 clauses out of 48108 with flag 2368023/315002
119.45/117.39	c cleaning 25011 clauses out of 50088 with flag 2546191/341001
133.75/131.56	c cleaning 26000 clauses out of 52076 with flag 2763503/368000
149.41/147.23	c cleaning 27008 clauses out of 54077 with flag 2977822/396001
163.93/161.63	c cleaning 28017 clauses out of 56068 with flag 3211102/425000
176.70/174.24	c cleaning 29018 clauses out of 58051 with flag 3419891/455000
196.56/193.74	c cleaning 30001 clauses out of 60033 with flag 3628288/486000
214.42/211.63	c cleaning 31007 clauses out of 62033 with flag 3853983/518001
225.87/222.90	c cleaning 31993 clauses out of 64027 with flag 4083177/551002
235.55/232.66	c cleaning 33003 clauses out of 66034 with flag 4303507/585002
248.66/245.69	c cleaning 33994 clauses out of 68029 with flag 4559279/620000
271.78/268.69	c cleaning 34990 clauses out of 70035 with flag 4793434/656000
294.91/291.63	c cleaning 36011 clauses out of 72046 with flag 5057048/693001
318.37/315.18	c cleaning 36996 clauses out of 74034 with flag 5325019/731000
331.10/327.36	c cleaning 37999 clauses out of 76038 with flag 5557095/770000
345.05/341.24	c cleaning 38997 clauses out of 78039 with flag 5799386/810000
370.38/366.45	c cleaning 40015 clauses out of 80043 with flag 6121443/851001
386.13/382.05	c cleaning 41006 clauses out of 82027 with flag 6400168/893000
401.59/397.52	c cleaning 41998 clauses out of 84021 with flag 6660518/936000
417.99/413.87	c cleaning 43005 clauses out of 86025 with flag 6952212/980002
435.81/431.59	c cleaning 43987 clauses out of 88020 with flag 7280539/1025002
478.41/474.06	c cleaning 44997 clauses out of 90034 with flag 7666971/1071003
496.03/491.49	c cleaning 46009 clauses out of 92036 with flag 7982488/1118002
516.10/511.02	c cleaning 47009 clauses out of 94028 with flag 8285425/1166003
535.82/530.70	c cleaning 48007 clauses out of 96016 with flag 8589530/1215000
556.27/551.03	c cleaning 48992 clauses out of 98010 with flag 8902503/1265001
579.70/574.32	c cleaning 50001 clauses out of 100017 with flag 9215171/1316000
604.07/598.60	c cleaning 51010 clauses out of 102019 with flag 9524769/1368003
628.87/623.39	c cleaning 51987 clauses out of 104006 with flag 9851152/1421000
652.95/647.36	c cleaning 53003 clauses out of 106019 with flag 10186640/1475000
677.44/671.78	c cleaning 53996 clauses out of 108016 with flag 10541565/1530000
704.80/699.03	c cleaning 55005 clauses out of 110020 with flag 10899355/1586000
732.68/726.64	c cleaning 55991 clauses out of 112015 with flag 11239762/1643000
760.32/754.27	c cleaning 57000 clauses out of 114025 with flag 11598656/1701001
790.64/784.58	c cleaning 58001 clauses out of 116024 with flag 11951570/1760000
819.67/813.53	c cleaning 59006 clauses out of 118024 with flag 12334368/1820001
849.44/843.22	c cleaning 59999 clauses out of 120019 with flag 12707151/1881002
879.98/873.77	c cleaning 61010 clauses out of 122019 with flag 13083130/1943001
914.04/907.23	c cleaning 61989 clauses out of 124009 with flag 13466812/2006001
945.68/938.95	c cleaning 63001 clauses out of 126019 with flag 13856634/2070000
978.74/971.91	c cleaning 63997 clauses out of 128019 with flag 14258292/2135001
1011.62/1004.78	c cleaning 65005 clauses out of 130021 with flag 14665811/2201000
1045.13/1038.13	c cleaning 65995 clauses out of 132017 with flag 15082835/2268001
1081.70/1074.63	c cleaning 66996 clauses out of 134021 with flag 15500728/2336000
1117.48/1110.31	c cleaning 68004 clauses out of 136025 with flag 15934234/2405000
1153.86/1146.68	c cleaning 69011 clauses out of 138023 with flag 16371192/2475002
1192.04/1184.73	c cleaning 69990 clauses out of 140010 with flag 16820458/2546000
1231.61/1224.24	c cleaning 71006 clauses out of 142024 with flag 17278231/2618004
1271.95/1264.56	c cleaning 71998 clauses out of 144014 with flag 17732980/2691000
1311.68/1304.23	c cleaning 72999 clauses out of 146017 with flag 18197719/2765001
1352.10/1344.66	c cleaning 73997 clauses out of 148017 with flag 18675733/2840000
1395.09/1387.58	c cleaning 74999 clauses out of 150021 with flag 19158445/2916001
1439.86/1432.26	c cleaning 75995 clauses out of 152021 with flag 19646396/2993000
1487.03/1479.38	c cleaning 76996 clauses out of 154026 with flag 20132122/3071000
1531.60/1523.84	c cleaning 78006 clauses out of 156030 with flag 20634383/3150000
1579.84/1571.33	c cleaning 79001 clauses out of 158025 with flag 21144776/3230001
1629.65/1621.02	c cleaning 79998 clauses out of 160023 with flag 21658315/3311000
1678.56/1670.00	c cleaning 81004 clauses out of 162025 with flag 22181200/3393000
1728.71/1719.82	c cleaning 81996 clauses out of 164021 with flag 22715035/3476000
1779.78/1770.84	c cleaning 83001 clauses out of 166028 with flag 23253015/3560003
1833.61/1824.42	c cleaning 84009 clauses out of 168025 with flag 23792745/3645001
1886.95/1877.74	c cleaning 84990 clauses out of 170018 with flag 24348071/3731003
1942.16/1932.71	c cleaning 86006 clauses out of 172025 with flag 24906019/3818000
1998.10/1988.63	c cleaning 86997 clauses out of 174020 with flag 25468335/3906001
2053.72/2044.08	c cleaning 88007 clauses out of 176024 with flag 26044937/3995002
2110.51/2100.65	c cleaning 88997 clauses out of 178015 with flag 26640522/4085000
2171.05/2161.19	c cleaning 90008 clauses out of 180019 with flag 27221578/4176001
2232.45/2222.35	c cleaning 90996 clauses out of 182011 with flag 27813412/4268001
2292.45/2281.28	c cleaning 91991 clauses out of 184014 with flag 28417243/4361000
2355.46/2344.13	c cleaning 93006 clauses out of 186025 with flag 29023840/4455002
2414.94/2403.50	c cleaning 93993 clauses out of 188017 with flag 29648237/4550000
2477.16/2465.70	c cleaning 95006 clauses out of 190024 with flag 30274567/4646000
2543.53/2531.84	c cleaning 95997 clauses out of 192018 with flag 30899514/4743000
2611.78/2600.00	c cleaning 97009 clauses out of 194022 with flag 31530941/4841001
2678.40/2666.64	c cleaning 97989 clauses out of 196012 with flag 32177766/4940000
2748.85/2736.85	c cleaning 99005 clauses out of 198023 with flag 32823394/5040000
2823.07/2810.92	c cleaning 100004 clauses out of 200022 with flag 33487155/5141004
2892.57/2880.18	c cleaning 101006 clauses out of 202014 with flag 34150199/5243000
2961.57/2949.06	c cleaning 101997 clauses out of 204008 with flag 34822945/5346000
3032.28/3019.79	c cleaning 102996 clauses out of 206011 with flag 35499753/5450000
3104.87/3092.18	c cleaning 103995 clauses out of 208017 with flag 36192550/5555002
3182.09/3169.34	c cleaning 104995 clauses out of 210021 with flag 36885889/5661001
3259.53/3246.52	c cleaning 105998 clauses out of 212025 with flag 37589620/5768000
3337.96/3324.93	c cleaning 106997 clauses out of 214028 with flag 38295751/5876001
3421.01/3407.73	c cleaning 108002 clauses out of 216030 with flag 39003881/5985000
3500.34/3487.02	c cleaning 109012 clauses out of 218029 with flag 39742393/6095001
3586.76/3573.25	c cleaning 109995 clauses out of 220016 with flag 40467723/6206000
3600.03/3586.51	c timeout
3600.03/3586.51	c starts		: 43766
3600.03/3586.52	c conflicts		: 6229484
3600.03/3586.52	c decisions		: 51223354
3600.03/3586.52	c propagations		: 257906703
3600.03/3586.52	c inspects		: 24010028485
3600.03/3586.52	c shortcuts		: 0
3600.03/3586.52	c learnt literals	: 0
3600.03/3586.52	c learnt binary clauses	: 0
3600.03/3586.52	c learnt ternary clauses	: 0
3600.03/3586.52	c learnt constraints	: 6229484
3600.03/3586.52	c ignored constraints	: 0
3600.03/3586.52	c root simplifications	: 0
3600.03/3586.52	c removed literals (reason simplification)	: 67402303
3600.03/3586.52	c reason swapping (by a shorter reason)	: 0
3600.03/3586.52	c Calls to reduceDB	: 107
3600.03/3586.52	c Number of update (reduction) of LBD	: 3067407
3600.03/3586.52	c Imported unit clauses	: 0
3600.03/3586.52	c No decision after first conflict	: false
3600.03/3586.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3586.52	c number of learned constraints concerned by reduction	: 0
3600.03/3586.52	c number of learning phase by resolution	: 0
3600.03/3586.52	c number of learning phase by cutting planes	: 0
3600.03/3586.52	c number of rounding to 1 operations	: 0
3600.03/3586.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3586.52	c number of reductions of the coefficients by power 2 	: 0
3600.03/3586.52	c number of right shift for reduction by power 2 	: 0
3600.03/3586.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3586.52	c number of ending skipping 	: 0
3600.03/3586.53	c number of internal skipping 	: 0
3600.03/3586.53	c number of derivation steps 	: 0
3600.03/3586.53	c number of skipped derivation steps 	: 0
3600.03/3586.53	c number of remaining unassigned 	: 0
3600.03/3586.53	c number of remaining assigned 	: 0
3600.03/3586.53	c number of falsified literals weakened from reason	: 0
3600.03/3586.53	c number of falsified literals weakened from conflict	: 0
3600.03/3586.53	c time for arithmetic operations	: 0
3600.03/3586.53	c minimum degree of deleted constraints	: null
3600.03/3586.53	c maximum degree of deleted constraints	: null
3600.03/3586.53	c number of deleted constraints	: 0
3600.03/3586.54	c speed (assignments/second)	: 71913.4025085665
3600.03/3586.54	c non guided choices	: 120444
3600.03/3586.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 133505
3600.03/3586.59	s UNKNOWN
3600.03/3586.59	c Total wall clock time (in seconds): 3586.456

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (49717 MiB free)
  memory of node 1: 64507 MiB (61817 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493128-1751152876/watcher-4493128-1751152876 -o /tmp/evaluation-result-4493128-1751152876/solver-4493128-1751152876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14503 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4493128-1751152876.opb 

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
Current StackSize limit: 8192 KiB

solver pid=15800, runsolver pid=15797

[startup+0.100061 s]*
/proc/loadavg: 4.23 4.20 4.12 5/338 15818
/proc/meminfo: memFree=114199052/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18930384 memory=55516 CPUtime=0.12 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 6553 0 0 0 11 1 0 0 20 0 18 0 30967454 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4732596 13879 5335 1 0 547603 0
[pid=15800/tid=15802] ppid=15797 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5054 0 0 0 6 1 0 0 20 0 18 0 30967456 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30967458 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18930384 memory=61784027586760 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30967458 19384713216 13879 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55516 KiB

[startup+0.205785 s]*
/proc/loadavg: 4.23 4.20 4.12 7/339 15819
/proc/meminfo: memFree=114190860/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=64244 CPUtime=0.32 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 7097 0 0 0 30 2 0 0 20 0 19 0 30967454 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 16061 5431 1 0 548242 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5299 0 0 0 15 1 0 0 20 0 19 0 30967456 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=18954 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=60684515935208 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 16061 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64244 KiB

[startup+0.305748 s]*
/proc/loadavg: 4.23 4.20 4.12 6/339 15819
/proc/meminfo: memFree=114187572/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=68668 CPUtime=0.51 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 9766 0 0 0 49 2 0 0 20 0 19 0 30967454 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 17167 5431 1 0 549417 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=-6000919476934240110 CPUtime=0.26 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5315 0 0 0 25 1 0 0 20 0 19 0 30967456 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 17167 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68668 KiB

[startup+0.700253 s]
/proc/loadavg: 4.23 4.20 4.12 6/339 15819
/proc/meminfo: memFree=114182784/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=77016 CPUtime=1.22 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 11144 0 0 0 119 3 0 0 20 0 19 0 30967454 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 19254 5431 1 0 550287 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=17536 CPUtime=0.64 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 5322 0 0 0 62 2 0 0 20 0 19 0 30967456 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 19254 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77016 KiB

[startup+1.50026 s]
/proc/loadavg: 4.23 4.20 4.12 5/339 15819
/proc/meminfo: memFree=114174592/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=94528 CPUtime=2.18 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 15641 0 0 0 215 3 0 0 20 0 19 0 30967454 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 23632 5431 1 0 550511 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=0 CPUtime=1.43 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 6334 0 0 0 141 2 0 0 20 0 19 0 30967456 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 23632 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94528 KiB

[startup+3.10564 s]
/proc/loadavg: 4.21 4.19 4.12 5/339 15819
/proc/meminfo: memFree=114130908/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=18996948 memory=125424 CPUtime=3.88 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 16391 0 0 0 384 4 0 0 20 0 19 0 30967454 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4749237 31356 5431 1 0 550518 0
[pid=15800/tid=15802] ppid=15797 vsize=18996948 memory=10880 CPUtime=3.02 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 6654 0 0 0 299 3 0 0 20 0 19 0 30967456 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=18996948 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30967458 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30967473 19452874752 31356 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125424 KiB

[startup+6.30022 s]
/proc/loadavg: 4.21 4.19 4.12 5/340 15820
/proc/meminfo: memFree=114041028/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=211940 CPUtime=7.12 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 19087 0 0 0 705 7 0 0 20 0 20 0 30967454 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 52985 5495 1 0 550807 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=0 CPUtime=6.16 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 7178 0 0 0 612 4 0 0 20 0 20 0 30967456 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=96576 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 52985 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 211940 KiB

[startup+12.7002 s]
/proc/loadavg: 4.36 4.22 4.13 5/340 15888
/proc/meminfo: memFree=121853116/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=288012 CPUtime=13.57 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 21577 0 0 0 1349 8 0 0 20 0 20 0 30967454 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 72003 5495 1 0 550807 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=96576 CPUtime=12.47 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 7752 0 0 0 1243 4 0 0 20 0 20 0 30967456 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 72003 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 13.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 288012 KiB

[startup+25.5003 s]
/proc/loadavg: 4.36 4.23 4.13 5/340 15888
/proc/meminfo: memFree=121356256/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=439420 CPUtime=26.71 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 29100 0 0 0 2658 13 0 0 20 0 20 0 30967454 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 109855 5495 1 0 552072 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=4252 CPUtime=25.09 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 8523 0 0 0 2505 4 0 0 20 0 20 0 30967456 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=371192 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 109855 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 439420 KiB

[startup+51.1057 s]
/proc/loadavg: 4.30 4.22 4.14 5/340 16022
/proc/meminfo: memFree=127918360/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=679292 CPUtime=52.49 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 29836 0 0 0 5231 18 0 0 20 0 20 0 30967454 19521036288 169823 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 169823 5527 1 0 552072 0

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

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/340 16187
/proc/meminfo: memFree=93805844/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3295.46 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 196346 0 0 0 329307 239 0 0 20 0 20 0 30967454 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1678430 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6494584 CPUtime=3255.99 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 90773 0 0 0 325552 47 0 0 20 0 20 0 30967456 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=6494584 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=6713720 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1678430 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3295.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6713720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/340 16193
/proc/meminfo: memFree=93080188/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=6822264 CPUtime=3355.44 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 200646 0 0 0 335300 244 0 0 20 0 20 0 30967454 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1705566 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=0 CPUtime=3315.7 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 93792 0 0 0 331522 48 0 0 20 0 20 0 30967456 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1806 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1705566 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3355.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6822264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/340 16195
/proc/meminfo: memFree=92219832/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7186812 CPUtime=3415.61 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 203653 0 0 0 341308 253 0 0 20 0 20 0 30967454 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1796703 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3375.21 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 95298 0 0 0 337473 48 0 0 20 0 20 0 30967456 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7186812 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=7186812 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1796703 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3415.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7186812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/340 16199
/proc/meminfo: memFree=91994412/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7412096 CPUtime=3475.7 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 206912 0 0 0 347309 261 0 0 20 0 20 0 30967454 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1853024 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3434.83 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 98413 0 0 0 343435 48 0 0 20 0 20 0 30967456 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1853024 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3475.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7412096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/339 16201
/proc/meminfo: memFree=91789584/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7520640 CPUtime=3535.67 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 211324 0 0 0 353302 265 0 0 20 0 20 0 30967454 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1880160 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3494.51 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 101508 0 0 0 349403 48 0 0 20 0 20 0 30967456 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7412096 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 1984 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1880160 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3535.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7520640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/315 16237
/proc/meminfo: memFree=103827372/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7883136 CPUtime=3595.83 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 214733 0 0 0 359310 273 0 0 20 0 20 0 30967454 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1970784 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=6713720 CPUtime=3554.02 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 103392 0 0 0 355354 48 0 0 20 0 20 0 30967456 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=7520640 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=7883136 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3595.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7883136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.5 s]
/proc/loadavg: 4.01 4.10 4.08 4/315 16237
/proc/meminfo: memFree=103827868/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19063512 memory=7883136 CPUtime=3600.03 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 214902 0 0 0 359729 274 0 0 20 0 20 0 30967454 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4765878 1970784 5527 1 0 2164559 0
[pid=15800/tid=15802] ppid=15797 vsize=19063512 memory=7520640 CPUtime=3558.21 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) R 15797 15800 14490 0 -1 4194368 103559 0 0 0 355773 48 0 0 20 0 20 0 30967456 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19063512 memory=6822264 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19063512 memory=6285688 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 20 0 30967458 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15819] ppid=15797 vsize=19063512 memory=280091998055680 CPUtime=0 cores=5,7
/proc/15800/task/15819/stat : 15819 (Timer-0) S 15797 15800 14490 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30967473 19521036288 1970784 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7883136 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.44 s, system=2.76718 s

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

[startup+3586.61 s]
/proc/loadavg: 4.01 4.10 4.08 4/315 16237
/proc/meminfo: memFree=103827868/131250000 swapFree=33010684/33010684
[pid=15800] ppid=15797 vsize=19263204 memory=7883776 CPUtime=3600.17 cores=5,7
/proc/15800/stat : 15800 (java) S 15797 15800 14490 0 -1 4194304 216986 0 0 0 359743 274 0 0 20 0 15 0 30967454 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
/proc/15800/statm: 4815801 1970944 5527 1 0 2165497 0
[pid=15800/tid=15802] ppid=15797 vsize=19263204 memory=7883136 CPUtime=3558.23 cores=5,7
/proc/15800/task/15802/stat : 15802 (java) S 15797 15800 14490 0 -1 4194368 103676 0 0 0 355774 49 0 0 20 0 15 0 30967456 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15811] ppid=15797 vsize=19263204 memory=5760 CPUtime=0 cores=5,7
/proc/15800/task/15811/stat : 15811 (Finalizer) S 15797 15800 14490 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 30967458 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
[pid=15800/tid=15818] ppid=15797 vsize=19263204 memory=-6000919476934240110 CPUtime=0 cores=5,7
/proc/15800/task/15818/stat : 15818 (Common-Cleaner) S 15797 15800 14490 0 -1 4194368 2071 0 0 0 0 0 0 0 20 0 15 0 30967458 19725520896 1970944 18446744073709551615 94358875987968 94358875991664 140722620135376 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94358875999480 94358876000272 94358904451072 140722620144001 140722620144102 140722620144102 140722620149704 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7883776 KiB

Child status: 143

Real time (s): 3586.63
CPU time (s): 3600.21
CPU user time (s): 3597.44
CPU system time (s): 2.76718
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7883776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.44
system time used= 2.76718
maximum resident set size= 7883904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110094
involuntary context switches= 6938


# summary of solver processes directly reported to runsolver:
#   pid: 15800
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.44
#   total CPU system time (s): 2.76718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48623 second user time and 18.6613 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-06-29 01:21:16
IDJOB=4493128
IDBENCH=147846
IDSOLVER=3363
FILE ID=nodeC027/4493128-1751152876
RUNJOBID= nodeC027-1751145706-14503
SLURM_JOB_ID= 9587449
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493128-1751152876/watcher-4493128-1751152876 -o /tmp/evaluation-result-4493128-1751152876/solver-4493128-1751152876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751145706-14503 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4493128-1751152876.opb

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

MD5SUM BENCH= c29178bae55e2a953331375c03582f77
RANDOM SEED=729527879

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        114212064 kB
MemAvailable:   113821656 kB
Buffers:            3280 kB
Cached:           383676 kB
SwapCached:            0 kB
Active:         16312132 kB
Inactive:         142808 kB
Active(anon):   16086052 kB
Inactive(anon):        0 kB
Active(file):     226080 kB
Inactive(file):   142808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               720 kB
Writeback:            20 kB
AnonPages:      16071052 kB
Mapped:           122816 kB
Shmem:             18068 kB
KReclaimable:      85252 kB
Slab:             168264 kB
SReclaimable:      85252 kB
SUnreclaim:        83012 kB
KernelStack:        5232 kB
PageTables:        35028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   18779208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15759360 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC027 at 2025-06-29 02:21:03