Trace number 4507596

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.23 3591.54

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
MD5SUM85449da570d8e9c3bf031cd447953d83
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 benchmark6.73265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6528
Total number of constraints6722
Number of constraints which are clauses6626
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint96
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 97
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.08/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.21	c See www.sat4j.org for details.
0.08/0.22	c version PB25.v20250606
0.08/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.08/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.08/0.23	c java.vm.version	22.0.1+8-16
0.08/0.23	c java.vm.vendor	Oracle Corporation
0.08/0.23	c sun.arch.data.model	64
0.08/0.23	c java.version		22.0.1
0.08/0.23	c os.name		Linux
0.08/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.08/0.23	c os.arch		amd64
0.08/0.23	c Free memory 		2104792832
0.08/0.23	c Max memory 		16282288128
0.08/0.23	c Total memory 		2113929216
0.08/0.23	c Number of processors 	2
0.08/0.27	c Pseudo Boolean Optimization by upper bound
0.08/0.27	c --- Begin Solver configuration ---
0.08/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.08/0.27	c Learn all clauses as in MiniSAT
0.08/0.27	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.27	c Expensive reason simplification
0.08/0.27	c Glucose 2.1 dynamic restart strategy
0.08/0.27	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.27	c timeout=2147483s
0.08/0.27	c DB Simplification allowed=false
0.08/0.27	c Listener: none
0.08/0.27	c --- End Solver configuration ---
0.08/0.27	c solving HOME/instance-4507596-1751193887.opb
0.08/0.27	c reading problem ... 
0.08/0.27	c  no objective function found
0.43/0.42	c ... done. Wall clock time 0.144s.
0.43/0.42	c declared #vars     6528
0.43/0.42	c #constraints  6722
0.43/0.42	c constraints type 
0.43/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1235
0.43/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 96
0.43/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5389
0.43/0.42	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.43/0.42	c 6722 constraints processed.
2.52/1.68	c cleaning 2484 clauses out of 4991 with flag 23114/5000
3.87/2.79	c cleaning 4250 clauses out of 8507 with flag 57322/11001
5.29/3.89	c cleaning 5566 clauses out of 11246 with flag 102915/18000
6.81/5.39	c cleaning 6819 clauses out of 13675 with flag 158830/26000
8.41/6.90	c cleaning 7892 clauses out of 15857 with flag 215829/35002
10.01/8.60	c cleaning 8947 clauses out of 17958 with flag 277149/45000
11.91/10.46	c cleaning 9701 clauses out of 20009 with flag 339661/56001
14.10/12.63	c cleaning 10152 clauses out of 22302 with flag 407171/68000
16.62/15.13	c cleaning 10988 clauses out of 25148 with flag 481313/81001
19.12/17.67	c cleaning 11943 clauses out of 28153 with flag 559106/95000
22.01/20.58	c cleaning 12873 clauses out of 31212 with flag 645824/110003
25.30/23.88	c cleaning 13724 clauses out of 34337 with flag 737427/126007
29.07/27.53	c cleaning 14601 clauses out of 37609 with flag 837586/143003
32.79/31.21	c cleaning 15449 clauses out of 40998 with flag 943969/161000
37.04/35.46	c cleaning 16349 clauses out of 44549 with flag 1058923/180001
41.43/39.81	c cleaning 17100 clauses out of 48197 with flag 1182451/200000
45.92/44.37	c cleaning 18037 clauses out of 52096 with flag 1309235/221000
50.97/49.39	c cleaning 18819 clauses out of 56057 with flag 1444636/243000
56.26/54.61	c cleaning 19686 clauses out of 60237 with flag 1586457/266001
61.99/60.32	c cleaning 20539 clauses out of 64548 with flag 1740118/290001
67.78/66.19	c cleaning 21808 clauses out of 69007 with flag 1905227/315001
74.22/72.56	c cleaning 22632 clauses out of 73197 with flag 2075974/341000
80.95/79.26	c cleaning 23138 clauses out of 77564 with flag 2254634/368000
87.84/86.14	c cleaning 24493 clauses out of 82424 with flag 2441497/396000
95.57/93.81	c cleaning 25054 clauses out of 86930 with flag 2627378/425002
103.61/101.82	c cleaning 25859 clauses out of 91873 with flag 2830535/455000
111.80/110.05	c cleaning 27227 clauses out of 97011 with flag 3044949/486002
120.63/118.88	c cleaning 27967 clauses out of 101785 with flag 3269559/518003
130.08/128.28	c cleaning 28861 clauses out of 106817 with flag 3487205/551003
140.19/138.34	c cleaning 29741 clauses out of 111952 with flag 3726224/585001
150.23/148.37	c cleaning 30493 clauses out of 117210 with flag 3975307/620000
160.71/158.86	c cleaning 31617 clauses out of 122717 with flag 4233862/656000
172.24/170.40	c cleaning 32253 clauses out of 128101 with flag 4503028/693001
184.36/182.23	c cleaning 33410 clauses out of 133847 with flag 4782462/731000
196.68/194.51	c cleaning 34657 clauses out of 139437 with flag 5072443/770000
209.83/207.63	c cleaning 35296 clauses out of 144781 with flag 5377454/810001
223.20/221.07	c cleaning 36209 clauses out of 150482 with flag 5681776/851000
237.34/235.12	c cleaning 37321 clauses out of 156270 with flag 6007070/893000
252.37/250.11	c cleaning 38160 clauses out of 161948 with flag 6333594/936000
268.42/266.12	c cleaning 39158 clauses out of 167788 with flag 6679799/980000
284.96/282.61	c cleaning 40411 clauses out of 173636 with flag 7039182/1025006
302.30/300.05	c cleaning 41352 clauses out of 179219 with flag 7407385/1071000
320.72/318.46	c cleaning 42240 clauses out of 184867 with flag 7780038/1118000
339.57/337.21	c cleaning 42991 clauses out of 190628 with flag 8190933/1166001
359.73/357.08	c cleaning 44231 clauses out of 196637 with flag 8605687/1215002
379.98/377.36	c cleaning 45022 clauses out of 202403 with flag 9040094/1265000
400.75/398.09	c cleaning 46099 clauses out of 208380 with flag 9475481/1316001
423.00/420.34	c cleaning 47149 clauses out of 214280 with flag 9928491/1368000
446.17/443.45	c cleaning 48139 clauses out of 220131 with flag 10406060/1421000
470.42/467.74	c cleaning 49372 clauses out of 225991 with flag 10914912/1475000
495.92/493.12	c cleaning 49932 clauses out of 231619 with flag 11404713/1530000
522.24/519.32	c cleaning 50995 clauses out of 237689 with flag 11926576/1586002
548.88/546.07	c cleaning 51981 clauses out of 243694 with flag 12457650/1643002
577.48/574.53	c cleaning 53496 clauses out of 249713 with flag 13015473/1701002
606.18/602.88	c cleaning 54465 clauses out of 255216 with flag 13542002/1760002
636.35/632.94	c cleaning 55396 clauses out of 260747 with flag 14120767/1820000
668.18/664.80	c cleaning 56588 clauses out of 266352 with flag 14730618/1881001
700.29/696.84	c cleaning 57690 clauses out of 271764 with flag 15347139/1943001
734.91/731.56	c cleaning 58806 clauses out of 277076 with flag 16015336/2006004
768.71/765.23	c cleaning 59697 clauses out of 282266 with flag 16638670/2070000
804.61/801.09	c cleaning 60804 clauses out of 287569 with flag 17301558/2135000
841.26/837.60	c cleaning 61840 clauses out of 292764 with flag 17976516/2201000
881.42/877.72	c cleaning 62843 clauses out of 297923 with flag 18707895/2268000
921.63/917.59	c cleaning 63843 clauses out of 303081 with flag 19446022/2336003
963.82/959.70	c cleaning 64656 clauses out of 308235 with flag 20180976/2405001
1006.80/1002.63	c cleaning 65817 clauses out of 313578 with flag 20925999/2475000
1050.60/1046.32	c cleaning 66900 clauses out of 318761 with flag 21693953/2546000
1094.11/1089.74	c cleaning 68185 clauses out of 323861 with flag 22452373/2618000
1137.92/1133.67	c cleaning 69019 clauses out of 328676 with flag 23221192/2691000
1186.55/1182.23	c cleaning 69948 clauses out of 333657 with flag 24058243/2765000
1234.40/1230.02	c cleaning 71183 clauses out of 338708 with flag 24882760/2840000
1283.26/1278.83	c cleaning 71957 clauses out of 343525 with flag 25719448/2916000
1335.17/1330.74	c cleaning 73233 clauses out of 348568 with flag 26585066/2993001
1389.21/1384.76	c cleaning 74172 clauses out of 353341 with flag 27469693/3071007
1444.03/1439.03	c cleaning 75095 clauses out of 358166 with flag 28352877/3150004
1502.60/1497.53	c cleaning 76039 clauses out of 363067 with flag 29296727/3230000
1565.17/1560.09	c cleaning 77312 clauses out of 368028 with flag 30417965/3311000
1629.43/1624.28	c cleaning 78793 clauses out of 372716 with flag 31652179/3393001
1685.40/1680.11	c cleaning 79494 clauses out of 376924 with flag 32590404/3476003
1746.18/1740.72	c cleaning 80912 clauses out of 381427 with flag 33580946/3560000
1811.84/1806.39	c cleaning 81537 clauses out of 385515 with flag 34649873/3645001
1880.56/1875.01	c cleaning 82723 clauses out of 389977 with flag 35837336/3731000
1955.43/1949.71	c cleaning 83894 clauses out of 394254 with flag 37277819/3818000
2024.20/2017.96	c cleaning 85298 clauses out of 398362 with flag 38432414/3906002
2090.03/2083.77	c cleaning 85824 clauses out of 402062 with flag 39447560/3995000
2162.74/2156.26	c cleaning 86789 clauses out of 406239 with flag 40615108/4085002
2235.68/2229.16	c cleaning 87505 clauses out of 410449 with flag 41678573/4176001
2313.17/2306.40	c cleaning 89152 clauses out of 414943 with flag 42903669/4268000
2387.19/2380.47	c cleaning 89843 clauses out of 418794 with flag 44059290/4361003
2464.16/2457.21	c cleaning 90712 clauses out of 422949 with flag 45219805/4455001
2546.76/2539.86	c cleaning 91894 clauses out of 427236 with flag 46527096/4550000
2628.04/2620.94	c cleaning 93007 clauses out of 431342 with flag 47855283/4646001
2709.64/2702.52	c cleaning 94628 clauses out of 435335 with flag 49119840/4743001
2797.39/2790.15	c cleaning 94881 clauses out of 438705 with flag 50376968/4841000
2880.53/2872.75	c cleaning 96025 clauses out of 442826 with flag 51554878/4940002
2964.66/2956.84	c cleaning 97044 clauses out of 446799 with flag 52782647/5040000
3050.31/3042.35	c cleaning 98147 clauses out of 450755 with flag 54023603/5141000
3137.01/3128.80	c cleaning 99225 clauses out of 454608 with flag 55234016/5243000
3229.62/3221.41	c cleaning 100023 clauses out of 458383 with flag 56627530/5346000
3321.38/3313.06	c cleaning 101159 clauses out of 462361 with flag 57995218/5450001
3414.42/3405.93	c cleaning 102393 clauses out of 466202 with flag 59421248/5555001
3514.00/3505.57	c cleaning 103275 clauses out of 469810 with flag 60788512/5661002
3600.04/3591.41	c timeout
3600.04/3591.41	c starts		: 53210
3600.04/3591.42	c conflicts		: 5753827
3600.04/3591.42	c decisions		: 84783065
3600.04/3591.42	c propagations		: 2188166352
3600.04/3591.42	c inspects		: 27398790875
3600.04/3591.42	c shortcuts		: 0
3600.04/3591.42	c learnt literals	: 119
3600.04/3591.42	c learnt binary clauses	: 130855
3600.04/3591.42	c learnt ternary clauses	: 151599
3600.04/3591.42	c learnt constraints	: 5753708
3600.04/3591.42	c ignored constraints	: 0
3600.04/3591.42	c root simplifications	: 0
3600.04/3591.42	c removed literals (reason simplification)	: 145860267
3600.04/3591.42	c reason swapping (by a shorter reason)	: 0
3600.04/3591.42	c Calls to reduceDB	: 102
3600.04/3591.42	c Number of update (reduction) of LBD	: 5067382
3600.04/3591.42	c Imported unit clauses	: 0
3600.04/3591.42	c No decision after first conflict	: false
3600.04/3591.42	c number of reductions to clauses (during analyze)	: 0
3600.04/3591.42	c number of learned constraints concerned by reduction	: 0
3600.04/3591.42	c number of learning phase by resolution	: 0
3600.04/3591.42	c number of learning phase by cutting planes	: 0
3600.04/3591.42	c number of rounding to 1 operations	: 0
3600.04/3591.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3591.42	c number of reductions of the coefficients by power 2 	: 0
3600.04/3591.42	c number of right shift for reduction by power 2 	: 0
3600.04/3591.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3591.42	c number of ending skipping 	: 0
3600.04/3591.42	c number of internal skipping 	: 0
3600.04/3591.42	c number of derivation steps 	: 0
3600.04/3591.42	c number of skipped derivation steps 	: 0
3600.04/3591.42	c number of remaining unassigned 	: 0
3600.04/3591.42	c number of remaining assigned 	: 0
3600.04/3591.42	c number of falsified literals weakened from reason	: 0
3600.04/3591.42	c number of falsified literals weakened from conflict	: 0
3600.04/3591.42	c time for arithmetic operations	: 0
3600.04/3591.43	c minimum degree of deleted constraints	: null
3600.04/3591.43	c maximum degree of deleted constraints	: null
3600.04/3591.43	c number of deleted constraints	: 0
3600.04/3591.43	c speed (assignments/second)	: 609348.3731802392
3600.04/3591.43	c non guided choices	: 5953
3600.20/3591.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 328505
3600.20/3591.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 130855
3600.20/3591.51	s UNKNOWN
3600.20/3591.51	c Total wall clock time (in seconds): 3591.235

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507596-1751193887/watcher-4507596-1751193887 -o /tmp/evaluation-result-4507596-1751193887/solver-4507596-1751193887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24633 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4507596-1751193887.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=24679, runsolver pid=24673

