Trace number 4542003

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 2025-06-06? (TO) 3600.27 3589.13

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
MD5SUM808e9faff4b516f7872d7344d1ed451f
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 benchmark1.23401
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1562
Total number of constraints1982
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints530
Minimum length of a constraint2
Maximum length of a constraint528
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 8796093022208
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 35184372088831
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.20	c os.arch		amd64
0.12/0.20	c Free memory 		2104792832
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2113929216
0.12/0.21	c Number of processors 	2
0.34/0.31	c Pseudo Boolean Optimization by upper bound
0.34/0.31	c --- Begin Solver configuration ---
0.34/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.34/0.31	c Learn all clauses as in MiniSAT
0.34/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.34/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.34/0.31	c Expensive reason simplification
0.34/0.31	c Glucose 2.1 dynamic restart strategy
0.34/0.31	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.34/0.31	c timeout=2147483s
0.34/0.31	c DB Simplification allowed=false
0.34/0.31	c Listener: none
0.34/0.31	c --- End Solver configuration ---
0.34/0.31	c solving HOME/instance-4542003-1753212746.opb
0.34/0.31	c reading problem ... 
0.34/0.32	c  no objective function found
0.84/0.53	c ... done. Wall clock time 0.203s.
0.84/0.53	c declared #vars     1562
0.84/0.53	c #constraints  2511
0.84/0.53	c constraints type 
0.84/0.53	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1100
0.84/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 927
0.84/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 484
0.84/0.53	c 2511 constraints processed.
3.36/2.06	c cleaning 2497 clauses out of 5001 with flag 12060/5001
4.40/2.75	c cleaning 4249 clauses out of 8504 with flag 29091/11001
5.42/3.58	c cleaning 5622 clauses out of 11256 with flag 47137/18002
6.60/4.58	c cleaning 6812 clauses out of 13633 with flag 67790/26001
8.02/5.75	c cleaning 7902 clauses out of 15820 with flag 91469/35000
9.41/7.11	c cleaning 8951 clauses out of 17921 with flag 119173/45003
11.64/9.25	c cleaning 9975 clauses out of 19967 with flag 147245/56000
13.31/10.90	c cleaning 10986 clauses out of 21992 with flag 178966/68000
14.91/12.57	c cleaning 11998 clauses out of 24006 with flag 212582/81000
17.11/14.74	c cleaning 12993 clauses out of 26008 with flag 252482/95000
19.19/16.89	c cleaning 14002 clauses out of 28015 with flag 289927/110000
21.69/19.39	c cleaning 14994 clauses out of 30014 with flag 331200/126001
24.16/21.80	c cleaning 16000 clauses out of 32020 with flag 376415/143001
30.87/28.47	c cleaning 17000 clauses out of 34019 with flag 418620/161000
42.46/39.86	c cleaning 18001 clauses out of 36020 with flag 458789/180001
52.86/50.26	c cleaning 19000 clauses out of 38018 with flag 501583/200000
64.93/62.35	c cleaning 20004 clauses out of 40018 with flag 545844/221000
75.84/73.18	c cleaning 21001 clauses out of 42015 with flag 593853/243001
88.31/85.67	c cleaning 22001 clauses out of 44014 with flag 642175/266001
100.21/97.57	c cleaning 23002 clauses out of 46012 with flag 692620/290000
114.96/112.20	c cleaning 23998 clauses out of 48011 with flag 745894/315001
127.50/124.76	c cleaning 24997 clauses out of 50013 with flag 801978/341001
141.48/138.67	c cleaning 25995 clauses out of 52015 with flag 859628/368000
156.11/153.25	c cleaning 27003 clauses out of 54020 with flag 918824/396000
170.06/167.14	c cleaning 27999 clauses out of 56018 with flag 980226/425001
187.11/184.16	c cleaning 28999 clauses out of 58018 with flag 1044089/455000
204.81/201.42	c cleaning 30002 clauses out of 60019 with flag 1111607/486000
221.24/217.85	c cleaning 30999 clauses out of 62017 with flag 1179769/518000
238.98/235.68	c cleaning 31997 clauses out of 64018 with flag 1251105/551000
256.09/252.71	c cleaning 33000 clauses out of 66022 with flag 1326420/585001
274.61/271.13	c cleaning 34001 clauses out of 68021 with flag 1403560/620000
293.83/290.40	c cleaning 35003 clauses out of 70020 with flag 1482678/656000
314.74/311.24	c cleaning 35998 clauses out of 72017 with flag 1565043/693000
335.51/331.91	c cleaning 36997 clauses out of 74019 with flag 1648704/731000
355.55/351.97	c cleaning 38002 clauses out of 76022 with flag 1730888/770000
377.79/374.18	c cleaning 38999 clauses out of 78020 with flag 1814748/810000
400.55/396.68	c cleaning 40002 clauses out of 80021 with flag 1901140/851000
425.56/421.67	c cleaning 41001 clauses out of 82019 with flag 1989112/893000
447.78/443.82	c cleaning 41997 clauses out of 84019 with flag 2080065/936001
471.66/467.54	c cleaning 43001 clauses out of 86022 with flag 2171856/980001
496.13/491.90	c cleaning 43995 clauses out of 88021 with flag 2265844/1025001
522.05/517.80	c cleaning 45001 clauses out of 90026 with flag 2364149/1071001
548.76/544.52	c cleaning 46002 clauses out of 92024 with flag 2466620/1118000
573.46/569.17	c cleaning 47000 clauses out of 94022 with flag 2570273/1166000
601.53/596.95	c cleaning 48003 clauses out of 96023 with flag 2675971/1215001
629.35/624.79	c cleaning 48995 clauses out of 98020 with flag 2781481/1265001
658.39/653.72	c cleaning 50004 clauses out of 100024 with flag 2888667/1316000
687.70/682.93	c cleaning 51001 clauses out of 102021 with flag 3003551/1368001
718.98/714.22	c cleaning 52000 clauses out of 104019 with flag 3116658/1421000
750.84/745.98	c cleaning 53000 clauses out of 106019 with flag 3230965/1475000
783.11/778.17	c cleaning 54001 clauses out of 108020 with flag 3349578/1530001
816.34/811.35	c cleaning 54998 clauses out of 110018 with flag 3470098/1586000
849.47/844.45	c cleaning 55995 clauses out of 112020 with flag 3596225/1643000
884.53/879.48	c cleaning 57003 clauses out of 114025 with flag 3719684/1701000
919.10/913.97	c cleaning 58007 clauses out of 116023 with flag 3847357/1760001
953.14/948.00	c cleaning 59003 clauses out of 118015 with flag 3975640/1820000
989.08/983.06	c cleaning 59993 clauses out of 120012 with flag 4108477/1881000
1025.53/1019.47	c cleaning 60997 clauses out of 122020 with flag 4243550/1943001
1063.98/1057.83	c cleaning 62001 clauses out of 124023 with flag 4379119/2006001
1103.70/1097.44	c cleaning 62999 clauses out of 126022 with flag 4517244/2070001
1140.92/1134.65	c cleaning 63997 clauses out of 128023 with flag 4656143/2135001
1179.41/1173.04	c cleaning 65003 clauses out of 130025 with flag 4797525/2201000
1217.66/1211.17	c cleaning 66002 clauses out of 132022 with flag 4940677/2268000
1256.38/1249.79	c cleaning 67000 clauses out of 134021 with flag 5085946/2336001
1297.87/1291.07	c cleaning 68000 clauses out of 136020 with flag 5235911/2405000
1342.14/1335.26	c cleaning 68999 clauses out of 138020 with flag 5385636/2475000
1383.40/1375.69	c cleaning 69999 clauses out of 140021 with flag 5536696/2546000
1429.13/1421.23	c cleaning 71000 clauses out of 142022 with flag 5692534/2618000
1476.90/1469.09	c cleaning 72000 clauses out of 144024 with flag 5850010/2691002
1519.54/1511.52	c cleaning 73000 clauses out of 146022 with flag 6011944/2765000
1559.50/1551.32	c cleaning 74001 clauses out of 148023 with flag 6176797/2840001
1603.10/1594.91	c cleaning 74998 clauses out of 150022 with flag 6339406/2916001
1647.71/1639.34	c cleaning 76005 clauses out of 152024 with flag 6500257/2993001
1691.57/1683.15	c cleaning 76994 clauses out of 154020 with flag 6660981/3071002
1737.05/1728.64	c cleaning 78004 clauses out of 156025 with flag 6823011/3150001
1786.46/1777.89	c cleaning 78999 clauses out of 158021 with flag 6986657/3230001
1832.30/1823.67	c cleaning 79997 clauses out of 160021 with flag 7152132/3311000
1861.81/1853.17	c cleaning 81001 clauses out of 162026 with flag 7353381/3393002
1895.42/1886.76	c cleaning 82003 clauses out of 164024 with flag 7554220/3476001
1934.28/1925.54	c cleaning 82999 clauses out of 166021 with flag 7764190/3560001
1969.32/1960.67	c cleaning 83998 clauses out of 168023 with flag 7971205/3645002
2007.42/1998.77	c cleaning 85000 clauses out of 170024 with flag 8184762/3731001
2048.63/2038.91	c cleaning 86006 clauses out of 172023 with flag 8389808/3818000
2088.87/2079.17	c cleaning 86999 clauses out of 174018 with flag 8587711/3906001
2135.15/2125.51	c cleaning 87996 clauses out of 176019 with flag 8792369/3995001
2175.70/2166.07	c cleaning 88999 clauses out of 178023 with flag 8994649/4085001
2218.81/2209.16	c cleaning 89999 clauses out of 180023 with flag 9200168/4176000
2265.41/2255.88	c cleaning 90999 clauses out of 182024 with flag 9402205/4268000
2311.82/2302.29	c cleaning 92005 clauses out of 184025 with flag 9604649/4361000
2359.27/2349.67	c cleaning 93002 clauses out of 186020 with flag 9813150/4455000
2408.26/2398.56	c cleaning 93995 clauses out of 188018 with flag 10040854/4550000
2454.11/2444.33	c cleaning 95005 clauses out of 190026 with flag 10264107/4646003
2505.16/2495.31	c cleaning 95997 clauses out of 192018 with flag 10485199/4743000
2560.66/2550.94	c cleaning 97001 clauses out of 194022 with flag 10717361/4841001
2613.34/2603.41	c cleaning 97995 clauses out of 196021 with flag 10948019/4940001
2668.48/2658.51	c cleaning 98998 clauses out of 198026 with flag 11180722/5040001
2726.46/2716.46	c cleaning 99999 clauses out of 200027 with flag 11421239/5141000
2780.79/2770.78	c cleaning 101000 clauses out of 202028 with flag 11667102/5243000
2840.79/2830.76	c cleaning 101995 clauses out of 204028 with flag 11906912/5346000
2901.23/2890.99	c cleaning 103004 clauses out of 206033 with flag 12148932/5450000
2960.03/2949.74	c cleaning 103998 clauses out of 208029 with flag 12391753/5555000
3019.75/3009.42	c cleaning 105001 clauses out of 210031 with flag 12644234/5661000
3082.73/3072.46	c cleaning 106000 clauses out of 212030 with flag 12901311/5768000
3149.92/3139.57	c cleaning 106996 clauses out of 214030 with flag 13156923/5876000
3210.15/3199.71	c cleaning 108002 clauses out of 216034 with flag 13408751/5985000
3277.34/3266.99	c cleaning 108997 clauses out of 218032 with flag 13663828/6095000
3343.94/3332.90	c cleaning 110007 clauses out of 220036 with flag 13924117/6206001
3408.71/3397.67	c cleaning 110998 clauses out of 222029 with flag 14189785/6318001
3471.06/3459.94	c cleaning 112001 clauses out of 224032 with flag 14452972/6431002
3538.96/3527.83	c cleaning 113005 clauses out of 226031 with flag 14721116/6545002
3598.13/3587.04	c cleaning 114001 clauses out of 228024 with flag 14984930/6660000
3600.00/3588.92	c timeout
3600.00/3588.94	c starts		: 27
3600.00/3588.94	c conflicts		: 6664185
3600.00/3588.94	c decisions		: 6966186
3600.00/3588.94	c propagations		: 3460778437
3600.00/3588.95	c inspects		: 19542745979
3600.00/3588.95	c shortcuts		: 0
3600.00/3588.95	c learnt literals	: 0
3600.00/3588.95	c learnt binary clauses	: 0
3600.00/3588.95	c learnt ternary clauses	: 2
3600.00/3588.95	c learnt constraints	: 6664185
3600.00/3588.95	c ignored constraints	: 0
3600.00/3588.95	c root simplifications	: 0
3600.00/3588.95	c removed literals (reason simplification)	: 2452277328
3600.00/3588.95	c reason swapping (by a shorter reason)	: 0
3600.00/3588.95	c Calls to reduceDB	: 111
3600.00/3588.95	c Number of update (reduction) of LBD	: 248285
3600.00/3588.95	c Imported unit clauses	: 0
3600.00/3588.95	c No decision after first conflict	: false
3600.00/3588.95	c number of reductions to clauses (during analyze)	: 0
3600.00/3588.95	c number of learned constraints concerned by reduction	: 0
3600.00/3588.95	c number of learning phase by resolution	: 0
3600.00/3588.95	c number of learning phase by cutting planes	: 0
3600.00/3588.95	c number of rounding to 1 operations	: 0
3600.00/3588.95	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3588.95	c number of reductions of the coefficients by power 2 	: 0
3600.00/3588.95	c number of right shift for reduction by power 2 	: 0
3600.00/3588.95	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3588.95	c number of ending skipping 	: 0
3600.00/3588.95	c number of internal skipping 	: 0
3600.00/3588.95	c number of derivation steps 	: 0
3600.00/3588.95	c number of skipped derivation steps 	: 0
3600.00/3588.95	c number of remaining unassigned 	: 0
3600.00/3588.95	c number of remaining assigned 	: 0
3600.00/3588.95	c number of falsified literals weakened from reason	: 0
3600.00/3588.95	c number of falsified literals weakened from conflict	: 0
3600.00/3588.95	c time for arithmetic operations	: 0
3600.00/3588.96	c minimum degree of deleted constraints	: null
3600.00/3588.96	c maximum degree of deleted constraints	: null
3600.00/3588.96	c number of deleted constraints	: 0
3600.00/3588.96	c speed (assignments/second)	: 964428.517087167
3600.00/3588.96	c non guided choices	: 43
3600.16/3589.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 118208
3600.16/3589.10	s UNKNOWN
3600.16/3589.10	c Total wall clock time (in seconds): 3588.78

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: 63794 MiB (57595 MiB free)
  memory of node 1: 64507 MiB (61031 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542003-1753212746/watcher-4542003-1753212746 -o /tmp/evaluation-result-4542003-1753212746/solver-4542003-1753212746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195952 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542003-1753212746.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=196307, runsolver pid=196304
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 5.40 4.54 4.25 6/323 196325
/proc/meminfo: memFree=121467648/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18930384 memory=50392 CPUtime=0.12 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 5783 0 0 0 9 3 0 0 20 0 18 0 236954349 19384713216 12598 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4732596 12598 5302 1 0 547006 0
[pid=196307/tid=196309] ppid=196304 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 4698 0 0 0 6 2 0 0 20 0 18 0 236954351 19384713216 12598 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236954356 19384713216 12662 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18930384 memory=57394571004297 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236954357 19384713216 12662 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50392 KiB

[startup+0.22712 s]*
/proc/loadavg: 5.40 4.54 4.25 6/323 196325
/proc/meminfo: memFree=121456936/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18930384 memory=59380 CPUtime=0.34 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 6504 0 0 0 29 5 0 0 20 0 18 0 236954349 19384713216 14845 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4732596 14845 5334 1 0 547622 0
[pid=196307/tid=196309] ppid=196304 vsize=18930384 memory=4027056412 CPUtime=0.21 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 5083 0 0 0 18 3 0 0 20 0 18 0 236954351 19384713216 14845 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18930384 memory=1707 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236954356 19384713216 14845 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18930384 memory=56295059358712 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236954357 19384713216 14845 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59380 KiB

[startup+0.317694 s]*
/proc/loadavg: 5.40 4.54 4.25 7/323 196325
/proc/meminfo: memFree=121456180/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18930384 memory=60276 CPUtime=0.48 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 6711 0 0 0 42 6 0 0 20 0 18 0 236954349 19384713216 15069 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4732596 15069 5334 1 0 547797 0
[pid=196307/tid=196309] ppid=196304 vsize=18930384 memory=-8889374928984122044 CPUtime=0.28 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 5234 0 0 0 24 4 0 0 20 0 18 0 236954351 19384713216 15069 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236954356 19384713216 15069 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236954357 19384713216 15069 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60276 KiB

[startup+0.70031 s]
/proc/loadavg: 5.53 4.58 4.26 7/323 196325
/proc/meminfo: memFree=121448000/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18996948 memory=75572 CPUtime=1.19 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 9088 0 0 0 112 7 0 0 20 0 19 0 236954349 19452874752 18893 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4749237 18893 5398 1 0 549745 0
[pid=196307/tid=196309] ppid=196304 vsize=18996948 memory=27392 CPUtime=0.58 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 5325 0 0 0 54 4 0 0 20 0 19 0 236954351 19452874752 18893 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236954356 19452874752 18893 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236954357 19452874752 18893 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75572 KiB

[startup+1.50024 s]
/proc/loadavg: 5.53 4.58 4.26 6/324 196326
/proc/meminfo: memFree=121437352/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18996948 memory=101492 CPUtime=2.76 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 15427 0 0 0 268 8 0 0 20 0 19 0 236954349 19452874752 25373 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4749237 25373 5430 1 0 551499 0
[pid=196307/tid=196309] ppid=196304 vsize=18996948 memory=3200 CPUtime=1.34 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 5531 0 0 0 130 4 0 0 20 0 19 0 236954351 19452874752 25373 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236954356 19452874752 25373 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236954357 19452874752 25373 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=18996948 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236954403 19452874752 25373 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101492 KiB

[startup+3.10579 s]
/proc/loadavg: 5.53 4.58 4.26 5/324 196326
/proc/meminfo: memFree=121340184/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=18996948 memory=150900 CPUtime=5.03 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 16985 0 0 0 493 10 0 0 20 0 19 0 236954349 19452874752 37725 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4749237 37725 5430 1 0 551528 0
[pid=196307/tid=196309] ppid=196304 vsize=18996948 memory=10752 CPUtime=2.92 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 6574 0 0 0 287 5 0 0 20 0 19 0 236954351 19452874752 37725 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=18996948 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236954356 19452874752 37725 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236954357 19452874752 37725 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236954403 19452874752 37725 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150900 KiB

[startup+6.30025 s]
/proc/loadavg: 5.49 4.58 4.27 5/325 196327
/proc/meminfo: memFree=121302568/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=180844 CPUtime=8.61 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 21848 0 0 0 849 12 0 0 20 0 20 0 236954349 19521036288 45211 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 45211 5462 1 0 551818 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=0 CPUtime=6.06 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 7135 0 0 0 600 6 0 0 20 0 20 0 236954351 19521036288 45211 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 45211 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 45211 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=107636 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 45211 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180844 KiB

[startup+12.7003 s]
/proc/loadavg: 5.53 4.61 4.28 6/324 196460
/proc/meminfo: memFree=126925944/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=198888 CPUtime=15.13 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 24347 0 0 0 1493 20 0 0 20 0 20 0 236954349 19521036288 49722 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 49722 5462 1 0 551834 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=10752 CPUtime=12.33 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 7660 0 0 0 1221 12 0 0 20 0 20 0 236954351 19521036288 49722 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=107636 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 49722 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=198888 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 49722 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 49722 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198888 KiB

[startup+25.5002 s]
/proc/loadavg: 5.37 4.60 4.28 6/325 196528
/proc/meminfo: memFree=126660800/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=266916 CPUtime=27.98 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 28125 0 0 0 2772 26 0 0 20 0 20 0 236954349 19521036288 66729 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 66729 5494 1 0 551834 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=246236 CPUtime=24.71 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 8379 0 0 0 2456 15 0 0 20 0 20 0 236954351 19521036288 66729 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 66729 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=-8889374928984122044 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 66729 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 66729 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 266916 KiB

[startup+51.1135 s]
/proc/loadavg: 4.83 4.55 4.27 7/325 196529
/proc/meminfo: memFree=124146884/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=361756 CPUtime=53.77 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 30256 0 0 0 5348 29 0 0 20 0 20 0 236954349 19521036288 90439 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 90439 5494 1 0 551879 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=16688 CPUtime=49.85 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 8423 0 0 0 4970 15 0 0 20 0 20 0 236954351 19521036288 90439 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 90439 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 90439 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=0 CPUtime=0 cores=5,7

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

/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1007802 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1739 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1007802 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4016872 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1007802 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3293.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4031208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.35 4.29 6/326 196765
/proc/meminfo: memFree=110927124/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4262632 CPUtime=3353.32 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 111826 0 0 0 335034 298 0 0 20 0 20 0 236954349 19521036288 1065658 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1065658 5494 1 0 1238604 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=4262632 CPUtime=3315.03 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 48433 0 0 0 331455 48 0 0 20 0 20 0 236954351 19521036288 1065658 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=-8889374928984122044 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1065658 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1740 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1065658 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1065658 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3353.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4262632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.33 4.28 5/325 196767
/proc/meminfo: memFree=109433948/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3413.4 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 113284 0 0 0 341035 305 0 0 20 0 20 0 236954349 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1104570 5494 1 0 1238604 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=4262632 CPUtime=3374.67 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 49647 0 0 0 337417 50 0 0 20 0 20 0 236954351 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=4262632 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=27392 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1778 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3413.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4418280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.33 4.28 5/325 196769
/proc/meminfo: memFree=108325600/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3473.46 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 114009 0 0 0 347039 307 0 0 20 0 20 0 236954349 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1104570 5494 1 0 1238604 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=4262632 CPUtime=3434.32 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 49975 0 0 0 343382 50 0 0 20 0 20 0 236954351 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1854 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3473.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4418280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.35 4.29 5/326 196772
/proc/meminfo: memFree=107931204/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3533.47 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 115158 0 0 0 353036 311 0 0 20 0 20 0 236954349 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1104570 5494 1 0 1238609 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3494 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 50941 0 0 0 349350 50 0 0 20 0 20 0 236954351 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=27392 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1854 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3533.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4418280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.31 4.28 5/326 196774
/proc/meminfo: memFree=107526840/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3593.43 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 116821 0 0 0 359029 314 0 0 20 0 20 0 236954349 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1104570 5494 1 0 1238612 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=16688 CPUtime=3553.76 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 52171 0 0 0 355326 50 0 0 20 0 20 0 236954351 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=16688 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1930 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3593.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4418280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3588.9 s]
/proc/loadavg: 4.32 4.33 4.28 4/303 196810
/proc/meminfo: memFree=115146812/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19063512 memory=4418280 CPUtime=3600 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 117106 0 0 0 359684 316 0 0 20 0 20 0 236954349 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4765878 1104570 5494 1 0 1238612 0
[pid=196307/tid=196309] ppid=196304 vsize=19063512 memory=16688 CPUtime=3560.33 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) R 196304 196307 195934 0 -1 4194368 52456 0 0 0 355981 52 0 0 20 0 20 0 236954351 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19063512 memory=7724416 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236954356 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1930 0 0 0 0 0 0 0 20 0 20 0 236954357 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196326] ppid=196304 vsize=19063512 memory=4418280 CPUtime=0 cores=5,7
/proc/196307/task/196326/stat : 196326 (Timer-0) S 196304 196307 195934 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236954403 19521036288 1104570 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4418280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.08 s, system=3.19049 s

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

