Trace number 4446794

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 Default 2024-07-07? (TO) 3600.37 3581.89

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K172.opb
MD5SUM44b1adf4a7e5c26b78f2dbc134a2606f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark605.744
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20468
Total number of constraints20814
Number of constraints which are clauses20642
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint172
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 173
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.00/0.11	c version CUSTOM.v20240707
0.14/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.12	c java.vm.version	22.0.1+8-16
0.14/0.12	c java.vm.vendor	Oracle Corporation
0.14/0.12	c sun.arch.data.model	64
0.14/0.12	c java.version		22.0.1
0.14/0.12	c os.name		Linux
0.14/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.12	c os.arch		amd64
0.14/0.12	c Free memory 		2115194816
0.14/0.13	c Max memory 		16282288128
0.14/0.13	c Total memory 		2122317824
0.14/0.13	c Number of processors 	2
0.14/0.17	--- Begin Solver configuration ---
0.14/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.17	Learn all clauses as in MiniSAT
0.14/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.17	No reason simplification
0.14/0.17	Glucose 2.1 dynamic restart strategy
0.14/0.17	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.14/0.17	timeout=2147483s
0.14/0.17	DB Simplification allowed=false
0.14/0.17	Listener: none
0.14/0.17	--- End Solver configuration ---
0.14/0.18	c Pseudo Boolean Optimization by upper bound
0.14/0.18	c --- Begin Solver configuration ---
0.14/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.18	c Learn all clauses as in MiniSAT
0.14/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.18	c No reason simplification
0.14/0.18	c Glucose 2.1 dynamic restart strategy
0.14/0.18	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.14/0.18	c timeout=2147483s
0.14/0.18	c DB Simplification allowed=false
0.14/0.18	c Listener: none
0.14/0.18	c --- End Solver configuration ---
0.14/0.18	c solving HOME/instance-4446794-1721343526.opb
0.14/0.18	c reading problem ... 
0.14/0.18	c  no objective function found
0.88/0.60	c ... done. Wall clock time 0.419s.
0.88/0.61	c declared #vars     20468
0.88/0.61	c #constraints  20814
0.88/0.61	c constraints type 
0.88/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2223
0.88/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 172
0.88/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18417
0.88/0.61	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.88/0.61	c 20814 constraints processed.
3.59/2.39	c cleaning 2483 clauses out of 4994 with flag 23100/5001
5.66/3.93	c cleaning 4228 clauses out of 8507 with flag 54796/11001
8.54/6.11	c cleaning 5625 clauses out of 11276 with flag 96051/18000
11.21/8.16	c cleaning 6803 clauses out of 13649 with flag 142958/26000
13.40/10.38	c cleaning 7883 clauses out of 15842 with flag 191638/35000
15.89/12.85	c cleaning 8344 clauses out of 17956 with flag 245836/45000
18.78/15.79	c cleaning 8890 clauses out of 20610 with flag 301139/56000
22.16/19.06	c cleaning 9795 clauses out of 23718 with flag 359996/68000
25.84/22.73	c cleaning 10477 clauses out of 26919 with flag 425069/81000
30.11/27.01	c cleaning 11362 clauses out of 30441 with flag 497794/95000
34.23/31.01	c cleaning 12267 clauses out of 34080 with flag 573215/110001
38.71/35.47	c cleaning 13145 clauses out of 37811 with flag 655828/126000
43.87/40.59	c cleaning 13779 clauses out of 41668 with flag 742340/143002
49.69/46.27	c cleaning 14689 clauses out of 45886 with flag 836902/161000
55.77/52.39	c cleaning 15359 clauses out of 50196 with flag 934846/180000
62.58/59.06	c cleaning 16163 clauses out of 54835 with flag 1040169/200000
69.77/66.12	c cleaning 17089 clauses out of 59670 with flag 1152839/221000
77.35/73.68	c cleaning 17729 clauses out of 64582 with flag 1266420/243003
85.65/81.90	c cleaning 18691 clauses out of 69849 with flag 1391065/266000
94.13/90.30	c cleaning 19422 clauses out of 75157 with flag 1518019/290001
103.41/99.53	c cleaning 20314 clauses out of 80733 with flag 1650241/315000
113.00/109.03	c cleaning 21314 clauses out of 86418 with flag 1796078/341002
123.15/119.17	c cleaning 22257 clauses out of 92100 with flag 1940027/368000
134.23/130.12	c cleaning 23031 clauses out of 97844 with flag 2093802/396001
146.88/142.56	c cleaning 23470 clauses out of 103812 with flag 2253456/425000
158.76/154.32	c cleaning 24811 clauses out of 110341 with flag 2420234/455000
171.93/167.30	c cleaning 25437 clauses out of 116531 with flag 2598106/486001
185.82/181.03	c cleaning 26486 clauses out of 123091 with flag 2784365/518000
199.90/195.09	c cleaning 26989 clauses out of 129608 with flag 2968758/551004
215.09/210.16	c cleaning 28115 clauses out of 136614 with flag 3166132/585000
230.65/225.79	c cleaning 28784 clauses out of 143497 with flag 3374767/620003
247.73/242.67	c cleaning 29772 clauses out of 150705 with flag 3587482/656000
263.68/258.54	c cleaning 30423 clauses out of 157934 with flag 3798286/693001
282.89/277.34	c cleaning 31409 clauses out of 165509 with flag 4011142/731000
301.34/295.72	c cleaning 32097 clauses out of 173099 with flag 4236165/770001
320.51/314.99	c cleaning 33084 clauses out of 181001 with flag 4468903/810002
340.91/335.23	c cleaning 34080 clauses out of 188914 with flag 4718851/851000
363.01/357.18	c cleaning 34979 clauses out of 196832 with flag 4970791/893000
385.37/379.45	c cleaning 35932 clauses out of 204848 with flag 5230776/936000
408.50/402.58	c cleaning 36429 clauses out of 212913 with flag 5495453/980000
431.02/425.01	c cleaning 37988 clauses out of 221483 with flag 5754758/1025000
456.08/449.67	c cleaning 38718 clauses out of 229493 with flag 6033285/1071001
480.46/473.92	c cleaning 39766 clauses out of 237774 with flag 6316258/1118002
505.98/499.22	c cleaning 40616 clauses out of 246003 with flag 6604891/1166000
533.07/526.25	c cleaning 41683 clauses out of 254385 with flag 6904050/1215000
562.34/555.37	c cleaning 42298 clauses out of 262701 with flag 7213296/1265001
592.33/585.17	c cleaning 43102 clauses out of 271399 with flag 7531170/1316000
621.95/614.77	c cleaning 44305 clauses out of 280296 with flag 7856735/1368000
652.63/645.26	c cleaning 45279 clauses out of 288991 with flag 8183108/1421002
684.79/677.34	c cleaning 45971 clauses out of 297710 with flag 8528396/1475000
719.81/712.17	c cleaning 46637 clauses out of 306738 with flag 8882909/1530000
755.67/747.42	c cleaning 47797 clauses out of 316099 with flag 9237787/1586001
791.73/783.39	c cleaning 48769 clauses out of 325297 with flag 9598969/1643001
830.08/821.42	c cleaning 49543 clauses out of 334526 with flag 9960745/1701001
871.07/862.16	c cleaning 49986 clauses out of 343976 with flag 10343399/1760000
911.24/902.06	c cleaning 51387 clauses out of 353991 with flag 10736870/1820001
952.17/942.92	c cleaning 52208 clauses out of 363603 with flag 11144263/1881000
995.16/985.78	c cleaning 53171 clauses out of 373391 with flag 11543467/1943000
1039.87/1030.20	c cleaning 54132 clauses out of 383220 with flag 11959846/2006000
1085.86/1076.10	c cleaning 55215 clauses out of 393087 with flag 12395190/2070000
1134.41/1124.61	c cleaning 56131 clauses out of 402871 with flag 12825094/2135000
1183.62/1173.91	c cleaning 57155 clauses out of 412741 with flag 13266756/2201001
1235.40/1224.83	c cleaning 58261 clauses out of 422583 with flag 13724211/2268001
1288.23/1277.86	c cleaning 58853 clauses out of 432324 with flag 14192411/2336004
1338.79/1328.59	c cleaning 60099 clauses out of 442465 with flag 14652798/2405000
1396.82/1386.46	c cleaning 60747 clauses out of 452366 with flag 15144553/2475001
1455.11/1444.70	c cleaning 61982 clauses out of 462618 with flag 15649049/2546000
1514.23/1503.30	c cleaning 62744 clauses out of 472635 with flag 16165152/2618000
1574.03/1562.98	c cleaning 63499 clauses out of 482890 with flag 16670182/2691000
1636.75/1625.32	c cleaning 64835 clauses out of 493391 with flag 17197855/2765000
1702.07/1690.34	c cleaning 65669 clauses out of 503555 with flag 17749530/2840000
1764.61/1752.55	c cleaning 67112 clauses out of 513884 with flag 18275378/2916000
1831.74/1819.55	c cleaning 67392 clauses out of 523770 with flag 18830454/2993000
1902.36/1889.82	c cleaning 68583 clauses out of 534380 with flag 19387589/3071002
1971.92/1959.14	c cleaning 69489 clauses out of 544791 with flag 19937094/3150001
2047.46/2033.48	c cleaning 70589 clauses out of 555302 with flag 20515661/3230001
2123.41/2109.54	c cleaning 71629 clauses out of 565712 with flag 21099177/3311001
2203.36/2189.70	c cleaning 72295 clauses out of 576081 with flag 21738210/3393002
2282.68/2269.17	c cleaning 73615 clauses out of 586780 with flag 22338306/3476000
2364.58/2350.21	c cleaning 74359 clauses out of 597165 with flag 22960640/3560000
2445.81/2431.17	c cleaning 75575 clauses out of 607806 with flag 23580545/3645000
2529.91/2514.94	c cleaning 76494 clauses out of 618232 with flag 24232879/3731002
2617.90/2602.24	c cleaning 77266 clauses out of 628736 with flag 24887349/3818000
2705.59/2689.77	c cleaning 78264 clauses out of 639469 with flag 25556190/3906000
2793.04/2777.08	c cleaning 79402 clauses out of 650203 with flag 26234295/3995000
2890.08/2873.64	c cleaning 80443 clauses out of 660802 with flag 26947185/4085002
2989.01/2972.40	c cleaning 81155 clauses out of 671357 with flag 27657629/4176000
3087.12/3070.06	c cleaning 82394 clauses out of 682202 with flag 28361881/4268000
3190.00/3172.74	c cleaning 83032 clauses out of 692809 with flag 29070137/4361001
3295.32/3277.99	c cleaning 84126 clauses out of 703776 with flag 29790740/4455000
3396.37/3378.79	c cleaning 85926 clauses out of 714650 with flag 30530390/4550000
3506.70/3489.71	c cleaning 86272 clauses out of 724725 with flag 31286082/4646001
3600.05/3581.72	c timeout
3600.05/3581.72	c starts		: 27784
3600.05/3581.72	c conflicts		: 4730248
3600.05/3581.73	c decisions		: 178034643
3600.05/3581.73	c propagations		: 4634609210
3600.05/3581.73	c inspects		: 22082254129
3600.05/3581.73	c shortcuts		: 0
3600.05/3581.73	c learnt literals	: 154
3600.05/3581.73	c learnt binary clauses	: 266373
3600.05/3581.73	c learnt ternary clauses	: 231145
3600.05/3581.73	c learnt constraints	: 4730094
3600.05/3581.73	c ignored constraints	: 0
3600.05/3581.73	c root simplifications	: 0
3600.05/3581.73	c removed literals (reason simplification)	: 0
3600.05/3581.73	c reason swapping (by a shorter reason)	: 0
3600.05/3581.73	c Calls to reduceDB	: 92
3600.05/3581.73	c Number of update (reduction) of LBD	: 3309005
3600.05/3581.73	c Imported unit clauses	: 0
3600.05/3581.73	c No decision after first conflict	: false
3600.05/3581.73	c number of reductions to clauses (during analyze)	: 0
3600.05/3581.73	c number of learned constraints concerned by reduction	: 0
3600.05/3581.73	c number of learning phase by resolution	: 0
3600.05/3581.73	c number of learning phase by cutting planes	: 0
3600.05/3581.73	c number of rounding to 1 operations	: 0
3600.05/3581.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3581.73	c number of reductions of the coefficients by power 2 	: 0
3600.05/3581.73	c number of right shift for reduction by power 2 	: 0
3600.05/3581.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3581.73	c number of ending skipping 	: 0
3600.05/3581.73	c number of internal skipping 	: 0
3600.05/3581.73	c number of derivation steps 	: 0
3600.05/3581.73	c number of skipped derivation steps 	: 0
3600.05/3581.73	c number of remaining unassigned 	: 0
3600.05/3581.73	c number of remaining assigned 	: 0
3600.05/3581.73	c number of falsified literals weakened from reason	: 0
3600.05/3581.73	c number of falsified literals weakened from conflict	: 0
3600.05/3581.73	c time for arithmetic operations	: 0
3600.05/3581.73	c minimum degree of deleted constraints	: null
3600.05/3581.73	c maximum degree of deleted constraints	: null
3600.05/3581.73	c number of deleted constraints	: 0
3600.05/3581.73	c speed (assignments/second)	: 1294183.393570759
3600.05/3581.73	c non guided choices	: 54722
3600.25/3581.85	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 456327
3600.25/3581.85	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 266373
3600.25/3581.86	s UNKNOWN
3600.25/3581.86	c Total wall clock time (in seconds): 3581.68

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: 64096 MiB (54199 MiB free)
  memory of node 1: 64473 MiB (61635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446794-1721343526/watcher-4446794-1721343526 -o /tmp/evaluation-result-4446794-1721343526/solver-4446794-1721343526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973413 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446794-1721343526.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=976097, runsolver pid=976094

[startup+0.105114 s]*
/proc/loadavg: 4.58 4.27 4.19 11/318 976115
/proc/meminfo: memFree=118577968/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=18975048 memory=58660 CPUtime=0.14 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 6574 0 0 0 11 3 0 0 20 0 18 0 186508417 19430449152 14665 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4743762 14665 5674 1 0 550999 0
[pid=976097/tid=976099] ppid=976094 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 5562 0 0 0 7 2 0 0 20 0 18 0 186508417 19430449152 14665 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 14665 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=18975048 memory=15817798538627805 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 14665 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58660 KiB

[startup+0.21611 s]*
/proc/loadavg: 4.58 4.27 4.19 8/318 976115
/proc/meminfo: memFree=118565860/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=18975048 memory=68196 CPUtime=0.33 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 7294 0 0 0 30 3 0 0 20 0 18 0 186508417 19430449152 17049 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4743762 17049 5861 1 0 551575 0
[pid=976097/tid=976099] ppid=976094 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 5851 0 0 0 16 2 0 0 20 0 18 0 186508417 19430449152 17049 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=18975048 memory=3718 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 17049 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 17049 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68196 KiB

[startup+0.314106 s]*
/proc/loadavg: 4.58 4.27 4.19 7/318 976115
/proc/meminfo: memFree=118551280/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=18975048 memory=82472 CPUtime=0.5 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 8817 0 0 0 46 4 0 0 20 0 18 0 186508417 19430449152 20618 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4743762 20618 5861 1 0 552588 0
[pid=976097/tid=976099] ppid=976094 vsize=18975048 memory=-8886844952761639612 CPUtime=0.27 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 5857 0 0 0 24 3 0 0 20 0 18 0 186508417 19430449152 20618 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 20618 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186508423 19430449152 20618 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82472 KiB

[startup+0.700277 s]
/proc/loadavg: 4.58 4.27 4.19 7/318 976115
/proc/meminfo: memFree=118503392/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=171876 CPUtime=1.24 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 9234 0 0 0 118 6 0 0 20 0 20 0 186508417 19566772224 42969 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 42969 5877 1 0 553258 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=5476 CPUtime=0.57 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 5960 0 0 0 53 4 0 0 20 0 20 0 186508417 19566772224 42969 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 42969 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 42969 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171876 KiB

[startup+1.5011 s]
/proc/loadavg: 4.58 4.27 4.19 6/320 976117
/proc/meminfo: memFree=118450516/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=178876 CPUtime=2.58 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 12586 0 0 0 252 6 0 0 20 0 20 0 186508417 19566772224 44719 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 44719 5909 1 0 554805 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=12320 CPUtime=1.35 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 6128 0 0 0 131 4 0 0 20 0 20 0 186508417 19566772224 44719 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 44719 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 44719 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 44719 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178876 KiB

[startup+3.1061 s]
/proc/loadavg: 4.58 4.27 4.19 8/319 976185
/proc/meminfo: memFree=124355080/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=180220 CPUtime=4.85 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 16850 0 0 0 478 7 0 0 20 0 20 0 186508417 19566772224 45055 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 45055 5909 1 0 555046 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=0 CPUtime=2.93 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 7468 0 0 0 288 5 0 0 20 0 20 0 186508417 19566772224 45055 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 45055 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 45055 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 45055 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180220 KiB

[startup+6.30111 s]
/proc/loadavg: 4.62 4.28 4.20 6/320 976186
/proc/meminfo: memFree=124308352/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=182628 CPUtime=9.04 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 23171 0 0 0 895 9 0 0 20 0 20 0 186508417 19566772224 45657 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 45657 5925 1 0 556579 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=0 CPUtime=6.11 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 7810 0 0 0 606 5 0 0 20 0 20 0 186508417 19566772224 45657 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 45657 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 45657 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 45657 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 9.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182628 KiB

[startup+12.7004 s]
/proc/loadavg: 4.57 4.28 4.19 5/320 976186
/proc/meminfo: memFree=124304288/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=196348 CPUtime=15.79 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 28701 0 0 0 1567 12 0 0 20 0 20 0 186508417 19566772224 49087 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 49087 5941 1 0 558452 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=279669882888656 CPUtime=12.38 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 8126 0 0 0 1233 5 0 0 20 0 20 0 186508417 19566772224 49087 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 49087 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=196348 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 49087 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=180220 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 49087 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196348 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.26 4.19 5/320 976190
/proc/meminfo: memFree=124040748/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=268380 CPUtime=28.65 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 32534 0 0 0 2850 15 0 0 20 0 20 0 186508417 19566772224 67095 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 67095 5944 1 0 558452 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=0 CPUtime=25 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 9470 0 0 0 2495 5 0 0 20 0 20 0 186508417 19566772224 67095 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=208728 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 67095 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 67095 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=192652 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 67095 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 28.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 268380 KiB

[startup+51.1135 s]
/proc/loadavg: 4.42 4.27 4.19 5/320 976194
/proc/meminfo: memFree=123129200/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=498316 CPUtime=54.59 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 41079 0 0 0 5437 22 0 0 20 0 20 0 186508417 19566772224 124579 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 124579 5944 1 0 558452 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=12720 CPUtime=49.99 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 11583 0 0 0 4993 6 0 0 20 0 20 0 186508417 19566772224 124579 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=348432 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 124579 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=268316 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 124579 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0

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

[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.14 5/320 977398
/proc/meminfo: memFree=103229344/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=5521332 CPUtime=3239.83 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 234551 0 0 0 323676 307 0 0 20 0 20 0 186508417 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1380333 5959 1 0 1676236 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=45680 CPUtime=3186.84 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 89657 0 0 0 318649 35 0 0 20 0 20 0 186508417 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=-8886844952761639612 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=5521332 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2545 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=5521332 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3239.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5521332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/320 977408
/proc/meminfo: memFree=102490824/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=5521332 CPUtime=3299.71 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 235913 0 0 0 329662 309 0 0 20 0 20 0 186508417 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1380333 5959 1 0 1676236 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=12720 CPUtime=3246.67 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 91011 0 0 0 324632 35 0 0 20 0 20 0 186508417 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=5521332 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2545 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=-8549726999562469017 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1380333 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3299.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5521332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.14 6/320 977418
/proc/meminfo: memFree=101669176/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=5679028 CPUtime=3359.85 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 237942 0 0 0 335669 316 0 0 20 0 20 0 186508417 19566772224 1419757 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1419757 5959 1 0 1676236 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=12720 CPUtime=3306.24 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 92842 0 0 0 330589 35 0 0 20 0 20 0 186508417 19566772224 1419757 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=129 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1419757 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=5679028 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2545 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1419757 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=5679028 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1419757 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3359.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5679028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.86 4.34 4.21 5/319 977811
/proc/meminfo: memFree=101067392/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=5959608 CPUtime=3419.75 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 242599 0 0 0 341649 326 0 0 20 0 20 0 186508417 19566772224 1489902 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1489902 5959 1 0 1676236 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=5679028 CPUtime=3365.32 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 95496 0 0 0 336496 36 0 0 20 0 20 0 186508417 19566772224 1489902 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=5959608 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1489902 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=5959608 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2623 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1489902 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=5959608 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1489902 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3419.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5959608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.38 4.23 5/319 977822
/proc/meminfo: memFree=99938944/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=6170552 CPUtime=3479.54 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 247128 0 0 0 347621 333 0 0 20 0 20 0 186508417 19566772224 1542638 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1542638 5959 1 0 1676236 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=5679028 CPUtime=3424.42 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 98125 0 0 0 342406 36 0 0 20 0 20 0 186508417 19566772224 1542638 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1542638 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=6170552 CPUtime=0 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2699 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1542638 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=6170552 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1542638 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3479.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6170552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.34 4.22 5/319 977832
/proc/meminfo: memFree=99177292/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=6509776 CPUtime=3540.8 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 269776 0 0 0 353734 346 0 0 20 0 20 0 186508417 19566772224 1627444 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1627444 5959 1 0 2460680 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=45680 CPUtime=3483.76 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 108414 0 0 0 348336 40 0 0 20 0 20 0 186508417 19566772224 1627444 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=5959608 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1627444 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=6487248 CPUtime=0.01 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2819 0 0 0 0 1 0 0 20 0 20 0 186508423 19566772224 1627444 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=6474960 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1627444 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3540.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6509776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.7 s]
/proc/loadavg: 4.39 4.35 4.23 8/317 978213
/proc/meminfo: memFree=117877128/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19108176 memory=6755536 CPUtime=3600.05 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 272939 0 0 0 359651 354 0 0 20 0 20 0 186508417 19566772224 1688884 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4777044 1688884 5959 1 0 2460680 0
[pid=976097/tid=976099] ppid=976094 vsize=19108176 memory=12720 CPUtime=3542.96 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) R 976094 976097 973401 0 -1 4194368 111253 0 0 0 354251 45 0 0 20 0 20 0 186508417 19566772224 1688884 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19108176 memory=6741200 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508423 19566772224 1688884 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19108176 memory=5040 CPUtime=0.01 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2951 0 0 0 0 1 0 0 20 0 20 0 186508423 19566772224 1688884 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976117] ppid=976094 vsize=19108176 memory=16164 CPUtime=0 cores=1,3
/proc/976097/task/976117/stat : 976117 (Timer-0) S 976094 976097 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508479 19566772224 1688884 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6755536 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.8 s, system=3.56614 s

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

