Trace number 4459951

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.4 3543.58

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUMbbe42e431fa916f0c875d08138d9aced
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-163
Best CPU time to get the best result obtained on this benchmark3588.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.14/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.15	c See www.sat4j.org for details.
0.14/0.17	c version CUSTOM.v20240707
0.14/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.19	c java.vm.version	22.0.1+8-16
0.14/0.19	c java.vm.vendor	Oracle Corporation
0.14/0.19	c sun.arch.data.model	64
0.14/0.19	c java.version		22.0.1
0.14/0.19	c os.name		Linux
0.14/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.19	c os.arch		amd64
0.14/0.20	c Free memory 		2113181440
0.14/0.21	c Max memory 		16282288128
0.14/0.21	c Total memory 		2122317824
0.14/0.21	c Number of processors 	2
0.33/0.29	--- Begin Solver configuration ---
0.33/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.29	Learn all clauses as in MiniSAT
0.33/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.29	No reason simplification
0.33/0.29	Glucose 2.1 dynamic restart strategy
0.33/0.29	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.33/0.29	timeout=2147483s
0.33/0.29	DB Simplification allowed=false
0.33/0.29	Listener: none
0.33/0.29	--- End Solver configuration ---
0.33/0.29	c Pseudo Boolean Optimization by upper bound
0.33/0.29	c --- Begin Solver configuration ---
0.33/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.29	c Learn all clauses as in MiniSAT
0.33/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.29	c No reason simplification
0.33/0.29	c Glucose 2.1 dynamic restart strategy
0.33/0.29	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.33/0.29	c timeout=2147483s
0.33/0.29	c DB Simplification allowed=false
0.33/0.29	c Listener: none
0.33/0.29	c --- End Solver configuration ---
0.33/0.29	c solving HOME/instance-4459951-1721943209.opb
0.33/0.29	c reading problem ... 
0.33/0.30	c  objective function found
2.07/1.24	c ... done. Wall clock time 0.945s.
2.07/1.24	c declared #vars     2000
2.07/1.24	c internal #vars     33592
2.07/1.24	c #constraints  66186
2.07/1.24	c constraints type 
2.07/1.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1000
2.07/1.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2002
2.07/1.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31592
2.07/1.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 31592
2.07/1.24	c 66186 constraints processed.
2.07/1.26	c objective function length is 1000 literals
17.80/14.86	c cleaning 2495 clauses out of 5000 with flag 257642/5000
31.21/27.64	c cleaning 4253 clauses out of 8505 with flag 295853/11000
46.63/42.71	c cleaning 5626 clauses out of 11252 with flag 326571/18000
64.26/59.93	c cleaning 6813 clauses out of 13626 with flag 352436/26000
83.46/78.93	c cleaning 7907 clauses out of 15814 with flag 380379/35001
91.36/86.80	c SATISFIABLE
91.36/86.80	c OPTIMIZING...
91.36/86.80	c Got one! Elapsed wall clock time (in seconds):86.503
91.36/86.80	o -71
96.56/91.75	c cleaning 6924 clauses out of 13847 with flag 163241/40941
108.98/104.16	c cleaning 6453 clauses out of 12924 with flag 194704/46942
123.93/118.99	c cleaning 6735 clauses out of 13470 with flag 226095/53941
140.88/135.66	c cleaning 7365 clauses out of 14736 with flag 259504/61942
159.57/154.39	c cleaning 8183 clauses out of 16371 with flag 298093/70942
180.38/174.90	c cleaning 9092 clauses out of 18188 with flag 341011/80942
203.11/197.53	c cleaning 10041 clauses out of 20095 with flag 391199/91941
228.55/222.68	c cleaning 11023 clauses out of 22054 with flag 448613/103941
255.19/249.08	c cleaning 12013 clauses out of 24031 with flag 509528/116941
283.15/276.71	c cleaning 13007 clauses out of 26018 with flag 572716/130941
314.14/307.14	c cleaning 13998 clauses out of 28012 with flag 643911/145942
347.53/339.09	c cleaning 15003 clauses out of 30014 with flag 720716/161942
381.64/372.72	c cleaning 16003 clauses out of 32011 with flag 801644/178942
390.42/381.60	c Got one! Elapsed wall clock time (in seconds):381.304
390.42/381.60	o -76
393.47/384.28	c cleaning 10929 clauses out of 21857 with flag 112205/184791
406.78/397.44	c cleaning 8458 clauses out of 16928 with flag 135825/190791
421.91/412.46	c cleaning 7731 clauses out of 15470 with flag 158356/197791
439.35/429.60	c cleaning 7865 clauses out of 15739 with flag 184031/205791
458.23/448.57	c cleaning 8431 clauses out of 16875 with flag 210450/214792
475.70/466.00	c cleaning 9221 clauses out of 18443 with flag 237589/224791
498.12/488.32	c cleaning 10111 clauses out of 20222 with flag 264726/235791
524.09/513.63	c cleaning 11055 clauses out of 22111 with flag 293691/247791
550.77/540.14	c cleaning 12027 clauses out of 24056 with flag 325089/260791
578.79/568.05	c cleaning 13014 clauses out of 26029 with flag 358950/274791
611.99/599.30	c cleaning 14001 clauses out of 28016 with flag 395408/289792
645.23/632.43	c cleaning 15007 clauses out of 30015 with flag 434040/305792
680.72/667.53	c cleaning 16000 clauses out of 32008 with flag 475099/322792
713.76/700.13	c cleaning 17004 clauses out of 34008 with flag 517634/340792
736.86/723.05	c cleaning 18000 clauses out of 36004 with flag 558323/359792
761.09/746.87	c cleaning 19002 clauses out of 38004 with flag 601081/379792
788.15/771.80	c cleaning 20001 clauses out of 40002 with flag 645992/400792
814.37/797.57	c cleaning 20999 clauses out of 42001 with flag 693053/422792
841.00/823.76	c cleaning 22000 clauses out of 44002 with flag 742256/445792
869.84/852.19	c cleaning 22993 clauses out of 46001 with flag 800267/469791
899.52/881.28	c cleaning 24001 clauses out of 48008 with flag 860726/494791
947.56/928.86	c cleaning 24999 clauses out of 50008 with flag 929849/520792
1006.77/985.59	c cleaning 26004 clauses out of 52009 with flag 1003763/547792
1064.14/1042.55	c cleaning 27003 clauses out of 54005 with flag 1080410/575792
1125.29/1103.13	c cleaning 27995 clauses out of 56001 with flag 1159906/604791
1187.73/1164.96	c cleaning 28999 clauses out of 58006 with flag 1241950/634791
1251.60/1228.15	c cleaning 30004 clauses out of 60007 with flag 1326643/665791
1319.63/1295.54	c cleaning 31002 clauses out of 62004 with flag 1414690/697792
1391.19/1364.43	c cleaning 31999 clauses out of 64002 with flag 1505144/730792
1461.71/1434.30	c cleaning 33001 clauses out of 66002 with flag 1597860/764791
1533.74/1505.66	c cleaning 34000 clauses out of 68001 with flag 1691900/799791
1607.33/1578.31	c cleaning 34997 clauses out of 70001 with flag 1790029/835791
1689.81/1660.43	c cleaning 36000 clauses out of 72004 with flag 1911947/872791
1774.61/1743.03	c cleaning 37002 clauses out of 74005 with flag 2037235/910792
1857.75/1825.55	c cleaning 37992 clauses out of 76003 with flag 2165913/949792
1944.77/1911.72	c cleaning 39001 clauses out of 78010 with flag 2298303/989791
2032.13/1998.35	c cleaning 39998 clauses out of 80010 with flag 2433453/1030792
2125.43/2088.71	c cleaning 41003 clauses out of 82012 with flag 2554087/1072792
2213.78/2176.33	c cleaning 42004 clauses out of 84009 with flag 2671884/1115792
2230.89/2193.36	c Got one! Elapsed wall clock time (in seconds):2193.063
2230.89/2193.36	o -80
2241.46/2203.82	c cleaning 27776 clauses out of 55561 with flag 116287/1129348
2253.62/2215.84	c cleaning 16888 clauses out of 33784 with flag 141964/1135347
2268.91/2231.14	c cleaning 11946 clauses out of 23896 with flag 172222/1142347
2287.70/2249.70	c cleaning 9970 clauses out of 19950 with flag 205959/1150347
2306.69/2268.64	c cleaning 9486 clauses out of 18980 with flag 243623/1159347
2328.30/2290.02	c cleaning 9741 clauses out of 19495 with flag 286050/1169348
2351.84/2313.46	c cleaning 10377 clauses out of 20753 with flag 331858/1180347
2377.73/2339.16	c cleaning 11187 clauses out of 22376 with flag 381684/1192347
2406.04/2367.47	c cleaning 12090 clauses out of 24190 with flag 441621/1205348
2436.06/2397.28	c cleaning 13049 clauses out of 26100 with flag 511699/1219348
2465.94/2426.90	c cleaning 14025 clauses out of 28050 with flag 581563/1234347
2487.41/2446.84	c cleaning 15013 clauses out of 30025 with flag 641358/1250347
2508.10/2467.34	c cleaning 16000 clauses out of 32012 with flag 704098/1267347
2529.88/2488.78	c cleaning 17006 clauses out of 34012 with flag 772310/1285347
2552.95/2511.31	c cleaning 17997 clauses out of 36007 with flag 841782/1304348
2577.74/2535.72	c cleaning 19003 clauses out of 38010 with flag 915963/1324348
2603.10/2560.77	c cleaning 20000 clauses out of 40007 with flag 994711/1345348
2629.20/2586.57	c cleaning 20999 clauses out of 42007 with flag 1075368/1367348
2675.90/2632.86	c cleaning 22004 clauses out of 44007 with flag 1180506/1390347
2727.43/2683.83	c cleaning 23000 clauses out of 46003 with flag 1293405/1414347
2782.34/2736.66	c cleaning 23999 clauses out of 48003 with flag 1409139/1439347
2837.06/2790.92	c cleaning 25001 clauses out of 50004 with flag 1530869/1465347
2892.98/2846.22	c cleaning 25995 clauses out of 52004 with flag 1655307/1492348
2950.14/2902.80	c cleaning 27004 clauses out of 54009 with flag 1782304/1520348
3008.45/2960.66	c cleaning 27999 clauses out of 56005 with flag 1915485/1549348
3068.41/3019.89	c cleaning 29002 clauses out of 58005 with flag 2050045/1579347
3138.68/3087.79	c cleaning 30002 clauses out of 60003 with flag 2153923/1610347
3206.10/3154.50	c cleaning 30999 clauses out of 62001 with flag 2262176/1642347
3276.92/3224.79	c cleaning 32000 clauses out of 64002 with flag 2373941/1675347
3354.20/3301.26	c cleaning 32998 clauses out of 66002 with flag 2490510/1709347
3430.75/3377.24	c cleaning 33999 clauses out of 68004 with flag 2605937/1744347
3513.42/3457.35	c cleaning 35001 clauses out of 70005 with flag 2726007/1780347
3596.87/3540.20	c cleaning 36000 clauses out of 72005 with flag 2849659/1817348
3600.08/3543.42	c starts		: 199
3600.08/3543.45	c conflicts		: 1819000
3600.08/3543.45	c decisions		: 2870527
3600.08/3543.45	c propagations		: 3543571782
3600.08/3543.45	c inspects		: 41348224844
3600.08/3543.45	c shortcuts		: 0
3600.08/3543.45	c learnt literals	: 0
3600.08/3543.45	c learnt binary clauses	: 81
3600.08/3543.45	c learnt ternary clauses	: 2795
3600.08/3543.45	c learnt constraints	: 1819000
3600.08/3543.45	c ignored constraints	: 0
3600.08/3543.45	c root simplifications	: 0
3600.08/3543.45	c removed literals (reason simplification)	: 0
3600.08/3543.45	c reason swapping (by a shorter reason)	: 0
3600.08/3543.45	c Calls to reduceDB	: 90
3600.08/3543.45	c Number of update (reduction) of LBD	: 1807
3600.08/3543.45	c Imported unit clauses	: 0
3600.08/3543.45	c No decision after first conflict	: false
3600.08/3543.45	c number of reductions to clauses (during analyze)	: 0
3600.08/3543.46	c number of learned constraints concerned by reduction	: 0
3600.08/3543.46	c number of learning phase by resolution	: 0
3600.08/3543.46	c number of learning phase by cutting planes	: 0
3600.08/3543.46	c number of rounding to 1 operations	: 0
3600.08/3543.46	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3543.46	c number of reductions of the coefficients by power 2 	: 0
3600.08/3543.46	c number of right shift for reduction by power 2 	: 0
3600.08/3543.46	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3543.46	c number of ending skipping 	: 0
3600.08/3543.46	c number of internal skipping 	: 0
3600.08/3543.46	c number of derivation steps 	: 0
3600.08/3543.46	c number of skipped derivation steps 	: 0
3600.08/3543.46	c number of remaining unassigned 	: 0
3600.08/3543.46	c number of remaining assigned 	: 0
3600.08/3543.46	c number of falsified literals weakened from reason	: 0
3600.08/3543.46	c number of falsified literals weakened from conflict	: 0
3600.08/3543.46	c time for arithmetic operations	: 0
3600.08/3543.47	c minimum degree of deleted constraints	: null
3600.08/3543.47	c maximum degree of deleted constraints	: null
3600.08/3543.47	c number of deleted constraints	: 0
3600.08/3543.47	c speed (assignments/second)	: 1000385.573848613
3600.08/3543.49	c non guided choices	: 0
3600.28/3543.54	c timeout
3600.28/3543.54	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.28/3543.54		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.28/3543.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.28/3543.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.28/3543.54		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.28/3543.54		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.28/3543.54		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.28/3543.54		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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: 64059 MiB (62016 MiB free)
  memory of node 1: 64510 MiB (62194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459951-1721943209/watcher-4459951-1721943209 -o /tmp/evaluation-result-4459951-1721943209/solver-4459951-1721943209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298711 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459951-1721943209.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10007 s]*
