Trace number 4541926

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.31 3552.34

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
MD5SUMb58fe33c06849f09284e381ad8dcab3a
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.359773
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1802
Total number of constraints2381
Number of constraints which are clauses1734
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints647
Minimum length of a constraint2
Maximum length of a constraint68
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 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 34359738367
Number of bits of the biggest sum of numbers35
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.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.13	c See www.sat4j.org for details.
0.10/0.14	c version PB25.v20250606
0.10/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.17	c java.vm.version	22.0.1+8-16
0.10/0.17	c java.vm.vendor	Oracle Corporation
0.10/0.17	c sun.arch.data.model	64
0.10/0.17	c java.version		22.0.1
0.10/0.17	c os.name		Linux
0.10/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.17	c os.arch		amd64
0.10/0.18	c Free memory 		2104792832
0.10/0.18	c Max memory 		16282288128
0.10/0.18	c Total memory 		2113929216
0.10/0.18	c Number of processors 	2
0.26/0.27	c Pseudo Boolean Optimization by upper bound
0.26/0.27	c --- Begin Solver configuration ---
0.26/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.26/0.27	c Learn all clauses as in MiniSAT
0.26/0.27	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.26/0.27	c Expensive reason simplification
0.26/0.27	c Glucose 2.1 dynamic restart strategy
0.26/0.27	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.26/0.27	c timeout=2147483s
0.26/0.27	c DB Simplification allowed=false
0.26/0.27	c Listener: none
0.26/0.27	c --- End Solver configuration ---
0.26/0.27	c solving HOME/instance-4541926-1753212810.opb
0.26/0.27	c reading problem ... 
0.26/0.28	c using VERIPB proof format
0.26/0.28	c  no objective function found
0.60/0.43	c ... done. Wall clock time 0.148s.
0.60/0.43	c declared #vars     1802
0.60/0.43	c #constraints  3027
0.60/0.43	c constraints type 
0.60/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1360
0.60/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1089
0.60/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 578
0.60/0.43	c 3027 constraints processed.
4.31/2.33	c cleaning 2494 clauses out of 5000 with flag 27704/5000
6.48/3.77	c cleaning 4245 clauses out of 8506 with flag 75587/11000
8.71/5.56	c cleaning 5626 clauses out of 11262 with flag 130906/18001
12.23/8.43	c cleaning 6818 clauses out of 13635 with flag 205550/26000
16.90/13.06	c cleaning 7904 clauses out of 15818 with flag 291688/35001
20.99/16.94	c cleaning 8951 clauses out of 17914 with flag 421541/45001
26.28/21.93	c cleaning 9975 clauses out of 19962 with flag 552951/56000
31.73/27.30	c cleaning 10989 clauses out of 21987 with flag 697300/68000
37.83/33.35	c cleaning 11998 clauses out of 23998 with flag 857415/81000
45.58/41.04	c cleaning 12997 clauses out of 26000 with flag 1050575/95000
52.89/48.13	c cleaning 13996 clauses out of 28003 with flag 1246834/110000
60.74/55.95	c cleaning 14999 clauses out of 30008 with flag 1464992/126001
69.02/63.92	c cleaning 15998 clauses out of 32009 with flag 1681639/143001
77.69/72.42	c cleaning 17004 clauses out of 34011 with flag 1918223/161001
87.30/81.93	c cleaning 17999 clauses out of 36006 with flag 2154283/180000
97.93/92.46	c cleaning 18993 clauses out of 38008 with flag 2534233/200001
110.65/105.05	c cleaning 20003 clauses out of 40015 with flag 2930137/221001
122.24/116.56	c cleaning 21001 clauses out of 42012 with flag 3348917/243001
136.89/131.05	c cleaning 22002 clauses out of 44010 with flag 3816655/266000
151.20/145.03	c cleaning 23001 clauses out of 46009 with flag 4284186/290001
164.99/158.72	c cleaning 24004 clauses out of 48008 with flag 4773487/315001
180.05/173.60	c cleaning 24996 clauses out of 50004 with flag 5231564/341001
194.75/188.14	c cleaning 25999 clauses out of 52007 with flag 5665314/368000
210.23/203.59	c cleaning 27000 clauses out of 54009 with flag 6202442/396001
228.50/221.72	c cleaning 28001 clauses out of 56009 with flag 6760673/425001
246.17/239.30	c cleaning 28998 clauses out of 58007 with flag 7415510/455000
265.09/257.90	c cleaning 29999 clauses out of 60009 with flag 7967398/486000
285.19/278.00	c cleaning 30997 clauses out of 62011 with flag 8565559/518001
306.27/298.91	c cleaning 32002 clauses out of 64013 with flag 9252075/551000
329.08/321.69	c cleaning 32999 clauses out of 66011 with flag 9901641/585000
351.31/343.57	c cleaning 34002 clauses out of 68013 with flag 10665691/620001
374.51/366.65	c cleaning 35002 clauses out of 70011 with flag 11401448/656001
399.98/391.98	c cleaning 36004 clauses out of 72009 with flag 12142122/693001
424.39/416.12	c cleaning 36997 clauses out of 74004 with flag 12901362/731000
447.26/438.98	c cleaning 37998 clauses out of 76007 with flag 13755628/770000
474.21/465.46	c cleaning 39000 clauses out of 78010 with flag 14757950/810001
501.22/491.86	c cleaning 39998 clauses out of 80009 with flag 15701617/851000
529.15/519.40	c cleaning 41004 clauses out of 82011 with flag 16732011/893000
559.81/549.81	c cleaning 42003 clauses out of 84007 with flag 17766521/936000
591.24/581.25	c cleaning 42995 clauses out of 86005 with flag 18936727/980001
623.00/612.52	c cleaning 44003 clauses out of 88010 with flag 20082219/1025001
658.72/648.29	c cleaning 45002 clauses out of 90006 with flag 21218753/1071000
695.89/684.91	c cleaning 45997 clauses out of 92005 with flag 22282694/1118001
733.13/722.16	c cleaning 47003 clauses out of 94008 with flag 23449475/1166001
771.17/760.17	c cleaning 48002 clauses out of 96004 with flag 24767451/1215000
808.80/797.43	c cleaning 48995 clauses out of 98003 with flag 25841665/1265001
846.73/835.00	c cleaning 49996 clauses out of 100007 with flag 26832944/1316000
888.21/876.22	c cleaning 51001 clauses out of 102012 with flag 27979400/1368001
932.87/920.54	c cleaning 52000 clauses out of 104010 with flag 29194154/1421000
977.42/964.73	c cleaning 53001 clauses out of 106010 with flag 30485290/1475000
1019.40/1006.58	c cleaning 53998 clauses out of 108009 with flag 31797370/1530000
1064.19/1051.10	c cleaning 55000 clauses out of 110011 with flag 33096640/1586000
1107.06/1093.60	c cleaning 56001 clauses out of 112012 with flag 34395031/1643001
1154.56/1140.99	c cleaning 57001 clauses out of 114011 with flag 35830228/1701001
1204.78/1191.04	c cleaning 58005 clauses out of 116009 with flag 37252906/1760000
1257.34/1243.30	c cleaning 58997 clauses out of 118004 with flag 38504941/1820000
1307.66/1293.48	c cleaning 59998 clauses out of 120007 with flag 40040879/1881000
1362.58/1347.95	c cleaning 61000 clauses out of 122010 with flag 41622236/1943001
1417.96/1402.92	c cleaning 62000 clauses out of 124009 with flag 43173607/2006000
1471.25/1455.96	c cleaning 62998 clauses out of 126009 with flag 44686948/2070000
1531.43/1515.03	c cleaning 64001 clauses out of 128012 with flag 46436721/2135001
1587.41/1570.75	c cleaning 64998 clauses out of 130011 with flag 47954853/2201001
1655.88/1637.90	c cleaning 66001 clauses out of 132013 with flag 49683608/2268001
1710.25/1692.27	c cleaning 67002 clauses out of 134011 with flag 51471676/2336000
1771.67/1752.51	c cleaning 68003 clauses out of 136009 with flag 52852053/2405000
1825.40/1805.08	c cleaning 68998 clauses out of 138007 with flag 54580490/2475001
1888.85/1868.31	c cleaning 69998 clauses out of 140008 with flag 56331113/2546000
1933.88/1911.27	c cleaning 70996 clauses out of 142010 with flag 57060249/2618000
1983.87/1960.17	c cleaning 71997 clauses out of 144015 with flag 57669286/2691001
2032.12/2006.45	c cleaning 72998 clauses out of 146017 with flag 58226518/2765000
2081.60/2054.85	c cleaning 74000 clauses out of 148019 with flag 58866408/2840000
2152.06/2123.57	c cleaning 75003 clauses out of 150019 with flag 59557403/2916000
2198.15/2167.86	c cleaning 76001 clauses out of 152017 with flag 60219170/2993001
2274.58/2242.67	c cleaning 76997 clauses out of 154016 with flag 61146472/3071001
2350.15/2317.30	c cleaning 78000 clauses out of 156018 with flag 62146518/3150000
2427.91/2394.60	c cleaning 78997 clauses out of 158018 with flag 63209363/3230000
2502.44/2468.50	c cleaning 80000 clauses out of 160022 with flag 64157432/3311001
2587.54/2552.12	c cleaning 81005 clauses out of 162022 with flag 65266355/3393001
2664.62/2627.41	c cleaning 81998 clauses out of 164016 with flag 66310086/3476000
2751.13/2712.06	c cleaning 83000 clauses out of 166019 with flag 67393927/3560001
2828.86/2788.63	c cleaning 84000 clauses out of 168018 with flag 68462795/3645000
2901.88/2860.85	c cleaning 84993 clauses out of 170018 with flag 69557222/3731000
2977.13/2935.43	c cleaning 86006 clauses out of 172025 with flag 70503774/3818000
3054.96/3012.37	c cleaning 87005 clauses out of 174019 with flag 71966060/3906000
3140.42/3097.33	c cleaning 88002 clauses out of 176014 with flag 73952753/3995000
3218.05/3174.29	c cleaning 89000 clauses out of 178012 with flag 75817023/4085000
3292.16/3247.76	c cleaning 90002 clauses out of 180013 with flag 77494188/4176001
3370.09/3324.78	c cleaning 90999 clauses out of 182010 with flag 79345071/4268000
3445.79/3399.04	c cleaning 91998 clauses out of 184012 with flag 80779127/4361001
3515.84/3468.51	c cleaning 93003 clauses out of 186013 with flag 81915807/4455000
3592.09/3544.18	c cleaning 93998 clauses out of 188011 with flag 83293674/4550001
3600.06/3552.13	c starts		: 3106
3600.06/3552.14	c conflicts		: 4565189
3600.06/3552.14	c decisions		: 4684710
3600.06/3552.14	c propagations		: 2281569596
3600.06/3552.14	c inspects		: 35236717942
3600.06/3552.14	c shortcuts		: 0
3600.06/3552.14	c learnt literals	: 0
3600.06/3552.14	c learnt binary clauses	: 370
3600.06/3552.14	c learnt ternary clauses	: 454
3600.06/3552.14	c learnt constraints	: 4565189
3600.06/3552.14	c ignored constraints	: 0
3600.06/3552.14	c root simplifications	: 0
3600.06/3552.14	c removed literals (reason simplification)	: 585134135
3600.06/3552.14	c reason swapping (by a shorter reason)	: 0
3600.06/3552.14	c Calls to reduceDB	: 91
3600.06/3552.14	c Number of update (reduction) of LBD	: 144294
3600.06/3552.14	c Imported unit clauses	: 0
3600.06/3552.14	c No decision after first conflict	: false
3600.06/3552.14	c number of reductions to clauses (during analyze)	: 0
3600.06/3552.14	c number of learned constraints concerned by reduction	: 0
3600.06/3552.14	c number of learning phase by resolution	: 0
3600.06/3552.14	c number of learning phase by cutting planes	: 0
3600.06/3552.14	c number of rounding to 1 operations	: 0
3600.06/3552.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3552.14	c number of reductions of the coefficients by power 2 	: 0
3600.06/3552.14	c number of right shift for reduction by power 2 	: 0
3600.06/3552.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3552.15	c number of ending skipping 	: 0
3600.06/3552.15	c number of internal skipping 	: 0
3600.06/3552.15	c number of derivation steps 	: 0
3600.06/3552.15	c number of skipped derivation steps 	: 0
3600.06/3552.15	c number of remaining unassigned 	: 0
3600.06/3552.15	c number of remaining assigned 	: 0
3600.06/3552.15	c number of falsified literals weakened from reason	: 0
3600.06/3552.15	c number of falsified literals weakened from conflict	: 0
3600.06/3552.15	c time for arithmetic operations	: 0
3600.06/3552.15	c minimum degree of deleted constraints	: null
3600.06/3552.15	c maximum degree of deleted constraints	: null
3600.06/3552.15	c number of deleted constraints	: 0
3600.06/3552.15	c speed (assignments/second)	: 642385.687131815
3600.06/3552.15	c non guided choices	: 66
3600.06/3552.15	c timeout
3600.20/3552.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 108831
3600.20/3552.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 370
3600.20/3552.27	s UNKNOWN
3600.20/3552.27	c Total wall clock time (in seconds): 3551.998

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541926-1753212810/watcher-4541926-1753212810 -o /tmp/evaluation-result-4541926-1753212810/solver-4541926-1753212810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180195 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541926-1753212810 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541926-1753212810.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=180705, runsolver pid=180702
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.20 4.21 4.18 5/327 180723
/proc/meminfo: memFree=93584864/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=18930384 memory=48920 CPUtime=0.1 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 5885 0 0 0 8 2 0 0 20 0 18 0 236960409 19384713216 12230 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4732596 12230 5339 1 0 547069 0
[pid=180705/tid=180707] ppid=180702 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 4769 0 0 0 6 1 0 0 20 0 18 0 236960411 19384713216 12230 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 12230 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=18930384 memory=56295059375534 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 12230 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48920 KiB

