Trace number 4517191

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.17 3606.99

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
MD5SUM84e79187d6b131590e1bf80af534d597
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.010568
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables649
Total number of constraints650
Number of constraints which are clauses363
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints287
Minimum length of a constraint2
Maximum length of a constraint44
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 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 8388607
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4517191-1751243266.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.05s.
0.13/0.18	c declared #vars     649
0.13/0.18	c #constraints  936
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 374
0.13/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 441
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121
0.13/0.18	c 936 constraints processed.
1.66/0.98	c cleaning 2493 clauses out of 5001 with flag 26103/5001
3.64/1.98	c cleaning 4246 clauses out of 8507 with flag 62210/11000
5.52/3.34	c cleaning 5630 clauses out of 11261 with flag 112872/18000
7.22/4.87	c cleaning 6812 clauses out of 13631 with flag 168163/26000
9.66/7.01	c cleaning 7907 clauses out of 15819 with flag 248906/35000
11.78/9.15	c cleaning 8947 clauses out of 17913 with flag 348965/45001
14.39/11.66	c cleaning 9978 clauses out of 19965 with flag 455842/56000
17.28/14.58	c cleaning 10990 clauses out of 21987 with flag 579352/68000
20.81/18.08	c cleaning 11995 clauses out of 23997 with flag 754340/81000
23.91/21.16	c cleaning 12993 clauses out of 26002 with flag 893622/95000
26.53/23.71	c cleaning 14001 clauses out of 28010 with flag 993716/110001
30.11/27.40	c cleaning 14999 clauses out of 30008 with flag 1180329/126000
34.63/31.85	c cleaning 16000 clauses out of 32010 with flag 1409087/143001
40.20/37.59	c cleaning 17001 clauses out of 34009 with flag 1704916/161000
45.69/43.06	c cleaning 17998 clauses out of 36008 with flag 1972091/180000
52.17/49.56	c cleaning 19003 clauses out of 38010 with flag 2292806/200000
59.16/56.59	c cleaning 20001 clauses out of 40008 with flag 2665270/221001
67.14/64.53	c cleaning 21001 clauses out of 42006 with flag 3023734/243000
75.48/72.99	c cleaning 22002 clauses out of 44005 with flag 3469719/266000
83.36/80.82	c cleaning 22998 clauses out of 46003 with flag 3825313/290000
92.66/90.18	c cleaning 24001 clauses out of 48005 with flag 4266340/315000
100.78/98.31	c cleaning 24998 clauses out of 50004 with flag 4634392/341000
109.16/106.72	c cleaning 25997 clauses out of 52006 with flag 4971333/368000
120.36/117.93	c cleaning 27000 clauses out of 54009 with flag 5341341/396000
133.21/130.81	c cleaning 28000 clauses out of 56010 with flag 5809835/425001
144.77/142.42	c cleaning 29003 clauses out of 58009 with flag 6122317/455000
156.56/154.28	c cleaning 30000 clauses out of 60006 with flag 6432894/486000
168.88/166.60	c cleaning 30995 clauses out of 62006 with flag 6816874/518000
185.46/183.23	c cleaning 32005 clauses out of 64013 with flag 7379581/551002
201.36/199.12	c cleaning 33002 clauses out of 66006 with flag 7870608/585000
216.71/214.60	c cleaning 33999 clauses out of 68005 with flag 8355243/620001
233.76/231.69	c cleaning 35001 clauses out of 70005 with flag 8752963/656000
247.12/245.00	c cleaning 36000 clauses out of 72004 with flag 9108017/693000
265.75/263.74	c cleaning 36996 clauses out of 74005 with flag 9623079/731001
286.50/284.55	c cleaning 37998 clauses out of 76008 with flag 10045347/770000
305.65/303.76	c cleaning 38999 clauses out of 78010 with flag 10426356/810000
327.97/326.10	c cleaning 40000 clauses out of 80012 with flag 10846548/851001
349.99/348.26	c cleaning 40999 clauses out of 82012 with flag 11216786/893001
372.07/370.36	c cleaning 42003 clauses out of 84012 with flag 11640519/936000
397.37/395.71	c cleaning 43000 clauses out of 86009 with flag 12015908/980000
425.18/423.64	c cleaning 44001 clauses out of 88010 with flag 12431728/1025001
456.29/454.80	c cleaning 45000 clauses out of 90009 with flag 12902005/1071001
487.03/485.61	c cleaning 46002 clauses out of 92008 with flag 13307920/1118000
518.32/517.10	c cleaning 46995 clauses out of 94006 with flag 13787533/1166000
552.42/551.24	c cleaning 47998 clauses out of 96012 with flag 14206825/1215001
587.24/586.19	c cleaning 48999 clauses out of 98013 with flag 14633903/1265000
630.72/629.71	c cleaning 49997 clauses out of 100014 with flag 15076775/1316000
669.85/668.95	c cleaning 51004 clauses out of 102017 with flag 15490084/1368000
710.48/709.64	c cleaning 52001 clauses out of 104013 with flag 15908409/1421000
756.66/755.99	c cleaning 53000 clauses out of 106013 with flag 16341683/1475001
807.25/806.62	c cleaning 54003 clauses out of 108013 with flag 16812248/1530001
867.32/866.83	c cleaning 54999 clauses out of 110009 with flag 17207462/1586000
921.86/921.53	c cleaning 55999 clauses out of 112010 with flag 17605356/1643000
975.95/975.72	c cleaning 57001 clauses out of 114012 with flag 17987212/1701001
1037.93/1037.92	c cleaning 57999 clauses out of 116010 with flag 18432732/1760000
1103.91/1104.09	c cleaning 59002 clauses out of 118011 with flag 18863395/1820000
1161.27/1161.56	c cleaning 59999 clauses out of 120010 with flag 19418606/1881001
1218.82/1219.24	c cleaning 61001 clauses out of 122010 with flag 19880175/1943000
1276.26/1276.89	c cleaning 61997 clauses out of 124010 with flag 20323705/2006001
1360.65/1361.40	c cleaning 63003 clauses out of 126012 with flag 20776574/2070000
1437.66/1438.60	c cleaning 64002 clauses out of 128010 with flag 21213759/2135001
1517.78/1518.99	c cleaning 65002 clauses out of 130007 with flag 21664151/2201000
1606.99/1608.36	c cleaning 65994 clauses out of 132005 with flag 22158169/2268000
1711.26/1712.84	c cleaning 67000 clauses out of 134011 with flag 22636895/2336000
1825.97/1827.87	c cleaning 67998 clauses out of 136012 with flag 23101967/2405001
1938.05/1940.59	c cleaning 69003 clauses out of 138014 with flag 23612782/2475001
2054.78/2057.58	c cleaning 70001 clauses out of 140010 with flag 24106850/2546000
2177.92/2181.00	c cleaning 71001 clauses out of 142010 with flag 24608657/2618001
2298.37/2301.62	c cleaning 72000 clauses out of 144009 with flag 25113412/2691001
2417.74/2421.21	c cleaning 72995 clauses out of 146008 with flag 25599996/2765000
2540.60/2544.39	c cleaning 74002 clauses out of 148014 with flag 26069608/2840001
2654.15/2658.15	c cleaning 75001 clauses out of 150012 with flag 26544285/2916001
2789.35/2793.63	c cleaning 75999 clauses out of 152011 with flag 27049919/2993001
2932.00/2936.56	c cleaning 76999 clauses out of 154012 with flag 27546476/3071001
3061.96/3066.87	c cleaning 78001 clauses out of 156012 with flag 28021012/3150000
3212.33/3217.52	c cleaning 79003 clauses out of 158011 with flag 28490354/3230000
3335.31/3341.55	c cleaning 80001 clauses out of 160009 with flag 28960270/3311001
3484.31/3490.85	c cleaning 81000 clauses out of 162008 with flag 29474533/3393001
3600.03/3606.91	c timeout
3600.03/3606.91	c starts		: 1365
3600.03/3606.92	c conflicts		: 3460345
3600.03/3606.92	c decisions		: 3501902
3600.03/3606.92	c propagations		: 746380801
3600.03/3606.92	c inspects		: 42971948180
3600.03/3606.92	c shortcuts		: 0
3600.03/3606.92	c learnt literals	: 0
3600.03/3606.92	c learnt binary clauses	: 174
3600.03/3606.92	c learnt ternary clauses	: 340
3600.03/3606.92	c learnt constraints	: 3460345
3600.03/3606.92	c ignored constraints	: 0
3600.03/3606.92	c root simplifications	: 0
3600.03/3606.92	c removed literals (reason simplification)	: 181888197
3600.03/3606.92	c reason swapping (by a shorter reason)	: 0
3600.03/3606.92	c Calls to reduceDB	: 78
3600.03/3606.92	c Number of update (reduction) of LBD	: 89584
3600.03/3606.92	c Imported unit clauses	: 0
3600.03/3606.92	c No decision after first conflict	: false
3600.03/3606.92	c number of reductions to clauses (during analyze)	: 0
3600.03/3606.92	c number of learned constraints concerned by reduction	: 0
3600.03/3606.92	c number of learning phase by resolution	: 0
3600.03/3606.92	c number of learning phase by cutting planes	: 0
3600.03/3606.92	c number of rounding to 1 operations	: 0
3600.03/3606.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3606.92	c number of reductions of the coefficients by power 2 	: 0
3600.03/3606.92	c number of right shift for reduction by power 2 	: 0
3600.03/3606.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3606.92	c number of ending skipping 	: 0
3600.03/3606.92	c number of internal skipping 	: 0
3600.03/3606.92	c number of derivation steps 	: 0
3600.03/3606.92	c number of skipped derivation steps 	: 0
3600.03/3606.92	c number of remaining unassigned 	: 0
3600.03/3606.92	c number of remaining assigned 	: 0
3600.03/3606.92	c number of falsified literals weakened from reason	: 0
3600.03/3606.92	c number of falsified literals weakened from conflict	: 0
3600.03/3606.92	c time for arithmetic operations	: 0
3600.03/3606.92	c minimum degree of deleted constraints	: null
3600.03/3606.92	c maximum degree of deleted constraints	: null
3600.03/3606.92	c number of deleted constraints	: 0
3600.03/3606.92	c speed (assignments/second)	: 206940.79106427528
3600.03/3606.92	c non guided choices	: 21
3600.03/3606.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 148178
3600.03/3606.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 174
3600.03/3606.98	s UNKNOWN
3600.03/3606.98	c Total wall clock time (in seconds): 3606.848

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517191-1751243266/watcher-4517191-1751243266 -o /tmp/evaluation-result-4517191-1751243266/solver-4517191-1751243266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751243212-33905 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517191-1751243266 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517191-1751243266.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
solver pid=34360, runsolver pid=34357
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 2.71 1.73 2.54 5/320 34378
/proc/meminfo: memFree=125211864/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=18930384 memory=59468 CPUtime=0.13 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 6488 0 0 0 11 2 0 0 20 0 18 0 40004447 19384713216 14867 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4732596 14867 5350 1 0 547619 0
[pid=34360/tid=34362] ppid=34357 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 5072 0 0 0 6 1 0 0 20 0 18 0 40004448 19384713216 14867 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 40004450 19384713216 14867 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 40004451 19384713216 14867 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59468 KiB