/proc/loadavg: 4.20 4.20 4.22 7/315 301580
/proc/meminfo: memFree=127158208/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=18993908 memory=56520 CPUtime=0.14 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 6529 0 0 0 11 3 0 0 20 0 18 0 30310308 19449761792 14130 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4748477 14130 5794 1 0 550831 0
[pid=301562/tid=301564] ppid=301559 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) S 301559 301562 298698 0 -1 1077936192 5456 0 0 0 7 3 0 0 20 0 18 0 30310308 19449761792 14130 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30310314 19449761792 14130 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=18993908 memory=3618136736603318475 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30310315 19449761792 14130 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56520 KiB

[startup+0.220343 s]*
/proc/loadavg: 4.20 4.20 4.22 6/315 301580
/proc/meminfo: memFree=127150496/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=18993908 memory=63652 CPUtime=0.33 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 7250 0 0 0 29 4 0 0 20 0 18 0 30310308 19449761792 15913 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4748477 15913 5817 1 0 551410 0
[pid=301562/tid=301564] ppid=301559 vsize=18993908 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 5793 0 0 0 17 3 0 0 20 0 18 0 30310308 19449761792 15913 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=18993908 memory=1967857 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30310314 19449761792 15913 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30310315 19449761792 15913 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 63652 KiB

