Trace number 4515931

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.48 3369.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
MD5SUM97ac09d7b638be47b4d5a322b09a2581
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.971775
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1288
Total number of constraints2577
Number of constraints which are clauses2576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint1288
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 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 1295
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.14	c version PB25.v20250606
0.11/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.15	c java.vm.version	22.0.1+8-16
0.11/0.15	c java.vm.vendor	Oracle Corporation
0.11/0.15	c sun.arch.data.model	64
0.11/0.15	c java.version		22.0.1
0.11/0.15	c os.name		Linux
0.11/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.15	c os.arch		amd64
0.11/0.15	c Free memory 		2104792832
0.11/0.15	c Max memory 		16282288128
0.11/0.15	c Total memory 		2113929216
0.11/0.16	c Number of processors 	2
0.11/0.22	c Pseudo Boolean Optimization by upper bound
0.11/0.22	c --- Begin Solver configuration ---
0.11/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.22	c Learn all clauses as in MiniSAT
0.11/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.22	c Expensive reason simplification
0.11/0.22	c Glucose 2.1 dynamic restart strategy
0.11/0.22	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.11/0.22	c timeout=2147483s
0.11/0.22	c DB Simplification allowed=false
0.11/0.22	c Listener: none
0.11/0.22	c --- End Solver configuration ---
0.11/0.22	c solving HOME/instance-4515931-1751236103.opb
0.11/0.22	c reading problem ... 
0.11/0.22	c using VERIPB proof format
0.11/0.22	c  no objective function found
0.51/0.38	c ... done. Wall clock time 0.158s.
0.51/0.38	c declared #vars     1288
0.51/0.38	c #constraints  2577
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2576
0.51/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.51/0.38	c 2577 constraints processed.
5.49/3.01	c cleaning 2500 clauses out of 5000 with flag 10671/5000
8.41/5.22	c cleaning 4250 clauses out of 8500 with flag 23422/11000
11.71/8.05	c cleaning 5624 clauses out of 11250 with flag 38278/18000
15.91/11.83	c cleaning 6814 clauses out of 13628 with flag 55231/26002
18.66/14.29	c cleaning 7905 clauses out of 15814 with flag 74413/35002
22.22/17.47	c cleaning 8954 clauses out of 17907 with flag 95675/45000
27.30/22.08	c cleaning 9973 clauses out of 19953 with flag 118998/56000
31.33/25.86	c cleaning 10990 clauses out of 21980 with flag 144346/68000
36.59/30.72	c cleaning 11995 clauses out of 23990 with flag 171962/81000
41.70/35.69	c cleaning 12999 clauses out of 25997 with flag 201632/95002
48.27/41.56	c cleaning 13998 clauses out of 27997 with flag 233414/110001
53.89/46.81	c cleaning 14999 clauses out of 29999 with flag 267443/126001
61.06/53.42	c cleaning 15998 clauses out of 32000 with flag 303747/143001
68.21/60.28	c cleaning 17001 clauses out of 34001 with flag 342011/161000
76.05/67.50	c cleaning 17998 clauses out of 36000 with flag 382399/180000
83.38/74.46	c cleaning 18998 clauses out of 38004 with flag 424757/200002
91.84/82.43	c cleaning 19999 clauses out of 40006 with flag 469249/221002
102.46/92.35	c cleaning 21000 clauses out of 42005 with flag 515851/243000
112.53/102.02	c cleaning 21997 clauses out of 44005 with flag 564677/266000
124.11/112.94	c cleaning 23003 clauses out of 46008 with flag 615641/290000
132.50/120.61	c cleaning 23998 clauses out of 48006 with flag 668806/315001
142.19/129.51	c cleaning 25003 clauses out of 50007 with flag 723333/341000
152.41/139.12	c cleaning 25998 clauses out of 52004 with flag 780595/368000
162.96/148.92	c cleaning 26999 clauses out of 54006 with flag 839964/396000
174.88/160.18	c cleaning 28002 clauses out of 56008 with flag 901349/425001
186.33/170.74	c cleaning 28999 clauses out of 58006 with flag 964898/455001
200.36/184.03	c cleaning 30002 clauses out of 60008 with flag 1030714/486002
211.68/194.57	c cleaning 30997 clauses out of 62006 with flag 1098706/518002
223.90/206.08	c cleaning 32000 clauses out of 64007 with flag 1168822/551000
237.67/218.78	c cleaning 33004 clauses out of 66007 with flag 1241009/585000
251.36/231.52	c cleaning 33999 clauses out of 68005 with flag 1315153/620002
268.10/246.02	c cleaning 35001 clauses out of 70004 with flag 1391604/656000
281.94/258.86	c cleaning 35993 clauses out of 72003 with flag 1470076/693000
297.08/272.73	c cleaning 37004 clauses out of 74010 with flag 1550582/731000
312.24/286.94	c cleaning 37993 clauses out of 76006 with flag 1633174/770000
330.90/304.57	c cleaning 39003 clauses out of 78014 with flag 1718150/810001
346.67/319.41	c cleaning 40000 clauses out of 80010 with flag 1805248/851000
363.04/334.77	c cleaning 41000 clauses out of 82010 with flag 1894308/893000
379.67/350.31	c cleaning 42000 clauses out of 84012 with flag 1985471/936002
396.59/366.27	c cleaning 42999 clauses out of 86010 with flag 2078850/980000
413.55/382.12	c cleaning 44000 clauses out of 88011 with flag 2174332/1025000
430.49/398.03	c cleaning 45000 clauses out of 90012 with flag 2271849/1071001
446.25/412.64	c cleaning 45997 clauses out of 92011 with flag 2371382/1118000
463.21/428.34	c cleaning 47006 clauses out of 94014 with flag 2473260/1166000
485.16/447.68	c cleaning 48004 clauses out of 96008 with flag 2577118/1215000
508.44/469.12	c cleaning 48997 clauses out of 98004 with flag 2682958/1265000
528.86/488.41	c cleaning 49997 clauses out of 100008 with flag 2791431/1316001
547.91/506.00	c cleaning 51004 clauses out of 102010 with flag 2901948/1368000
566.83/523.78	c cleaning 52003 clauses out of 104006 with flag 3014345/1421000
590.06/545.57	c cleaning 52998 clauses out of 106004 with flag 3128692/1475001
612.23/566.30	c cleaning 53998 clauses out of 108005 with flag 3245384/1530000
633.17/586.10	c cleaning 55004 clauses out of 110007 with flag 3364085/1586000
656.35/607.51	c cleaning 55996 clauses out of 112003 with flag 3484902/1643000
683.79/631.22	c cleaning 57001 clauses out of 114007 with flag 3608012/1701000
708.96/654.89	c cleaning 57998 clauses out of 116006 with flag 3732958/1760000
733.17/677.69	c cleaning 58996 clauses out of 118008 with flag 3860242/1820000
759.49/702.54	c cleaning 60000 clauses out of 120012 with flag 3989572/1881000
786.69/728.07	c cleaning 61008 clauses out of 122015 with flag 4121027/1943003
815.49/755.24	c cleaning 61992 clauses out of 124004 with flag 4254505/2006000
840.33/778.51	c cleaning 63006 clauses out of 126014 with flag 4390325/2070002
868.17/804.72	c cleaning 63996 clauses out of 128006 with flag 4528421/2135000
897.96/832.94	c cleaning 65003 clauses out of 130011 with flag 4668534/2201001
927.84/861.16	c cleaning 66001 clauses out of 132008 with flag 4810779/2268001
952.84/884.57	c cleaning 66993 clauses out of 134006 with flag 4955258/2336000
978.76/908.67	c cleaning 68004 clauses out of 136015 with flag 5101588/2405002
1008.59/936.79	c cleaning 69001 clauses out of 138010 with flag 5250281/2475001
1048.85/972.39	c cleaning 69997 clauses out of 140009 with flag 5400842/2546001
1084.61/1006.14	c cleaning 71000 clauses out of 142011 with flag 5553295/2618000
1119.80/1039.29	c cleaning 71999 clauses out of 144011 with flag 5708406/2691000
1150.92/1068.59	c cleaning 73002 clauses out of 146012 with flag 5865448/2765000
1184.42/1100.10	c cleaning 74001 clauses out of 148010 with flag 6024158/2840000
1219.66/1133.32	c cleaning 75001 clauses out of 150009 with flag 6185925/2916000
1258.19/1169.96	c cleaning 75996 clauses out of 152008 with flag 6349271/2993000
1295.25/1205.12	c cleaning 77007 clauses out of 154015 with flag 6514890/3071003
1331.72/1239.67	c cleaning 77996 clauses out of 156006 with flag 6682430/3150001
1370.99/1277.03	c cleaning 78999 clauses out of 158010 with flag 6852248/3230001
1416.23/1316.04	c cleaning 80000 clauses out of 160011 with flag 7024256/3311001
1456.09/1353.33	c cleaning 80998 clauses out of 162010 with flag 7198153/3393000
1492.71/1388.00	c cleaning 82005 clauses out of 164014 with flag 7374535/3476002
1530.35/1423.55	c cleaning 82997 clauses out of 166008 with flag 7552944/3560001
1567.10/1458.17	c cleaning 84000 clauses out of 168010 with flag 7732804/3645000
1606.80/1495.85	c cleaning 84999 clauses out of 170012 with flag 7915705/3731002
1649.93/1536.46	c cleaning 86005 clauses out of 172013 with flag 8100290/3818002
1698.12/1582.31	c cleaning 86999 clauses out of 174007 with flag 8287279/3906001
1748.97/1630.74	c cleaning 87996 clauses out of 176007 with flag 8476609/3995000
1795.35/1670.95	c cleaning 89001 clauses out of 178012 with flag 8667850/4085001
1838.18/1711.47	c cleaning 89997 clauses out of 180011 with flag 8860371/4176001
1883.72/1754.71	c cleaning 90999 clauses out of 182013 with flag 9054509/4268000
1940.09/1808.74	c cleaning 92008 clauses out of 184015 with flag 9250935/4361001
1992.29/1858.54	c cleaning 93000 clauses out of 186007 with flag 9449653/4455001
2035.76/1899.62	c cleaning 94004 clauses out of 188007 with flag 9651491/4550001
2079.68/1941.07	c cleaning 94994 clauses out of 190003 with flag 9854834/4646001
2128.42/1987.48	c cleaning 96002 clauses out of 192011 with flag 10060547/4743003
2182.18/2035.10	c cleaning 97003 clauses out of 194006 with flag 10267837/4841000
2237.36/2087.84	c cleaning 97998 clauses out of 196003 with flag 10477570/4940000
2295.04/2143.11	c cleaning 98997 clauses out of 198005 with flag 10689933/5040000
2348.62/2193.91	c cleaning 99997 clauses out of 200009 with flag 10904272/5141001
2404.44/2247.16	c cleaning 101003 clauses out of 202013 with flag 11120697/5243002
2467.78/2307.80	c cleaning 101999 clauses out of 204008 with flag 11339237/5346000
2539.60/2377.08	c cleaning 102999 clauses out of 206010 with flag 11560223/5450001
2606.89/2436.85	c cleaning 104001 clauses out of 208010 with flag 11783034/5555000
2668.28/2495.06	c cleaning 105001 clauses out of 210011 with flag 12008534/5661002
2721.29/2545.11	c cleaning 106000 clauses out of 212008 with flag 12235616/5768000
2763.98/2585.03	c cleaning 107002 clauses out of 214008 with flag 12463509/5876000
2814.57/2632.71	c cleaning 108003 clauses out of 216007 with flag 12694607/5985001
2862.33/2677.48	c cleaning 108997 clauses out of 218003 with flag 12927952/6095000
2921.95/2728.74	c cleaning 109995 clauses out of 220008 with flag 13163215/6206002
2969.57/2772.53	c cleaning 111006 clauses out of 222011 with flag 13400698/6318000
3024.53/2824.49	c cleaning 111997 clauses out of 224005 with flag 13640701/6431000
3078.83/2875.80	c cleaning 113005 clauses out of 226011 with flag 13882521/6545003
3137.74/2931.63	c cleaning 114001 clauses out of 228006 with flag 14126576/6660003
3200.44/2991.36	c cleaning 114998 clauses out of 230004 with flag 14372388/6776002
3275.84/3058.28	c cleaning 115998 clauses out of 232007 with flag 14620264/6893003
3344.59/3123.32	c cleaning 117003 clauses out of 234007 with flag 14870224/7011001
3400.78/3176.76	c cleaning 117998 clauses out of 236004 with flag 15121980/7130001
3465.34/3238.68	c cleaning 118997 clauses out of 238006 with flag 15376330/7250001
3538.46/3310.04	c cleaning 119994 clauses out of 240008 with flag 15632852/7371000
3600.06/3369.03	c timeout
3600.06/3369.05	c starts		: 1
3600.06/3369.08	c conflicts		: 7482706
3600.06/3369.08	c decisions		: 8002020
3600.06/3369.08	c propagations		: 39874626
3600.06/3369.08	c inspects		: 2986364697
3600.06/3369.08	c shortcuts		: 0
3600.06/3369.08	c learnt literals	: 0
3600.06/3369.08	c learnt binary clauses	: 0
3600.06/3369.08	c learnt ternary clauses	: 0
3600.06/3369.08	c learnt constraints	: 7482706
3600.06/3369.08	c ignored constraints	: 0
3600.06/3369.08	c root simplifications	: 0
3600.06/3369.08	c removed literals (reason simplification)	: 129743100
3600.06/3369.08	c reason swapping (by a shorter reason)	: 0
3600.06/3369.08	c Calls to reduceDB	: 117
3600.06/3369.08	c Number of update (reduction) of LBD	: 128461
3600.06/3369.08	c Imported unit clauses	: 0
3600.06/3369.08	c No decision after first conflict	: false
3600.06/3369.08	c number of reductions to clauses (during analyze)	: 0
3600.06/3369.08	c number of learned constraints concerned by reduction	: 0
3600.06/3369.10	c number of learning phase by resolution	: 0
3600.06/3369.10	c number of learning phase by cutting planes	: 0
3600.06/3369.10	c number of rounding to 1 operations	: 0
3600.06/3369.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3369.10	c number of reductions of the coefficients by power 2 	: 0
3600.06/3369.10	c number of right shift for reduction by power 2 	: 0
3600.06/3369.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3369.10	c number of ending skipping 	: 0
3600.06/3369.10	c number of internal skipping 	: 0
3600.06/3369.10	c number of derivation steps 	: 0
3600.06/3369.10	c number of skipped derivation steps 	: 0
3600.06/3369.10	c number of remaining unassigned 	: 0
3600.06/3369.10	c number of remaining assigned 	: 0
3600.06/3369.10	c number of falsified literals weakened from reason	: 0
3600.06/3369.10	c number of falsified literals weakened from conflict	: 0
3600.06/3369.10	c time for arithmetic operations	: 0
3600.06/3369.10	c minimum degree of deleted constraints	: null
3600.06/3369.10	c maximum degree of deleted constraints	: null
3600.06/3369.10	c number of deleted constraints	: 0
3600.06/3369.10	c speed (assignments/second)	: 11836.732597761938
3600.06/3369.10	c non guided choices	: 326
3600.32/3369.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231720
3600.32/3369.27	s UNKNOWN
3600.32/3369.27	c Total wall clock time (in seconds): 3369.048

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515931-1751236103/watcher-4515931-1751236103 -o /tmp/evaluation-result-4515931-1751236103/solver-4515931-1751236103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515931-1751236103 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515931-1751236103.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=31795, runsolver pid=31792