[startup+0.205783 s]*
/proc/loadavg: 2.71 1.73 2.54 6/319 34387
/proc/meminfo: memFree=125208592/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=18996948 memory=63460 CPUtime=0.31 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 6933 0 0 0 29 2 0 0 20 0 19 0 40004447 19452874752 15865 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4749237 15865 5414 1 0 548278 0
[pid=34360/tid=34362] ppid=34357 vsize=18996948 memory=4026597495 CPUtime=0.16 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 5352 0 0 0 15 1 0 0 20 0 19 0 40004448 19452874752 15865 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=18996948 memory=215637835200 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40004450 19452874752 15865 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=18996948 memory=1955 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40004451 19452874752 15865 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 40004466 19452874752 15865 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63460 KiB

[startup+0.305956 s]*
/proc/loadavg: 2.71 1.73 2.54 6/319 34387
/proc/meminfo: memFree=125194864/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=18996948 memory=77164 CPUtime=0.5 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 8374 0 0 0 47 3 0 0 20 0 19 0 40004447 19452874752 19291 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4749237 19291 5414 1 0 549143 0
[pid=34360/tid=34362] ppid=34357 vsize=18996948 memory=-7824251494390521186 CPUtime=0.26 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 5374 0 0 0 24 2 0 0 20 0 19 0 40004448 19452874752 19291 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40004450 19452874752 19291 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40004451 19452874752 19291 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 40004466 19452874752 19291 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77164 KiB

