Trace number 4453072

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 2024 2024-07-07? (TO) 3600.22 3519.1

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid6_121.shuf-3.opb
MD5SUM1365683d53fe75e8a162478951931853
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.255408
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables726
Total number of constraints727
Number of constraints which are clauses726
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 constraint726
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 748
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.05/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.16	c See www.sat4j.org for details.
0.05/0.16	c version CUSTOM.v20240707
0.05/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.17	c java.vm.version	22.0.1+8-16
0.05/0.17	c java.vm.vendor	Oracle Corporation
0.05/0.17	c sun.arch.data.model	64
0.05/0.17	c java.version		22.0.1
0.05/0.17	c os.name		Linux
0.05/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.17	c os.arch		amd64
0.05/0.18	c Free memory 		2104792832
0.05/0.18	c Max memory 		16282288128
0.05/0.18	c Total memory 		2113929216
0.05/0.18	c Number of processors 	2
0.15/0.25	--- Begin Solver configuration ---
0.15/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.25	Learn all clauses as in MiniSAT
0.15/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.25	Expensive reason simplification
0.15/0.25	Glucose 2.1 dynamic restart strategy
0.15/0.25	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.15/0.25	timeout=2147483s
0.15/0.25	DB Simplification allowed=false
0.15/0.25	Listener: none
0.15/0.25	--- End Solver configuration ---
0.15/0.25	c Pseudo Boolean Optimization by upper bound
0.15/0.25	c --- Begin Solver configuration ---
0.15/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.15/0.25	c Learn all clauses as in MiniSAT
0.15/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.25	c Expensive reason simplification
0.15/0.25	c Glucose 2.1 dynamic restart strategy
0.15/0.25	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.15/0.25	c timeout=2147483s
0.15/0.25	c DB Simplification allowed=false
0.15/0.25	c Listener: none
0.15/0.25	c --- End Solver configuration ---
0.15/0.25	c solving HOME/instance-4453072-1721842415.opb
0.15/0.25	c reading problem ... 
0.15/0.26	c using VERIPB proof format
0.15/0.26	c  no objective function found
0.15/0.29	c ... done. Wall clock time 0.041s.
0.15/0.29	c declared #vars     726
0.15/0.29	c #constraints  727
0.15/0.29	c constraints type 
0.15/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 726
0.15/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.15/0.29	c 727 constraints processed.
3.40/1.91	c cleaning 2500 clauses out of 5000 with flag 10770/5000
4.88/2.90	c cleaning 4250 clauses out of 8501 with flag 23860/11001
6.03/4.09	c cleaning 5626 clauses out of 11252 with flag 39031/18002
7.56/5.43	c cleaning 6813 clauses out of 13626 with flag 56510/26002
9.23/6.84	c cleaning 7905 clauses out of 15813 with flag 76034/35002
11.05/8.47	c cleaning 8951 clauses out of 17906 with flag 97738/45000
13.08/10.40	c cleaning 9975 clauses out of 19956 with flag 121732/56001
15.23/12.41	c cleaning 10990 clauses out of 21980 with flag 147724/68000
17.79/14.80	c cleaning 11993 clauses out of 23991 with flag 175825/81001
20.29/17.22	c cleaning 12998 clauses out of 25998 with flag 206306/95001
23.21/20.09	c cleaning 13999 clauses out of 27999 with flag 239128/110000
26.61/23.33	c cleaning 15001 clauses out of 30001 with flag 273917/126001
30.14/26.77	c cleaning 16000 clauses out of 31999 with flag 310953/143000
34.35/30.68	c cleaning 16998 clauses out of 34001 with flag 350089/161002
38.50/37.50	c cleaning 18000 clauses out of 36001 with flag 391377/180000
42.93/41.88	c cleaning 19000 clauses out of 38001 with flag 435096/200000
48.36/47.11	c cleaning 20000 clauses out of 40002 with flag 480738/221001
54.29/52.95	c cleaning 21001 clauses out of 42001 with flag 528574/243000
60.67/59.10	c cleaning 21998 clauses out of 44001 with flag 578686/266001
66.59/66.66	c cleaning 22997 clauses out of 46003 with flag 631047/290001
72.04/72.12	c cleaning 24000 clauses out of 48005 with flag 685667/315000
79.35/79.29	c cleaning 25003 clauses out of 50006 with flag 742235/341001
86.38/86.00	c cleaning 25995 clauses out of 52003 with flag 800792/368001
92.69/92.24	c cleaning 27002 clauses out of 54007 with flag 861590/396000
100.39/107.20	c cleaning 28001 clauses out of 56005 with flag 924711/425000
108.13/114.60	c cleaning 28997 clauses out of 58004 with flag 989977/455000
116.85/123.29	c cleaning 30002 clauses out of 60008 with flag 1057251/486001
127.05/133.54	c cleaning 30997 clauses out of 62005 with flag 1126547/518000
137.10/143.47	c cleaning 31998 clauses out of 64008 with flag 1198366/551000
146.46/152.61	c cleaning 32998 clauses out of 66011 with flag 1272209/585001
156.65/162.85	c cleaning 33999 clauses out of 68012 with flag 1348711/620000
167.73/173.80	c cleaning 35007 clauses out of 70014 with flag 1427219/656001
179.00/185.03	c cleaning 35996 clauses out of 72007 with flag 1507512/693001
190.41/196.44	c cleaning 37003 clauses out of 74011 with flag 1590188/731001
201.48/207.27	c cleaning 38001 clauses out of 76007 with flag 1674876/770000
214.81/220.83	c cleaning 39001 clauses out of 78006 with flag 1762058/810000
227.77/233.42	c cleaning 39999 clauses out of 80005 with flag 1851105/851000
244.77/249.81	c cleaning 41004 clauses out of 82007 with flag 1942595/893001
262.49/267.45	c cleaning 41995 clauses out of 84002 with flag 2036297/936000
278.73/283.52	c cleaning 42998 clauses out of 86007 with flag 2132076/980000
296.69/301.20	c cleaning 43998 clauses out of 88009 with flag 2230185/1025000
313.77/318.30	c cleaning 44999 clauses out of 90011 with flag 2330358/1071000
336.96/341.58	c cleaning 46004 clauses out of 92012 with flag 2432714/1118000
359.48/363.95	c cleaning 47005 clauses out of 94009 with flag 2536762/1166001
376.58/381.30	c cleaning 47997 clauses out of 96004 with flag 2643569/1215001
395.36/399.75	c cleaning 48999 clauses out of 98006 with flag 2752369/1265000
413.13/417.64	c cleaning 50003 clauses out of 100007 with flag 2863717/1316000
432.55/436.83	c cleaning 51003 clauses out of 102005 with flag 2976813/1368001
455.74/458.92	c cleaning 51997 clauses out of 104001 with flag 3092777/1421000
480.38/483.69	c cleaning 53001 clauses out of 106004 with flag 3210733/1475000
505.97/509.26	c cleaning 53999 clauses out of 108004 with flag 3331212/1530001
533.75/536.84	c cleaning 54997 clauses out of 110005 with flag 3453817/1586001
556.99/560.14	c cleaning 56001 clauses out of 112007 with flag 3577354/1643000
583.18/586.32	c cleaning 57002 clauses out of 114006 with flag 3703287/1701000
609.16/611.97	c cleaning 58001 clauses out of 116004 with flag 3831986/1760000
636.92/639.69	c cleaning 59002 clauses out of 118004 with flag 3962866/1820001
659.39/662.10	c cleaning 59996 clauses out of 120003 with flag 4095652/1881002
686.83/689.30	c cleaning 60997 clauses out of 122006 with flag 4230601/1943001
716.82/718.58	c cleaning 62004 clauses out of 124009 with flag 4367895/2006001
747.41/749.04	c cleaning 63001 clauses out of 126004 with flag 4507423/2070000
776.17/777.73	c cleaning 63997 clauses out of 128004 with flag 4648918/2135001
809.87/810.25	c cleaning 64996 clauses out of 130006 with flag 4792915/2201000
841.81/841.94	c cleaning 66003 clauses out of 132010 with flag 4938461/2268000
873.66/872.80	c cleaning 66998 clauses out of 134007 with flag 5086632/2336000
909.48/907.39	c cleaning 68005 clauses out of 136010 with flag 5237669/2405001
952.00/948.42	c cleaning 68998 clauses out of 138005 with flag 5390476/2475001
989.64/985.02	c cleaning 69999 clauses out of 140006 with flag 5544942/2546000
1031.94/1026.14	c cleaning 71001 clauses out of 142007 with flag 5701449/2618000
1079.53/1071.67	c cleaning 71997 clauses out of 144006 with flag 5860696/2691000
1126.27/1117.07	c cleaning 73001 clauses out of 146009 with flag 6021355/2765000
1175.81/1165.24	c cleaning 74001 clauses out of 148009 with flag 6184526/2840001
1224.93/1213.39	c cleaning 75000 clauses out of 150007 with flag 6349972/2916000
1276.00/1261.95	c cleaning 75998 clauses out of 152009 with flag 6516986/2993002
1323.58/1308.21	c cleaning 77000 clauses out of 154010 with flag 6686418/3071001
1377.34/1360.67	c cleaning 78004 clauses out of 156011 with flag 6858209/3150002
1430.08/1412.19	c cleaning 79000 clauses out of 158005 with flag 7032526/3230000
1472.75/1453.44	c cleaning 80000 clauses out of 160005 with flag 7208605/3311000
1514.78/1494.12	c cleaning 80998 clauses out of 162005 with flag 7387003/3393000
1568.87/1547.06	c cleaning 82000 clauses out of 164008 with flag 7567991/3476001
1620.66/1595.98	c cleaning 82998 clauses out of 166008 with flag 7750586/3560001
1668.12/1641.82	c cleaning 84001 clauses out of 168010 with flag 7935363/3645001
1720.90/1693.38	c cleaning 85001 clauses out of 170009 with flag 8122133/3731001
1775.58/1746.52	c cleaning 86003 clauses out of 172009 with flag 8311959/3818002
1830.21/1798.07	c cleaning 87001 clauses out of 174005 with flag 8504021/3906001
1880.09/1846.39	c cleaning 87996 clauses out of 176004 with flag 8697374/3995001
1930.26/1894.74	c cleaning 89000 clauses out of 178007 with flag 8893029/4085000
1988.79/1950.04	c cleaning 90002 clauses out of 180007 with flag 9090515/4176000
2048.56/2008.37	c cleaning 90999 clauses out of 182005 with flag 9290600/4268000
2105.68/2062.39	c cleaning 92004 clauses out of 184007 with flag 9492387/4361001
2157.73/2112.75	c cleaning 93002 clauses out of 186003 with flag 9697036/4455001
2214.22/2167.51	c cleaning 93993 clauses out of 188000 with flag 9903968/4550000
2260.48/2211.67	c cleaning 95001 clauses out of 190009 with flag 10113384/4646002
2328.41/2278.07	c cleaning 96003 clauses out of 192007 with flag 10324718/4743001
2403.21/2349.87	c cleaning 97000 clauses out of 194004 with flag 10538521/4841001
2475.19/2420.31	c cleaning 97997 clauses out of 196003 with flag 10754401/4940000
2555.66/2501.05	c cleaning 98999 clauses out of 198006 with flag 10972430/5040000
2641.83/2583.75	c cleaning 100000 clauses out of 200008 with flag 11192821/5141001
2717.96/2657.92	c cleaning 101002 clauses out of 202009 with flag 11414513/5243002
2797.32/2736.72	c cleaning 101999 clauses out of 204006 with flag 11637968/5346001
2885.18/2822.79	c cleaning 102998 clauses out of 206006 with flag 11864631/5450000
2971.66/2907.57	c cleaning 104000 clauses out of 208009 with flag 12093149/5555001
3060.40/2994.13	c cleaning 104992 clauses out of 210009 with flag 12323231/5661001
3146.73/3078.48	c cleaning 106006 clauses out of 212017 with flag 12555224/5768001
3228.27/3156.62	c cleaning 107000 clauses out of 214010 with flag 12790017/5876000
3315.84/3240.05	c cleaning 107996 clauses out of 216010 with flag 13027965/5985000
3399.13/3321.44	c cleaning 109001 clauses out of 218014 with flag 13266823/6095000
3487.74/3408.13	c cleaning 109999 clauses out of 220013 with flag 13507936/6206000
3583.29/3502.14	c cleaning 110997 clauses out of 222014 with flag 13751397/6318000
3600.06/3518.91	c starts		: 1
3600.06/3518.91	c timeout
3600.06/3518.91	c conflicts		: 6346287
3600.06/3518.91	c decisions		: 6796914
3600.06/3518.91	c propagations		: 85461385
3600.06/3518.91	c inspects		: 8665578664
3600.06/3518.91	c shortcuts		: 0
3600.06/3518.91	c learnt literals	: 0
3600.06/3518.91	c learnt binary clauses	: 0
3600.06/3518.91	c learnt ternary clauses	: 0
3600.06/3518.91	c learnt constraints	: 6346287
3600.06/3518.91	c ignored constraints	: 0
3600.06/3518.91	c root simplifications	: 0
3600.06/3518.91	c removed literals (reason simplification)	: 81950585
3600.06/3518.91	c reason swapping (by a shorter reason)	: 0
3600.06/3518.91	c Calls to reduceDB	: 108
3600.06/3518.91	c Number of update (reduction) of LBD	: 95474
3600.06/3518.91	c Imported unit clauses	: 0
3600.06/3518.91	c No decision after first conflict	: false
3600.06/3518.91	c number of reductions to clauses (during analyze)	: 0
3600.06/3518.91	c number of learned constraints concerned by reduction	: 0
3600.06/3518.91	c number of learning phase by resolution	: 0
3600.06/3518.91	c number of learning phase by cutting planes	: 0
3600.06/3518.91	c number of rounding to 1 operations	: 0
3600.06/3518.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3518.91	c number of reductions of the coefficients by power 2 	: 0
3600.06/3518.91	c number of right shift for reduction by power 2 	: 0
3600.06/3518.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3518.91	c number of ending skipping 	: 0
3600.06/3518.91	c number of internal skipping 	: 0
3600.06/3518.91	c number of derivation steps 	: 0
3600.06/3518.91	c number of skipped derivation steps 	: 0
3600.06/3518.91	c number of remaining unassigned 	: 0
3600.06/3518.92	c number of remaining assigned 	: 0
3600.06/3518.92	c number of falsified literals weakened from reason	: 0
3600.06/3518.92	c number of falsified literals weakened from conflict	: 0
3600.06/3518.92	c time for arithmetic operations	: 0
3600.06/3518.92	c minimum degree of deleted constraints	: null
3600.06/3518.92	c maximum degree of deleted constraints	: null
3600.06/3518.92	c number of deleted constraints	: 0
3600.06/3518.92	c speed (assignments/second)	: 24288.31778131262
3600.06/3518.92	c non guided choices	: 286
3600.06/3518.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139304
3600.06/3519.00	s UNKNOWN
3600.06/3519.00	c Total wall clock time (in seconds): 3518.747

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: 63931 MiB (61618 MiB free)
  memory of node 1: 64510 MiB (61974 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=242288, runsolver pid=242275

[startup+0.100057 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126403252/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=18975048 memory=54780 CPUtime=0.05 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 6443 0 9 0 3 2 0 0 20 0 18 0 20771076 19430449152 13695 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4743762 13695 5485 1 0 548664 0
[pid=242288/tid=242297] ppid=242275 vsize=18975048 memory=4026531971 CPUtime=0.03 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 5369 0 7 0 2 1 0 0 20 0 18 0 20771077 19430449152 13695 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=18975048 memory=1613749 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 13695 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 13695 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54780 KiB

[startup+0.207348 s]*
/proc/loadavg: 1.05 1.16 1.99 2/333 242364
/proc/meminfo: memFree=126362460/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=18975048 memory=64764 CPUtime=0.15 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 7327 0 9 0 12 3 0 0 20 0 18 0 20771076 19430449152 16191 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4743762 16191 5533 1 0 549382 0
[pid=242288/tid=242297] ppid=242275 vsize=18975048 memory=664970851429515395 CPUtime=0.09 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) D 242275 242288 242221 0 -1 4194368 5829 0 7 0 7 2 0 0 20 0 18 0 20771077 19430449152 16191 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=18975048 memory=1613749 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 16191 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 16191 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64764 KiB

[startup+0.309439 s]*
/proc/loadavg: 1.05 1.16 1.99 17/337 242368
/proc/meminfo: memFree=126347752/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19041612 memory=69188 CPUtime=0.29 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 7758 0 9 0 26 3 0 0 20 0 19 0 20771076 19498610688 17297 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4760403 17297 5712 1 0 549920 0
[pid=242288/tid=242297] ppid=242275 vsize=19041612 memory=-8599175344770753212 CPUtime=0.16 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 6058 0 7 0 14 2 0 0 20 0 19 0 20771077 19498610688 17297 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19041612 memory=1468801770340581977 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19498610688 17297 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20771084 19498610688 17297 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20771106 19498610688 17297 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69188 KiB

[startup+0.706429 s]
/proc/loadavg: 1.05 1.16 1.99 15/337 242368
/proc/meminfo: memFree=126188592/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=168252 CPUtime=1.06 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 10972 0 10 0 100 6 0 0 20 0 20 0 20771076 19566772224 42063 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 42063 5847 1 0 551563 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=11420 CPUtime=0.51 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) S 242275 242288 242221 0 -1 1077936192 6118 0 7 0 47 4 0 0 20 0 20 0 20771077 19566772224 42063 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 42063 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=752915854083981726 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 42063 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=32944 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 42063 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 168252 KiB

