Trace number 4492229

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.28 3540.04

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUM2ef810527ffcd806c891780de1e04313
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.016603
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.17	c See www.sat4j.org for details.
0.10/0.18	c version PB25.v20250606
0.10/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.21	c java.vm.version	22.0.1+8-16
0.10/0.21	c java.vm.vendor	Oracle Corporation
0.10/0.21	c sun.arch.data.model	64
0.10/0.21	c java.version		22.0.1
0.10/0.21	c os.name		Linux
0.10/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.21	c os.arch		amd64
0.10/0.23	c Free memory 		2104792832
0.10/0.23	c Max memory 		16282288128
0.10/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.41/0.35	c Pseudo Boolean Optimization by upper bound
0.41/0.35	c --- Begin Solver configuration ---
0.41/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.35	c Learn all clauses as in MiniSAT
0.41/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.35	c Expensive reason simplification
0.41/0.35	c Glucose 2.1 dynamic restart strategy
0.41/0.35	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.41/0.35	c timeout=2147483s
0.41/0.35	c DB Simplification allowed=false
0.41/0.35	c Listener: none
0.41/0.35	c --- End Solver configuration ---
0.41/0.35	c solving HOME/instance-4492229-1751145474.opb
0.41/0.35	c reading problem ... 
0.41/0.35	c using VERIPB proof format
0.41/0.36	c  no objective function found
0.59/0.51	c ... done. Wall clock time 0.141s.
0.59/0.51	c declared #vars     4000
0.59/0.51	c #constraints  180
0.59/0.52	c constraints type 
0.59/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 80
0.59/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.59/0.52	c 180 constraints processed.
5.74/3.35	c cleaning 2498 clauses out of 5001 with flag 33396/5001
8.11/5.26	c cleaning 4247 clauses out of 8508 with flag 75632/11006
9.94/7.04	c cleaning 5612 clauses out of 11255 with flag 122635/18000
13.03/10.06	c cleaning 6807 clauses out of 13646 with flag 175375/26003
16.79/13.07	c cleaning 7905 clauses out of 15837 with flag 245020/35001
22.39/18.66	c cleaning 8963 clauses out of 17939 with flag 314933/45008
26.65/22.85	c cleaning 9978 clauses out of 19969 with flag 386585/56001
33.54/29.44	c cleaning 10958 clauses out of 21992 with flag 459968/68002
40.53/36.50	c cleaning 11978 clauses out of 24032 with flag 554669/81000
45.02/40.75	c cleaning 13013 clauses out of 26056 with flag 651018/95002
49.72/45.21	c cleaning 14003 clauses out of 28044 with flag 746109/110003
58.37/53.83	c cleaning 15009 clauses out of 30039 with flag 864369/126001
66.99/62.18	c cleaning 16007 clauses out of 32032 with flag 994857/143003
73.39/68.58	c cleaning 16996 clauses out of 34022 with flag 1119190/161000
81.62/76.65	c cleaning 18000 clauses out of 36028 with flag 1250057/180002
94.50/89.13	c cleaning 19007 clauses out of 38026 with flag 1390658/200000
102.95/97.64	c cleaning 19996 clauses out of 40019 with flag 1542963/221000
111.70/106.27	c cleaning 20990 clauses out of 42023 with flag 1699723/243000
125.80/120.05	c cleaning 21996 clauses out of 44035 with flag 1860847/266002
141.32/135.79	c cleaning 22995 clauses out of 46037 with flag 2045180/290000
154.40/148.58	c cleaning 24010 clauses out of 48043 with flag 2228124/315001
181.00/174.96	c cleaning 25003 clauses out of 50033 with flag 2458596/341001
211.35/205.02	c cleaning 26003 clauses out of 52032 with flag 2712611/368003
249.90/243.42	c cleaning 26996 clauses out of 54029 with flag 2991220/396003
266.75/260.05	c cleaning 28000 clauses out of 56032 with flag 3202062/425002
280.85/273.88	c cleaning 28999 clauses out of 58032 with flag 3405211/455002
299.48/291.65	c cleaning 30003 clauses out of 60031 with flag 3594654/486000
314.75/306.66	c cleaning 31004 clauses out of 62028 with flag 3808536/518000
331.34/323.06	c cleaning 32000 clauses out of 64025 with flag 4017066/551001
352.18/343.74	c cleaning 33001 clauses out of 66025 with flag 4260465/585001
372.98/364.22	c cleaning 33995 clauses out of 68023 with flag 4479227/620000
393.36/384.40	c cleaning 35012 clauses out of 70028 with flag 4717509/656000
416.01/407.00	c cleaning 35994 clauses out of 72016 with flag 4950826/693000
440.60/431.21	c cleaning 36991 clauses out of 74023 with flag 5225218/731001
467.59/458.02	c cleaning 38014 clauses out of 76033 with flag 5505154/770002
494.72/486.13	c cleaning 38993 clauses out of 78019 with flag 5747168/810002
520.86/511.96	c cleaning 40001 clauses out of 80025 with flag 5996883/851001
558.27/548.91	c cleaning 41005 clauses out of 82023 with flag 6300686/893000
597.53/587.75	c cleaning 41998 clauses out of 84019 with flag 6641851/936001
659.10/647.65	c cleaning 43006 clauses out of 86024 with flag 7034068/980004
698.46/686.81	c cleaning 44000 clauses out of 88015 with flag 7419329/1025001
727.74/715.48	c cleaning 45000 clauses out of 90015 with flag 7754425/1071001
764.48/751.71	c cleaning 45996 clauses out of 92014 with flag 8068602/1118000
799.31/786.46	c cleaning 46995 clauses out of 94018 with flag 8372152/1166000
835.02/821.92	c cleaning 48012 clauses out of 96024 with flag 8675900/1215001
870.51/857.10	c cleaning 48997 clauses out of 98013 with flag 9013888/1265002
932.83/918.83	c cleaning 49991 clauses out of 100014 with flag 9456209/1316000
1010.01/993.98	c cleaning 51000 clauses out of 102025 with flag 9908096/1368002
1060.99/1044.42	c cleaning 52000 clauses out of 104023 with flag 10351285/1421000
1107.14/1090.59	c cleaning 53004 clauses out of 106023 with flag 10662911/1475000
1155.22/1138.38	c cleaning 53984 clauses out of 108019 with flag 10988861/1530000
1203.04/1189.23	c cleaning 55008 clauses out of 110035 with flag 11332337/1586000
1251.95/1237.01	c cleaning 56005 clauses out of 112030 with flag 11676617/1643003
1301.79/1286.66	c cleaning 56987 clauses out of 114022 with flag 12045467/1701000
1354.21/1338.77	c cleaning 58006 clauses out of 116035 with flag 12421536/1760000
1404.26/1387.24	c cleaning 59006 clauses out of 118029 with flag 12808289/1820000
1454.16/1436.81	c cleaning 60008 clauses out of 120023 with flag 13187795/1881000
1512.36/1492.94	c cleaning 61008 clauses out of 122017 with flag 13584506/1943002
1572.60/1553.01	c cleaning 61999 clauses out of 124008 with flag 13964062/2006001
1636.86/1617.09	c cleaning 62996 clauses out of 126009 with flag 14347984/2070001
1698.03/1677.22	c cleaning 64002 clauses out of 128013 with flag 14751348/2135001
1758.16/1737.16	c cleaning 65000 clauses out of 130012 with flag 15164396/2201002
1821.39/1799.82	c cleaning 65997 clauses out of 132010 with flag 15580409/2268000
1886.75/1863.78	c cleaning 66993 clauses out of 134013 with flag 16009188/2336000
1949.47/1925.92	c cleaning 67999 clauses out of 136020 with flag 16451347/2405000
2012.05/1986.98	c cleaning 69004 clauses out of 138022 with flag 16900576/2475001
2082.06/2056.33	c cleaning 69996 clauses out of 140018 with flag 17343507/2546001
2148.14/2120.79	c cleaning 71003 clauses out of 142022 with flag 17814979/2618001
2220.05/2192.25	c cleaning 71998 clauses out of 144018 with flag 18289255/2691000
2292.04/2262.98	c cleaning 72992 clauses out of 146021 with flag 18769369/2765001
2366.94/2336.02	c cleaning 74014 clauses out of 148029 with flag 19256271/2840001
2441.40/2409.22	c cleaning 75000 clauses out of 150014 with flag 19757225/2916000
2526.70/2492.80	c cleaning 76001 clauses out of 152016 with flag 20252454/2993002
2611.73/2576.85	c cleaning 76991 clauses out of 154014 with flag 20750455/3071001
2698.33/2660.81	c cleaning 78004 clauses out of 156022 with flag 21263833/3150000
2776.05/2736.54	c cleaning 79003 clauses out of 158018 with flag 21788495/3230000
2864.94/2823.69	c cleaning 79994 clauses out of 160015 with flag 22302409/3311000
2950.03/2907.11	c cleaning 81005 clauses out of 162022 with flag 22829406/3393001
3033.23/2986.78	c cleaning 82003 clauses out of 164017 with flag 23376499/3476001
3124.05/3075.82	c cleaning 83002 clauses out of 166013 with flag 23914203/3560000
3239.66/3187.60	c cleaning 83996 clauses out of 168011 with flag 24553920/3645000
3336.79/3282.66	c cleaning 85002 clauses out of 170015 with flag 25117488/3731000
3431.93/3374.87	c cleaning 86006 clauses out of 172014 with flag 25678533/3818001
3539.50/3480.83	c cleaning 86990 clauses out of 174007 with flag 26232736/3906000
3600.07/3539.93	c starts		: 25178
3600.07/3539.93	c timeout
3600.07/3539.94	c conflicts		: 3964616
3600.07/3539.94	c decisions		: 33147192
3600.07/3539.94	c propagations		: 184054320
3600.07/3539.94	c inspects		: 15500448014
3600.07/3539.94	c shortcuts		: 0
3600.07/3539.94	c learnt literals	: 0
3600.07/3539.94	c learnt binary clauses	: 0
3600.07/3539.94	c learnt ternary clauses	: 0
3600.07/3539.94	c learnt constraints	: 3964616
3600.07/3539.94	c ignored constraints	: 0
3600.07/3539.94	c root simplifications	: 0
3600.07/3539.95	c removed literals (reason simplification)	: 35917870
3600.07/3539.95	c reason swapping (by a shorter reason)	: 0
3600.07/3539.95	c Calls to reduceDB	: 84
3600.07/3539.95	c Number of update (reduction) of LBD	: 2040932
3600.07/3539.95	c Imported unit clauses	: 0
3600.07/3539.95	c No decision after first conflict	: false
3600.07/3539.95	c number of reductions to clauses (during analyze)	: 0
3600.07/3539.95	c number of learned constraints concerned by reduction	: 0
3600.07/3539.95	c number of learning phase by resolution	: 0
3600.07/3539.95	c number of learning phase by cutting planes	: 0
3600.07/3539.95	c number of rounding to 1 operations	: 0
3600.07/3539.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3539.95	c number of reductions of the coefficients by power 2 	: 0
3600.07/3539.95	c number of right shift for reduction by power 2 	: 0
3600.07/3539.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3539.95	c number of ending skipping 	: 0
3600.07/3539.95	c number of internal skipping 	: 0
3600.07/3539.95	c number of derivation steps 	: 0
3600.07/3539.95	c number of skipped derivation steps 	: 0
3600.07/3539.95	c number of remaining unassigned 	: 0
3600.07/3539.95	c number of remaining assigned 	: 0
3600.07/3539.95	c number of falsified literals weakened from reason	: 0
3600.07/3539.95	c number of falsified literals weakened from conflict	: 0
3600.07/3539.95	c time for arithmetic operations	: 0
3600.07/3539.95	c minimum degree of deleted constraints	: null
3600.07/3539.95	c maximum degree of deleted constraints	: null
3600.07/3539.95	c number of deleted constraints	: 0
3600.07/3539.95	c speed (assignments/second)	: 52001.295128182086
3600.07/3539.95	c non guided choices	: 72336
3600.07/3540.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 145633
3600.07/3540.00	s UNKNOWN
3600.07/3540.00	c Total wall clock time (in seconds): 3539.655

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492229-1751145474/watcher-4492229-1751145474 -o /tmp/evaluation-result-4492229-1751145474/solver-4492229-1751145474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751145467-13822 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4492229-1751145474 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4492229-1751145474.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=14073, runsolver pid=14070