[startup+0.100058 s]*
/proc/loadavg: 0.94 1.40 2.51 5/292 24719
/proc/meminfo: memFree=127270476/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18130736 memory=19908 CPUtime=0.01 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 1671 0 155 0 0 1 0 0 20 0 7 0 35063207 18565873664 4977 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4532684 4977 3104 1 0 540973 0
[pid=24679/tid=24694] ppid=24673 vsize=18130736 memory=4026532124 CPUtime=0 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 1118 0 77 0 0 0 0 0 20 0 7 0 35063213 18565873664 4977 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16784588 0 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 19908 KiB

[startup+0.20561 s]*
/proc/loadavg: 0.94 1.40 2.51 8/336 24763
/proc/meminfo: memFree=127220540/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18930384 memory=48988 CPUtime=0.08 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 5858 0 416 0 5 3 0 0 20 0 18 0 35063207 19384713216 12247 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4732596 12247 5209 1 0 547195 0
[pid=24679/tid=24694] ppid=24673 vsize=18930384 memory=3472328132922704156 CPUtime=0.05 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 4694 0 299 0 3 2 0 0 20 0 18 0 35063213 19384713216 12247 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=18930384 memory=13929 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 18 0 35063223 19384713216 12247 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=18930384 memory=56286469424100 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35063224 19384713216 12247 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48988 KiB