[startup+1.50158 s]
/proc/loadavg: 1.85 1.33 2.04 12/341 242372
/proc/meminfo: memFree=125923296/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=195152 CPUtime=2.61 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 16991 0 10 0 253 8 0 0 20 0 20 0 20771076 19566772224 48788 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 48788 5895 1 0 553410 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=11420 CPUtime=1.24 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 6508 0 7 0 119 5 0 0 20 0 20 0 20771077 19566772224 48788 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=32944 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 48788 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 48788 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 48788 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195152 KiB

[startup+3.10617 s]
/proc/loadavg: 1.85 1.33 2.04 8/341 242372
/proc/meminfo: memFree=124267120/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=539864 CPUtime=5.09 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 21991 0 10 0 490 19 0 0 20 0 20 0 20771076 19566772224 134966 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 134966 5896 1 0 1414530 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=0 CPUtime=2.67 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 7572 0 7 0 255 12 0 0 20 0 20 0 20771077 19566772224 134966 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 134966 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 134966 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=12148 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 134966 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 539864 KiB

[startup+6.30058 s]
/proc/loadavg: 2.02 1.37 2.05 8/341 242374
/proc/meminfo: memFree=120443100/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=1627648 CPUtime=8.73 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 23488 0 10 0 828 45 0 0 20 0 20 0 20771076 19566772224 406912 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 406912 5896 1 0 1613011 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=11420 CPUtime=5.62 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) S 242275 242288 242221 0 -1 1077936192 8042 0 7 0 529 33 0 0 20 0 20 0 20771077 19566772224 406912 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 406912 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 406912 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=12148 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 406912 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627648 KiB