[startup+3581.81 s]
/proc/loadavg: 4.39 4.35 4.23 8/317 978213
/proc/meminfo: memFree=117877128/131655788 swapFree=131071996/131071996
[pid=976097] ppid=976094 vsize=19307868 memory=6764604 CPUtime=3600.25 cores=1,3
/proc/976097/stat : 976097 (java) S 976094 976097 973401 0 -1 1077936128 275981 0 0 0 359671 354 0 0 20 0 21 0 186508417 19771256832 1691151 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
/proc/976097/statm: 4826967 1691151 5958 1 0 2461618 0
[pid=976097/tid=976099] ppid=976094 vsize=19307868 memory=12320 CPUtime=3542.99 cores=1,3
/proc/976097/task/976099/stat : 976099 (java) S 976094 976097 973401 0 -1 1077936192 111598 0 0 0 354254 45 0 0 20 0 21 0 186508417 19771256832 1691151 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976108] ppid=976094 vsize=19307868 memory=5476 CPUtime=0 cores=1,3
/proc/976097/task/976108/stat : 976108 (Finalizer) S 976094 976097 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186508423 19771256832 1691151 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
[pid=976097/tid=976115] ppid=976094 vsize=19307868 memory=-8886844952761639612 CPUtime=0.01 cores=1,3
/proc/976097/task/976115/stat : 976115 (Common-Cleaner) S 976094 976097 973401 0 -1 1077936192 2951 0 0 0 0 1 0 0 20 0 21 0 186508423 19771256832 1691151 134679101440 93923239211008 93923239214704 140736152897456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93923239222520 93923239223312 93923240570880 140736152904710 140736152904800 140736152904800 140736152911816 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6764604 KiB