[startup+0.207011 s]*
/proc/loadavg: 4.20 4.21 4.18 5/327 180723
/proc/meminfo: memFree=93575980/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=18930384 memory=57888 CPUtime=0.26 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 6587 0 0 0 22 4 0 0 20 0 18 0 236960409 19384713216 14472 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4732596 14472 5371 1 0 547620 0
[pid=180705/tid=180707] ppid=180702 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) S 180702 180705 180184 0 -1 4194368 5067 0 0 0 15 2 0 0 20 0 18 0 236960411 19384713216 14472 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=18930384 memory=2622 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 14472 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=18930384 memory=55195547730935 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 14472 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57888 KiB

[startup+0.306814 s]*
/proc/loadavg: 4.20 4.21 4.18 7/327 180723
/proc/meminfo: memFree=93574972/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=18930384 memory=59424 CPUtime=0.4 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 6932 0 0 0 36 4 0 0 20 0 18 0 236960409 19384713216 14856 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4732596 14856 5435 1 0 547869 0
[pid=180705/tid=180707] ppid=180702 vsize=18930384 memory=-9033485744800047804 CPUtime=0.27 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 5271 0 0 0 25 2 0 0 20 0 18 0 236960411 19384713216 14856 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 14856 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236960414 19384713216 14856 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59424 KiB