[startup+0.305853 s]*
/proc/loadavg: 0.94 1.40 2.51 13/336 24763
/proc/meminfo: memFree=127191996/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18930384 memory=61288 CPUtime=0.24 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 6787 0 421 0 21 3 0 0 20 0 18 0 35063207 19384713216 15322 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4732596 15322 5337 1 0 547885 0
[pid=24679/tid=24694] ppid=24673 vsize=18930384 memory=-6000919485557794925 CPUtime=0.13 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 5086 0 301 0 11 2 0 0 20 0 18 0 35063213 19384713216 15322 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=18930384 memory=-6623551218854093991 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 18 0 35063223 19384713216 15322 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35063224 19384713216 15322 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61288 KiB

[startup+0.700234 s]
/proc/loadavg: 0.94 1.40 2.51 9/340 24767
/proc/meminfo: memFree=127073584/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18996948 memory=114460 CPUtime=1.01 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 14770 0 421 0 95 6 0 0 20 0 19 0 35063207 19452874752 28615 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4749237 28615 5337 1 0 553622 0
[pid=24679/tid=24694] ppid=24673 vsize=18996948 memory=17152 CPUtime=0.47 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 5166 0 301 0 44 3 0 0 20 0 19 0 35063213 19452874752 28615 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 19 0 35063223 19452874752 28615 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=18996948 memory=5760 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35063224 19452874752 28615 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=18996948 memory=4252 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35063251 19452874752 28615 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114460 KiB