[startup+0.312289 s]*
/proc/loadavg: 4.20 4.20 4.22 7/315 301580
/proc/meminfo: memFree=127147440/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=18993908 memory=67500 CPUtime=0.48 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 7502 0 0 0 44 4 0 0 20 0 18 0 30310308 19449761792 16875 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4748477 16875 6009 1 0 551581 0
[pid=301562/tid=301564] ppid=301559 vsize=18993908 memory=-8527677406513373884 CPUtime=0.29 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 5933 0 0 0 26 3 0 0 20 0 18 0 30310308 19449761792 16875 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30310314 19449761792 16875 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30310315 19449761792 16875 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67500 KiB

[startup+0.701185 s]
/proc/loadavg: 4.20 4.20 4.22 7/315 301580
/proc/meminfo: memFree=127133948/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=18993908 memory=120192 CPUtime=1.2 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 9480 0 0 0 114 6 0 0 20 0 18 0 30310308 19449761792 30048 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4748477 30048 6113 1 0 552311 0
[pid=301562/tid=301564] ppid=301559 vsize=18993908 memory=5640 CPUtime=0.64 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 6025 0 0 0 60 4 0 0 20 0 18 0 30310308 19449761792 30048 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=18993908 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30310314 19449761792 30048 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=18993908 memory=4965 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30310315 19449761792 30048 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 120192 KiB