[startup+0.100074 s]*
/proc/loadavg: 4.38 4.55 4.48 6/335 31813
/proc/meminfo: memFree=59843944/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=18930384 memory=50600 CPUtime=0.11 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 5821 0 0 0 8 3 0 0 20 0 18 0 39289435 19384713216 12650 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4732596 12650 5325 1 0 547045 0
[pid=31795/tid=31797] ppid=31792 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 4691 0 0 0 5 2 0 0 20 0 18 0 39289437 19384713216 12650 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39289441 19384713216 12650 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=18930384 memory=59593594261064 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39289442 19384713216 12650 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50600 KiB

[startup+0.214399 s]*
/proc/loadavg: 4.38 4.55 4.48 7/335 31813
/proc/meminfo: memFree=59837592/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=18930384 memory=60668 CPUtime=0.33 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 6712 0 0 0 29 4 0 0 20 0 18 0 39289435 19384713216 15167 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4732596 15167 5421 1 0 547831 0
[pid=31795/tid=31797] ppid=31792 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 5285 0 0 0 17 3 0 0 20 0 18 0 39289437 19384713216 15167 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=18930384 memory=15877 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39289441 19384713216 15167 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39289442 19384713216 15167 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60668 KiB

[startup+0.326828 s]*
/proc/loadavg: 4.38 4.55 4.48 7/335 31813
/proc/meminfo: memFree=59829528/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=18930384 memory=64896 CPUtime=0.51 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 6751 0 0 0 47 4 0 0 20 0 18 0 39289435 19384713216 16224 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4732596 16224 5421 1 0 547839 0
[pid=31795/tid=31797] ppid=31792 vsize=18930384 memory=-6000919498409077612 CPUtime=0.27 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 5305 0 0 0 24 3 0 0 20 0 18 0 39289437 19384713216 16224 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39289441 19384713216 16224 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39289442 19384713216 16224 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64896 KiB

