Trace number 4515895

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 VeriPB 2025-06-06? (TO) 3600.37 3556.55

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
MD5SUM65bf933f8503130ddd66cfa323843b92
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.013602
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables640
Total number of constraints641
Number of constraints which are clauses640
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint640
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 319
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 959
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.13	c See www.sat4j.org for details.
0.08/0.13	c version PB25.v20250606
0.08/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.08/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.08/0.14	c java.vm.version	22.0.1+8-16
0.08/0.14	c java.vm.vendor	Oracle Corporation
0.08/0.14	c sun.arch.data.model	64
0.08/0.14	c java.version		22.0.1
0.08/0.14	c os.name		Linux
0.08/0.14	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.08/0.14	c os.arch		amd64
0.08/0.15	c Free memory 		2106806208
0.08/0.15	c Max memory 		16282288128
0.08/0.15	c Total memory 		2113929216
0.08/0.15	c Number of processors 	2
0.08/0.20	c Pseudo Boolean Optimization by upper bound
0.08/0.20	c --- Begin Solver configuration ---
0.08/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.08/0.20	c Learn all clauses as in MiniSAT
0.08/0.20	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.20	c Expensive reason simplification
0.08/0.20	c Glucose 2.1 dynamic restart strategy
0.08/0.20	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.20	c timeout=2147483s
0.08/0.20	c DB Simplification allowed=false
0.08/0.20	c Listener: none
0.08/0.20	c --- End Solver configuration ---
0.08/0.21	c solving HOME/instance-4515895-1751236013.opb
0.08/0.21	c reading problem ... 
0.08/0.21	c using VERIPB proof format
0.08/0.21	c  no objective function found
0.29/0.27	c ... done. Wall clock time 0.06s.
0.29/0.27	c declared #vars     640
0.29/0.27	c #constraints  641
0.29/0.27	c constraints type 
0.29/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 640
0.29/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.29/0.27	c 641 constraints processed.
3.75/2.03	c cleaning 2500 clauses out of 5000 with flag 10841/5000
5.28/2.90	c cleaning 4251 clauses out of 8501 with flag 24051/11001
6.27/3.85	c cleaning 5622 clauses out of 11249 with flag 39408/18000
7.55/4.90	c cleaning 6813 clauses out of 13628 with flag 57027/26001
9.06/6.29	c cleaning 7908 clauses out of 15815 with flag 76736/35001
11.10/8.24	c cleaning 8951 clauses out of 17906 with flag 98657/45000
13.33/10.12	c cleaning 9979 clauses out of 19957 with flag 122703/56002
15.80/12.41	c cleaning 10986 clauses out of 21977 with flag 149062/68001
18.38/15.00	c cleaning 11990 clauses out of 23990 with flag 177648/81000
21.63/17.96	c cleaning 12998 clauses out of 26000 with flag 208175/95000
24.23/20.46	c cleaning 13995 clauses out of 28002 with flag 240950/110000
26.97/23.05	c cleaning 15004 clauses out of 30007 with flag 276077/126000
29.92/25.89	c cleaning 15999 clauses out of 32003 with flag 313367/143000
33.54/29.15	c cleaning 17001 clauses out of 34006 with flag 352659/161002
37.66/33.18	c cleaning 18002 clauses out of 36004 with flag 394071/180001
43.24/38.52	c cleaning 19000 clauses out of 38001 with flag 437601/200000
47.40/42.58	c cleaning 20000 clauses out of 40002 with flag 483269/221001
51.69/46.77	c cleaning 20999 clauses out of 42002 with flag 531237/243001
58.12/53.05	c cleaning 22001 clauses out of 44004 with flag 581564/266002
63.05/57.67	c cleaning 23000 clauses out of 46001 with flag 633925/290000
70.33/64.56	c cleaning 23993 clauses out of 48002 with flag 688512/315001
75.72/69.87	c cleaning 25005 clauses out of 50009 with flag 745088/341001
81.68/75.62	c cleaning 25999 clauses out of 52004 with flag 804021/368001
90.38/83.99	c cleaning 26998 clauses out of 54004 with flag 864909/396000
97.85/91.38	c cleaning 28003 clauses out of 56007 with flag 928120/425001
105.13/98.58	c cleaning 28999 clauses out of 58003 with flag 993573/455000
116.67/109.72	c cleaning 30000 clauses out of 60005 with flag 1061270/486001
124.26/117.03	c cleaning 30998 clauses out of 62005 with flag 1130925/518001
132.25/124.70	c cleaning 31999 clauses out of 64006 with flag 1203080/551000
141.80/134.21	c cleaning 33001 clauses out of 66009 with flag 1277164/585002
152.29/144.41	c cleaning 34001 clauses out of 68007 with flag 1353454/620001
163.89/155.77	c cleaning 35002 clauses out of 70006 with flag 1431892/656001
176.07/167.88	c cleaning 35998 clauses out of 72003 with flag 1512474/693000
187.53/179.23	c cleaning 37002 clauses out of 74006 with flag 1595185/731001
201.51/193.08	c cleaning 38000 clauses out of 76003 with flag 1680045/770000
214.46/205.53	c cleaning 38999 clauses out of 78004 with flag 1767351/810001
227.93/218.78	c cleaning 39998 clauses out of 80004 with flag 1856787/851000
243.27/234.26	c cleaning 41001 clauses out of 82006 with flag 1948400/893000
258.02/248.54	c cleaning 41999 clauses out of 84006 with flag 2042156/936001
271.56/262.00	c cleaning 43001 clauses out of 86007 with flag 2138157/980001
287.36/277.59	c cleaning 43999 clauses out of 88005 with flag 2236234/1025000
306.79/297.26	c cleaning 44999 clauses out of 90006 with flag 2336261/1071000
324.82/314.98	c cleaning 45999 clauses out of 92007 with flag 2438716/1118000
343.45/333.11	c cleaning 47005 clauses out of 94009 with flag 2543254/1166001
360.45/350.07	c cleaning 47997 clauses out of 96003 with flag 2650257/1215000
381.04/370.20	c cleaning 49001 clauses out of 98006 with flag 2759329/1265000
401.35/390.59	c cleaning 50003 clauses out of 100006 with flag 2870514/1316001
425.06/413.80	c cleaning 51002 clauses out of 102003 with flag 2983629/1368001
448.70/437.18	c cleaning 52001 clauses out of 104002 with flag 3099454/1421002
474.02/462.29	c cleaning 52999 clauses out of 106000 with flag 3217123/1475001
501.68/489.89	c cleaning 53994 clauses out of 108001 with flag 3336820/1530001
523.77/512.07	c cleaning 54999 clauses out of 110006 with flag 3458961/1586000
543.81/531.82	c cleaning 55999 clauses out of 112007 with flag 3583249/1643000
566.54/554.13	c cleaning 57000 clauses out of 114008 with flag 3709641/1701000
591.80/579.05	c cleaning 58004 clauses out of 116008 with flag 3838166/1760000
618.92/605.84	c cleaning 59000 clauses out of 118005 with flag 3968730/1820001
647.79/633.02	c cleaning 59998 clauses out of 120004 with flag 4101412/1881000
677.65/662.67	c cleaning 60999 clauses out of 122006 with flag 4236645/1943000
704.64/689.27	c cleaning 61999 clauses out of 124007 with flag 4373870/2006000
733.61/717.87	c cleaning 62998 clauses out of 126008 with flag 4513244/2070000
766.15/750.02	c cleaning 64004 clauses out of 128011 with flag 4654694/2135001
801.04/784.79	c cleaning 65002 clauses out of 130008 with flag 4798661/2201002
837.06/820.64	c cleaning 65998 clauses out of 132004 with flag 4944295/2268000
874.15/857.73	c cleaning 66998 clauses out of 134007 with flag 5092264/2336001
903.56/886.69	c cleaning 67999 clauses out of 136009 with flag 5242938/2405001
933.34/915.94	c cleaning 69003 clauses out of 138009 with flag 5395620/2475000
960.11/942.38	c cleaning 70003 clauses out of 140008 with flag 5550425/2546002
990.46/972.23	c cleaning 71000 clauses out of 142003 with flag 5707223/2618000
1023.79/1003.47	c cleaning 71998 clauses out of 144003 with flag 5866401/2691000
1055.05/1034.35	c cleaning 72994 clauses out of 146005 with flag 6027743/2765000
1081.03/1059.67	c cleaning 74002 clauses out of 148011 with flag 6191021/2840000
1107.89/1085.93	c cleaning 75002 clauses out of 150010 with flag 6356537/2916001
1134.18/1111.99	c cleaning 76000 clauses out of 152008 with flag 6524247/2993001
1165.51/1142.99	c cleaning 77000 clauses out of 154008 with flag 6693983/3071001
1191.80/1168.88	c cleaning 77997 clauses out of 156008 with flag 6866219/3150001
1219.56/1196.43	c cleaning 78999 clauses out of 158010 with flag 7040264/3230000
1250.74/1227.18	c cleaning 80005 clauses out of 160011 with flag 7216757/3311000
1286.26/1262.14	c cleaning 80996 clauses out of 162006 with flag 7395467/3393000
1318.30/1293.96	c cleaning 81998 clauses out of 164010 with flag 7576446/3476000
1363.80/1339.05	c cleaning 83000 clauses out of 166012 with flag 7759412/3560000
1403.55/1378.40	c cleaning 84006 clauses out of 168013 with flag 7944953/3645001
1447.13/1423.04	c cleaning 85001 clauses out of 170007 with flag 8132322/3731001
1491.63/1467.21	c cleaning 85999 clauses out of 172006 with flag 8321932/3818001
1544.92/1520.01	c cleaning 86998 clauses out of 174006 with flag 8513650/3906000
1588.15/1562.99	c cleaning 87992 clauses out of 176008 with flag 8707469/3995000
1642.32/1614.85	c cleaning 89006 clauses out of 178017 with flag 8903738/4085001
1682.91/1654.61	c cleaning 90001 clauses out of 180011 with flag 9102107/4176001
1730.26/1701.60	c cleaning 90999 clauses out of 182010 with flag 9302633/4268001
1784.13/1755.18	c cleaning 92004 clauses out of 184010 with flag 9505282/4361000
1832.43/1803.10	c cleaning 93003 clauses out of 186006 with flag 9710057/4455000
1883.77/1854.00	c cleaning 94000 clauses out of 188003 with flag 9916896/4550000
1941.67/1911.53	c cleaning 94999 clauses out of 190004 with flag 10125810/4646001
1991.04/1960.63	c cleaning 95998 clauses out of 192004 with flag 10337014/4743000
2051.82/2021.18	c cleaning 96997 clauses out of 194006 with flag 10550636/4841000
2111.72/2080.84	c cleaning 97999 clauses out of 196009 with flag 10766307/4940000
2179.82/2148.62	c cleaning 99003 clauses out of 198011 with flag 10984166/5040001
2238.16/2206.90	c cleaning 99998 clauses out of 200008 with flag 11204065/5141001
2291.98/2260.42	c cleaning 100998 clauses out of 202010 with flag 11426020/5243001
2343.27/2311.30	c cleaning 101995 clauses out of 204011 with flag 11650572/5346000
2388.59/2356.22	c cleaning 103000 clauses out of 206016 with flag 11877498/5450000
2439.01/2404.03	c cleaning 104003 clauses out of 208017 with flag 12106044/5555001
2498.35/2462.82	c cleaning 105000 clauses out of 210013 with flag 12337223/5661000
2557.68/2521.75	c cleaning 105999 clauses out of 212013 with flag 12569934/5768000
2618.10/2581.81	c cleaning 107004 clauses out of 214014 with flag 12805113/5876000
2680.28/2643.77	c cleaning 108006 clauses out of 216011 with flag 13042043/5985001
2736.15/2699.12	c cleaning 108993 clauses out of 218004 with flag 13281748/6095000
2795.85/2758.89	c cleaning 109997 clauses out of 220012 with flag 13523170/6206001
2860.91/2823.46	c cleaning 111001 clauses out of 222014 with flag 13766838/6318000
2926.14/2888.29	c cleaning 112006 clauses out of 224014 with flag 14012870/6431001
2998.12/2959.76	c cleaning 113001 clauses out of 226007 with flag 14261026/6545000
3052.74/3014.16	c cleaning 113996 clauses out of 228006 with flag 14511756/6660000
3116.18/3077.66	c cleaning 114996 clauses out of 230011 with flag 14764259/6776001
3185.33/3146.43	c cleaning 116002 clauses out of 232015 with flag 15018755/6893001
3251.73/3212.53	c cleaning 117002 clauses out of 234012 with flag 15275508/7011000
3329.87/3287.95	c cleaning 118000 clauses out of 236010 with flag 15535243/7130000
3412.19/3369.68	c cleaning 119006 clauses out of 238011 with flag 15796361/7250001
3480.14/3437.17	c cleaning 119994 clauses out of 240004 with flag 16059882/7371000
3562.46/3518.99	c cleaning 121001 clauses out of 242011 with flag 16325934/7493001
3600.04/3556.32	c timeout
3600.04/3556.34	c starts		: 1
3600.04/3556.35	c conflicts		: 7566945
3600.04/3556.35	c decisions		: 7986567
3600.04/3556.35	c propagations		: 47677338
3600.04/3556.35	c inspects		: 8693210927
3600.04/3556.35	c shortcuts		: 0
3600.04/3556.35	c learnt literals	: 0
3600.04/3556.35	c learnt binary clauses	: 0
3600.04/3556.35	c learnt ternary clauses	: 0
3600.04/3556.35	c learnt constraints	: 7566945
3600.04/3556.35	c ignored constraints	: 0
3600.04/3556.35	c root simplifications	: 0
3600.04/3556.35	c removed literals (reason simplification)	: 108130744
3600.04/3556.35	c reason swapping (by a shorter reason)	: 0
3600.04/3556.35	c Calls to reduceDB	: 118
3600.04/3556.35	c Number of update (reduction) of LBD	: 121627
3600.04/3556.35	c Imported unit clauses	: 0
3600.04/3556.35	c No decision after first conflict	: false
3600.04/3556.35	c number of reductions to clauses (during analyze)	: 0
3600.04/3556.35	c number of learned constraints concerned by reduction	: 0
3600.04/3556.35	c number of learning phase by resolution	: 0
3600.04/3556.36	c number of learning phase by cutting planes	: 0
3600.04/3556.36	c number of rounding to 1 operations	: 0
3600.04/3556.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3556.36	c number of reductions of the coefficients by power 2 	: 0
3600.04/3556.36	c number of right shift for reduction by power 2 	: 0
3600.04/3556.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3556.36	c number of ending skipping 	: 0
3600.04/3556.36	c number of internal skipping 	: 0
3600.04/3556.36	c number of derivation steps 	: 0
3600.04/3556.36	c number of skipped derivation steps 	: 0
3600.04/3556.36	c number of remaining unassigned 	: 0
3600.04/3556.36	c number of remaining assigned 	: 0
3600.04/3556.36	c number of falsified literals weakened from reason	: 0
3600.04/3556.36	c number of falsified literals weakened from conflict	: 0
3600.04/3556.36	c time for arithmetic operations	: 0
3600.04/3556.36	c minimum degree of deleted constraints	: null
3600.04/3556.36	c maximum degree of deleted constraints	: null
3600.04/3556.36	c number of deleted constraints	: 0
3600.04/3556.36	c speed (assignments/second)	: 13407.296361099347
3600.04/3556.36	c non guided choices	: 309
3600.20/3556.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 194954
3600.20/3556.49	s UNKNOWN
3600.20/3556.49	c Total wall clock time (in seconds): 3556.286

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: 63837 MiB (9123 MiB free)
  memory of node 1: 64465 MiB (28778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515895-1751236013/watcher-4515895-1751236013 -o /tmp/evaluation-result-4515895-1751236013/solver-4515895-1751236013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31327 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515895-1751236013 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515895-1751236013.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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=31723, runsolver pid=31720

[startup+0.100067 s]*
/proc/loadavg: 4.65 4.64 4.50 6/335 31741
/proc/meminfo: memFree=38807352/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=18930384 memory=47388 CPUtime=0.08 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 5620 0 4 0 5 3 0 0 20 0 18 0 39280375 19384713216 11847 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4732596 11847 5238 1 0 546846 0
[pid=31723/tid=31725] ppid=31720 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) D 31720 31723 28556 0 -1 4194368 4712 0 1 0 4 2 0 0 20 0 18 0 39280379 19384713216 11847 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39280384 19384713216 11847 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=18930384 memory=59593594261064 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39280384 19384713216 11847 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47388 KiB