[startup+0.7003 s]
/proc/loadavg: 4.20 4.21 4.18 7/328 180724
/proc/meminfo: memFree=93566276/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=18996948 memory=83084 CPUtime=1.15 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 8828 0 0 0 110 5 0 0 20 0 19 0 236960409 19452874752 20771 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4749237 20771 5435 1 0 549174 0
[pid=180705/tid=180707] ppid=180702 vsize=18996948 memory=22272 CPUtime=0.66 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 5367 0 0 0 63 3 0 0 20 0 19 0 236960411 19452874752 20771 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236960414 19452874752 20771 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236960414 19452874752 20771 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236960453 19452874752 20771 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83084 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.21 4.18 6/328 180724
/proc/meminfo: memFree=93505156/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=173748 CPUtime=2.74 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 18645 0 0 0 264 10 0 0 20 0 20 0 236960409 19521036288 43437 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 43437 5499 1 0 552841 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=0 CPUtime=1.43 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 5835 0 0 0 138 5 0 0 20 0 20 0 236960411 19521036288 43437 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 43437 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 43437 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 43437 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173748 KiB

[startup+3.10545 s]
/proc/loadavg: 4.20 4.21 4.18 5/329 180725
/proc/meminfo: memFree=93415832/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=184184 CPUtime=5.75 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 22296 0 0 0 563 12 0 0 20 0 20 0 236960409 19521036288 46046 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 46046 5499 1 0 553182 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=11008 CPUtime=2.97 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 6997 0 0 0 291 6 0 0 20 0 20 0 236960411 19521036288 46046 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=-9033485744800047804 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 46046 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 46046 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 46046 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184184 KiB

