Trace number 4461747

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.31 3536.75

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
MD5SUMbf582d0692e77e16b133b78b4e960df6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2232
Best CPU time to get the best result obtained on this benchmark0.100218
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7894
Total number of constraints7895
Number of constraints which are clauses3947
Number of constraints which are cardinality constraints (but not clauses)2888
Number of constraints which are nor clauses,nor cardinality constraints1060
Minimum length of a constraint1
Maximum length of a constraint2888
Number of terms in the objective function 2888
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2888
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 688
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3576
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.22	c os.arch		amd64
0.29/0.24	c Free memory 		2113181440
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.47/0.34	--- Begin Solver configuration ---
0.47/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	Learn all clauses as in MiniSAT
0.47/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	Expensive reason simplification
0.47/0.34	Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	timeout=2147483s
0.47/0.34	DB Simplification allowed=false
0.47/0.34	Listener: none
0.47/0.34	--- End Solver configuration ---
0.47/0.34	c Pseudo Boolean Optimization by upper bound
0.47/0.34	c --- Begin Solver configuration ---
0.47/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	c Learn all clauses as in MiniSAT
0.47/0.34	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	c Expensive reason simplification
0.47/0.34	c Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	c timeout=2147483s
0.47/0.34	c DB Simplification allowed=false
0.47/0.34	c Listener: none
0.47/0.34	c --- End Solver configuration ---
0.47/0.35	c solving HOME/instance-4461747-1722207918.opb
0.47/0.35	c reading problem ... 
0.47/0.35	c using VERIPB proof format
0.47/0.36	c  objective function found
1.13/0.76	c ... done. Wall clock time 0.408s.
1.13/0.76	c declared #vars     7894
1.13/0.76	c #constraints  11843
1.13/0.76	c constraints type 
1.13/0.76	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4919
1.13/0.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1634
1.13/0.76	c org.sat4j.specs.Constr$1 => 1829
1.13/0.76	c org.sat4j.pb.constraints.pb.UnitClausePB => 1829
1.13/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1632
1.13/0.76	c 11843 constraints processed.
1.13/0.78	c objective function length is 2888 literals
6.18/3.48	c cleaning 2500 clauses out of 5000 with flag 18818/5001
8.78/5.62	c cleaning 4246 clauses out of 8500 with flag 43109/11001
12.37/8.84	c cleaning 5627 clauses out of 11253 with flag 82144/18000
15.22/11.59	c cleaning 6812 clauses out of 13627 with flag 124414/26001
18.44/14.54	c cleaning 7905 clauses out of 15814 with flag 173262/35000
21.86/17.65	c cleaning 8955 clauses out of 17910 with flag 231091/45001
25.54/21.25	c cleaning 9976 clauses out of 19955 with flag 296190/56001
30.02/25.55	c cleaning 10988 clauses out of 21979 with flag 359965/68001
34.54/29.83	c cleaning 11993 clauses out of 23990 with flag 428245/81000
39.46/34.66	c cleaning 12988 clauses out of 25997 with flag 503003/95000
45.10/40.14	c cleaning 13999 clauses out of 28010 with flag 584079/110001
51.00/45.90	c cleaning 15004 clauses out of 30011 with flag 667309/126001
58.05/52.49	c cleaning 15999 clauses out of 32007 with flag 763267/143001
65.43/59.52	c cleaning 17004 clauses out of 34007 with flag 865205/161000
73.57/67.23	c cleaning 17999 clauses out of 36003 with flag 956865/180000
82.62/75.91	c cleaning 18999 clauses out of 38005 with flag 1058692/200001
91.41/83.87	c cleaning 19994 clauses out of 40006 with flag 1161682/221001
100.22/92.41	c cleaning 21001 clauses out of 42011 with flag 1275158/243000
110.31/104.41	c cleaning 21998 clauses out of 44010 with flag 1391214/266000
120.76/114.63	c cleaning 23002 clauses out of 46012 with flag 1500612/290000
131.43/125.06	c cleaning 24002 clauses out of 48010 with flag 1615384/315000
142.76/135.94	c cleaning 25001 clauses out of 50009 with flag 1736144/341001
154.59/147.07	c cleaning 26002 clauses out of 52008 with flag 1861551/368001
165.76/157.94	c cleaning 27002 clauses out of 54005 with flag 1987397/396000
177.49/169.52	c cleaning 28001 clauses out of 56003 with flag 2115519/425000
189.50/181.36	c cleaning 28994 clauses out of 58002 with flag 2248974/455000
202.12/193.72	c cleaning 30000 clauses out of 60008 with flag 2384883/486000
215.11/206.63	c cleaning 30996 clauses out of 62008 with flag 2525349/518000
228.50/219.74	c cleaning 32001 clauses out of 64012 with flag 2663584/551000
242.98/233.93	c cleaning 33003 clauses out of 66011 with flag 2814861/585000
257.74/248.38	c cleaning 34000 clauses out of 68008 with flag 2978285/620000
272.11/262.58	c cleaning 35001 clauses out of 70008 with flag 3134079/656000
289.19/279.16	c cleaning 36002 clauses out of 72007 with flag 3299167/693000
307.31/297.14	c cleaning 36996 clauses out of 74006 with flag 3478999/731001
326.65/315.89	c cleaning 38002 clauses out of 76009 with flag 3676130/770000
346.84/335.80	c cleaning 38999 clauses out of 78007 with flag 3874484/810000
371.78/359.23	c cleaning 40001 clauses out of 80008 with flag 4068631/851000
391.14/378.07	c cleaning 40994 clauses out of 82008 with flag 4274020/893001
410.37/397.13	c cleaning 42003 clauses out of 84013 with flag 4507374/936000
430.49/416.95	c cleaning 42998 clauses out of 86010 with flag 4735852/980000
451.38/437.16	c cleaning 43998 clauses out of 88012 with flag 4991544/1025000
473.43/458.75	c cleaning 45001 clauses out of 90015 with flag 5263418/1071001
494.63/479.97	c cleaning 46001 clauses out of 92014 with flag 5571668/1118001
518.19/503.05	c cleaning 47005 clauses out of 94013 with flag 5899354/1166001
541.73/526.32	c cleaning 47997 clauses out of 96007 with flag 6280125/1215000
565.70/550.04	c cleaning 49005 clauses out of 98011 with flag 6622001/1265001
590.96/575.04	c cleaning 50002 clauses out of 100008 with flag 6866069/1316003
616.35/599.92	c cleaning 50994 clauses out of 102004 with flag 7129753/1368001
641.51/624.79	c cleaning 52005 clauses out of 104009 with flag 7424901/1421000
667.35/650.40	c cleaning 52995 clauses out of 106005 with flag 7735505/1475001
694.45/677.22	c cleaning 54000 clauses out of 108011 with flag 8067420/1530002
722.89/705.36	c cleaning 55001 clauses out of 110011 with flag 8377949/1586002
752.92/734.85	c cleaning 55995 clauses out of 112008 with flag 8742113/1643000
784.33/765.86	c cleaning 57005 clauses out of 114014 with flag 9165164/1701001
818.82/797.82	c cleaning 58000 clauses out of 116008 with flag 9591851/1760000
850.76/829.24	c cleaning 58995 clauses out of 118008 with flag 10001322/1820000
884.82/862.78	c cleaning 60004 clauses out of 120013 with flag 10420752/1881000
924.15/901.47	c cleaning 61001 clauses out of 122010 with flag 10814996/1943001
959.58/936.25	c cleaning 61997 clauses out of 124009 with flag 11210191/2006001
993.64/969.89	c cleaning 63004 clauses out of 126011 with flag 11619117/2070000
1027.37/1003.08	c cleaning 63999 clauses out of 128007 with flag 12027161/2135000
1063.79/1038.92	c cleaning 64999 clauses out of 130009 with flag 12429526/2201001
1100.33/1074.90	c cleaning 65997 clauses out of 132010 with flag 12852390/2268001
1135.70/1109.70	c cleaning 67003 clauses out of 134012 with flag 13234672/2336000
1174.19/1147.61	c cleaning 68002 clauses out of 136010 with flag 13584871/2405001
1213.69/1186.63	c cleaning 68999 clauses out of 138007 with flag 13939228/2475000
1254.11/1226.33	c cleaning 70000 clauses out of 140008 with flag 14301776/2546000
1293.20/1264.77	c cleaning 71001 clauses out of 142010 with flag 14686581/2618002
1339.52/1309.43	c cleaning 71999 clauses out of 144007 with flag 15146789/2691000
1391.04/1360.02	c cleaning 72997 clauses out of 146008 with flag 15511756/2765000
1441.52/1409.88	c cleaning 74002 clauses out of 148011 with flag 15875217/2840000
1489.20/1456.72	c cleaning 75002 clauses out of 150009 with flag 16311817/2916000
1538.83/1505.78	c cleaning 76002 clauses out of 152008 with flag 16747961/2993001
1586.81/1553.12	c cleaning 76999 clauses out of 154005 with flag 17210487/3071000
1638.16/1603.85	c cleaning 78002 clauses out of 156006 with flag 17662681/3150000
1678.15/1642.86	c cleaning 78988 clauses out of 158004 with flag 18151797/3230000
1719.52/1683.54	c cleaning 80007 clauses out of 160017 with flag 18655124/3311001
1759.59/1722.87	c cleaning 81001 clauses out of 162009 with flag 19168377/3393000
1802.59/1765.21	c cleaning 82001 clauses out of 164008 with flag 19687780/3476000
1847.69/1809.78	c cleaning 82995 clauses out of 166007 with flag 20221510/3560000
1894.65/1855.80	c cleaning 84003 clauses out of 168012 with flag 20765380/3645000
1944.58/1904.92	c cleaning 85003 clauses out of 170010 with flag 21279650/3731001
1992.31/1951.89	c cleaning 85995 clauses out of 172007 with flag 21825674/3818001
2040.99/1999.70	c cleaning 87002 clauses out of 174011 with flag 22428293/3906000
2092.87/2050.72	c cleaning 88000 clauses out of 176010 with flag 23039804/3995001
2142.84/2099.72	c cleaning 89000 clauses out of 178009 with flag 23676972/4085000
2196.59/2150.80	c cleaning 90001 clauses out of 180010 with flag 24292454/4176001
2253.41/2206.72	c cleaning 90994 clauses out of 182008 with flag 24914754/4268000
2306.85/2259.21	c cleaning 91997 clauses out of 184016 with flag 25501252/4361002
2361.20/2313.57	c cleaning 93002 clauses out of 186017 with flag 26062157/4455000
2416.97/2368.55	c cleaning 93998 clauses out of 188015 with flag 26651995/4550000
2472.70/2423.33	c cleaning 95004 clauses out of 190017 with flag 27247316/4646000
2529.11/2480.62	c cleaning 96001 clauses out of 192013 with flag 27877361/4743000
2589.33/2539.80	c cleaning 96999 clauses out of 194012 with flag 28477338/4841000
2646.63/2596.39	c cleaning 98005 clauses out of 196014 with flag 29089138/4940001
2704.38/2653.34	c cleaning 98999 clauses out of 198008 with flag 29710667/5040000
2761.82/2709.76	c cleaning 99996 clauses out of 200013 with flag 30347776/5141004
2820.54/2767.50	c cleaning 101004 clauses out of 202013 with flag 31036022/5243000
2876.83/2822.63	c cleaning 101997 clauses out of 204010 with flag 31754350/5346001
2936.89/2881.96	c cleaning 103001 clauses out of 206013 with flag 32470959/5450001
3002.41/2946.53	c cleaning 103995 clauses out of 208011 with flag 33192219/5555000
3067.17/3008.41	c cleaning 104999 clauses out of 210016 with flag 33937296/5661000
3134.60/3074.53	c cleaning 105996 clauses out of 212020 with flag 34740960/5768003
3204.47/3143.41	c cleaning 107000 clauses out of 214021 with flag 35548002/5876000
3269.44/3209.78	c cleaning 108001 clauses out of 216022 with flag 36296913/5985001
3337.60/3276.94	c cleaning 109005 clauses out of 218021 with flag 37067096/6095001
3398.06/3336.48	c cleaning 110006 clauses out of 220015 with flag 37838903/6206000
3466.44/3405.02	c cleaning 110993 clauses out of 222010 with flag 38565304/6318001
3533.42/3471.11	c cleaning 112001 clauses out of 224017 with flag 39309516/6431001
3600.02/3536.52	c starts		: 1
3600.02/3536.53	c conflicts		: 6544830
3600.02/3536.53	c decisions		: 9678931
3600.02/3536.53	c propagations		: 8372869370
3600.02/3536.53	c inspects		: 12215248307
3600.02/3536.53	c shortcuts		: 0
3600.02/3536.53	c learnt literals	: 1
3600.02/3536.53	c learnt binary clauses	: 8
3600.02/3536.53	c learnt ternary clauses	: 18
3600.02/3536.53	c learnt constraints	: 6544829
3600.02/3536.53	c ignored constraints	: 0
3600.02/3536.53	c root simplifications	: 0
3600.02/3536.53	c removed literals (reason simplification)	: 43956465
3600.02/3536.53	c reason swapping (by a shorter reason)	: 0
3600.02/3536.53	c Calls to reduceDB	: 109
3600.02/3536.53	c Number of update (reduction) of LBD	: 818278
3600.02/3536.53	c Imported unit clauses	: 0
3600.02/3536.53	c No decision after first conflict	: false
3600.02/3536.53	c number of reductions to clauses (during analyze)	: 0
3600.02/3536.54	c number of learned constraints concerned by reduction	: 0
3600.02/3536.54	c number of learning phase by resolution	: 0
3600.02/3536.54	c number of learning phase by cutting planes	: 0
3600.02/3536.54	c number of rounding to 1 operations	: 0
3600.02/3536.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3536.54	c number of reductions of the coefficients by power 2 	: 0
3600.02/3536.54	c number of right shift for reduction by power 2 	: 0
3600.02/3536.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3536.54	c number of ending skipping 	: 0
3600.02/3536.54	c number of internal skipping 	: 0
3600.02/3536.54	c number of derivation steps 	: 0
3600.02/3536.54	c number of skipped derivation steps 	: 0
3600.02/3536.54	c number of remaining unassigned 	: 0
3600.02/3536.54	c number of remaining assigned 	: 0
3600.02/3536.54	c number of falsified literals weakened from reason	: 0
3600.02/3536.54	c number of falsified literals weakened from conflict	: 0
3600.02/3536.54	c time for arithmetic operations	: 0
3600.02/3536.54	c minimum degree of deleted constraints	: null
3600.02/3536.54	c maximum degree of deleted constraints	: null
3600.02/3536.54	c number of deleted constraints	: 0
3600.02/3536.54	c speed (assignments/second)	: 2368076.4205144853
3600.02/3536.54	c non guided choices	: 1
3600.02/3536.54	c timeout
3600.16/3536.66	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 225837
3600.16/3536.66	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 8
3600.16/3536.66	s UNKNOWN
3600.16/3536.66	c Total wall clock time (in seconds): 3536.315

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: 64096 MiB (62413 MiB free)
  memory of node 1: 64473 MiB (61429 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461747-1722207918/watcher-4461747-1722207918 -o /tmp/evaluation-result-4461747-1722207918/solver-4461747-1722207918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722207918-375713 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4461747-1722207918 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4461747-1722207918.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=375750, runsolver pid=375745

[startup+0.100642 s]*
/proc/loadavg: 1.10 1.10 1.07 10/279 375803
/proc/meminfo: memFree=126709832/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=18975048 memory=57712 CPUtime=0.12 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 6380 0 0 0 8 4 0 0 20 0 18 0 56781631 19430449152 14428 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4743762 14428 5639 1 0 550741 0
[pid=375750/tid=375756] ppid=375745 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 5293 0 0 0 5 3 0 0 20 0 18 0 56781632 19430449152 14428 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=18975048 memory=219967705345 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56781638 19430449152 14428 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=18975048 memory=1368941 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56781639 19430449152 14428 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57712 KiB

[startup+0.214602 s]*
/proc/loadavg: 1.10 1.10 1.07 13/290 375814
/proc/meminfo: memFree=126683680/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=18975048 memory=61716 CPUtime=0.29 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 6847 0 0 0 24 5 0 0 20 0 18 0 56781631 19430449152 15429 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4743762 15429 5696 1 0 551118 0
[pid=375750/tid=375756] ppid=375745 vsize=18975048 memory=3461362060219711607 CPUtime=0.18 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) D 375745 375750 373109 0 -1 4194368 5649 0 0 0 15 3 0 0 20 0 18 0 56781632 19430449152 15429 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=18975048 memory=219967705345 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56781638 19430449152 15429 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=18975048 memory=1368941 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56781639 19430449152 15429 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61716 KiB