[startup+0.215345 s]*
/proc/loadavg: 4.65 4.64 4.50 7/335 31741
/proc/meminfo: memFree=38788640/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=18930384 memory=56876 CPUtime=0.29 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 6799 0 4 0 25 4 0 0 20 0 18 0 39280375 19384713216 14219 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4732596 14219 5430 1 0 547833 0
[pid=31723/tid=31725] ppid=31720 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 5303 0 1 0 13 2 0 0 20 0 18 0 39280379 19384713216 14219 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39280384 19384713216 14219 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39280384 19384713216 14219 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56876 KiB

[startup+0.315254 s]*
/proc/loadavg: 4.65 4.64 4.50 7/336 31742
/proc/meminfo: memFree=38784544/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=18996948 memory=62076 CPUtime=0.47 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 7082 0 4 0 43 4 0 0 20 0 19 0 39280375 19452874752 15519 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4749237 15519 5430 1 0 548298 0
[pid=31723/tid=31725] ppid=31720 vsize=18996948 memory=-6000919507116452716 CPUtime=0.22 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 5400 0 1 0 20 2 0 0 20 0 19 0 39280379 19452874752 15519 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39280384 19452874752 15519 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39280384 19452874752 15519 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39280403 19452874752 15519 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62076 KiB

[startup+0.700395 s]
/proc/loadavg: 4.65 4.64 4.50 7/336 31742
/proc/meminfo: memFree=38760284/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=18996948 memory=107756 CPUtime=1.16 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 8990 0 4 0 109 7 0 0 20 0 19 0 39280375 19452874752 26939 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4749237 26939 5430 1 0 549237 0
[pid=31723/tid=31725] ppid=31720 vsize=18996948 memory=17280 CPUtime=0.5 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 5431 0 1 0 46 4 0 0 20 0 19 0 39280379 19452874752 26939 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39280384 19452874752 26939 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39280384 19452874752 26939 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39280403 19452874752 26939 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107756 KiB