[startup+0.100069 s]*
/proc/loadavg: 1.38 1.75 2.85 9/330 14091
/proc/meminfo: memFree=128618000/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=18930384 memory=50120 CPUtime=0.1 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 5725 0 0 0 7 3 0 0 20 0 18 0 30226548 19384713216 12530 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4732596 12530 5304 1 0 546955 0
[pid=14073/tid=14075] ppid=14070 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 4636 0 0 0 3 2 0 0 20 0 18 0 30226550 19384713216 12530 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30226554 19384713216 12594 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=18930384 memory=60693105881846 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 30226555 19384713216 12594 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50120 KiB

[startup+0.221245 s]*
/proc/loadavg: 1.38 1.75 2.85 7/330 14091
/proc/meminfo: memFree=128614976/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=18930384 memory=54988 CPUtime=0.28 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 6399 0 0 0 23 5 0 0 20 0 18 0 30226548 19384713216 13747 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4732596 13747 5336 1 0 547552 0
[pid=14073/tid=14075] ppid=14070 vsize=18930384 memory=4026532124 CPUtime=0.16 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 4988 0 0 0 13 3 0 0 20 0 18 0 30226550 19384713216 13747 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=18930384 memory=14857 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30226554 19384713216 13747 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=18930384 memory=59593594242043 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 30226555 19384713216 13747 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54988 KiB