[startup+12.7006 s]
/proc/loadavg: 2.18 1.42 2.06 8/341 242374
/proc/meminfo: memFree=116038400/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=2498396 CPUtime=15.56 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 24659 0 10 0 1485 71 0 0 20 0 20 0 20771076 19566772224 624599 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 624599 5896 1 0 1723728 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=2475868 CPUtime=11.65 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) S 242275 242288 242221 0 -1 1077936192 8356 0 7 0 1111 54 0 0 20 0 20 0 20771077 19566772224 624599 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 624599 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 624599 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 624599 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2498396 KiB

[startup+25.5006 s]
/proc/loadavg: 2.46 1.50 2.08 8/341 242377
/proc/meminfo: memFree=111849720/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3052476 CPUtime=28.95 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 30836 0 10 0 2796 99 0 0 20 0 20 0 20771076 19566772224 763119 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 763119 5896 1 0 1723732 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=2704064 CPUtime=23.78 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 10075 0 7 0 2305 73 0 0 20 0 20 0 20771077 19566772224 763119 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=3052476 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 763119 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=2273 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 763119 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=2409 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 763119 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3052476 KiB

[startup+51.1069 s]
/proc/loadavg: 3.24 1.79 2.16 8/341 242381
/proc/meminfo: memFree=106464076/131524600 swapFree=131059112/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=4283964 CPUtime=52.51 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 35456 0 10 0 5103 148 0 0 20 0 20 0 20771076 19566772224 1070991 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 1070991 5896 1 0 1723737 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=-8815348126884537020 CPUtime=45.51 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 11905 0 7 0 4446 105 0 0 20 0 20 0 20771077 19566772224 1070991 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 300 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0

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

