Trace number 4447064

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) 3601.16 3572.63

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
MD5SUMa76247625d06f26dbfcd47fe69513f4b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 82
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version CUSTOM.v20240707
0.13/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.14	c java.vm.version	22.0.1+8-16
0.13/0.14	c java.vm.vendor	Oracle Corporation
0.13/0.14	c sun.arch.data.model	64
0.13/0.14	c java.version		22.0.1
0.13/0.14	c os.name		Linux
0.13/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.14	c os.arch		amd64
0.13/0.15	c Free memory 		2113181440
0.13/0.15	c Max memory 		16282288128
0.13/0.15	c Total memory 		2122317824
0.13/0.15	c Number of processors 	2
0.13/0.18	--- Begin Solver configuration ---
0.13/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.18	Learn all clauses as in MiniSAT
0.13/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.18	No reason simplification
0.13/0.18	Glucose 2.1 dynamic restart strategy
0.13/0.18	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.18	timeout=2147483s
0.13/0.18	DB Simplification allowed=false
0.13/0.18	Listener: none
0.13/0.18	--- End Solver configuration ---
0.13/0.19	c Pseudo Boolean Optimization by upper bound
0.13/0.19	c --- Begin Solver configuration ---
0.13/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.19	c Learn all clauses as in MiniSAT
0.13/0.19	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.19	c No reason simplification
0.13/0.19	c Glucose 2.1 dynamic restart strategy
0.13/0.19	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.19	c timeout=2147483s
0.13/0.19	c DB Simplification allowed=false
0.13/0.19	c Listener: none
0.13/0.19	c --- End Solver configuration ---
0.13/0.19	c solving HOME/instance-4447064-1721347108.opb
0.13/0.19	c reading problem ... 
0.13/0.19	c  no objective function found
0.70/0.46	c ... done. Wall clock time 0.267s.
0.70/0.46	c declared #vars     5508
0.70/0.46	c #constraints  5672
0.70/0.47	c constraints type 
0.70/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1040
0.70/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 81
0.70/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4549
0.70/0.47	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.70/0.47	c 5672 constraints processed.
2.37/1.46	c cleaning 2491 clauses out of 4992 with flag 28093/5001
3.46/2.06	c cleaning 4231 clauses out of 8493 with flag 66263/11000
4.22/2.68	c cleaning 5618 clauses out of 11260 with flag 114369/18000
5.03/3.40	c cleaning 6817 clauses out of 13640 with flag 173480/26001
6.38/4.63	c cleaning 7889 clauses out of 15821 with flag 237176/35002
8.07/6.13	c cleaning 8946 clauses out of 17934 with flag 307430/45005
9.45/7.24	c cleaning 9983 clauses out of 19981 with flag 377785/56000
10.65/8.48	c cleaning 10433 clauses out of 21997 with flag 452058/68000
12.13/9.87	c cleaning 11253 clauses out of 24566 with flag 528337/81002
13.65/11.34	c cleaning 11988 clauses out of 27311 with flag 611515/95002
15.36/13.06	c cleaning 13045 clauses out of 30327 with flag 711799/110006
17.40/15.08	c cleaning 13770 clauses out of 33276 with flag 814360/126001
19.47/17.09	c cleaning 14649 clauses out of 36507 with flag 923019/143002
21.98/19.43	c cleaning 15805 clauses out of 39855 with flag 1041613/161000
24.37/21.83	c cleaning 16520 clauses out of 43048 with flag 1170158/180000
26.98/24.49	c cleaning 17316 clauses out of 46528 with flag 1303336/200000
29.94/27.39	c cleaning 18386 clauses out of 50212 with flag 1446783/221000
33.24/30.56	c cleaning 19309 clauses out of 53826 with flag 1600945/243000
36.75/34.06	c cleaning 20115 clauses out of 57516 with flag 1757401/266000
40.50/37.77	c cleaning 21178 clauses out of 61403 with flag 1927786/290002
44.69/41.83	c cleaning 21706 clauses out of 65223 with flag 2110979/315000
48.59/45.76	c cleaning 23151 clauses out of 69517 with flag 2291136/341000
53.15/50.26	c cleaning 23813 clauses out of 73369 with flag 2484120/368003
58.14/55.18	c cleaning 24705 clauses out of 77553 with flag 2682218/396000
63.31/60.28	c cleaning 25893 clauses out of 81849 with flag 2901695/425001
69.19/66.06	c cleaning 26692 clauses out of 85955 with flag 3128705/455000
75.14/71.95	c cleaning 27767 clauses out of 90262 with flag 3368671/486000
81.80/78.53	c cleaning 28701 clauses out of 94494 with flag 3625703/518000
88.98/85.66	c cleaning 29561 clauses out of 98793 with flag 3889009/551000
97.82/94.17	c cleaning 30372 clauses out of 103232 with flag 4180817/585000
106.48/102.70	c cleaning 31782 clauses out of 107859 with flag 4478080/620000
114.82/111.01	c cleaning 32618 clauses out of 112074 with flag 4773107/656000
123.63/119.70	c cleaning 33668 clauses out of 116459 with flag 5084871/693004
132.90/128.99	c cleaning 34665 clauses out of 120789 with flag 5432482/731002
142.08/138.06	c cleaning 35754 clauses out of 125122 with flag 5763589/770001
153.25/149.11	c cleaning 36633 clauses out of 129367 with flag 6155506/810000
164.40/160.14	c cleaning 37869 clauses out of 133733 with flag 6555064/851000
175.57/171.28	c cleaning 38632 clauses out of 137862 with flag 6942770/893000
188.48/183.77	c cleaning 39711 clauses out of 142230 with flag 7346994/936000
201.23/196.45	c cleaning 40803 clauses out of 146520 with flag 7747525/980002
214.60/209.75	c cleaning 41616 clauses out of 150716 with flag 8191001/1025001
228.44/223.38	c cleaning 42756 clauses out of 155099 with flag 8669357/1071000
242.75/237.55	c cleaning 43919 clauses out of 159345 with flag 9126005/1118002
260.39/255.03	c cleaning 44786 clauses out of 163427 with flag 9776736/1166003
276.55/271.14	c cleaning 46160 clauses out of 167640 with flag 10348349/1215004
297.82/291.98	c cleaning 46746 clauses out of 171479 with flag 11001050/1265003
315.52/309.55	c cleaning 48410 clauses out of 175730 with flag 11612993/1316001
335.54/329.33	c cleaning 49200 clauses out of 179318 with flag 12276272/1368000
356.02/349.71	c cleaning 49773 clauses out of 183120 with flag 12965869/1421003
376.25/369.73	c cleaning 51206 clauses out of 187343 with flag 13572220/1475000
397.24/390.49	c cleaning 52018 clauses out of 191135 with flag 14198815/1530001
419.49/412.55	c cleaning 53209 clauses out of 195118 with flag 14846479/1586003
444.12/436.97	c cleaning 54182 clauses out of 198906 with flag 15658760/1643000
468.72/460.46	c cleaning 55525 clauses out of 202726 with flag 16488695/1701002
493.99/485.64	c cleaning 56310 clauses out of 206199 with flag 17221883/1760001
518.05/509.47	c cleaning 57029 clauses out of 209888 with flag 17862099/1820000
544.40/535.59	c cleaning 57937 clauses out of 213859 with flag 18538166/1881000
572.70/563.77	c cleaning 59033 clauses out of 217922 with flag 19348365/1943000
600.64/591.49	c cleaning 59815 clauses out of 221889 with flag 20064951/2006001
634.88/625.45	c cleaning 60869 clauses out of 226073 with flag 20999751/2070000
669.95/660.24	c cleaning 62556 clauses out of 230203 with flag 22119505/2135000
704.06/694.10	c cleaning 63347 clauses out of 233646 with flag 23150470/2201000
738.84/728.51	c cleaning 64413 clauses out of 237300 with flag 24269428/2268001
783.07/772.05	c cleaning 65918 clauses out of 240889 with flag 25785350/2336003
818.90/807.52	c cleaning 66699 clauses out of 243969 with flag 26804802/2405001
856.29/844.68	c cleaning 67605 clauses out of 247270 with flag 27743219/2475001
898.01/886.05	c cleaning 68555 clauses out of 250664 with flag 28962463/2546000
935.54/923.24	c cleaning 69739 clauses out of 254108 with flag 30016642/2618000
980.92/968.36	c cleaning 70771 clauses out of 257369 with flag 31358806/2691000
1022.10/1009.26	c cleaning 71707 clauses out of 260597 with flag 32531379/2765001
1068.07/1054.93	c cleaning 73099 clauses out of 263889 with flag 33979247/2840000
1108.36/1094.96	c cleaning 73488 clauses out of 266793 with flag 34999481/2916003
1151.33/1137.45	c cleaning 74747 clauses out of 270304 with flag 36095592/2993002
1201.40/1186.57	c cleaning 75913 clauses out of 273555 with flag 37447541/3071000
1247.80/1232.71	c cleaning 76694 clauses out of 276642 with flag 38649014/3150000
1293.25/1278.09	c cleaning 78112 clauses out of 279950 with flag 39900780/3230002
1345.75/1330.18	c cleaning 79058 clauses out of 282836 with flag 41397755/3311001
1395.90/1379.86	c cleaning 80182 clauses out of 285778 with flag 42639031/3393001
1445.77/1429.59	c cleaning 80249 clauses out of 288595 with flag 43888394/3476000
1495.13/1478.45	c cleaning 81579 clauses out of 292344 with flag 45052293/3560000
1552.42/1535.32	c cleaning 83192 clauses out of 295765 with flag 46428392/3645000
1608.71/1591.40	c cleaning 83774 clauses out of 298573 with flag 47652789/3731000
1664.81/1647.14	c cleaning 85095 clauses out of 301799 with flag 48919780/3818000
1734.97/1716.96	c cleaning 86005 clauses out of 304705 with flag 50603515/3906001
1794.86/1776.37	c cleaning 87199 clauses out of 307700 with flag 52047411/3995001
1856.53/1837.59	c cleaning 87912 clauses out of 310501 with flag 53355553/4085001
1915.38/1896.22	c cleaning 89420 clauses out of 313588 with flag 54593466/4176000
1980.08/1960.21	c cleaning 89938 clauses out of 316171 with flag 55969787/4268004
2042.12/2022.04	c cleaning 91143 clauses out of 319229 with flag 57354962/4361000
2113.33/2092.76	c cleaning 92228 clauses out of 322085 with flag 59022133/4455000
2181.01/2160.28	c cleaning 92858 clauses out of 324859 with flag 60570188/4550002
2257.10/2235.83	c cleaning 94336 clauses out of 327999 with flag 62328093/4646000
2333.20/2311.30	c cleaning 95315 clauses out of 330663 with flag 63978838/4743000
2403.22/2381.17	c cleaning 96371 clauses out of 333349 with flag 65478897/4841001
2478.29/2455.70	c cleaning 97142 clauses out of 335979 with flag 66912531/4940002
2559.25/2536.17	c cleaning 98161 clauses out of 338835 with flag 68581565/5040000
2652.05/2628.74	c cleaning 99262 clauses out of 341674 with flag 70479870/5141000
2743.48/2719.67	c cleaning 100260 clauses out of 344413 with flag 72330484/5243001
2830.88/2806.49	c cleaning 101082 clauses out of 347152 with flag 74121143/5346001
2917.54/2892.50	c cleaning 100599 clauses out of 350070 with flag 75945254/5450001
3005.16/2979.99	c cleaning 102006 clauses out of 354469 with flag 77587729/5555000
3091.11/3065.46	c cleaning 103045 clauses out of 358466 with flag 79235668/5661003
3182.31/3155.79	c cleaning 103975 clauses out of 362421 with flag 80782340/5768003
3276.69/3249.77	c cleaning 105257 clauses out of 366443 with flag 82505229/5876000
3371.18/3344.02	c cleaning 106099 clauses out of 370186 with flag 84191884/5985000
3471.97/3444.28	c cleaning 107485 clauses out of 374087 with flag 86035691/6095000
3581.44/3553.48	c cleaning 108350 clauses out of 377603 with flag 87928539/6206001
3600.76/3572.49	c timeout
3600.76/3572.49	c starts		: 54465
3600.97/3572.52	c conflicts		: 6243372
3600.97/3572.52	c decisions		: 72595476
3600.97/3572.52	c propagations		: 2169837733
3600.97/3572.52	c inspects		: 27775547614
3600.97/3572.52	c shortcuts		: 0
3600.97/3572.52	c learnt literals	: 71
3600.97/3572.52	c learnt binary clauses	: 93783
3600.97/3572.52	c learnt ternary clauses	: 100708
3600.97/3572.52	c learnt constraints	: 6243301
3600.97/3572.52	c ignored constraints	: 0
3600.97/3572.52	c root simplifications	: 0
3600.97/3572.52	c removed literals (reason simplification)	: 0
3600.97/3572.52	c reason swapping (by a shorter reason)	: 0
3600.97/3572.52	c Calls to reduceDB	: 107
3600.97/3572.52	c Number of update (reduction) of LBD	: 5886813
3600.97/3572.52	c Imported unit clauses	: 0
3600.97/3572.52	c No decision after first conflict	: false
3600.97/3572.52	c number of reductions to clauses (during analyze)	: 0
3600.97/3572.52	c number of learned constraints concerned by reduction	: 0
3600.97/3572.52	c number of learning phase by resolution	: 0
3600.97/3572.52	c number of learning phase by cutting planes	: 0
3600.97/3572.52	c number of rounding to 1 operations	: 0
3600.97/3572.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.97/3572.52	c number of reductions of the coefficients by power 2 	: 0
3600.97/3572.52	c number of right shift for reduction by power 2 	: 0
3600.97/3572.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.97/3572.52	c number of ending skipping 	: 0
3600.97/3572.52	c number of internal skipping 	: 0
3600.97/3572.52	c number of derivation steps 	: 0
3600.97/3572.52	c number of skipped derivation steps 	: 0
3600.97/3572.52	c number of remaining unassigned 	: 0
3600.97/3572.52	c number of remaining assigned 	: 0
3600.97/3572.52	c number of falsified literals weakened from reason	: 0
3600.97/3572.52	c number of falsified literals weakened from conflict	: 0
3600.97/3572.52	c time for arithmetic operations	: 0
3600.97/3572.52	c minimum degree of deleted constraints	: null
3600.97/3572.52	c maximum degree of deleted constraints	: null
3600.97/3572.53	c number of deleted constraints	: 0
3600.97/3572.53	c speed (assignments/second)	: 607448.3589689179
3600.97/3572.53	c non guided choices	: 673
3600.97/3572.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 212841
3600.97/3572.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 93783
3600.97/3572.59	s UNKNOWN
3600.97/3572.59	c Total wall clock time (in seconds): 3572.406

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447064-1721347108/watcher-4447064-1721347108 -o /tmp/evaluation-result-4447064-1721347108/solver-4447064-1721347108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973413 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447064-1721347108.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=978261, runsolver pid=978258

