Trace number 4448924

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.26 3522.77

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
MD5SUM6b93b615aedbdc1b5251d82df8eef612
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 benchmark0.43886
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
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 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.15	c version CUSTOM.v20240707
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.18	c Free memory 		2113181440
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.19	c Number of processors 	2
0.27/0.27	--- Begin Solver configuration ---
0.27/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.27	Learn all clauses as in MiniSAT
0.27/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.27	No reason simplification
0.27/0.27	Glucose 2.1 dynamic restart strategy
0.27/0.27	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.27/0.27	timeout=2147483s
0.27/0.27	DB Simplification allowed=false
0.27/0.27	Listener: none
0.27/0.27	--- End Solver configuration ---
0.27/0.27	c Pseudo Boolean Optimization by upper bound
0.27/0.27	c --- Begin Solver configuration ---
0.27/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.27	c Learn all clauses as in MiniSAT
0.27/0.27	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.27	c No reason simplification
0.27/0.27	c Glucose 2.1 dynamic restart strategy
0.27/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.27/0.27	c timeout=2147483s
0.27/0.27	c DB Simplification allowed=false
0.27/0.27	c Listener: none
0.27/0.27	c --- End Solver configuration ---
0.27/0.27	c solving HOME/instance-4448924-1721358116.opb
0.27/0.27	c reading problem ... 
0.27/0.27	c  no objective function found
3.10/1.99	c ... done. Wall clock time 1.715s.
3.10/1.99	c declared #vars     175232
3.10/1.99	c #constraints  2994
3.10/1.99	c constraints type 
3.10/1.99	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1368
3.10/1.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 258
3.10/1.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1368
3.10/1.99	c 2994 constraints processed.
7.63/5.42	c cleaning 2495 clauses out of 5000 with flag 27293/5000
11.14/8.79	c cleaning 4244 clauses out of 8506 with flag 76166/11001
16.19/13.59	c cleaning 5619 clauses out of 11262 with flag 147841/18001
24.18/20.54	c cleaning 6811 clauses out of 13642 with flag 233268/26000
32.03/27.54	c cleaning 7909 clauses out of 15834 with flag 319285/35003
35.42/30.67	c cleaning 8946 clauses out of 17923 with flag 361643/45001
39.72/34.61	c cleaning 9970 clauses out of 19976 with flag 415611/56000
45.14/39.76	c cleaning 10985 clauses out of 22006 with flag 504977/68000
52.03/46.21	c cleaning 11994 clauses out of 24021 with flag 613448/81000
60.70/54.12	c cleaning 13004 clauses out of 26027 with flag 742186/95000
74.78/67.85	c cleaning 14003 clauses out of 28025 with flag 836603/110002
90.54/83.27	c cleaning 14996 clauses out of 30026 with flag 933145/126006
110.51/102.33	c cleaning 16000 clauses out of 32024 with flag 1040535/143000
116.69/106.82	c cleaning 16999 clauses out of 34025 with flag 1098576/161001
121.22/111.18	c cleaning 18000 clauses out of 36028 with flag 1164843/180003
126.96/116.57	c cleaning 18998 clauses out of 38025 with flag 1238869/200000
132.92/122.17	c cleaning 20003 clauses out of 40027 with flag 1303361/221000
139.15/128.04	c cleaning 20998 clauses out of 42025 with flag 1374484/243001
146.63/134.84	c cleaning 22000 clauses out of 44029 with flag 1451066/266003
153.32/141.11	c cleaning 22997 clauses out of 46028 with flag 1533993/290002
161.15/148.63	c cleaning 24006 clauses out of 48032 with flag 1621365/315003
169.10/156.28	c cleaning 24998 clauses out of 50023 with flag 1713074/341000
179.73/164.78	c cleaning 25995 clauses out of 52025 with flag 1812972/368000
188.12/172.84	c cleaning 26998 clauses out of 54032 with flag 1907593/396002
198.54/182.74	c cleaning 27997 clauses out of 56032 with flag 2008632/425000
207.90/191.88	c cleaning 28998 clauses out of 58037 with flag 2115245/455002
219.43/202.85	c cleaning 30003 clauses out of 60037 with flag 2227404/486000
231.01/213.81	c cleaning 30999 clauses out of 62034 with flag 2335411/518000
242.85/225.10	c cleaning 31998 clauses out of 64035 with flag 2444784/551000
253.20/235.12	c cleaning 32988 clauses out of 66039 with flag 2558039/585002
266.53/247.37	c cleaning 34003 clauses out of 68050 with flag 2681719/620001
280.24/260.50	c cleaning 35013 clauses out of 70047 with flag 2808687/656001
294.54/274.28	c cleaning 35994 clauses out of 72033 with flag 2938938/693000
309.70/288.83	c cleaning 37000 clauses out of 74039 with flag 3057842/731000
324.80/303.39	c cleaning 38006 clauses out of 76039 with flag 3174219/770000
341.37/319.39	c cleaning 38995 clauses out of 78034 with flag 3303337/810001
356.58/333.96	c cleaning 40004 clauses out of 80040 with flag 3448295/851002
372.66/349.11	c cleaning 40997 clauses out of 82034 with flag 3588904/893000
390.25/365.99	c cleaning 42004 clauses out of 84038 with flag 3746372/936001
409.11/384.21	c cleaning 43006 clauses out of 86033 with flag 3923415/980000
429.50/402.87	c cleaning 43994 clauses out of 88027 with flag 4128882/1025000
448.94/421.76	c cleaning 44997 clauses out of 90033 with flag 4328619/1071000
469.08/441.04	c cleaning 46000 clauses out of 92037 with flag 4509568/1118001
488.81/459.94	c cleaning 47006 clauses out of 94037 with flag 4673661/1166001
508.83/479.19	c cleaning 47994 clauses out of 96030 with flag 4831437/1215000
528.14/497.77	c cleaning 48989 clauses out of 98036 with flag 5013580/1265000
548.41/517.28	c cleaning 50009 clauses out of 100049 with flag 5188614/1316002
571.09/538.97	c cleaning 51002 clauses out of 102039 with flag 5355093/1368001
593.81/560.91	c cleaning 51997 clauses out of 104036 with flag 5525795/1421000
617.84/584.36	c cleaning 53001 clauses out of 106041 with flag 5697551/1475002
642.88/608.30	c cleaning 53999 clauses out of 108038 with flag 5874593/1530000
665.34/629.91	c cleaning 54997 clauses out of 110039 with flag 6043044/1586000
688.35/651.01	c cleaning 56001 clauses out of 112045 with flag 6208989/1643003
712.51/674.69	c cleaning 57006 clauses out of 114042 with flag 6395471/1701001
738.95/700.03	c cleaning 58001 clauses out of 116035 with flag 6594175/1760000
767.69/727.72	c cleaning 59003 clauses out of 118034 with flag 6778423/1820000
796.66/755.68	c cleaning 59998 clauses out of 120031 with flag 6980173/1881000
823.74/782.37	c cleaning 60995 clauses out of 122033 with flag 7184367/1943000
851.21/809.23	c cleaning 62004 clauses out of 124038 with flag 7380879/2006000
880.73/837.80	c cleaning 62999 clauses out of 126035 with flag 7592832/2070001
909.52/865.64	c cleaning 63999 clauses out of 128035 with flag 7813052/2135000
938.34/893.59	c cleaning 64997 clauses out of 130036 with flag 8036226/2201000
969.47/923.60	c cleaning 65995 clauses out of 132040 with flag 8278753/2268001
1003.90/957.04	c cleaning 67006 clauses out of 134045 with flag 8515800/2336001
1036.63/988.50	c cleaning 68001 clauses out of 136040 with flag 8747997/2405002
1070.26/1021.15	c cleaning 68997 clauses out of 138038 with flag 9004233/2475001
1097.94/1046.29	c cleaning 70007 clauses out of 140041 with flag 9276048/2546001
1119.73/1067.01	c cleaning 71002 clauses out of 142033 with flag 9572541/2618000
1171.03/1116.91	c cleaning 71992 clauses out of 144032 with flag 9979340/2691001
1319.90/1264.21	c cleaning 72996 clauses out of 146040 with flag 10449146/2765001
1485.56/1428.14	c cleaning 73991 clauses out of 148044 with flag 10990025/2840001
1643.05/1583.74	c cleaning 74999 clauses out of 150054 with flag 11534643/2916002
1813.17/1752.70	c cleaning 76004 clauses out of 152055 with flag 12067270/2993002
1965.86/1901.01	c cleaning 77001 clauses out of 154049 with flag 12656167/3071000
2134.68/2068.43	c cleaning 78002 clauses out of 156051 with flag 13181533/3150003
2306.43/2239.26	c cleaning 79001 clauses out of 158048 with flag 13743013/3230002
2500.43/2432.24	c cleaning 80001 clauses out of 160049 with flag 14324809/3311004
2674.62/2605.47	c cleaning 80994 clauses out of 162044 with flag 14939854/3393000
2851.47/2780.54	c cleaning 82001 clauses out of 164051 with flag 15512901/3476001
3070.05/2996.12	c cleaning 83003 clauses out of 166050 with flag 16090495/3560001
3293.35/3218.68	c cleaning 84004 clauses out of 168047 with flag 16627979/3645001
3494.61/3418.20	c cleaning 84999 clauses out of 170044 with flag 17234768/3731002
3600.03/3522.62	c starts		: 148
3600.03/3522.63	c timeout
3600.03/3522.64	c conflicts		: 3781088
3600.03/3522.64	c decisions		: 9458092
3600.03/3522.64	c propagations		: 454605242
3600.03/3522.64	c inspects		: 7397997739
3600.03/3522.64	c shortcuts		: 0
3600.03/3522.65	c learnt literals	: 0
3600.03/3522.65	c learnt binary clauses	: 0
3600.03/3522.65	c learnt ternary clauses	: 0
3600.03/3522.65	c learnt constraints	: 3781088
3600.03/3522.65	c ignored constraints	: 0
3600.03/3522.65	c root simplifications	: 0
3600.03/3522.65	c removed literals (reason simplification)	: 0
3600.03/3522.65	c reason swapping (by a shorter reason)	: 0
3600.03/3522.65	c Calls to reduceDB	: 82
3600.03/3522.65	c Number of update (reduction) of LBD	: 939465
3600.03/3522.65	c Imported unit clauses	: 0
3600.03/3522.65	c No decision after first conflict	: false
3600.03/3522.65	c number of reductions to clauses (during analyze)	: 0
3600.03/3522.65	c number of learned constraints concerned by reduction	: 0
3600.03/3522.65	c number of learning phase by resolution	: 0
3600.03/3522.65	c number of learning phase by cutting planes	: 0
3600.03/3522.65	c number of rounding to 1 operations	: 0
3600.03/3522.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3522.65	c number of reductions of the coefficients by power 2 	: 0
3600.03/3522.65	c number of right shift for reduction by power 2 	: 0
3600.03/3522.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3522.65	c number of ending skipping 	: 0
3600.03/3522.65	c number of internal skipping 	: 0
3600.03/3522.65	c number of derivation steps 	: 0
3600.03/3522.65	c number of skipped derivation steps 	: 0
3600.03/3522.65	c number of remaining unassigned 	: 0
3600.03/3522.65	c number of remaining assigned 	: 0
3600.03/3522.65	c number of falsified literals weakened from reason	: 0
3600.03/3522.65	c number of falsified literals weakened from conflict	: 0
3600.03/3522.65	c time for arithmetic operations	: 0
3600.03/3522.65	c minimum degree of deleted constraints	: null
3600.03/3522.65	c maximum degree of deleted constraints	: null
3600.03/3522.65	c number of deleted constraints	: 0
3600.03/3522.65	c speed (assignments/second)	: 129126.21587007087
3600.03/3522.65	c non guided choices	: 4123447
3600.03/3522.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 135131
3600.03/3522.70	s UNKNOWN
3600.03/3522.70	c Total wall clock time (in seconds): 3522.432

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62532 MiB free)
  memory of node 1: 64510 MiB (60641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448924-1721358116/watcher-4448924-1721358116 -o /tmp/evaluation-result-4448924-1721358116/solver-4448924-1721358116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980649 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448924-1721358116.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100842 s]*