[startup+0.320461 s]*
/proc/loadavg: 1.10 1.10 1.07 14/291 375819
/proc/meminfo: memFree=126668260/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=18975048 memory=69872 CPUtime=0.47 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 7339 0 0 0 42 5 0 0 20 0 18 0 56781631 19430449152 17468 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4743762 17468 5710 1 0 551540 0
[pid=375750/tid=375756] ppid=375745 vsize=18975048 memory=-6000919477068392296 CPUtime=0.28 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 5858 0 0 0 25 3 0 0 20 0 18 0 56781632 19430449152 17468 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56781638 19430449152 17468 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 56781639 19430449152 17468 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69872 KiB

[startup+0.700479 s]
/proc/loadavg: 1.10 1.10 1.07 12/311 375842
/proc/meminfo: memFree=126574768/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19041612 memory=166588 CPUtime=1.13 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 8888 0 0 0 103 10 0 0 20 0 19 0 56781631 19498610688 41647 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4760403 41647 5845 1 0 552783 0
[pid=375750/tid=375756] ppid=375745 vsize=19041612 memory=5516 CPUtime=0.57 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 6006 0 0 0 50 7 0 0 20 0 19 0 56781632 19498610688 41647 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19041612 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 56781638 19498610688 41647 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 56781639 19498610688 41647 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166588 KiB