[startup+0.700237 s]
/proc/loadavg: 2.71 1.73 2.54 5/320 34399
/proc/meminfo: memFree=125154076/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=18996948 memory=137640 CPUtime=1.26 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 14120 0 0 0 120 6 0 0 20 0 19 0 40004447 19452874752 34410 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4749237 34410 5446 1 0 552503 0
[pid=34360/tid=34362] ppid=34357 vsize=18996948 memory=17536 CPUtime=0.62 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 5411 0 0 0 59 3 0 0 20 0 19 0 40004448 19452874752 34410 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 40004450 19452874752 34410 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 40004451 19452874752 34410 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=18996948 memory=4752 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 40004466 19452874752 34442 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137640 KiB

[startup+1.50026 s]
/proc/loadavg: 2.90 1.79 2.55 6/319 34406
/proc/meminfo: memFree=125086328/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=175496 CPUtime=2.85 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 22377 0 0 0 276 9 0 0 20 0 20 0 40004447 19521036288 43874 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 43874 5478 1 0 553730 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=0 CPUtime=1.4 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 5792 0 0 0 135 5 0 0 20 0 20 0 40004448 19521036288 43874 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 43874 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 43874 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 43874 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175496 KiB

[startup+3.10568 s]
/proc/loadavg: 2.90 1.79 2.55 7/342 34444
/proc/meminfo: memFree=125003376/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=178304 CPUtime=5.33 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 25081 0 0 0 521 12 0 0 20 0 20 0 40004447 19521036288 44576 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 44576 5478 1 0 553774 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=10880 CPUtime=2.98 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 6274 0 0 0 292 6 0 0 20 0 20 0 40004448 19521036288 44576 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=-6000919477001611372 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 44576 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 44576 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 44576 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178304 KiB