Child status: 143

Real time (s): 3581.89
CPU time (s): 3600.37
CPU user time (s): 3596.8
CPU system time (s): 3.56614
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6764604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.8
system time used= 3.56614
maximum resident set size= 6765808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109880
involuntary context switches= 12655


# summary of solver processes directly reported to runsolver:
#   pid: 976097
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3596.8
#   total CPU system time (s): 3.56614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3731 second user time and 32.9633 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 00:58:58
IDJOB=4446794
IDBENCH=158312
IDSOLVER=3058
FILE ID=nodeC004/4446794-1721343526
RUNJOBID= nodeC004-1721339958-973413
SLURM_JOB_ID= 7542718
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K172.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446794-1721343526/watcher-4446794-1721343526 -o /tmp/evaluation-result-4446794-1721343526/solver-4446794-1721343526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973413 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446794-1721343526.opb

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

MD5SUM BENCH= 44b1adf4a7e5c26b78f2dbc134a2606f
RANDOM SEED=870653055

nodeC004.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		: 3523.194
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	: 6984.29
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		: 3492.188
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.37
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.458
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	: 6984.29
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.308
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.37
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		: 3192.821
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	: 6984.29
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		: 3492.147
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.37
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		: 3192.822
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	: 6984.29
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		: 2793.718
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118615172 kB
MemAvailable:   123485388 kB
Buffers:          521616 kB
Cached:          5131088 kB
SwapCached:            0 kB
Active:          1067664 kB
Inactive:       11284836 kB
Active(anon):       3368 kB
Inactive(anon):  6734124 kB
Active(file):    1064296 kB
Inactive(file):  4550712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7176 kB
Writeback:            16 kB
AnonPages:       6699208 kB
Mapped:           126684 kB
Shmem:             37700 kB
KReclaimable:     190816 kB
Slab:             304800 kB
SReclaimable:     190816 kB
SUnreclaim:       113984 kB
KernelStack:        4876 kB
PageTables:        23144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   13501360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6377472 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:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC004 at 2024-07-19 01:58:40