[startup+1.5003 s]
/proc/loadavg: 1.10 1.10 1.07 12/317 375848
/proc/meminfo: memFree=126077640/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=173212 CPUtime=2.7 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 14168 0 0 0 258 12 0 0 20 0 20 0 56781631 19566772224 43303 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 43303 5915 1 0 554450 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=12668 CPUtime=1.21 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 6544 0 0 0 114 7 0 0 20 0 20 0 56781632 19566772224 43303 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 43303 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 43303 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 43303 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173212 KiB

[startup+3.10677 s]
/proc/loadavg: 1.73 1.23 1.11 11/318 375851
/proc/meminfo: memFree=121760060/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=208360 CPUtime=5.66 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 17618 0 0 0 551 15 0 0 20 0 20 0 56781631 19566772224 52090 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 52090 5915 1 0 555410 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=0 CPUtime=2.71 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 6853 0 0 0 262 9 0 0 20 0 20 0 56781632 19566772224 52090 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 52090 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 52090 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 52090 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 208360 KiB

[startup+6.30075 s]
/proc/loadavg: 1.73 1.23 1.11 10/321 375854
/proc/meminfo: memFree=116833524/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=642016 CPUtime=9.8 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 20514 0 0 0 951 29 0 0 20 0 20 0 56781631 19566772224 160504 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 160504 5931 1 0 891776 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=12668 CPUtime=5.64 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 7666 0 0 0 546 18 0 0 20 0 20 0 56781632 19566772224 160504 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=280938776942864 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 160504 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=484880 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 160504 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=1364452 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 160504 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 9.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 642016 KiB