[startup+1.50028 s]
/proc/loadavg: 4.65 4.64 4.50 7/337 31743
/proc/meminfo: memFree=38666080/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=174820 CPUtime=2.75 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 18012 0 4 0 264 11 0 0 20 0 20 0 39280375 19521036288 43705 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 43705 5462 1 0 552252 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=10496 CPUtime=1.21 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 5813 0 1 0 116 5 0 0 20 0 20 0 39280379 19521036288 43705 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 43705 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 43705 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 43705 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174820 KiB

[startup+3.10582 s]
/proc/loadavg: 4.65 4.64 4.50 6/337 31743
/proc/meminfo: memFree=38286252/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=453648 CPUtime=5.51 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 21030 0 4 0 532 19 0 0 20 0 20 0 39280375 19521036288 113412 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 113412 5462 1 0 869839 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=10496 CPUtime=2.59 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 6716 0 1 0 248 11 0 0 20 0 20 0 39280379 19521036288 113412 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=-6000919507116452716 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 113412 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 113412 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 113412 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 453648 KiB

[startup+6.30044 s]
/proc/loadavg: 4.60 4.62 4.49 6/338 31744
/proc/meminfo: memFree=37106656/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=1720444 CPUtime=9.16 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 23729 0 4 0 868 48 0 0 20 0 20 0 39280375 19521036288 430111 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 430111 5462 1 0 1853725 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=0 CPUtime=5.48 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 7248 0 1 0 512 36 0 0 20 0 20 0 39280379 19521036288 430111 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 430111 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 430111 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=181076 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 430111 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1720444 KiB