[startup+0.700452 s]
/proc/loadavg: 4.38 4.55 4.48 7/336 31814
/proc/meminfo: memFree=59801288/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=18996948 memory=104360 CPUtime=1.18 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 7807 0 0 0 113 5 0 0 20 0 19 0 39289435 19452874752 26090 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4749237 26090 5421 1 0 548730 0
[pid=31795/tid=31797] ppid=31792 vsize=18996948 memory=17280 CPUtime=0.59 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 5411 0 0 0 55 4 0 0 20 0 19 0 39289437 19452874752 26090 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=18996948 memory=10496 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39289441 19452874752 26090 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39289442 19452874752 26090 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39289474 19452874752 26090 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104360 KiB

[startup+1.50026 s]
/proc/loadavg: 4.38 4.55 4.48 7/337 31815
/proc/meminfo: memFree=59715940/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=168496 CPUtime=2.75 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 12280 0 0 0 266 9 0 0 20 0 20 0 39289435 19521036288 42124 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 42124 5485 1 0 549953 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=0 CPUtime=1.31 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 5730 0 0 0 125 6 0 0 20 0 20 0 39289437 19521036288 42124 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 42124 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 42124 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 42124 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168496 KiB

[startup+3.10631 s]
/proc/loadavg: 4.38 4.55 4.48 8/337 31815
/proc/meminfo: memFree=59308380/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=419032 CPUtime=5.62 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 19125 0 0 0 543 19 0 0 20 0 20 0 39289435 19521036288 104758 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 104758 5485 1 0 898967 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=10496 CPUtime=2.74 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 6727 0 0 0 262 12 0 0 20 0 20 0 39289437 19521036288 104758 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=-6000919498409077612 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 104758 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 104758 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 104758 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 419032 KiB