/proc/loadavg: 4.59 4.37 4.25 6/320 985380
/proc/meminfo: memFree=126095000/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=18975048 memory=55464 CPUtime=0.12 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 6503 0 0 0 10 2 0 0 20 0 18 0 187968024 19430449152 13866 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4743762 13866 5538 1 0 550836 0
[pid=985362/tid=985364] ppid=985359 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) S 985359 985362 980639 0 -1 1077936192 5419 0 0 0 6 1 0 0 20 0 18 0 187968025 19430449152 13866 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968028 19430449152 13866 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968029 19430449152 13866 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55464 KiB

[startup+0.208736 s]*
/proc/loadavg: 4.59 4.37 4.25 5/320 985380
/proc/meminfo: memFree=126088048/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=18975048 memory=62536 CPUtime=0.27 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 7211 0 0 0 24 3 0 0 20 0 18 0 187968024 19430449152 15634 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4743762 15634 5545 1 0 551427 0
[pid=985362/tid=985364] ppid=985359 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 5741 0 0 0 16 2 0 0 20 0 18 0 187968025 19430449152 15634 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=18975048 memory=5697 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968028 19430449152 15634 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968029 19430449152 15634 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62536 KiB

[startup+0.309259 s]*
/proc/loadavg: 4.59 4.37 4.25 7/320 985380
/proc/meminfo: memFree=126078540/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=18975048 memory=72340 CPUtime=0.44 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 7493 0 0 0 41 3 0 0 20 0 18 0 187968024 19430449152 18085 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4743762 18085 5705 1 0 551583 0
[pid=985362/tid=985364] ppid=985359 vsize=18975048 memory=-8527679588222149308 CPUtime=0.28 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 5891 0 0 0 26 2 0 0 20 0 18 0 187968025 19430449152 18085 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968028 19430449152 18085 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968029 19430449152 18085 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72340 KiB