[startup+12.7005 s]
/proc/loadavg: 4.55 4.61 4.49 6/338 31745
/proc/meminfo: memFree=36174840/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=2262012 CPUtime=16.1 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 24926 0 4 0 1544 66 0 0 20 0 20 0 39280375 19521036288 565503 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 565503 5462 1 0 1853736 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=181076 CPUtime=11.34 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 7453 0 1 0 1085 49 0 0 20 0 20 0 39280379 19521036288 565503 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 565503 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=2262012 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 565503 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 565503 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2262012 KiB

[startup+25.5005 s]
/proc/loadavg: 4.57 4.62 4.49 6/337 31745
/proc/meminfo: memFree=34380516/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=3575720 CPUtime=29.63 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 26777 0 4 0 2856 107 0 0 20 0 20 0 39280375 19521036288 893930 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 893930 5462 1 0 2129476 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=10496 CPUtime=23.4 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 8368 0 1 0 2256 84 0 0 20 0 20 0 39280379 19521036288 893930 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=2262012 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 893930 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 893930 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 893930 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 29.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3575720 KiB

[startup+51.1142 s]
/proc/loadavg: 4.51 4.60 4.49 5/336 31745
/proc/meminfo: memFree=32738884/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=4446344 CPUtime=56.22 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 33569 0 4 0 5467 155 0 0 20 0 20 0 39280375 19521036288 1111586 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 1111586 5462 1 0 2129482 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=4446344 CPUtime=47.73 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 11176 0 1 0 4650 123 0 0 20 0 20 0 39280379 19521036288 1111586 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0

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