[startup+12.7005 s]
/proc/loadavg: 2.15 1.33 1.14 6/322 375856
/proc/meminfo: memFree=115120004/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=1457468 CPUtime=16.48 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 21698 0 0 0 1596 52 0 0 20 0 20 0 56781631 19566772224 364367 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 364367 5963 1 0 1180045 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=12668 CPUtime=11.65 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 8006 0 0 0 1128 37 0 0 20 0 20 0 56781632 19566772224 364367 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 364367 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=280938776942864 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 364367 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 364367 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1457468 KiB

[startup+25.5005 s]
/proc/loadavg: 2.70 1.49 1.20 6/322 375858
/proc/meminfo: memFree=111951064/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=2393400 CPUtime=30.02 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 26022 0 0 0 2922 80 0 0 20 0 20 0 56781631 19566772224 598350 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 598350 5963 1 0 1297036 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=0 CPUtime=23.74 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 9538 0 0 0 2316 58 0 0 20 0 20 0 56781632 19566772224 598350 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 598350 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 598350 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 598350 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 30.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2393400 KiB

[startup+51.114 s]
/proc/loadavg: 3.20 1.71 1.28 7/322 375862
/proc/meminfo: memFree=108862652/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=3464480 CPUtime=56.68 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 33865 0 0 0 5541 127 0 0 20 0 20 0 56781631 19566772224 866120 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 866120 5963 1 0 1409843 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=3113980 CPUtime=47.93 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 11269 0 0 0 4701 92 0 0 20 0 20 0 56781632 19566772224 866120 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=2710148 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 866120 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 866120 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0

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