[startup+0.103138 s]*
/proc/loadavg: 4.39 4.35 4.23 7/315 978279
/proc/meminfo: memFree=124524492/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=18975048 memory=57364 CPUtime=0.13 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 6704 0 0 0 10 3 0 0 20 0 18 0 186866644 19430449152 14341 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4743762 14341 5777 1 0 551020 0
[pid=978261/tid=978263] ppid=978258 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 5534 0 0 0 6 2 0 0 20 0 18 0 186866645 19430449152 14341 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866650 19430449152 14341 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=18975048 memory=15817798538627805 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866651 19430449152 14341 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57364 KiB

[startup+0.216814 s]*
/proc/loadavg: 4.39 4.35 4.23 9/315 978279
/proc/meminfo: memFree=124500724/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=18975048 memory=68356 CPUtime=0.33 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 7401 0 0 0 30 3 0 0 20 0 18 0 186866644 19430449152 17089 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4743762 17089 5782 1 0 551575 0
[pid=978261/tid=978263] ppid=978258 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 5942 0 0 0 17 3 0 0 20 0 18 0 186866645 19430449152 17089 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=18975048 memory=3718 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866650 19430449152 17089 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866651 19430449152 17089 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68356 KiB

[startup+0.318509 s]*
/proc/loadavg: 4.39 4.35 4.23 8/315 978279
/proc/meminfo: memFree=124486888/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=18975048 memory=78164 CPUtime=0.52 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 7726 0 0 0 48 4 0 0 20 0 18 0 186866644 19430449152 19541 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4743762 19541 5851 1 0 551863 0
[pid=978261/tid=978263] ppid=978258 vsize=18975048 memory=-8599738268903580348 CPUtime=0.28 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 5965 0 0 0 25 3 0 0 20 0 18 0 186866645 19430449152 19541 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866650 19430449152 19541 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866651 19430449152 19541 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78164 KiB