/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 197061 0 1 0 309314 1901 0 0 20 0 20 0 39280379 19521036288 3059386 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12235476 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3059386 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=12237544 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3102 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3059386 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12237544 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3059386 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3261.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12237544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.40 4.36 6/343 32141
/proc/meminfo: memFree=31780836/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3324.28 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 348789 0 4 0 330171 2257 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=14344 CPUtime=3170.12 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 202860 0 1 0 315083 1929 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3159 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3324.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.36 4.35 6/343 32147
/proc/meminfo: memFree=30331708/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3384.76 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 355484 0 4 0 336188 2288 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=17280 CPUtime=3228.48 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 206781 0 1 0 320892 1956 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3186 0 0 0 1 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3384.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.34 4.34 7/344 32152
/proc/meminfo: memFree=29394484/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3445.05 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 360750 0 4 0 342187 2318 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3286.92 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 210512 0 1 0 326710 1982 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=14344 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3270 0 0 0 1 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=-6000919507116452716 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3445.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.35 4.35 7/322 32170
/proc/meminfo: memFree=44685072/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3505.68 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 362528 0 4 0 348218 2350 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3345.35 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 211898 0 1 0 332526 2009 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=14344 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3358 0 0 0 1 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3505.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB

[startup+3522.3 s]
/proc/loadavg: 3.64 4.15 4.27 4/315 32189
/proc/meminfo: memFree=79030228/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3565.84 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 367983 0 4 0 354203 2381 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3404.01 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 215943 0 1 0 338365 2036 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=17280 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3486 0 0 0 1 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3565.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.3 s]
/proc/loadavg: 3.47 4.05 4.24 4/309 32190
/proc/meminfo: memFree=78742908/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19063512 memory=12274572 CPUtime=3600.04 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 371729 0 4 0 357602 2402 0 0 20 0 20 0 39280375 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4765878 3068643 5494 1 0 3082862 0
[pid=31723/tid=31725] ppid=31720 vsize=19063512 memory=22008 CPUtime=3436.91 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 217548 0 1 0 341636 2055 0 0 20 0 20 0 39280379 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3574 0 0 0 1 0 0 0 20 0 20 0 39280384 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31742] ppid=31720 vsize=19063512 memory=12274572 CPUtime=0 cores=5,7
/proc/31723/task/31742/stat : 31742 (Timer-0) S 31720 31723 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39280403 19521036288 3068643 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12274572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.26 s, system=24.1088 s

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