[startup+0.700268 s]
/proc/loadavg: 4.59 4.37 4.25 7/320 985380
/proc/meminfo: memFree=126046200/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=18975048 memory=151932 CPUtime=1.14 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 9313 0 0 0 109 5 0 0 20 0 18 0 187968024 19430449152 37983 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4743762 37983 5806 1 0 552797 0
[pid=985362/tid=985364] ppid=985359 vsize=18975048 memory=5512 CPUtime=0.62 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 5931 0 0 0 58 4 0 0 20 0 18 0 187968025 19430449152 37983 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=18975048 memory=11992 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968028 19430449152 37983 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187968029 19430449152 37983 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 151932 KiB

[startup+1.50527 s]
/proc/loadavg: 4.70 4.40 4.26 6/321 985381
/proc/meminfo: memFree=125945124/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19041612 memory=506844 CPUtime=2.59 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 10971 0 0 0 246 13 0 0 20 0 19 0 187968024 19498610688 126711 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4760403 126711 5838 1 0 1286493 0
[pid=985362/tid=985364] ppid=985359 vsize=19041612 memory=11992 CPUtime=1.15 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 6169 0 0 0 106 9 0 0 20 0 19 0 187968025 19498610688 126711 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187968028 19498610688 126711 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187968029 19498610688 126711 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 506844 KiB