[startup+6.30024 s]
/proc/loadavg: 4.27 4.22 4.19 6/330 180728
/proc/meminfo: memFree=93228376/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=313040 CPUtime=9.95 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 24644 0 0 0 979 16 0 0 20 0 20 0 236960409 19521036288 78260 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 78260 5499 1 0 554403 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 7128 0 0 0 590 9 0 0 20 0 20 0 236960411 19521036288 78260 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 78260 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 78260 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=173748 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 78260 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 313040 KiB

[startup+12.7005 s]
/proc/loadavg: 4.40 4.25 4.20 6/329 180792
/proc/meminfo: memFree=99329164/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=695324 CPUtime=16.59 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 25559 0 0 0 1632 27 0 0 20 0 20 0 236960409 19521036288 173831 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 173831 5499 1 0 667190 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=173748 CPUtime=12.17 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 7629 0 0 0 1199 18 0 0 20 0 20 0 236960411 19521036288 173831 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=543752 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 173831 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 173831 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 173831 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 16.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 695324 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 4.24 4.19 5/328 180792
/proc/meminfo: memFree=98410080/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=834672 CPUtime=29.92 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 33887 0 0 0 2955 37 0 0 20 0 20 0 236960409 19521036288 208668 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 208668 5499 1 0 667190 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=11008 CPUtime=24.56 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 9226 0 0 0 2432 24 0 0 20 0 20 0 236960411 19521036288 208668 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=543752 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 208668 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=734240 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 208668 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=810096 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 208668 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 834672 KiB