[startup+0.704004 s]
/proc/loadavg: 4.39 4.35 4.23 7/316 978280
/proc/meminfo: memFree=124447284/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19041612 memory=111572 CPUtime=1.23 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 13969 0 0 0 117 6 0 0 20 0 19 0 186866644 19498610688 27893 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4760403 27893 5851 1 0 556273 0
[pid=978261/tid=978263] ppid=978258 vsize=19041612 memory=5476 CPUtime=0.56 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 6036 0 0 0 53 3 0 0 20 0 19 0 186866645 19498610688 27893 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19041612 memory=12320 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866650 19498610688 27893 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19041612 memory=281159968023208 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866651 19498610688 27893 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866691 19498610688 27893 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111572 KiB

[startup+1.50048 s]
/proc/loadavg: 4.39 4.35 4.23 7/316 978282
/proc/meminfo: memFree=124422540/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19041612 memory=123008 CPUtime=2.53 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 17612 0 0 0 247 6 0 0 20 0 19 0 186866644 19498610688 30752 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4760403 30752 5867 1 0 556350 0
[pid=978261/tid=978263] ppid=978258 vsize=19041612 memory=12320 CPUtime=1.33 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 6911 0 0 0 130 3 0 0 20 0 19 0 186866645 19498610688 30752 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866650 19498610688 30752 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866651 19498610688 30752 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19041612 memory=281159967876368 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866691 19498610688 30752 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123008 KiB