[startup+3.10625 s]
/proc/loadavg: 4.70 4.40 4.26 5/322 985382
/proc/meminfo: memFree=124443512/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=1708352 CPUtime=5.21 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 13764 0 0 0 484 37 0 0 20 0 20 0 187968024 19566772224 427088 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 427088 5885 1 0 1893261 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=198340509722 CPUtime=2.66 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 6789 0 0 0 234 32 0 0 20 0 20 0 187968025 19566772224 427088 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 427088 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 427088 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=1105296 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 427088 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1708352 KiB

[startup+6.30043 s]
/proc/loadavg: 4.65 4.40 4.25 5/322 985382
/proc/meminfo: memFree=124112820/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=1979032 CPUtime=8.61 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 13969 0 0 0 819 42 0 0 20 0 20 0 187968024 19566772224 494758 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 494758 5885 1 0 1893295 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=0 CPUtime=5.84 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 6953 0 0 0 547 37 0 0 20 0 20 0 187968025 19566772224 494758 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 494758 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=1691708 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 494758 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=1933976 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 494758 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1979032 KiB

[startup+12.7004 s]
/proc/loadavg: 4.60 4.39 4.25 5/322 985384
/proc/meminfo: memFree=123652700/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=2460704 CPUtime=15.38 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 16603 0 0 0 1486 52 0 0 20 0 20 0 187968024 19566772224 615176 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 615176 5901 1 0 1893604 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=2380656 CPUtime=12.22 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 7701 0 0 0 1176 46 0 0 20 0 20 0 187968025 19566772224 615176 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 615176 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=7237679765026071379 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 615176 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 615176 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2460704 KiB