[startup+1.50021 s]
/proc/loadavg: 0.94 1.40 2.51 9/340 24767
/proc/meminfo: memFree=127031636/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18996948 memory=125608 CPUtime=2.34 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 16381 0 421 0 227 7 0 0 20 0 19 0 35063207 19452874752 31402 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4749237 31402 5369 1 0 553627 0
[pid=24679/tid=24694] ppid=24673 vsize=18996948 memory=0 CPUtime=1.25 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 5281 0 301 0 122 3 0 0 20 0 19 0 35063213 19452874752 31402 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 19 0 35063223 19452874752 31402 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=18996948 memory=5760 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35063224 19452874752 31402 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=18996948 memory=4252 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35063251 19452874752 31402 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125608 KiB

[startup+3.10548 s]
/proc/loadavg: 0.94 1.40 2.51 5/340 24767
/proc/meminfo: memFree=126925076/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=18996948 memory=142324 CPUtime=4.55 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 23610 0 421 0 447 8 0 0 20 0 19 0 35063207 19452874752 35581 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4749237 35581 5369 1 0 554101 0
[pid=24679/tid=24694] ppid=24673 vsize=18996948 memory=0 CPUtime=2.84 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 6540 0 301 0 280 4 0 0 20 0 19 0 35063213 19452874752 35581 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 19 0 35063223 19452874752 35581 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=18996948 memory=-6000919494147729517 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35063224 19452874752 35581 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35063251 19452874752 35581 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 4.55 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142324 KiB