[startup+3.10648 s]
/proc/loadavg: 4.36 4.35 4.23 5/318 978284
/proc/meminfo: memFree=124322812/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19041612 memory=160624 CPUtime=4.74 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 22827 0 0 0 466 8 0 0 20 0 19 0 186866644 19498610688 40156 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4760403 40156 5867 1 0 557500 0
[pid=978261/tid=978263] ppid=978258 vsize=19041612 memory=0 CPUtime=2.92 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 7304 0 0 0 288 4 0 0 20 0 19 0 186866645 19498610688 40156 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19041612 memory=12320 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866650 19498610688 40156 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866651 19498610688 40156 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19041612 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866691 19498610688 40156 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160624 KiB

[startup+6.30049 s]
/proc/loadavg: 4.36 4.35 4.23 5/319 978285
/proc/meminfo: memFree=124295392/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=196160 CPUtime=8.42 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 23835 0 0 0 833 9 0 0 20 0 20 0 186866644 19566772224 49040 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 49040 5867 1 0 557790 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=12320 CPUtime=6.02 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 7349 0 0 0 598 4 0 0 20 0 20 0 186866645 19566772224 49040 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 49040 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 49040 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=129144 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 49040 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196160 KiB

[startup+12.7004 s]
/proc/loadavg: 4.41 4.36 4.24 5/319 978286
/proc/meminfo: memFree=124019368/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=250160 CPUtime=15.05 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 27126 0 0 0 1494 11 0 0 20 0 20 0 186866644 19566772224 62540 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 62540 5892 1 0 557790 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=0 CPUtime=12.32 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 8028 0 0 0 1228 4 0 0 20 0 20 0 186866645 19566772224 62540 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 62540 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=250160 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 62540 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 62540 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 15.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 250160 KiB