[startup+25.5005 s]
/proc/loadavg: 4.81 4.44 4.27 5/322 985386
/proc/meminfo: memFree=122461500/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=3573784 CPUtime=29.78 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 23500 0 0 0 2901 77 0 0 20 0 20 0 187968024 19566772224 893446 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 893446 5901 1 0 1894482 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=7237679765026071379 CPUtime=23.79 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 8467 0 0 0 2329 50 0 0 20 0 20 0 187968025 19566772224 893446 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 893446 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=2244 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 893446 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=-8527679588222149308 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 893446 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3573784 KiB

[startup+51.1134 s]
/proc/loadavg: 4.49 4.40 4.26 5/322 985391
/proc/meminfo: memFree=120702792/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=5170916 CPUtime=57.27 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 29441 0 0 0 5617 110 0 0 20 0 20 0 187968024 19566772224 1292729 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 1292729 5905 1 0 2046973 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=4988580 CPUtime=47.57 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 10242 0 0 0 4700 57 0 0 20 0 20 0 187968025 19566772224 1292729 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 1292729 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 1292729 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 1292729 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0

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

[startup+3222.3 s]
/proc/loadavg: 4.22 4.32 4.33 5/325 987972
/proc/meminfo: memFree=81011284/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3297.01 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 337588 0 0 0 329184 517 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3124.66 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 101305 0 0 0 312363 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1609 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3297.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.32 4.33 5/323 987984
/proc/meminfo: memFree=80774536/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3357.39 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 338728 0 0 0 335220 519 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3183.77 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 101957 0 0 0 318274 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1609 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=4774834636748362857 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3357.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.42 4.35 4.34 5/322 988325
/proc/meminfo: memFree=81961256/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3418.04 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 339390 0 0 0 341283 521 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=11600 CPUtime=3242.74 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 102132 0 0 0 324171 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1609 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3418.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.31 4.32 5/321 988503
/proc/meminfo: memFree=81132948/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3478.74 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 340243 0 0 0 347350 524 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=5512 CPUtime=3301.68 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 102469 0 0 0 330065 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1609 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3478.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.33 4.33 5/321 988514
/proc/meminfo: memFree=80312384/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3539.09 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 344730 0 0 0 353382 527 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3360.93 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 104003 0 0 0 335990 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=-9177605296562152124 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1658 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=16252 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3539.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.31 4.32 5/324 988529
/proc/meminfo: memFree=80244092/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3599.73 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 345751 0 0 0 359442 531 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=-9177605296562152124 CPUtime=3419.94 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 104777 0 0 0 341891 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=16252 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1658 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3522.6 s]
/proc/loadavg: 4.28 4.31 4.32 5/324 988529
/proc/meminfo: memFree=80244092/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19108176 memory=15351192 CPUtime=3600.03 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 345751 0 0 0 359472 531 0 0 20 0 20 0 187968024 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4777044 3837798 5905 1 0 4085957 0
[pid=985362/tid=985364] ppid=985359 vsize=19108176 memory=13848 CPUtime=3420.24 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) R 985359 985362 980639 0 -1 4194368 104777 0 0 0 341921 103 0 0 20 0 20 0 187968025 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19108176 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19108176 memory=43996 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1658 0 0 0 0 0 0 0 20 0 20 0 187968029 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985382] ppid=985359 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/985362/task/985382/stat : 985382 (Timer-0) S 985359 985362 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187968225 19566772224 3837798 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15351192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.91 s, system=5.35761 s

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