[startup+0.316559 s]*
/proc/loadavg: 1.38 1.75 2.85 9/330 14091
/proc/meminfo: memFree=128604768/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=18930384 memory=60020 CPUtime=0.41 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 6623 0 0 0 36 5 0 0 20 0 18 0 30226548 19384713216 15005 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4732596 15005 5336 1 0 547731 0
[pid=14073/tid=14075] ppid=14070 vsize=18930384 memory=-6000919507033024622 CPUtime=0.24 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 5156 0 0 0 21 3 0 0 20 0 18 0 30226550 19384713216 15005 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30226554 19384713216 15005 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 30226555 19384713216 15005 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60020 KiB

[startup+0.700326 s]
/proc/loadavg: 1.38 1.75 2.85 8/330 14093
/proc/meminfo: memFree=128614592/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=18996948 memory=75996 CPUtime=1.11 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 8105 0 0 0 104 7 0 0 20 0 19 0 30226548 19452874752 18999 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4749237 18999 5400 1 0 548846 0
[pid=14073/tid=14075] ppid=14070 vsize=18996948 memory=17408 CPUtime=0.54 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 5335 0 0 0 50 4 0 0 20 0 19 0 30226550 19452874752 18999 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30226554 19452874752 18999 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 30226555 19452874752 18999 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75996 KiB