[startup+3162.3 s]
/proc/loadavg: 4.42 4.35 4.28 8/338 243953
/proc/meminfo: memFree=12187412/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3804588 CPUtime=3233.95 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 530235 0 10 0 321531 1864 0 0 20 0 20 0 20771076 19566772224 951147 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951147 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=3804580 CPUtime=3059.39 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 141433 0 7 0 304343 1596 0 0 20 0 20 0 20771077 19566772224 951147 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3493 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=12148 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951147 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=3804588 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1521 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951147 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=-8815348126884537020 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951147 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3233.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3804588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.45 4.37 4.29 8/338 243964
/proc/meminfo: memFree=11066396/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3804596 CPUtime=3295.81 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 533627 0 10 0 327684 1897 0 0 20 0 20 0 20771076 19566772224 951149 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951149 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=12148 CPUtime=3117.94 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 142360 0 7 0 310168 1626 0 0 20 0 20 0 20771077 19566772224 951149 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3511 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=27864 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951149 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=64696 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1521 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951149 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=3804596 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951149 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3295.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3804596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.38 4.30 10/341 244147
/proc/meminfo: memFree=10063272/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3805100 CPUtime=3359.94 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 551715 0 10 0 334067 1927 0 0 20 0 20 0 20771076 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951275 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=12148 CPUtime=3176.78 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 147350 0 7 0 316028 1650 0 0 20 0 20 0 20771077 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3527 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1550 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3359.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3805100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.37 4.30 9/341 244157
/proc/meminfo: memFree=9003900/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3805100 CPUtime=3421.54 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 552632 0 10 0 340199 1955 0 0 20 0 20 0 20771076 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951275 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=12148 CPUtime=3235.35 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 148121 0 7 0 321860 1675 0 0 20 0 20 0 20771077 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3561 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1550 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3421.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3805100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.36 4.30 8/344 244227
/proc/meminfo: memFree=7861088/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3805100 CPUtime=3481.93 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 555633 0 10 0 346213 1980 0 0 20 0 20 0 20771076 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951275 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=3805100 CPUtime=3294.32 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 149683 0 7 0 327734 1698 0 0 20 0 20 0 20771077 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3568 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=64696 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1699 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=3805100 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951275 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3481.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3805100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.33 4.28 10/344 244240
/proc/meminfo: memFree=6733476/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3805120 CPUtime=3543.61 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 573826 0 10 0 352353 2008 0 0 20 0 20 0 20771076 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951280 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=3805100 CPUtime=3353.14 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 153036 0 7 0 333592 1722 0 0 20 0 20 0 20771077 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3584 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=3805120 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1699 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=3805120 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3543.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3805120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3518.9 s]
/proc/loadavg: 4.03 4.27 4.26 6/318 244287
/proc/meminfo: memFree=36029308/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19108176 memory=3805120 CPUtime=3600.06 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 576824 0 10 0 357974 2032 0 0 20 0 20 0 20771076 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4777044 951280 5927 1 0 963568 0
[pid=242288/tid=242297] ppid=242275 vsize=19108176 memory=3805120 CPUtime=3408.62 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) R 242275 242288 242221 0 -1 4194368 154202 0 7 0 339119 1743 0 0 20 0 20 0 20771077 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3597 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19108176 memory=3805120 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19108176 memory=-8815348126884537020 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1699 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242366] ppid=242275 vsize=19108176 memory=12148 CPUtime=0 cores=1,3
/proc/242288/task/242366/stat : 242366 (Timer-0) S 242275 242288 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 951280 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3805120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.87 s, system=20.3503 s

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