[startup+51.1134 s]
/proc/loadavg: 4.28 4.23 4.19 6/328 180793
/proc/meminfo: memFree=96120248/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=1876696 CPUtime=55.97 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 38381 0 0 0 5525 72 0 0 20 0 20 0 236960409 19521036288 469174 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 469174 5531 1 0 1020233 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=834672 CPUtime=49.33 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 10859 0 0 0 4884 49 0 0 20 0 20 0 236960411 19521036288 469174 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=1784384 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 469174 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0

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

/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 93608 0 0 0 316865 879 0 0 20 0 20 0 236960411 19521036288 232365 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=1071224 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 232365 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 1989 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 232365 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 232365 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3266.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 929460 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.42 4.34 5/328 180969
/proc/meminfo: memFree=53189244/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=1012760 CPUtime=3326.96 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 175318 0 0 0 331533 1163 0 0 20 0 20 0 236960409 19521036288 253190 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 253190 5531 1 0 264266 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=6016 CPUtime=3236.77 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 93691 0 0 0 322784 893 0 0 20 0 20 0 236960411 19521036288 253190 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=1093560 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 253190 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=1012760 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 1989 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 253190 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=1012760 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 253190 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3326.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1012760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.37 4.32 5/328 180971
/proc/meminfo: memFree=53699012/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=846080 CPUtime=3387.96 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 177549 0 0 0 337617 1179 0 0 20 0 20 0 236960409 19521036288 211520 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 211520 5531 1 0 222515 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=16368 CPUtime=3295.91 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 95668 0 0 0 328687 904 0 0 20 0 20 0 236960411 19521036288 211520 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=-4421386487607356255 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 211520 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=904520 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 1989 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 211520 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 211520 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3387.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 846080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.36 4.32 5/327 180973
/proc/meminfo: memFree=53218516/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=846136 CPUtime=3449.07 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 181240 0 0 0 343707 1200 0 0 20 0 20 0 236960409 19521036288 211534 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 211534 5531 1 0 222515 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=-4421386487607356255 CPUtime=3354.85 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 97952 0 0 0 334566 919 0 0 20 0 20 0 236960411 19521036288 211534 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=904520 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 211534 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=846136 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 2030 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 211534 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=846136 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 211534 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3449.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 846136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.31 4.31 5/303 181005
/proc/meminfo: memFree=72422596/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=1661024 CPUtime=3509.65 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 184019 0 0 0 349729 1236 0 0 20 0 20 0 236960409 19521036288 415256 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 415256 5531 1 0 429227 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=-4421386487607356255 CPUtime=3413.65 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 99188 0 0 0 340414 951 0 0 20 0 20 0 236960411 19521036288 415256 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=22272 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 415256 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=1656928 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 2030 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 415256 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 415256 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3509.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1661024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.31 4.31 5/327 181044
/proc/meminfo: memFree=69391928/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=987904 CPUtime=3570.3 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 186240 0 0 0 355775 1255 0 0 20 0 20 0 236960409 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 246976 5531 1 0 258015 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=987904 CPUtime=3472.56 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 99942 0 0 0 346292 964 0 0 20 0 20 0 236960411 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=987904 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 2065 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=987904 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 987904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552.11 s]
/proc/loadavg: 4.20 4.30 4.30 5/328 181047
/proc/meminfo: memFree=68655896/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19063512 memory=987904 CPUtime=3600.06 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 186250 0 0 0 358743 1263 0 0 20 0 20 0 236960409 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4765878 246976 5531 1 0 258015 0
[pid=180705/tid=180707] ppid=180702 vsize=19063512 memory=987904 CPUtime=3501.72 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) R 180702 180705 180184 0 -1 4194368 99942 0 0 0 349202 970 0 0 20 0 20 0 236960411 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19063512 memory=987904 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19063512 memory=987904 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 2065 0 0 0 0 0 0 0 20 0 20 0 236960414 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180724] ppid=180702 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/180705/task/180724/stat : 180724 (Timer-0) S 180702 180705 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236960453 19521036288 246976 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 987904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.65 s, system=12.6596 s

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