[startup+1.50031 s]
/proc/loadavg: 1.38 1.75 2.85 5/308 14102
/proc/meminfo: memFree=129269204/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=18996948 memory=152864 CPUtime=2.69 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 14829 0 0 0 258 11 0 0 20 0 19 0 30226548 19452874752 38216 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4749237 38216 5432 1 0 551034 0
[pid=14073/tid=14075] ppid=14070 vsize=18996948 memory=3200 CPUtime=1.28 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 5775 0 0 0 121 7 0 0 20 0 19 0 30226550 19452874752 38216 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30226554 19452874752 38216 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 30226555 19452874752 38216 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=18996948 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30226602 19452874752 38216 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152864 KiB

[startup+3.10577 s]
/proc/loadavg: 1.38 1.75 2.85 6/331 14158
/proc/meminfo: memFree=128829420/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=178696 CPUtime=5.43 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 17452 0 0 0 530 13 0 0 20 0 20 0 30226548 19521036288 44674 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 44674 5464 1 0 551379 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=11264 CPUtime=2.81 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 6074 0 0 0 273 8 0 0 20 0 20 0 30226550 19521036288 44674 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 44674 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 44674 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 44674 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 5.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178696 KiB

[startup+6.30046 s]
/proc/loadavg: 1.67 1.81 2.86 5/332 14159
/proc/meminfo: memFree=128291436/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=383408 CPUtime=9.24 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 18928 0 0 0 904 20 0 0 20 0 20 0 30226548 19521036288 95852 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 95852 5464 1 0 791643 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=0 CPUtime=5.87 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 6746 0 0 0 574 13 0 0 20 0 20 0 30226550 19521036288 95852 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 95852 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 95852 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=178696 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 95852 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 9.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 383408 KiB