[startup+6.30022 s]
/proc/loadavg: 2.98 1.82 2.56 5/343 34445
/proc/meminfo: memFree=124678748/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=389964 CPUtime=8.95 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 34065 0 0 0 877 18 0 0 20 0 20 0 40004447 19521036288 97491 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 97491 5478 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=0 CPUtime=6.17 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 7213 0 0 0 606 11 0 0 20 0 20 0 40004448 19521036288 97491 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 97491 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 97491 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=175676 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 97491 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 8.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 389964 KiB

[startup+12.7002 s]
/proc/loadavg: 3.07 1.86 2.57 5/344 34446
/proc/meminfo: memFree=124083556/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=701312 CPUtime=15.49 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 41082 0 0 0 1522 27 0 0 20 0 20 0 40004447 19521036288 175328 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 175328 5478 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=175676 CPUtime=12.54 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 8569 0 0 0 1234 20 0 0 20 0 20 0 40004448 19521036288 175328 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=529228 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 175328 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=701312 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 175328 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=-6000919498526713964 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 175328 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 701312 KiB

[startup+25.5002 s]
/proc/loadavg: 3.21 1.93 2.58 5/344 34447
/proc/meminfo: memFree=122413696/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1309628 CPUtime=28.32 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 45444 0 0 0 2787 45 0 0 20 0 20 0 40004447 19521036288 327407 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 327407 5478 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=701312 CPUtime=25.29 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 10162 0 0 0 2492 37 0 0 20 0 20 0 40004448 19521036288 327407 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=1309628 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 327407 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=-6000919477001611372 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 327407 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 327407 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309628 KiB

[startup+51.1057 s]
/proc/loadavg: 3.66 2.16 2.64 5/344 34447
/proc/meminfo: memFree=121428908/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1315828 CPUtime=53.78 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 46670 0 0 0 5325 53 0 0 20 0 20 0 40004447 19521036288 328957 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 328957 5478 1 0 554424 0

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

/proc/meminfo: memFree=106266324/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3276.98 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 89216 0 0 0 327142 556 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3268.64 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 31842 0 0 0 326414 450 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 805 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3276.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/344 34640
/proc/meminfo: memFree=106069240/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3336.11 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 90104 0 0 0 333047 564 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=17536 CPUtime=3327.75 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 32613 0 0 0 332318 457 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 826 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3336.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/345 34647
/proc/meminfo: memFree=105962012/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3395.99 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 90583 0 0 0 339028 571 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3387.53 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 32664 0 0 0 338291 462 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=-6000919477001611372 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3395.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/346 34652
/proc/meminfo: memFree=105852696/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3455.82 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 90616 0 0 0 345006 576 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3447.35 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 32667 0 0 0 344268 467 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3455.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.24 4.13 5/346 34654
/proc/meminfo: memFree=105729608/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3515.74 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 90853 0 0 0 350990 584 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3507.13 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 32824 0 0 0 350240 473 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3515.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.31 4.16 4/322 34693
/proc/meminfo: memFree=112100144/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3575.57 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 91839 0 0 0 356965 592 0 0 20 0 20 0 40004447 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 462884 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=17536 CPUtime=3566.94 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 33638 0 0 0 356214 480 0 0 20 0 20 0 40004448 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=1851536 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 830 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=4752 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 462884 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1851536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.9 s]
/proc/loadavg: 3.84 4.16 4.11 3/296 34724
/proc/meminfo: memFree=117515644/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1894544 CPUtime=3600.03 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 92943 0 0 0 359407 596 0 0 20 0 20 0 40004447 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 473636 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3591.28 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 33878 0 0 0 358645 483 0 0 20 0 20 0 40004448 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 861 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=1894544 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1894544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.19 s, system=5.97866 s

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