/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 162329 0 0 0 308664 2007 0 0 20 0 20 0 56781632 19566772224 3545003 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1937 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=16144 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545003 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=2228 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2420 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545003 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545003 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3282.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.26 4.17 6/326 377621
/proc/meminfo: memFree=41644636/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180032 CPUtime=3343.02 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 411809 0 0 0 332005 2297 0 0 20 0 20 0 56781631 19566772224 3545008 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545008 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14180032 CPUtime=3165 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 162411 0 0 0 314467 2033 0 0 20 0 20 0 56781632 19566772224 3545008 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1946 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=14180012 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545008 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2421 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545008 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=14089876 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545008 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3343.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.30 4.19 6/325 377633
/proc/meminfo: memFree=40234348/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180048 CPUtime=3403.96 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 412767 0 0 0 338065 2331 0 0 20 0 20 0 56781631 19566772224 3545012 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545012 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14089876 CPUtime=3222.75 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 162921 0 0 0 320211 2064 0 0 20 0 20 0 56781632 19566772224 3545012 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1985 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545012 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=14180048 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2421 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545012 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545012 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3403.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.29 4.19 6/325 377658
/proc/meminfo: memFree=39323540/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180224 CPUtime=3463.74 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 418094 0 0 0 344009 2365 0 0 20 0 20 0 56781631 19566772224 3545056 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545056 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14180048 CPUtime=3279.31 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 164665 0 0 0 325836 2095 0 0 20 0 20 0 56781632 19566772224 3545056 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2145 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=14180048 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545056 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=14180224 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2505 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545056 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=14180224 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545056 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3463.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.26 4.19 6/325 377668
/proc/meminfo: memFree=38756568/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180228 CPUtime=3524.66 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 419275 0 0 0 350065 2401 0 0 20 0 20 0 56781631 19566772224 3545057 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545057 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14180048 CPUtime=3337.45 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 165411 0 0 0 331617 2128 0 0 20 0 20 0 56781632 19566772224 3545057 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2171 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=14180048 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545057 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=14180228 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2518 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545057 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=14180228 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545057 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3524.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.25 4.18 6/322 377678
/proc/meminfo: memFree=37968636/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180240 CPUtime=3585.58 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 420560 0 0 0 356126 2432 0 0 20 0 20 0 56781631 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545060 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14180240 CPUtime=3395.42 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 166311 0 0 0 337386 2156 0 0 20 0 20 0 56781632 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2195 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=16144 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2518 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=14180240 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3585.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3536.5 s]
/proc/loadavg: 4.15 4.23 4.18 6/322 377680
/proc/meminfo: memFree=37806340/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19108176 memory=14180240 CPUtime=3600.02 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 420663 0 0 0 357563 2439 0 0 20 0 20 0 56781631 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4777044 3545060 5963 1 0 3561601 0
[pid=375750/tid=375756] ppid=375745 vsize=19108176 memory=14180240 CPUtime=3409.09 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) R 375745 375750 373109 0 -1 4194368 166318 0 0 0 338746 2163 0 0 20 0 20 0 56781632 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2204 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19108176 memory=15864 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56781638 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19108176 memory=67764 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2518 0 0 0 0 0 0 0 20 0 20 0 56781639 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375846] ppid=375745 vsize=19108176 memory=38948 CPUtime=0 cores=5,7
/proc/375750/task/375846/stat : 375846 (Timer-0) S 375745 375750 373109 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56781712 19566772224 3545060 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14180240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.84 s, system=24.4772 s

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