[startup+3522.71 s]
/proc/loadavg: 4.28 4.31 4.32 5/324 988529
/proc/meminfo: memFree=80244092/131655788 swapFree=131071996/131071996
[pid=985362] ppid=985359 vsize=19307868 memory=15351800 CPUtime=3600.2 cores=0,2
/proc/985362/stat : 985362 (java) S 985359 985362 980639 0 -1 1077936128 348899 0 0 0 359489 531 0 0 20 0 20 0 187968024 19771256832 3837950 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
/proc/985362/statm: 4826967 3837950 5901 1 0 4086862 0
[pid=985362/tid=985364] ppid=985359 vsize=19307868 memory=-9177605296562152124 CPUtime=3420.28 cores=0,2
/proc/985362/task/985364/stat : 985364 (java) S 985359 985362 980639 0 -1 1077936192 104877 0 0 0 341925 103 0 0 20 0 20 0 187968025 19771256832 3837950 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985373] ppid=985359 vsize=19307868 memory=16252 CPUtime=0 cores=0,2
/proc/985362/task/985373/stat : 985373 (Finalizer) S 985359 985362 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187968028 19771256832 3837950 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
[pid=985362/tid=985380] ppid=985359 vsize=19307868 memory=15351192 CPUtime=0 cores=0,2
/proc/985362/task/985380/stat : 985380 (Common-Cleaner) S 985359 985362 980639 0 -1 1077936192 1658 0 0 0 0 0 0 0 20 0 20 0 187968029 19771256832 3837950 134679101440 94439046582272 94439046585968 140735103897024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439046593784 94439046594576 94439059369984 140735103902726 140735103902816 140735103902816 140735103909832 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15351800 KiB

Child status: 143

Real time (s): 3522.77
CPU time (s): 3600.26
CPU user time (s): 3594.91
CPU system time (s): 5.35761
CPU usage (%): 102.2
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15351800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.91
system time used= 5.35761
maximum resident set size= 15352880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111369
involuntary context switches= 35005


# summary of solver processes directly reported to runsolver:
#   pid: 985362
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3594.91
#   total CPU system time (s): 5.35761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5063 second user time and 29.553 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 05:02:08
IDJOB=4448924
IDBENCH=160470
IDSOLVER=3058
FILE ID=nodeC008/4448924-1721358116
RUNJOBID= nodeC008-1721354365-980649
SLURM_JOB_ID= 7542775
Free space on /tmp= 723760 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448924-1721358116/watcher-4448924-1721358116 -o /tmp/evaluation-result-4448924-1721358116/solver-4448924-1721358116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980649 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448924-1721358116.opb

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

MD5SUM BENCH= 6b93b615aedbdc1b5251d82df8eef612
RANDOM SEED=948066329

nodeC008.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		: 2594.081
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3628.928
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2693.797
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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.416
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3657.865
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3650.436
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.408
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.261
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126130348 kB
MemAvailable:   128433824 kB
Buffers:          546316 kB
Cached:          2575748 kB
SwapCached:            0 kB
Active:          1061308 kB
Inactive:        3869856 kB
Active(anon):       1484 kB
Inactive(anon):  1845312 kB
Active(file):    1059824 kB
Inactive(file):  2024544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8440 kB
Writeback:            92 kB
AnonPages:       1808780 kB
Mapped:           126336 kB
Shmem:             37704 kB
KReclaimable:     118276 kB
Slab:             223036 kB
SReclaimable:     118276 kB
SUnreclaim:       104760 kB
KernelStack:        4864 kB
PageTables:        13824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7242588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723592 MiB
End job on nodeC008 at 2024-07-19 06:00:51