[startup+3589.01 s]*
/proc/loadavg: 4.32 4.33 4.28 5/305 196815
/proc/meminfo: memFree=115089888/131382112 swapFree=33010416/33010684
[pid=196307] ppid=196304 vsize=19263204 memory=4419048 CPUtime=3600.16 cores=5,7
/proc/196307/stat : 196307 (java) S 196304 196307 195934 0 -1 4194304 119128 0 0 0 359699 317 0 0 20 0 21 0 236954349 19725520896 1104762 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
/proc/196307/statm: 4815801 1104762 5494 1 0 1239534 0
[pid=196307/tid=196309] ppid=196304 vsize=19263204 memory=-9032359819106624188 CPUtime=3560.36 cores=5,7
/proc/196307/task/196309/stat : 196309 (java) S 196304 196307 195934 0 -1 4194368 52598 0 0 0 355984 52 0 0 20 0 21 0 236954351 19725520896 1104762 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196318] ppid=196304 vsize=19263204 memory=-4421386500492387678 CPUtime=0 cores=5,7
/proc/196307/task/196318/stat : 196318 (Finalizer) S 196304 196307 195934 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236954356 19725520896 1104762 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196325] ppid=196304 vsize=19263204 memory=6900 CPUtime=0 cores=5,7
/proc/196307/task/196325/stat : 196325 (Common-Cleaner) S 196304 196307 195934 0 -1 4194368 1930 0 0 0 0 0 0 0 20 0 21 0 236954357 19725520896 1104762 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
[pid=196307/tid=196815] ppid=196304 vsize=19263204 memory=4418280 CPUtime=0.06 cores=5,7
/proc/196307/task/196815/stat : 196815 (Thread-0) R 196304 196307 195934 0 -1 4194368 302 0 0 0 6 0 0 0 20 0 21 0 237313241 19725520896 1104762 18446744073709551615 94337768472576 94337768476272 140729442029920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337768484088 94337768484880 94337797074944 140729442031999 140729442032100 140729442032100 140729442037704 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4419048 KiB