[startup+12.7004 s]
/proc/loadavg: 1.85 1.85 2.87 5/332 14159
/proc/meminfo: memFree=126308772/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=832432 CPUtime=16.49 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 25772 0 0 0 1616 33 0 0 20 0 20 0 30226548 19521036288 208108 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 208108 5464 1 0 792517 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=178696 CPUtime=11.88 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 7813 0 0 0 1166 22 0 0 20 0 20 0 30226550 19521036288 208108 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=627484 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 208108 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 208108 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 208108 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 832432 KiB

[startup+25.5005 s]
/proc/loadavg: 2.34 1.95 2.89 8/331 14419
/proc/meminfo: memFree=125962156/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=1004096 CPUtime=29.58 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 31999 0 0 0 2913 45 0 0 20 0 20 0 30226548 19521036288 251024 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 251024 5496 1 0 792584 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=627484 CPUtime=24.44 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 8761 0 0 0 2414 30 0 0 20 0 20 0 30226550 19521036288 251024 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 251024 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 251024 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 251024 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 29.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1004096 KiB

[startup+51.114 s]
/proc/loadavg: 3.21 2.21 2.95 5/334 14423
/proc/meminfo: memFree=121859832/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=1900352 CPUtime=55.69 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 36466 0 0 0 5490 79 0 0 20 0 20 0 30226548 19521036288 475088 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 475088 5496 1 0 924188 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=14080 CPUtime=49.07 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 10140 0 0 0 4853 54 0 0 20 0 20 0 30226550 19521036288 475088 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 475088 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=1077940 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 475088 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0

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

[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/331 14626
/proc/meminfo: memFree=80533284/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3274.8 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 294591 0 0 0 326017 1463 0 0 20 0 20 0 30226548 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718498 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3156.88 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 165125 0 0 0 314480 1208 0 0 20 0 20 0 30226550 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2404 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3274.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2873992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/331 14628
/proc/meminfo: memFree=80209028/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3336.49 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 298332 0 0 0 332166 1483 0 0 20 0 20 0 30226548 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718498 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3215.95 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 167641 0 0 0 320370 1225 0 0 20 0 20 0 30226550 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2443 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3336.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2873992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/331 14630
/proc/meminfo: memFree=79734100/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3398.03 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 302112 0 0 0 338299 1504 0 0 20 0 20 0 30226548 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718498 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3274.84 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 170065 0 0 0 326242 1242 0 0 20 0 20 0 30226550 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2443 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3398.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2873992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/332 14635
/proc/meminfo: memFree=79417092/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3460.25 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 308508 0 0 0 344496 1529 0 0 20 0 20 0 30226548 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718498 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=56 CPUtime=3333.63 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 175170 0 0 0 332101 1262 0 0 20 0 20 0 30226550 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=-6000919507033024622 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2481 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3460.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2873992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/332 14641
/proc/meminfo: memFree=79087728/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2873992 CPUtime=3521.05 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 310886 0 0 0 350558 1547 0 0 20 0 20 0 30226548 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718498 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=11264 CPUtime=3392.58 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 176652 0 0 0 337981 1277 0 0 20 0 20 0 30226550 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2873992 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718498 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3521.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2873992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.13 6/331 14643
/proc/meminfo: memFree=78657920/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2874632 CPUtime=3582.51 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 313863 0 0 0 356684 1567 0 0 20 0 20 0 30226548 19521036288 718658 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718658 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=0 CPUtime=3451.64 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 178470 0 0 0 343870 1294 0 0 20 0 20 0 30226550 19521036288 718658 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718658 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=2874632 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718658 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2874632 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718658 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3582.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.9 s]
/proc/loadavg: 4.09 4.12 4.12 5/330 14645
/proc/meminfo: memFree=78519724/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19063512 memory=2874760 CPUtime=3600.07 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 314629 0 0 0 358435 1572 0 0 20 0 20 0 30226548 19521036288 718690 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4765878 718690 5496 1 0 729535 0
[pid=14073/tid=14075] ppid=14070 vsize=19063512 memory=2874632 CPUtime=3469.18 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) R 14070 14073 13812 0 -1 4194368 179220 0 0 0 345620 1298 0 0 20 0 20 0 30226550 19521036288 718690 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19063512 memory=2874632 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30226554 19521036288 718690 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19063512 memory=2874760 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 20 0 30226555 19521036288 718690 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14094] ppid=14070 vsize=19063512 memory=2874760 CPUtime=0 cores=0,2
/proc/14073/task/14094/stat : 14094 (Timer-0) S 14070 14073 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30226602 19521036288 718690 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.52 s, system=15.7532 s

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