[startup+6.30028 s]
/proc/loadavg: 4.43 4.56 4.48 8/337 31815
/proc/meminfo: memFree=58547572/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=1171680 CPUtime=9.79 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 21769 0 0 0 940 39 0 0 20 0 20 0 39289435 19521036288 292920 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 292920 5485 1 0 1962417 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=0 CPUtime=5.55 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 7056 0 0 0 527 28 0 0 20 0 20 0 39289437 19521036288 292920 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 292920 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 292920 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=170568 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 292920 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1171680 KiB

[startup+12.7004 s]
/proc/loadavg: 4.55 4.59 4.49 5/337 31815
/proc/meminfo: memFree=56924932/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=2390244 CPUtime=17.03 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 22998 0 0 0 1628 75 0 0 20 0 20 0 39289435 19521036288 597561 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 597561 5485 1 0 2154608 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=170568 CPUtime=11.25 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 7513 0 0 0 1072 53 0 0 20 0 20 0 39289437 19521036288 597561 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=2318532 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 597561 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 597561 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 597561 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 17.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2390244 KiB

[startup+25.5004 s]
/proc/loadavg: 4.43 4.56 4.48 4/313 31844
/proc/meminfo: memFree=71284628/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=3493628 CPUtime=31.03 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 24080 0 0 0 2990 113 0 0 20 0 20 0 39289435 19521036288 873407 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 873407 5485 1 0 2307101 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=3395320 CPUtime=22.92 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 7926 0 0 0 2210 82 0 0 20 0 20 0 39289437 19521036288 873407 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=-6000919498409077612 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 873407 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=3296960 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 873407 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 873407 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 31.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3493628 KiB