[startup+3589.12 s]*
/proc/loadavg: 4.32 4.33 4.28 5/284 196815
/proc/meminfo: memFree=118223328/131382112 swapFree=33010416/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): 3589.13
CPU time (s): 3600.27
CPU user time (s): 3597.08
CPU system time (s): 3.19049
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4419048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.08
system time used= 3.19049
maximum resident set size= 4419176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110700
involuntary context switches= 6382


# summary of solver processes directly reported to runsolver:
#   pid: 196307
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3597.08
#   total CPU system time (s): 3.19049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4566 second user time and 37.4229 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 21:32:26
IDJOB=4542003
IDBENCH=163705
IDSOLVER=3363
FILE ID=nodeC012/4542003-1753212746
RUNJOBID= nodeC012-1753209161-195952
SLURM_JOB_ID= 9687769
Free space on /tmp= 432924 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-22diag_spec_greater.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542003-1753212746/watcher-4542003-1753212746 -o /tmp/evaluation-result-4542003-1753212746/solver-4542003-1753212746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753209161-195952 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542003-1753212746.opb

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

MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1947704772

nodeC012 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		: 3585.124
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.39
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		: 3621.967
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121474172 kB
MemAvailable:   122247060 kB
Buffers:            2136 kB
Cached:          1538788 kB
SwapCached:           12 kB
Active:          8884820 kB
Inactive:         335208 kB
Active(anon):    7700564 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   330520 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:       7682188 kB
Mapped:           128552 kB
Shmem:             26140 kB
KReclaimable:     195096 kB
Slab:             287208 kB
SReclaimable:     195096 kB
SUnreclaim:        92112 kB
KernelStack:        4976 kB
PageTables:        18812 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9619956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7448576 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432808 MiB
End job on nodeC012 at 2025-07-22 22:32:16