[startup+6.30021 s]
/proc/loadavg: 1.18 1.44 2.52 5/340 24767
/proc/meminfo: memFree=126826616/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=180588 CPUtime=7.81 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 25382 0 426 0 772 9 0 0 20 0 20 0 35063207 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 45147 5433 1 0 554390 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 6671 0 301 0 597 4 0 0 20 0 20 0 35063213 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=8514701219781572766 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=156660 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180588 KiB

[startup+12.7002 s]
/proc/loadavg: 1.41 1.48 2.53 5/344 24771
/proc/meminfo: memFree=126670756/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=180588 CPUtime=14.2 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 26550 0 426 0 1411 9 0 0 20 0 20 0 35063207 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 45147 5433 1 0 554390 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=0 CPUtime=12.4 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 7598 0 301 0 1235 5 0 0 20 0 20 0 35063213 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=120199 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 45147 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180588 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 1.62 2.56 5/344 24771
/proc/meminfo: memFree=126560180/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=260776 CPUtime=27.08 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 31343 0 426 0 2697 11 0 0 20 0 20 0 35063207 19521036288 65194 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 65194 5433 1 0 554406 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=120199 CPUtime=25.09 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 8311 0 301 0 2504 5 0 0 20 0 20 0 35063213 19521036288 65194 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 65194 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=180588 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 65194 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=3024 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 65194 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 260776 KiB