[startup+3519 s]*
/proc/loadavg: 4.03 4.27 4.26 7/313 244290
/proc/meminfo: memFree=36016436/131524600 swapFree=131058856/131071996
[pid=242288] ppid=242275 vsize=19307868 memory=3805880 CPUtime=3600.19 cores=1,3
/proc/242288/stat : 242288 (java) S 242275 242288 242221 0 -1 1077936128 580449 0 10 0 357986 2033 0 0 20 0 15 0 20771076 19771256832 951470 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
/proc/242288/statm: 4826967 951470 5924 1 0 964548 0
[pid=242288/tid=242297] ppid=242275 vsize=19307868 memory=2780 CPUtime=3408.63 cores=1,3
/proc/242288/task/242297/stat : 242297 (java) D 242275 242288 242221 0 -1 4194368 154574 0 7 0 339120 1743 0 0 20 0 15 0 20771077 19771256832 951470 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3608 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242348] ppid=242275 vsize=19307868 memory=3805120 CPUtime=0 cores=1,3
/proc/242288/task/242348/stat : 242348 (Finalizer) S 242275 242288 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20771083 19771256832 951470 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
[pid=242288/tid=242362] ppid=242275 vsize=19307868 memory=-4421386487658145635 CPUtime=0 cores=1,3
/proc/242288/task/242362/stat : 242362 (Common-Cleaner) S 242275 242288 242221 0 -1 1077936192 1699 0 0 0 0 0 0 0 20 0 15 0 20771084 19771256832 951470 134679101440 94121026043904 94121026047600 140737147731184 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94121026055416 94121026056208 94121043226624 140737147737003 140737147737185 140737147737185 140737147744200 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3805880 KiB