[startup+25.5005 s]
/proc/loadavg: 4.47 4.37 4.24 5/319 978288
/proc/meminfo: memFree=123304348/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=461212 CPUtime=28.15 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 32343 0 0 0 2798 17 0 0 20 0 20 0 186866644 19566772224 115303 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 115303 5892 1 0 557790 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=250160 CPUtime=24.63 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 9488 0 0 0 2459 4 0 0 20 0 20 0 186866645 19566772224 115303 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=-8599738268903580348 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 115303 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 115303 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 115303 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 28.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 461212 KiB

[startup+51.1132 s]
/proc/loadavg: 4.77 4.45 4.28 6/319 978293
/proc/meminfo: memFree=121678548/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=741872 CPUtime=54.06 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 35984 0 0 0 5380 26 0 0 20 0 20 0 186866644 19566772224 185468 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 185468 5892 1 0 557790 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=610796 CPUtime=49.75 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 11109 0 0 0 4970 5 0 0 20 0 20 0 186866645 19566772224 185468 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=45680 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 3.21 3.45 3.83 4/294 979612
/proc/meminfo: memFree=99549916/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185492 CPUtime=3309.61 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 304084 0 0 0 330558 403 0 0 20 0 20 0 186866644 19566772224 2296373 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296373 5892 1 0 2966983 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=9181396 CPUtime=3240.34 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 124248 0 0 0 323973 61 0 0 20 0 20 0 186866645 19566772224 2296373 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296373 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=9185492 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2466 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296373 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296373 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3309.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185492 KiB