[startup+51.1058 s]
/proc/loadavg: 2.72 1.82 2.60 4/321 24848
/proc/meminfo: memFree=126482784/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=400084 CPUtime=52.77 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 32818 0 426 0 5262 15 0 0 20 0 20 0 35063207 19521036288 100021 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 100021 5433 1 0 554406 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=400084 CPUtime=50.5 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 8861 0 301 0 5045 5 0 0 20 0 20 0 35063213 19521036288 100021 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=400084 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 100021 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=332468 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 100021 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=332468 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 100021 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 52.77 s

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.08 5/341 25397
/proc/meminfo: memFree=117025688/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5084820 CPUtime=3290.53 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 127803 0 426 0 328854 199 0 0 20 0 20 0 35063207 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271205 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=5084820 CPUtime=3261.9 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 57907 0 301 0 326146 44 0 0 20 0 20 0 35063213 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=5084820 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1162 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3290.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5084820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/340 25399
/proc/meminfo: memFree=117028248/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5084820 CPUtime=3350.74 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 129770 0 426 0 334873 201 0 0 20 0 20 0 35063207 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271205 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=14720 CPUtime=3321.34 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 59019 0 301 0 332089 45 0 0 20 0 20 0 35063213 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=5084820 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1162 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3350.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5084820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.44 4.25 4.13 5/339 25401
/proc/meminfo: memFree=117028148/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5084820 CPUtime=3410.62 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 131104 0 426 0 340859 203 0 0 20 0 20 0 35063207 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271205 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=14720 CPUtime=3381.19 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 60258 0 301 0 338073 46 0 0 20 0 20 0 35063213 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=5084820 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271205 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3410.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5084820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.13 5/339 25403
/proc/meminfo: memFree=117028052/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5086876 CPUtime=3470.9 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 132506 0 426 0 346883 207 0 0 20 0 20 0 35063207 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271719 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=14720 CPUtime=3440.62 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 60646 0 301 0 344015 47 0 0 20 0 20 0 35063213 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3470.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5086876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/340 25406
/proc/meminfo: memFree=117027956/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5086876 CPUtime=3530.88 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 134898 0 426 0 352879 209 0 0 20 0 20 0 35063207 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271719 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=14720 CPUtime=3500.31 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 62152 0 301 0 349983 48 0 0 20 0 20 0 35063213 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=5084820 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3530.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5086876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/340 25411
/proc/meminfo: memFree=116991200/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5086876 CPUtime=3590.96 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 136394 0 426 0 358885 211 0 0 20 0 20 0 35063207 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271719 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=14720 CPUtime=3559.94 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 63430 0 301 0 355945 49 0 0 20 0 20 0 35063213 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=24881577 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1218 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3590.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5086876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.4 s]
/proc/loadavg: 4.15 4.19 4.12 5/340 25411
/proc/meminfo: memFree=116991200/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19063512 memory=5086876 CPUtime=3600.04 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 136434 0 426 0 359793 211 0 0 20 0 20 0 35063207 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4765878 1271719 5465 1 0 1648271 0
[pid=24679/tid=24694] ppid=24673 vsize=19063512 memory=7595714853439629160 CPUtime=3569.02 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) R 24673 24679 24622 0 -1 4194368 63460 0 301 0 356853 49 0 0 20 0 20 0 35063213 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 20 0 35063223 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19063512 memory=17152 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1218 0 0 0 0 0 0 0 20 0 20 0 35063224 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24767] ppid=24673 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/24679/task/24767/stat : 24767 (Timer-0) S 24673 24679 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35063251 19521036288 1271719 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5086876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.09 s, system=2.13803 s

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