[startup+3556.4 s]
/proc/loadavg: 3.47 4.05 4.24 4/309 32190
/proc/meminfo: memFree=78742908/131382120 swapFree=33010160/33010684
[pid=31723] ppid=31720 vsize=19263204 memory=12275468 CPUtime=3600.2 cores=5,7
/proc/31723/stat : 31723 (java) S 31720 31723 28556 0 -1 4194304 374121 0 4 0 357615 2405 0 0 20 0 21 0 39280375 19725520896 3068867 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
/proc/31723/statm: 4815801 3068867 5526 1 0 3083781 0
[pid=31723/tid=31725] ppid=31720 vsize=19263204 memory=-6000919507116452716 CPUtime=3436.95 cores=5,7
/proc/31723/task/31725/stat : 31725 (java) R 31720 31723 28556 0 -1 4194368 217947 0 1 0 341638 2057 0 0 20 0 21 0 39280379 19725520896 3068867 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31734] ppid=31720 vsize=19263204 memory=-6000919507116452716 CPUtime=0 cores=5,7
/proc/31723/task/31734/stat : 31734 (Finalizer) S 31720 31723 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39280384 19725520896 3068867 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
[pid=31723/tid=31741] ppid=31720 vsize=19263204 memory=6752 CPUtime=0.01 cores=5,7
/proc/31723/task/31741/stat : 31741 (Common-Cleaner) S 31720 31723 28556 0 -1 4194368 3574 0 0 0 1 0 0 0 20 0 21 0 39280384 19725520896 3068867 18446744073709551615 94025375252480 94025375256176 140730917806528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94025375263992 94025375264784 94025387008000 140730917812528 140730917812710 140730917812710 140730917818312 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12275468 KiB