[startup+1.50118 s]
/proc/loadavg: 4.20 4.20 4.22 6/316 301581
/proc/meminfo: memFree=127019644/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=290200 CPUtime=2.66 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 19085 0 0 0 255 11 0 0 20 0 20 0 30310308 19586084864 72550 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 72550 6183 1 0 1356481 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=4965 CPUtime=1.23 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 6216 0 0 0 116 7 0 0 20 0 20 0 30310308 19586084864 72550 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 72550 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 72550 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 290200 KiB

[startup+3.10619 s]
/proc/loadavg: 4.26 4.22 4.22 5/317 301582
/proc/meminfo: memFree=126916728/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=297652 CPUtime=5.52 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 20429 0 0 0 541 11 0 0 20 0 20 0 30310308 19586084864 74413 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 74413 6215 1 0 1356891 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=12240 CPUtime=2.81 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 6231 0 0 0 274 7 0 0 20 0 20 0 30310308 19586084864 74413 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 74413 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=292576 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 74413 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=6657 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 74413 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 297652 KiB

[startup+6.30118 s]
/proc/loadavg: 4.26 4.22 4.22 5/317 301583
/proc/meminfo: memFree=126917568/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=298828 CPUtime=8.85 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 20793 0 0 0 873 12 0 0 20 0 20 0 30310308 19586084864 74707 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 74707 6215 1 0 1356893 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=0 CPUtime=5.97 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 6366 0 0 0 590 7 0 0 20 0 20 0 30310308 19586084864 74707 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 74707 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 74707 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=290464 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 74707 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 298828 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.21 4.22 5/317 301583
/proc/meminfo: memFree=126874376/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=346024 CPUtime=15.26 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 21835 0 0 0 1512 14 0 0 20 0 20 0 30310308 19586084864 86506 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 86506 6215 1 0 1356893 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=12240 CPUtime=12.35 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 6716 0 0 0 1227 8 0 0 20 0 20 0 30310308 19586084864 86506 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=290464 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 86506 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=335784 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 86506 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=299700 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 86506 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 346024 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.20 4.21 5/317 301586
/proc/meminfo: memFree=126619300/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=594848 CPUtime=29.08 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 31642 0 0 0 2887 21 0 0 20 0 20 0 30310308 19586084864 148712 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 148712 6215 1 0 1356934 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=432592 CPUtime=24.87 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 8649 0 0 0 2477 10 0 0 20 0 20 0 30310308 19586084864 148712 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 148712 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 148712 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=-8527677406513373884 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 148712 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 29.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 594848 KiB