[startup+3536.61 s]
/proc/loadavg: 4.15 4.23 4.18 6/322 377680
/proc/meminfo: memFree=37806340/131655788 swapFree=131058856/131071996
[pid=375750] ppid=375745 vsize=19307868 memory=14180932 CPUtime=3600.16 cores=5,7
/proc/375750/stat : 375750 (java) S 375745 375750 373109 0 -1 1077936128 423419 0 0 0 357576 2440 0 0 20 0 21 0 56781631 19771256832 3545233 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
/proc/375750/statm: 4826967 3545233 5962 1 0 3562550 0
[pid=375750/tid=375756] ppid=375745 vsize=19307868 memory=67764 CPUtime=3409.12 cores=5,7
/proc/375750/task/375756/stat : 375756 (java) S 375745 375750 373109 0 -1 1077936192 166595 0 0 0 338748 2164 0 0 20 0 21 0 56781632 19771256832 3545233 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2209 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375785] ppid=375745 vsize=19307868 memory=12668 CPUtime=0 cores=5,7
/proc/375750/task/375785/stat : 375785 (Finalizer) S 375745 375750 373109 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 56781638 19771256832 3545233 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
[pid=375750/tid=375798] ppid=375745 vsize=19307868 memory=5516 CPUtime=0 cores=5,7
/proc/375750/task/375798/stat : 375798 (Common-Cleaner) S 375745 375750 373109 0 -1 1077936192 2518 0 0 0 0 0 0 0 20 0 21 0 56781639 19771256832 3545233 134679101440 94536002326528 94536002330224 140725956634592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94536002338040 94536002338832 94536028655616 140725956637610 140725956637792 140725956637792 140725956644808 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14180932 KiB