[startup+3552.2 s]
/proc/loadavg: 4.20 4.30 4.30 5/328 181047
/proc/meminfo: memFree=68655896/131382116 swapFree=33005528/33010684
[pid=180705] ppid=180702 vsize=19263204 memory=988672 CPUtime=3600.2 cores=0,2
/proc/180705/stat : 180705 (java) S 180702 180705 180184 0 -1 4194304 187674 0 0 0 358756 1264 0 0 20 0 21 0 236960409 19725520896 247168 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
/proc/180705/statm: 4815801 247168 5563 1 0 258939 0
[pid=180705/tid=180707] ppid=180702 vsize=19263204 memory=3072 CPUtime=3501.75 cores=0,2
/proc/180705/task/180707/stat : 180707 (java) S 180702 180705 180184 0 -1 4194368 100118 0 0 0 349204 971 0 0 20 0 21 0 236960411 19725520896 247168 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180716] ppid=180702 vsize=19263204 memory=-9033485744800047804 CPUtime=0 cores=0,2
/proc/180705/task/180716/stat : 180716 (Finalizer) S 180702 180705 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236960414 19725520896 247168 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
[pid=180705/tid=180723] ppid=180702 vsize=19263204 memory=4912 CPUtime=0 cores=0,2
/proc/180705/task/180723/stat : 180723 (Common-Cleaner) S 180702 180705 180184 0 -1 4194368 2065 0 0 0 0 0 0 0 20 0 21 0 236960414 19725520896 247168 18446744073709551615 93963999461376 93963999465072 140734890891328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93963999472888 93963999473680 93964022251520 140734890899796 140734890899940 140734890899940 140734890905544 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 988672 KiB

[startup+3552.3 s]*
/proc/loadavg: 4.20 4.30 4.30 5/310 181050
/proc/meminfo: memFree=69577340/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3552.34
CPU time (s): 3600.31
CPU user time (s): 3587.65
CPU system time (s): 12.6596
CPU usage (%): 101.35
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4046036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.65
system time used= 12.6596
maximum resident set size= 4046036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14333464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121755
involuntary context switches= 14358


# summary of solver processes directly reported to runsolver:
#   pid: 180705
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3587.65
#   total CPU system time (s): 12.6596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7157 second user time and 32.7884 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-22 21:33:30
IDJOB=4541926
IDBENCH=163589
IDSOLVER=3364
FILE ID=nodeC010/4541926-1753212810
RUNJOBID= nodeC010-1753209221-180195
SLURM_JOB_ID= 9687770
Free space on /tmp= 423940 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541926-1753212810/watcher-4541926-1753212810 -o /tmp/evaluation-result-4541926-1753212810/solver-4541926-1753212810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180195 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541926-1753212810 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541926-1753212810.opb

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

MD5SUM BENCH= b58fe33c06849f09284e381ad8dcab3a
RANDOM SEED=1491964340

nodeC010 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		: 1197.150
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.36
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		: 3592.006
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.36
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		: 2694.879
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        93620340 kB
MemAvailable:   122517748 kB
Buffers:             228 kB
Cached:         29657040 kB
SwapCached:         4300 kB
Active:          8265964 kB
Inactive:       28820160 kB
Active(anon):    7402360 kB
Inactive(anon):    48712 kB
Active(file):     863604 kB
Inactive(file): 28771448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            172912 kB
Writeback:             0 kB
AnonPages:       7428036 kB
Mapped:           124276 kB
Shmem:             21832 kB
KReclaimable:     203968 kB
Slab:             295716 kB
SReclaimable:     203968 kB
SUnreclaim:        91748 kB
KernelStack:        5008 kB
PageTables:        18204 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9826816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7180288 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 405156 MiB
End job on nodeC010 at 2025-07-22 22:32:43