[startup+51.1142 s]
/proc/loadavg: 4.47 4.56 4.48 5/340 31886
/proc/meminfo: memFree=102606608/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=6232964 CPUtime=58.54 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 33256 0 0 0 5648 206 0 0 20 0 20 0 39289435 19521036288 1558241 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 1558241 5485 1 0 2827273 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=12416 CPUtime=46.2 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 10558 0 0 0 4464 156 0 0 20 0 20 0 39289437 19521036288 1558241 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=5135208 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 1558241 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0

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

Current children cumulated memory: 16279424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.41 4.43 4.36 5/344 32137
/proc/meminfo: memFree=33380520/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3322.46 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 445525 0 0 0 328636 3610 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=5504 CPUtime=2883.66 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) S 31792 31795 28556 0 -1 4194368 231331 0 0 0 285180 3186 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 2818 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3322.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.39 4.35 7/344 32139
/proc/meminfo: memFree=32343244/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3385.75 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 452878 0 0 0 334909 3666 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=5504 CPUtime=2939.27 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 236798 0 0 0 290688 3239 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 2872 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3385.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.38 4.35 5/343 32141
/proc/meminfo: memFree=30886348/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3448.47 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 458941 0 0 0 341126 3721 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=5504 CPUtime=2995 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 240638 0 0 0 296211 3289 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 2925 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3448.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.34 4.34 6/343 32147
/proc/meminfo: memFree=29879408/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3510.99 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 465309 0 0 0 347325 3774 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3051.62 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 245423 0 0 0 301824 3338 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 2979 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3510.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.34 4.34 5/343 32152
/proc/meminfo: memFree=28903460/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3572.06 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 472066 0 0 0 353379 3827 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=17280 CPUtime=3107.19 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 250287 0 0 0 307332 3387 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=14344 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 3063 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=16279424 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3369 s]*
/proc/loadavg: 4.38 4.36 4.35 5/343 32153
/proc/meminfo: memFree=28432640/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19063512 memory=16279424 CPUtime=3600.06 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 476981 0 0 0 356157 3849 0 0 20 0 20 0 39289435 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4765878 4069856 5517 1 0 4083847 0
[pid=31795/tid=31797] ppid=31792 vsize=19063512 memory=-6000919502787799916 CPUtime=3132.33 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 253987 0 0 0 309826 3407 0 0 20 0 20 0 39289437 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39289441 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 3179 0 0 0 0 0 0 0 20 0 20 0 39289442 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31814] ppid=31792 vsize=19063512 memory=7028 CPUtime=0 cores=0,2
/proc/31795/task/31814/stat : 31814 (Timer-0) S 31792 31795 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39289474 19521036288 4069856 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3561.89 s, system=38.5937 s

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