Child status: 143

Real time (s): 3519.1
CPU time (s): 3600.22
CPU user time (s): 3579.87
CPU system time (s): 20.3503
CPU usage (%): 102.305
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6844536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.87
system time used= 20.3503
maximum resident set size= 6844536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580502
page faults= 10
swaps= 0
block input operations= 4152
block output operations= 31386392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124935
involuntary context switches= 22749


# summary of solver processes directly reported to runsolver:
#   pid: 242288
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3579.87
#   total CPU system time (s): 20.3503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2288 second user time and 21.691 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-24 19:33:35
IDJOB=4453072
IDBENCH=168422
IDSOLVER=3079
FILE ID=nodeC031/4453072-1721842415
RUNJOBID= nodeC031-1721842415-242233
SLURM_JOB_ID= 7891574
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid6_121.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453072-1721842415/watcher-4453072-1721842415 -o /tmp/evaluation-result-4453072-1721842415/solver-4453072-1721842415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721842415-242233 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453072-1721842415 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453072-1721842415.opb

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

MD5SUM BENCH= 1365683d53fe75e8a162478951931853
RANDOM SEED=46535795

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126560336 kB
MemAvailable:   129563232 kB
Buffers:          263192 kB
Cached:          3408984 kB
SwapCached:         2384 kB
Active:          2105588 kB
Inactive:        1942364 kB
Active(anon):       1636 kB
Inactive(anon):   427436 kB
Active(file):    2103952 kB
Inactive(file):  1514928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              2988 kB
Writeback:             0 kB
AnonPages:        371560 kB
Mapped:           100524 kB
Shmem:             53296 kB
KReclaimable:     445248 kB
Slab:             566256 kB
SReclaimable:     445248 kB
SUnreclaim:       121008 kB
KernelStack:        3952 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     773784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC031 at 2024-07-24 20:32:14