[startup+3536.72 s]*
/proc/loadavg: 4.15 4.23 4.18 5/304 377683
/proc/meminfo: memFree=51658356/131655788 swapFree=131058856/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3536.75
CPU time (s): 3600.31
CPU user time (s): 3575.84
CPU system time (s): 24.4772
CPU usage (%): 101.797
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14180932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.84
system time used= 24.4772
maximum resident set size= 14181836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39117920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127679
involuntary context switches= 12418


# summary of solver processes directly reported to runsolver:
#   pid: 375750
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3575.84
#   total CPU system time (s): 24.4772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5301 second user time and 34.98 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-29 01:05:18
IDJOB=4461747
IDBENCH=178868
IDSOLVER=3079
FILE ID=nodeC009/4461747-1722207918
RUNJOBID= nodeC009-1722207918-375713
SLURM_JOB_ID= 8248644
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461747-1722207918/watcher-4461747-1722207918 -o /tmp/evaluation-result-4461747-1722207918/solver-4461747-1722207918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722207918-375713 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4461747-1722207918 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4461747-1722207918.opb

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

MD5SUM BENCH= bf582d0692e77e16b133b78b4e960df6
RANDOM SEED=1890454078

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126819764 kB
MemAvailable:   129873232 kB
Buffers:          413848 kB
Cached:          3408128 kB
SwapCached:         4924 kB
Active:          1958220 kB
Inactive:        2197988 kB
Active(anon):       1520 kB
Inactive(anon):   385876 kB
Active(file):    1956700 kB
Inactive(file):  1812112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              3352 kB
Writeback:             0 kB
AnonPages:        328272 kB
Mapped:            93848 kB
Shmem:             53492 kB
KReclaimable:     249708 kB
Slab:             362452 kB
SReclaimable:     249708 kB
SUnreclaim:       112744 kB
KernelStack:        3696 kB
PageTables:         9556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     725928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC009 at 2024-07-29 02:04:15