[startup+3369.2 s]
/proc/loadavg: 4.38 4.36 4.35 5/343 32153
/proc/meminfo: memFree=28432640/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19263204 memory=16280320 CPUtime=3600.32 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 479852 0 0 0 356180 3852 0 0 20 0 21 0 39289435 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4815801 4070080 5517 1 0 4084800 0
[pid=31795/tid=31797] ppid=31792 vsize=19263204 memory=139952 CPUtime=3132.39 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) D 31792 31795 28556 0 -1 4194368 254373 0 0 0 309829 3410 0 0 20 0 21 0 39289437 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19263204 memory=-6000919498409077612 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39289441 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19263204 memory=2760 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 3179 0 0 0 0 0 0 0 20 0 21 0 39289442 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16280320 KiB

[startup+3369.4 s]
/proc/loadavg: 4.38 4.36 4.35 5/343 32153
/proc/meminfo: memFree=28432640/131382120 swapFree=33010160/33010684
[pid=31795] ppid=31792 vsize=19263204 memory=16280320 CPUtime=3600.41 cores=0,2
/proc/31795/stat : 31795 (java) S 31792 31795 28556 0 -1 4194304 480247 0 0 0 356188 3853 0 0 20 0 17 0 39289435 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
/proc/31795/statm: 4815801 4070080 5517 1 0 4084800 0
[pid=31795/tid=31797] ppid=31792 vsize=19263204 memory=-6000919498409077612 CPUtime=3132.39 cores=0,2
/proc/31795/task/31797/stat : 31797 (java) R 31792 31795 28556 0 -1 4194368 254373 0 0 0 309829 3410 0 0 20 0 17 0 39289437 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31806] ppid=31792 vsize=19263204 memory=17100 CPUtime=0 cores=0,2
/proc/31795/task/31806/stat : 31806 (Finalizer) S 31792 31795 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 17 0 39289441 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
[pid=31795/tid=31813] ppid=31792 vsize=19263204 memory=9344 CPUtime=0 cores=0,2
/proc/31795/task/31813/stat : 31813 (Common-Cleaner) S 31792 31795 28556 0 -1 4194368 3179 0 0 0 0 0 0 0 20 0 17 0 39289442 19725520896 4070080 18446744073709551615 94533012238336 94533012242032 140735348455296 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94533012249848 94533012250640 94533017894912 140735348459824 140735348460006 140735348460006 140735348465608 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16280320 KiB