[startup+3540.01 s]*
/proc/loadavg: 4.09 4.12 4.12 11/331 14648
/proc/meminfo: memFree=78520352/131382116 swapFree=33010684/33010684
[pid=14073] ppid=14070 vsize=19263204 memory=2875528 CPUtime=3600.26 cores=0,2
/proc/14073/stat : 14073 (java) S 14070 14073 13812 0 -1 4194304 317095 0 0 0 358452 1574 0 0 20 0 16 0 30226548 19725520896 718882 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
/proc/14073/statm: 4815801 718882 5528 1 0 730458 0
[pid=14073/tid=14075] ppid=14070 vsize=19263204 memory=-6000919476934502510 CPUtime=3469.2 cores=0,2
/proc/14073/task/14075/stat : 14075 (java) S 14070 14073 13812 0 -1 4194368 179471 0 0 0 345621 1299 0 0 20 0 16 0 30226550 19725520896 718882 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14084] ppid=14070 vsize=19263204 memory=6452091043264357434 CPUtime=0 cores=0,2
/proc/14073/task/14084/stat : 14084 (Finalizer) S 14070 14073 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 30226554 19725520896 718882 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
[pid=14073/tid=14091] ppid=14070 vsize=19263204 memory=9088 CPUtime=0 cores=0,2
/proc/14073/task/14091/stat : 14091 (Common-Cleaner) S 14070 14073 13812 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 16 0 30226555 19725520896 718882 18446744073709551615 94610377412608 94610377416304 140728700567760 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94610377424120 94610377424912 94610397974528 140728700569904 140728700570086 140728700570086 140728700575688 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2875528 KiB

Child status: 143

Real time (s): 3540.04
CPU time (s): 3600.28
CPU user time (s): 3584.52
CPU system time (s): 15.7532
CPU usage (%): 101.702
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6165952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.52
system time used= 15.7532
maximum resident set size= 6165952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317122
page faults= 0
swaps= 0
block input operations= 8
block output operations= 19626952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119216
involuntary context switches= 15246


# summary of solver processes directly reported to runsolver:
#   pid: 14073
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3584.52
#   total CPU system time (s): 15.7532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7148 second user time and 33.9949 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-28 23:17:54
IDJOB=4492229
IDBENCH=147770
IDSOLVER=3364
FILE ID=nodeC004/4492229-1751145474
RUNJOBID= nodeC004-1751145467-13822
SLURM_JOB_ID= 9587447
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492229-1751145474/watcher-4492229-1751145474 -o /tmp/evaluation-result-4492229-1751145474/solver-4492229-1751145474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751145467-13822 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4492229-1751145474 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4492229-1751145474.opb

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

MD5SUM BENCH= 2ef810527ffcd806c891780de1e04313
RANDOM SEED=1111592117

nodeC004 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		: 1497.265
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.74
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		: 1198.441
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128650808 kB
MemAvailable:   128287240 kB
Buffers:            3280 kB
Cached:           440276 kB
SwapCached:            0 kB
Active:          2004476 kB
Inactive:         208192 kB
Active(anon):    1787156 kB
Inactive(anon):        0 kB
Active(file):     217320 kB
Inactive(file):   208192 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             90980 kB
Writeback:            40 kB
AnonPages:       1772292 kB
Mapped:           122056 kB
Shmem:             17976 kB
KReclaimable:      83232 kB
Slab:             164976 kB
SReclaimable:      83232 kB
SUnreclaim:        81744 kB
KernelStack:        5072 kB
PageTables:         6852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7481596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1562624 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC004 at 2025-06-29 00:16:54