[startup+3606.9 s]
/proc/loadavg: 3.84 4.16 4.11 3/296 34724
/proc/meminfo: memFree=117515644/131249996 swapFree=33010684/33010684
[pid=34360] ppid=34357 vsize=19063512 memory=1894544 CPUtime=3600.03 cores=0,2
/proc/34360/stat : 34360 (java) S 34357 34360 33895 0 -1 4194304 92943 0 0 0 359407 596 0 0 20 0 20 0 40004447 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
/proc/34360/statm: 4765878 473636 5510 1 0 554424 0
[pid=34360/tid=34362] ppid=34357 vsize=19063512 memory=1851536 CPUtime=3591.28 cores=0,2
/proc/34360/task/34362/stat : 34362 (java) R 34357 34360 33895 0 -1 4194368 33878 0 0 0 358645 483 0 0 20 0 20 0 40004448 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34371] ppid=34357 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/34360/task/34371/stat : 34371 (Finalizer) S 34357 34360 33895 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 40004450 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34378] ppid=34357 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/34360/task/34378/stat : 34378 (Common-Cleaner) S 34357 34360 33895 0 -1 4194368 861 0 0 0 0 0 0 0 20 0 20 0 40004451 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
[pid=34360/tid=34387] ppid=34357 vsize=19063512 memory=1894544 CPUtime=0 cores=0,2
/proc/34360/task/34387/stat : 34387 (Timer-0) S 34357 34360 33895 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 40004466 19521036288 473636 18446744073709551615 94730129932288 94730129935984 140735204832416 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94730129943800 94730129944592 94730140663808 140735204837680 140735204837862 140735204837862 140735204843464 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1894544 KiB

Child status: 143

Real time (s): 3606.99
CPU time (s): 3600.17
CPU user time (s): 3594.19
CPU system time (s): 5.97866
CPU usage (%): 99.8107
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1894544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.19
system time used= 5.97866
maximum resident set size= 1895824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3957184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105358
involuntary context switches= 10424


# summary of solver processes directly reported to runsolver:
#   pid: 34360
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3594.19
#   total CPU system time (s): 5.97866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89421 second user time and 17.378 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 02:27:46
IDJOB=4517191
IDBENCH=176026
IDSOLVER=3364
FILE ID=nodeC023/4517191-1751243266
RUNJOBID= nodeC023-1751243212-33905
SLURM_JOB_ID= 9587740
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-11array_diag_less.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517191-1751243266/watcher-4517191-1751243266 -o /tmp/evaluation-result-4517191-1751243266/solver-4517191-1751243266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751243212-33905 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517191-1751243266 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4517191-1751243266.opb

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

MD5SUM BENCH= 84e79187d6b131590e1bf80af534d597
RANDOM SEED=970650535

nodeC023 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	: 0xb00002a
cpu MHz		: 3599.895
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3599.947
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3604.892
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3618.044
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3599.886
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3599.877
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3599.640
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 pti ibrs ibpb stibp 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	: 6999.78
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		: 3599.876
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 pti ibrs ibpb stibp 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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124115796 kB
MemAvailable:   126308932 kB
Buffers:            3280 kB
Cached:          2996472 kB
SwapCached:            0 kB
Active:          3870492 kB
Inactive:        2691376 kB
Active(anon):    3580228 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  2691376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            204616 kB
Writeback:           340 kB
AnonPages:       3565252 kB
Mapped:           122908 kB
Shmem:             18064 kB
KReclaimable:     101472 kB
Slab:             196016 kB
SReclaimable:     101472 kB
SUnreclaim:        94544 kB
KernelStack:        5264 kB
PageTables:        10636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7079468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3360768 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC023 at 2025-06-30 03:27:53