[startup+3556.51 s]*
/proc/loadavg: 3.47 4.05 4.24 4/291 32193
/proc/meminfo: memFree=80843964/131382120 swapFree=33010160/33010684
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): 3556.55
CPU time (s): 3600.37
CPU user time (s): 3576.26
CPU system time (s): 24.1088
CPU usage (%): 101.232
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12275468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.26
system time used= 24.1088
maximum resident set size= 12275596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374343
page faults= 4
swaps= 0
block input operations= 80
block output operations= 35638736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129827
involuntary context switches= 40750


# summary of solver processes directly reported to runsolver:
#   pid: 31723
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3576.26
#   total CPU system time (s): 24.1088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9317 second user time and 34.2018 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 00:26:53
IDJOB=4515895
IDBENCH=167030
IDSOLVER=3364
FILE ID=nodeC008/4515895-1751236013
RUNJOBID= nodeC008-1751232781-31327
SLURM_JOB_ID= 9587698
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515895-1751236013/watcher-4515895-1751236013 -o /tmp/evaluation-result-4515895-1751236013/solver-4515895-1751236013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31327 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515895-1751236013 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515895-1751236013.opb

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

MD5SUM BENCH= 65bf933f8503130ddd66cfa323843b92
RANDOM SEED=1740147597

nodeC008 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	: 0xb00001f
cpu MHz		: 3491.852
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 pti 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	: 6983.72
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		: 3658.805
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.159
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.425
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 pti 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	: 6983.72
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		: 3567.410
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 pti 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	: 6983.72
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		: 3571.292
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 pti 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	: 6983.72
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		: 3700.000
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.205
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 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        38811816 kB
MemAvailable:   89367692 kB
Buffers:            2144 kB
Cached:         51284352 kB
SwapCached:            4 kB
Active:         40668892 kB
Inactive:       51088552 kB
Active(anon):   40450176 kB
Inactive(anon):    38872 kB
Active(file):     218716 kB
Inactive(file): 51049680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            549308 kB
Writeback:             0 kB
AnonPages:      40470836 kB
Mapped:           122364 kB
Shmem:             17916 kB
KReclaimable:     254212 kB
Slab:             356696 kB
SReclaimable:     254212 kB
SUnreclaim:       102484 kB
KernelStack:        5120 kB
PageTables:        82748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   41030592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  39909376 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-30 01:26:09