Child status: 143

Real time (s): 3369.5
CPU time (s): 3600.48
CPU user time (s): 3561.89
CPU system time (s): 38.5937
CPU usage (%): 106.855
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.89
system time used= 38.5937
maximum resident set size= 16280576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 69339800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157723
involuntary context switches= 26351


# summary of solver processes directly reported to runsolver:
#   pid: 31795
#   total CPU time (s): 3600.48
#   total CPU user time (s): 3561.89
#   total CPU system time (s): 38.5937

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0973 second user time and 35.0742 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 00:28:23
IDJOB=4515931
IDBENCH=167132
IDSOLVER=3364
FILE ID=nodeC008/4515931-1751236103
RUNJOBID= nodeC008-1751232781-31324
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/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515931-1751236103/watcher-4515931-1751236103 -o /tmp/evaluation-result-4515931-1751236103/solver-4515931-1751236103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515931-1751236103 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515931-1751236103.opb

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

MD5SUM BENCH= 97ac09d7b638be47b4d5a322b09a2581
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		: 2993.023
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		: 2394.402
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		: 1206.476
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.752
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		: 3591.634
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		: 3491.862
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		: 1197.455
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.356
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:        59857336 kB
MemAvailable:   100614392 kB
Buffers:            2144 kB
Cached:         41510656 kB
SwapCached:            4 kB
Active:         29460324 kB
Inactive:       41315208 kB
Active(anon):   29241888 kB
Inactive(anon):    38872 kB
Active(file):     218436 kB
Inactive(file): 41276336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1147000 kB
Writeback:             0 kB
AnonPages:      29262580 kB
Mapped:           122356 kB
Shmem:             17916 kB
KReclaimable:     203824 kB
Slab:             324304 kB
SReclaimable:     203824 kB
SUnreclaim:       120480 kB
KernelStack:        5136 kB
PageTables:        60756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   33207760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28852224 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:24:33