[startup+3591.5 s]
/proc/loadavg: 4.15 4.19 4.12 5/340 25411
/proc/meminfo: memFree=116991200/131249992 swapFree=33010672/33010684
[pid=24679] ppid=24673 vsize=19263204 memory=5087772 CPUtime=3600.2 cores=4,6
/proc/24679/stat : 24679 (java) S 24673 24679 24622 0 -1 4194304 138589 0 426 0 359808 212 0 0 20 0 21 0 35063207 19725520896 1271943 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
/proc/24679/statm: 4815801 1271943 5465 1 0 1649255 0
[pid=24679/tid=24694] ppid=24673 vsize=19263204 memory=14720 CPUtime=3569.03 cores=4,6
/proc/24679/task/24694/stat : 24694 (java) S 24673 24679 24622 0 -1 4194368 63619 0 301 0 356854 49 0 0 20 0 21 0 35063213 19725520896 1271943 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24734] ppid=24673 vsize=19263204 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24734/stat : 24734 (Finalizer) S 24673 24679 24622 0 -1 4194368 25 0 1 0 0 0 0 0 20 0 21 0 35063223 19725520896 1271943 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
[pid=24679/tid=24760] ppid=24673 vsize=19263204 memory=5086876 CPUtime=0 cores=4,6
/proc/24679/task/24760/stat : 24760 (Common-Cleaner) S 24673 24679 24622 0 -1 4194368 1218 0 0 0 0 0 0 0 20 0 21 0 35063224 19725520896 1271943 18446744073709551615 93915532161024 93915532164720 140727644894992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93915532172536 93915532173328 93915556130816 140727644899713 140727644899814 140727644899814 140727644905416 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5087772 KiB

Child status: 143

Real time (s): 3591.54
CPU time (s): 3600.23
CPU user time (s): 3598.09
CPU system time (s): 2.13803
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5087772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.09
system time used= 2.13803
maximum resident set size= 5088028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138768
page faults= 426
swaps= 0
block input operations= 27240
block output operations= 14808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109483
involuntary context switches= 6089


# summary of solver processes directly reported to runsolver:
#   pid: 24679
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.09
#   total CPU system time (s): 2.13803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2429 second user time and 16.8088 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 12:44:47
IDJOB=4507596
IDBENCH=158367
IDSOLVER=3363
FILE ID=nodeC035/4507596-1751193887
RUNJOBID= nodeC035-1751193887-24633
SLURM_JOB_ID= 9587593
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507596-1751193887/watcher-4507596-1751193887 -o /tmp/evaluation-result-4507596-1751193887/solver-4507596-1751193887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24633 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4507596-1751193887.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=199988173

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.877
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3599.277
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3600.107
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3456.088
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3599.940
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 2621.533
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3599.754
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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	: 0xb00002a
cpu MHz		: 3599.844
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127281204 kB
MemAvailable:   129696496 kB
Buffers:            2352 kB
Cached:          3209836 kB
SwapCached:            8 kB
Active:           317076 kB
Inactive:        2959712 kB
Active(anon):      76624 kB
Inactive(anon):     6036 kB
Active(file):     240452 kB
Inactive(file):  2953676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1488 kB
Writeback:             4 kB
AnonPages:         67816 kB
Mapped:           102768 kB
Shmem:             18056 kB
KReclaimable:     120804 kB
Slab:             207400 kB
SReclaimable:     120804 kB
SUnreclaim:        86596 kB
KernelStack:        4080 kB
PageTables:         2796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-06-29 13:44:38