[startup+3342.3 s]
/proc/loadavg: 3.23 3.41 3.79 4/293 979622
/proc/meminfo: memFree=98593056/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185516 CPUtime=3369.48 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 306183 0 0 0 336541 407 0 0 20 0 20 0 186866644 19566772224 2296379 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296379 5892 1 0 2966990 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=9023680 CPUtime=3300.15 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 126152 0 0 0 329954 61 0 0 20 0 20 0 186866645 19566772224 2296379 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=9185512 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296379 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=9185492 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2513 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296379 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=9185492 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296379 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3369.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185516 KiB

[startup+3402.3 s]
/proc/loadavg: 3.18 3.36 3.75 4/295 980019
/proc/meminfo: memFree=98279588/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185524 CPUtime=3429.63 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 312212 0 0 0 342552 411 0 0 20 0 20 0 186866644 19566772224 2296381 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296381 5892 1 0 2966991 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=9185492 CPUtime=3359.67 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 128810 0 0 0 335905 62 0 0 20 0 20 0 186866645 19566772224 2296381 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296381 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=9185524 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2559 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296381 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=9185524 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296381 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3429.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185524 KiB

[startup+3462.3 s]
/proc/loadavg: 3.25 3.34 3.72 4/295 980030
/proc/meminfo: memFree=97685636/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185528 CPUtime=3490.03 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 318619 0 0 0 348588 415 0 0 20 0 20 0 186866644 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296382 5892 1 0 2966991 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=9185492 CPUtime=3418.84 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 131666 0 0 0 341821 63 0 0 20 0 20 0 186866645 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=9185528 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2632 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3490.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185528 KiB

[startup+3522.3 s]
/proc/loadavg: 3.21 3.31 3.68 5/295 980040
/proc/meminfo: memFree=97172404/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185528 CPUtime=3550.4 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 322202 0 0 0 354621 419 0 0 20 0 20 0 186866644 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296382 5892 1 0 2966991 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=9185528 CPUtime=3478.16 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 134158 0 0 0 347753 63 0 0 20 0 20 0 186866645 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2651 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296382 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3550.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3572 s]*
/proc/loadavg: 3.11 3.27 3.65 3/269 980251
/proc/meminfo: memFree=107036288/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185548 CPUtime=3600.01 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 325776 0 0 0 359579 422 0 0 20 0 20 0 186866644 19566772224 2296387 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296387 5892 1 0 2966996 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=-8599738268903580348 CPUtime=3527.73 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) R 978258 978261 973401 0 -1 4194368 136262 0 0 0 352709 64 0 0 20 0 20 0 186866645 19566772224 2296387 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=9185540 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296387 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296387 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296387 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.89 s, system=4.26515 s

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