[startup+51.1132 s]
/proc/loadavg: 4.19 4.20 4.21 5/317 301589
/proc/meminfo: memFree=126421236/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=792384 CPUtime=55.47 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 39623 0 0 0 5520 27 0 0 20 0 20 0 30310308 19586084864 198096 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 198096 6231 1 0 1357096 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=0 CPUtime=50.12 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 10276 0 0 0 5002 10 0 0 20 0 20 0 30310308 19586084864 198096 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=1940 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 198096 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=595024 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 198096 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=594992 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 198096 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0

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

[startup+3222.3 s]
/proc/loadavg: 4.76 4.43 4.32 5/316 303778
/proc/meminfo: memFree=121305876/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3274.52 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 321923 0 0 0 327123 329 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1267552 6271 1 0 1312831 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5037428 CPUtime=3174.04 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 114278 0 0 0 317351 53 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1216 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5070208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.39 4.31 5/317 303957
/proc/meminfo: memFree=121058444/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3335.08 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 322266 0 0 0 333175 333 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1267552 6271 1 0 1312831 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3233.2 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 114499 0 0 0 323267 53 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=72956 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1216 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3335.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5070208 KiB

[startup+3342.3 s]
/proc/loadavg: 3.89 4.25 4.27 4/291 304002
/proc/meminfo: memFree=121492936/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3395.66 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 322557 0 0 0 339229 337 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1267552 6271 1 0 1312831 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3292.37 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 114717 0 0 0 329182 55 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1216 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=72956 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3395.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5070208 KiB

[startup+3402.3 s]
/proc/loadavg: 3.39 4.04 4.19 4/292 304069
/proc/meminfo: memFree=121428820/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3455.94 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 322779 0 0 0 345253 341 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1267552 6271 1 0 1312831 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3351.81 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 114902 0 0 0 335126 55 0 0 20 0 20 0 30310308 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1216 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1267552 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3455.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5070208 KiB

[startup+3462.3 s]
/proc/loadavg: 2.71 3.74 4.08 3/265 304112
/proc/meminfo: memFree=121393116/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5383420 CPUtime=3518.37 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 339896 0 0 0 351482 355 0 0 20 0 20 0 30310308 19586084864 1345855 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1345855 6271 1 0 1578057 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5070208 CPUtime=3410.5 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 117371 0 0 0 340988 62 0 0 20 0 20 0 30310308 19586084864 1345855 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1345855 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1345855 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=5383420 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1345855 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3518.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5383420 KiB