[startup+3572.4 s]
/proc/loadavg: 3.11 3.27 3.65 3/269 980251
/proc/meminfo: memFree=107036288/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19108176 memory=9185628 CPUtime=3600.76 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 327255 0 0 0 359654 422 0 0 20 0 20 0 186866644 19566772224 2296407 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4777044 2296407 5892 1 0 2966996 0
[pid=978261/tid=978263] ppid=978258 vsize=19108176 memory=0 CPUtime=3527.74 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) S 978258 978261 973401 0 -1 1077936192 136267 0 0 0 352710 64 0 0 20 0 20 0 186866645 19566772224 2296407 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866650 19566772224 2296407 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19108176 memory=-6098642880924841919 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 20 0 186866651 19566772224 2296407 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978280] ppid=978258 vsize=19108176 memory=5496 CPUtime=0 cores=1,3
/proc/978261/task/978280/stat : 978280 (Timer-0) S 978258 978261 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866691 19566772224 2296407 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9185628 KiB

[startup+3572.6 s]
/proc/loadavg: 3.11 3.27 3.65 3/269 980251
/proc/meminfo: memFree=107036288/131655788 swapFree=131071996/131071996
[pid=978261] ppid=978258 vsize=19307868 memory=9186308 CPUtime=3601.12 cores=1,3
/proc/978261/stat : 978261 (java) S 978258 978261 973401 0 -1 1077936128 330709 0 0 0 359689 423 0 0 20 0 17 0 186866644 19771256832 2296577 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
/proc/978261/statm: 4826967 2296577 5888 1 0 2967928 0
[pid=978261/tid=978263] ppid=978258 vsize=19307868 memory=19428 CPUtime=3527.76 cores=1,3
/proc/978261/task/978263/stat : 978263 (java) S 978258 978261 973401 0 -1 1077936192 136493 0 0 0 352712 64 0 0 20 0 17 0 186866645 19771256832 2296577 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978272] ppid=978258 vsize=19307868 memory=108 CPUtime=0 cores=1,3
/proc/978261/task/978272/stat : 978272 (Finalizer) S 978258 978261 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 17 0 186866650 19771256832 2296577 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
[pid=978261/tid=978279] ppid=978258 vsize=19307868 memory=1900 CPUtime=0 cores=1,3
/proc/978261/task/978279/stat : 978279 (Common-Cleaner) S 978258 978261 973401 0 -1 1077936192 2775 0 0 0 0 0 0 0 20 0 17 0 186866651 19771256832 2296577 134679101440 94485918076928 94485918080624 140731431104096 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94485918088440 94485918089232 94485939568640 140731431105542 140731431105632 140731431105632 140731431112648 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9186308 KiB

Child status: 143

Real time (s): 3572.63
CPU time (s): 3601.16
CPU user time (s): 3596.89
CPU system time (s): 4.26515
CPU usage (%): 100.798
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9186308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.89
system time used= 4.26515
maximum resident set size= 9187280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110858
involuntary context switches= 3839


# summary of solver processes directly reported to runsolver:
#   pid: 978261
#   total CPU time (s): 3601.16
#   total CPU user time (s): 3596.89
#   total CPU system time (s): 4.26515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3521 second user time and 39.3021 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 01:58:40
IDJOB=4447064
IDBENCH=158357
IDSOLVER=3058
FILE ID=nodeC004/4447064-1721347108
RUNJOBID= nodeC004-1721339958-973413
SLURM_JOB_ID= 7542718
Free space on /tmp= 723776 MiB

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

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

MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=2084491751

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		: 3492.147
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		: 3570.149
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		: 3331.432
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.314
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		: 3591.923
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		: 1915.821
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		: 1255.247
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		: 3492.148
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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:        124564728 kB
MemAvailable:   129450272 kB
Buffers:          525108 kB
Cached:          5142972 kB
SwapCached:            0 kB
Active:          1067804 kB
Inactive:        5346756 kB
Active(anon):       3344 kB
Inactive(anon):   780828 kB
Active(file):    1064460 kB
Inactive(file):  4565928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5460 kB
Writeback:             0 kB
AnonPages:        746104 kB
Mapped:           126668 kB
Shmem:             37700 kB
KReclaimable:     190708 kB
Slab:             304648 kB
SReclaimable:     190708 kB
SUnreclaim:       113940 kB
KernelStack:        4800 kB
PageTables:        11584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7416748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58816 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 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= 723780 MiB
End job on nodeC004 at 2024-07-19 02:58:13