[startup+3522.3 s]
/proc/loadavg: 2.30 3.43 3.95 3/265 304124
/proc/meminfo: memFree=121116832/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5416200 CPUtime=3578.69 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 340318 0 0 0 357509 360 0 0 20 0 20 0 30310308 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1354050 6271 1 0 1578057 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=5383420 CPUtime=3469.66 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 117555 0 0 0 346902 64 0 0 20 0 20 0 30310308 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=5070208 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5416200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3543.4 s]
/proc/loadavg: 2.28 3.35 3.91 3/265 304128
/proc/meminfo: memFree=121116712/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19127036 memory=5416200 CPUtime=3600.08 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 340406 0 0 0 359646 362 0 0 20 0 20 0 30310308 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4781759 1354050 6271 1 0 1578057 0
[pid=301562/tid=301564] ppid=301559 vsize=19127036 memory=72956 CPUtime=3490.39 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 117557 0 0 0 348975 64 0 0 20 0 20 0 30310308 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19127036 memory=-8527677406513373884 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30310314 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19127036 memory=2172 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 20 0 30310315 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301582] ppid=301559 vsize=19127036 memory=3168 CPUtime=0 cores=5,7
/proc/301562/task/301582/stat : 301582 (Timer-0) S 301559 301562 298698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30310434 19586084864 1354050 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5416200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.73 s, system=3.66615 s

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

[startup+3543.51 s]
/proc/loadavg: 2.28 3.35 3.91 3/265 304128
/proc/meminfo: memFree=121116712/131655788 swapFree=131060868/131071996
[pid=301562] ppid=301559 vsize=19326728 memory=5416916 CPUtime=3600.28 cores=5,7
/proc/301562/stat : 301562 (java) S 301559 301562 298698 0 -1 1077936128 342132 0 0 0 359666 362 0 0 20 0 21 0 30310308 19790569472 1354229 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
/proc/301562/statm: 4831682 1354229 6270 1 0 1578997 0
[pid=301562/tid=301564] ppid=301559 vsize=19326728 memory=5070208 CPUtime=3490.49 cores=5,7
/proc/301562/task/301564/stat : 301564 (java) R 301559 301562 298698 0 -1 4194368 117643 0 0 0 348985 64 0 0 20 0 21 0 30310308 19790569472 1354229 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301573] ppid=301559 vsize=19326728 memory=12240 CPUtime=0 cores=5,7
/proc/301562/task/301573/stat : 301573 (Finalizer) S 301559 301562 298698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30310314 19790569472 1354229 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
[pid=301562/tid=301580] ppid=301559 vsize=19326728 memory=72956 CPUtime=0 cores=5,7
/proc/301562/task/301580/stat : 301580 (Common-Cleaner) S 301559 301562 298698 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 21 0 30310315 19790569472 1354229 134679101440 94328100483072 94328100486768 140729308153072 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94328100494584 94328100495376 94328116543488 140729308161034 140729308161124 140729308161124 140729308168136 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 5416916 KiB

Child status: 143

Real time (s): 3543.58
CPU time (s): 3600.4
CPU user time (s): 3596.73
CPU system time (s): 3.66615
CPU usage (%): 101.603
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 5497600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.73
system time used= 3.66615
maximum resident set size= 5497600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117088
involuntary context switches= 7168


# summary of solver processes directly reported to runsolver:
#   pid: 301562
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3596.73
#   total CPU system time (s): 3.66615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3201 second user time and 35.3236 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 23:33:29
IDJOB=4459951
IDBENCH=148687
IDSOLVER=3058
FILE ID=nodeC005/4459951-1721943209
RUNJOBID= nodeC005-1721939462-298711
SLURM_JOB_ID= 8247259
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459951-1721943209/watcher-4459951-1721943209 -o /tmp/evaluation-result-4459951-1721943209/solver-4459951-1721943209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721939462-298711 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459951-1721943209.opb

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

MD5SUM BENCH= bbe42e431fa916f0c875d08138d9aced
RANDOM SEED=411268120

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3519.239
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 3652.144
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.307
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.128
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3523.467
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.132
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.130
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.117
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127193004 kB
MemAvailable:   129180660 kB
Buffers:          329372 kB
Cached:          2475208 kB
SwapCached:          320 kB
Active:          1734132 kB
Inactive:        2155068 kB
Active(anon):       1612 kB
Inactive(anon):  1136004 kB
Active(file):    1732520 kB
Inactive(file):  1019064 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060868 kB
Dirty:              1720 kB
Writeback:             4 kB
AnonPages:       1084512 kB
Mapped:           119304 kB
Shmem:             52956 kB
KReclaimable:     152204 kB
Slab:             260284 kB
SReclaimable:     152204 kB
SUnreclaim:       108080 kB
KernelStack:        4800 kB
PageTables:        12676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7319576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:    804864 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-26 00:32:33