Trace number 4541769

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.18 3600.73

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
MD5SUMc5f0df1008e51f7adaa039b331d221c7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5122
Total number of constraints7110
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints2628
Minimum length of a constraint1
Maximum length of a constraint108
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 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963967
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4541769-1753210180.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  no objective function found
0.30/0.26	c ... done. Wall clock time 0.115s.
0.30/0.26	c declared #vars     5122
0.30/0.26	c #constraints  9845
0.30/0.26	c constraints type 
0.30/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4854
0.30/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3301
0.30/0.26	c org.sat4j.specs.Constr$1 => 162
0.30/0.26	c org.sat4j.pb.constraints.pb.UnitClausePB => 54
0.30/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1474
0.30/0.27	c 9845 constraints processed.
2.43/1.78	c cleaning 2500 clauses out of 5001 with flag 22098/5001
4.90/3.94	c cleaning 4247 clauses out of 8501 with flag 59233/11001
7.42/6.48	c cleaning 5628 clauses out of 11255 with flag 118709/18002
10.06/9.05	c cleaning 6807 clauses out of 13625 with flag 187408/26000
13.41/12.32	c cleaning 7907 clauses out of 15818 with flag 274135/35000
16.96/15.87	c cleaning 8954 clauses out of 17911 with flag 364090/45000
21.15/20.04	c cleaning 9978 clauses out of 19957 with flag 513858/56000
25.40/24.21	c cleaning 10986 clauses out of 21979 with flag 668214/68000
30.19/29.10	c cleaning 11997 clauses out of 23994 with flag 928012/81001
34.48/33.39	c cleaning 12984 clauses out of 25997 with flag 1157905/95001
38.43/37.27	c cleaning 13984 clauses out of 28013 with flag 1334572/110001
44.32/43.14	c cleaning 15007 clauses out of 30029 with flag 1646147/126001
51.78/50.55	c cleaning 16003 clauses out of 32021 with flag 2133754/143000
59.98/58.78	c cleaning 17007 clauses out of 34018 with flag 2526866/161000
68.61/67.35	c cleaning 17998 clauses out of 36012 with flag 2923763/180001
78.54/77.24	c cleaning 19009 clauses out of 38017 with flag 3514632/200004
88.78/87.47	c cleaning 19985 clauses out of 40005 with flag 4149179/221001
99.76/98.43	c cleaning 20989 clauses out of 42019 with flag 4935309/243000
111.17/109.85	c cleaning 22015 clauses out of 44031 with flag 5705132/266001
123.28/122.00	c cleaning 22995 clauses out of 46015 with flag 6581862/290000
136.21/134.87	c cleaning 23988 clauses out of 48020 with flag 7556503/315000
149.03/147.69	c cleaning 25008 clauses out of 50033 with flag 8323115/341001
162.83/161.39	c cleaning 26000 clauses out of 52026 with flag 9117984/368002
178.55/177.06	c cleaning 26996 clauses out of 54024 with flag 10045230/396000
195.77/194.22	c cleaning 28004 clauses out of 56029 with flag 11212897/425001
211.99/210.40	c cleaning 29010 clauses out of 58026 with flag 11839316/455002
229.15/227.69	c cleaning 29991 clauses out of 60014 with flag 12788237/486000
247.35/245.82	c cleaning 31007 clauses out of 62024 with flag 13804736/518001
267.96/266.22	c cleaning 31997 clauses out of 64017 with flag 15035824/551001
292.31/290.61	c cleaning 33000 clauses out of 66020 with flag 16664167/585001
316.11/314.47	c cleaning 33996 clauses out of 68020 with flag 18237289/620001
339.25/337.55	c cleaning 34998 clauses out of 70023 with flag 19856328/656000
362.20/360.50	c cleaning 35998 clauses out of 72025 with flag 21124729/693000
388.70/387.01	c cleaning 36993 clauses out of 74029 with flag 23001059/731002
407.66/406.05	c cleaning 37980 clauses out of 76034 with flag 24102961/770000
426.31/424.75	c cleaning 39012 clauses out of 78055 with flag 24840253/810001
445.54/443.96	c cleaning 39998 clauses out of 80042 with flag 25632916/851000
466.89/465.31	c cleaning 40997 clauses out of 82044 with flag 26485086/893000
488.94/487.43	c cleaning 41996 clauses out of 84049 with flag 27347819/936002
511.50/510.06	c cleaning 43003 clauses out of 86051 with flag 28210005/980000
534.89/533.42	c cleaning 44008 clauses out of 88050 with flag 29013346/1025002
562.64/561.22	c cleaning 45000 clauses out of 90043 with flag 29795309/1071003
589.39/588.09	c cleaning 45997 clauses out of 92041 with flag 30578432/1118001
626.10/624.71	c cleaning 47007 clauses out of 94044 with flag 32058499/1166001
665.65/664.28	c cleaning 48001 clauses out of 96036 with flag 33438839/1215000
695.29/693.98	c cleaning 49007 clauses out of 98035 with flag 34355464/1265000
737.10/735.78	c cleaning 49992 clauses out of 100029 with flag 35782077/1316001
782.71/781.45	c cleaning 51011 clauses out of 102037 with flag 37359775/1368001
827.39/825.87	c cleaning 51999 clauses out of 104026 with flag 38821044/1421001
856.91/855.37	c cleaning 52998 clauses out of 106028 with flag 39669972/1475002
888.74/887.27	c cleaning 53966 clauses out of 108028 with flag 40374372/1530000
919.67/918.22	c cleaning 55026 clauses out of 110065 with flag 41064045/1586003
964.98/963.56	c cleaning 56008 clauses out of 112038 with flag 42163852/1643002
1000.11/998.74	c cleaning 56977 clauses out of 114028 with flag 43056166/1701000
1054.41/1053.03	c cleaning 58006 clauses out of 116052 with flag 44291342/1760001
1111.99/1110.71	c cleaning 59005 clauses out of 118047 with flag 45647206/1820002
1167.35/1166.14	c cleaning 59995 clauses out of 120040 with flag 47002591/1881000
1231.68/1230.66	c cleaning 61020 clauses out of 122047 with flag 48684527/1943002
1294.64/1293.57	c cleaning 61983 clauses out of 124026 with flag 50114072/2006001
1355.83/1354.74	c cleaning 63008 clauses out of 126043 with flag 51405081/2070001
1420.14/1418.79	c cleaning 63989 clauses out of 128035 with flag 53092066/2135001
1485.00/1483.79	c cleaning 65005 clauses out of 130046 with flag 54533376/2201001
1549.23/1548.07	c cleaning 66006 clauses out of 132041 with flag 55949493/2268001
1621.18/1620.19	c cleaning 67013 clauses out of 134035 with flag 57719275/2336001
1693.86/1692.86	c cleaning 67984 clauses out of 136021 with flag 59102459/2405000
1765.02/1764.10	c cleaning 69002 clauses out of 138039 with flag 60520652/2475002
1844.86/1844.09	c cleaning 69982 clauses out of 140036 with flag 62165940/2546001
1894.14/1893.45	c cleaning 71005 clauses out of 142054 with flag 62907658/2618001
1938.83/1938.04	c cleaning 71982 clauses out of 144051 with flag 63648477/2691003
1984.63/1983.90	c cleaning 72988 clauses out of 146066 with flag 64414792/2765000
2047.04/2046.37	c cleaning 74032 clauses out of 148079 with flag 65404731/2840001
2130.35/2129.84	c cleaning 75008 clauses out of 150047 with flag 67020059/2916001
2217.25/2216.50	c cleaning 76012 clauses out of 152039 with flag 68652690/2993001
2301.19/2300.55	c cleaning 76967 clauses out of 154026 with flag 70202859/3071000
2390.51/2389.88	c cleaning 78022 clauses out of 156059 with flag 71674602/3150000
2468.74/2468.21	c cleaning 78991 clauses out of 158037 with flag 73162672/3230000
2546.38/2546.08	c cleaning 80014 clauses out of 160046 with flag 74611768/3311000
2640.74/2640.51	c cleaning 81011 clauses out of 162033 with flag 76258578/3393001
2741.88/2741.73	c cleaning 81999 clauses out of 164022 with flag 77989622/3476001
2849.46/2849.53	c cleaning 82989 clauses out of 166022 with flag 79792563/3560000
2954.34/2954.65	c cleaning 83994 clauses out of 168033 with flag 81584154/3645000
3071.71/3072.02	c cleaning 85002 clauses out of 170039 with flag 83400927/3731000
3179.73/3179.73	c cleaning 85998 clauses out of 172037 with flag 85107286/3818000
3290.79/3290.98	c cleaning 86992 clauses out of 174039 with flag 87133492/3906000
3370.56/3370.74	c cleaning 87974 clauses out of 176047 with flag 88238320/3995000
3443.59/3443.92	c cleaning 89005 clauses out of 178074 with flag 89169287/4085001
3521.50/3522.03	c cleaning 90025 clauses out of 180070 with flag 90176353/4176002
3600.02/3600.61	c timeout
3600.02/3600.62	c starts		: 23729
3600.02/3600.63	c conflicts		: 4237203
3600.02/3600.63	c decisions		: 6459928
3600.02/3600.63	c propagations		: 2983465476
3600.02/3600.63	c inspects		: 37790335397
3600.02/3600.63	c shortcuts		: 0
3600.02/3600.63	c learnt literals	: 0
3600.02/3600.63	c learnt binary clauses	: 215
3600.02/3600.63	c learnt ternary clauses	: 861
3600.02/3600.63	c learnt constraints	: 4237203
3600.02/3600.63	c ignored constraints	: 0
3600.02/3600.63	c root simplifications	: 0
3600.02/3600.63	c removed literals (reason simplification)	: 170553042
3600.02/3600.63	c reason swapping (by a shorter reason)	: 0
3600.02/3600.63	c Calls to reduceDB	: 87
3600.02/3600.63	c Number of update (reduction) of LBD	: 1267195
3600.02/3600.63	c Imported unit clauses	: 0
3600.02/3600.63	c No decision after first conflict	: false
3600.02/3600.63	c number of reductions to clauses (during analyze)	: 0
3600.02/3600.63	c number of learned constraints concerned by reduction	: 0
3600.02/3600.63	c number of learning phase by resolution	: 0
3600.02/3600.63	c number of learning phase by cutting planes	: 0
3600.02/3600.63	c number of rounding to 1 operations	: 0
3600.02/3600.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3600.63	c number of reductions of the coefficients by power 2 	: 0
3600.02/3600.63	c number of right shift for reduction by power 2 	: 0
3600.02/3600.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3600.63	c number of ending skipping 	: 0
3600.02/3600.63	c number of internal skipping 	: 0
3600.02/3600.63	c number of derivation steps 	: 0
3600.02/3600.63	c number of skipped derivation steps 	: 0
3600.02/3600.63	c number of remaining unassigned 	: 0
3600.02/3600.63	c number of remaining assigned 	: 0
3600.02/3600.63	c number of falsified literals weakened from reason	: 0
3600.02/3600.63	c number of falsified literals weakened from conflict	: 0
3600.02/3600.63	c time for arithmetic operations	: 0
3600.02/3600.63	c minimum degree of deleted constraints	: null
3600.02/3600.63	c maximum degree of deleted constraints	: null
3600.02/3600.63	c number of deleted constraints	: 0
3600.02/3600.64	c speed (assignments/second)	: 828656.6236080574
3600.02/3600.64	c non guided choices	: 287
3600.02/3600.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 151031
3600.02/3600.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 215
3600.02/3600.69	s UNKNOWN
3600.02/3600.69	c Total wall clock time (in seconds): 3600.552

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=157211, runsolver pid=157207

[startup+0.100059 s]*
/proc/loadavg: 1.07 1.55 2.46 9/331 157294
/proc/meminfo: memFree=90301524/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18930384 memory=54984 CPUtime=0.1 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 6405 0 0 0 9 1 0 0 20 0 18 0 236695597 19384713216 13746 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4732596 13746 5336 1 0 547553 0
[pid=157211/tid=157219] ppid=157207 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 4996 0 0 0 6 1 0 0 20 0 18 0 236695599 19384713216 13746 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236695602 19384713216 13746 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 236695602 19384713216 13746 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54984 KiB

[startup+0.205756 s]*
/proc/loadavg: 1.07 1.55 2.46 12/331 157294
/proc/meminfo: memFree=90271908/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18930384 memory=65668 CPUtime=0.3 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 6913 0 0 0 28 2 0 0 20 0 18 0 236695597 19384713216 16417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4732596 16417 5432 1 0 547994 0
[pid=157211/tid=157219] ppid=157207 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 5286 0 0 0 15 1 0 0 20 0 18 0 236695599 19384713216 16417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236695602 19384713216 16417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 236695602 19384713216 16417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65668 KiB

[startup+0.305656 s]*
/proc/loadavg: 1.07 1.55 2.46 13/334 157297
/proc/meminfo: memFree=90217088/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18996948 memory=86100 CPUtime=0.49 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 8407 0 0 0 46 3 0 0 20 0 19 0 236695597 19452874752 21525 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4749237 21525 5432 1 0 549295 0
[pid=157211/tid=157219] ppid=157207 vsize=18996948 memory=-8889094549291180732 CPUtime=0.23 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 5326 0 0 0 22 1 0 0 20 0 19 0 236695599 19452874752 21525 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 21525 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 21525 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695625 19452874752 21525 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86100 KiB

[startup+0.700254 s]
/proc/loadavg: 1.07 1.55 2.46 9/335 157298
/proc/meminfo: memFree=90196800/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18996948 memory=93260 CPUtime=1.25 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 10795 0 0 0 122 3 0 0 20 0 19 0 236695597 19452874752 23315 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4749237 23315 5432 1 0 551028 0
[pid=157211/tid=157219] ppid=157207 vsize=18996948 memory=27136 CPUtime=0.59 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 5333 0 0 0 58 1 0 0 20 0 19 0 236695599 19452874752 23315 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 23315 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 23315 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695625 19452874752 23315 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93260 KiB

[startup+1.50022 s]
/proc/loadavg: 1.07 1.55 2.46 7/335 157298
/proc/meminfo: memFree=90168204/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18996948 memory=103668 CPUtime=2.16 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 11870 0 0 0 213 3 0 0 20 0 19 0 236695597 19452874752 25917 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4749237 25917 5432 1 0 551029 0
[pid=157211/tid=157219] ppid=157207 vsize=18996948 memory=10752 CPUtime=1.37 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 5463 0 0 0 136 1 0 0 20 0 19 0 236695599 19452874752 25917 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 25917 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 25917 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695625 19452874752 25917 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103668 KiB

[startup+3.10557 s]
/proc/loadavg: 1.30 1.59 2.47 6/335 157298
/proc/meminfo: memFree=90001308/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=18996948 memory=134532 CPUtime=4.11 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 21380 0 0 0 406 5 0 0 20 0 19 0 236695597 19452874752 33633 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4749237 33633 5432 1 0 553776 0
[pid=157211/tid=157219] ppid=157207 vsize=18996948 memory=10752 CPUtime=2.98 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 6600 0 0 0 296 2 0 0 20 0 19 0 236695599 19452874752 33633 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=18996948 memory=-8673203242154107580 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 33633 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 236695602 19452874752 33633 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236695625 19452874752 33633 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134532 KiB

[startup+6.30018 s]
/proc/loadavg: 1.30 1.59 2.47 5/338 157301
/proc/meminfo: memFree=89825604/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=190972 CPUtime=7.32 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 24372 0 0 0 726 6 0 0 20 0 20 0 236695597 19521036288 47743 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 47743 5496 1 0 554070 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 7288 0 0 0 610 2 0 0 20 0 20 0 236695599 19521036288 47743 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 47743 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 47743 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 47743 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190972 KiB

[startup+12.7002 s]
/proc/loadavg: 1.52 1.63 2.48 5/339 157302
/proc/meminfo: memFree=89724544/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=191612 CPUtime=13.82 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 27915 0 0 0 1375 7 0 0 20 0 20 0 236695597 19521036288 47903 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 47903 5528 1 0 554070 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=191484 CPUtime=12.5 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 7963 0 0 0 1248 2 0 0 20 0 20 0 236695599 19521036288 47903 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 47903 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 47903 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 47903 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191612 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.75 2.50 5/339 157302
/proc/meminfo: memFree=89390572/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=304724 CPUtime=26.69 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 30263 0 0 0 2659 10 0 0 20 0 20 0 236695597 19521036288 76181 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 76181 5528 1 0 554070 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=304724 CPUtime=25.15 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 8563 0 0 0 2513 2 0 0 20 0 20 0 236695599 19521036288 76181 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=304724 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 76181 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=241068 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 76181 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=-8673203242154107580 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 76181 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 304724 KiB

[startup+51.1056 s]
/proc/loadavg: 2.79 1.95 2.55 5/340 157304
/proc/meminfo: memFree=88588416/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=425756 CPUtime=52.41 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 32125 0 0 0 5229 12 0 0 20 0 20 0 236695597 19521036288 106439 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 106439 5528 1 0 554098 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=304724 CPUtime=50.58 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 8651 0 0 0 5056 2 0 0 20 0 20 0 236695599 19521036288 106439 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0

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

/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 587102 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=2250008 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 1919 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 587102 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 587102 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3222.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2348408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.71 4.37 4.15 5/340 157468
/proc/meminfo: memFree=78740288/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2401668 CPUtime=3282.21 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 95137 0 0 0 328084 137 0 0 20 0 20 0 236695597 19521036288 600417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 600417 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=2401668 CPUtime=3268.85 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 42497 0 0 0 326871 14 0 0 20 0 20 0 236695599 19521036288 600417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2344312 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 600417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 1972 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 600417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=2401668 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 600417 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3282.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2401668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.30 4.14 5/339 157470
/proc/meminfo: memFree=78670652/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467244 CPUtime=3342.08 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 95915 0 0 0 334069 139 0 0 20 0 20 0 236695597 19521036288 616811 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616811 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=2467244 CPUtime=3328.7 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 43247 0 0 0 332855 15 0 0 20 0 20 0 236695599 19521036288 616811 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2463148 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616811 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=2467244 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 1972 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616811 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=2467244 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616811 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3342.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.27 4.14 5/338 157472
/proc/meminfo: memFree=78662844/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3402.09 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 97218 0 0 0 340068 141 0 0 20 0 20 0 236695597 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616875 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3388.41 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 44181 0 0 0 338826 15 0 0 20 0 20 0 236695599 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=2418092 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 2006 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=2467244 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3402.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.23 4.14 5/338 157474
/proc/meminfo: memFree=78530832/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3461.94 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 98088 0 0 0 346052 142 0 0 20 0 20 0 236695597 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616875 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=16508 CPUtime=3448.24 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 44977 0 0 0 344809 15 0 0 20 0 20 0 236695599 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2418092 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 2012 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=16508 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3461.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.20 4.13 5/338 157476
/proc/meminfo: memFree=78479672/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3521.79 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 98346 0 0 0 352036 143 0 0 20 0 20 0 236695597 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616875 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=16508 CPUtime=3508.07 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 45156 0 0 0 350792 15 0 0 20 0 20 0 236695599 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2467500 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=2467500 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=-8673203242154107580 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3521.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467500 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/338 157478
/proc/meminfo: memFree=78239808/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3581.78 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 98764 0 0 0 358033 145 0 0 20 0 20 0 236695597 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616875 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=27136 CPUtime=3567.77 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 45198 0 0 0 356762 15 0 0 20 0 20 0 236695599 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=2467500 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=2467500 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3581.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.6 s]
/proc/loadavg: 4.06 4.17 4.12 4/314 157555
/proc/meminfo: memFree=83993820/131249988 swapFree=33010160/33010684
[pid=157211] ppid=157207 vsize=19063512 memory=2467500 CPUtime=3600.02 cores=0,2
/proc/157211/stat : 157211 (java) S 157207 157211 157157 0 -1 4194304 98767 0 0 0 359856 146 0 0 20 0 20 0 236695597 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
/proc/157211/statm: 4765878 616875 5528 1 0 631170 0
[pid=157211/tid=157219] ppid=157207 vsize=19063512 memory=3328 CPUtime=3586.02 cores=0,2
/proc/157211/task/157219/stat : 157219 (java) R 157207 157211 157157 0 -1 4194368 45199 0 0 0 358586 16 0 0 20 0 20 0 236695599 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157242] ppid=157207 vsize=19063512 memory=2724 CPUtime=0 cores=0,2
/proc/157211/task/157242/stat : 157242 (Finalizer) S 157207 157211 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157250] ppid=157207 vsize=19063512 memory=17596 CPUtime=0 cores=0,2
/proc/157211/task/157250/stat : 157250 (Common-Cleaner) S 157207 157211 157157 0 -1 4194368 2062 0 0 0 0 0 0 0 20 0 20 0 236695602 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
[pid=157211/tid=157296] ppid=157207 vsize=19063512 memory=46592 CPUtime=0 cores=0,2
/proc/157211/task/157296/stat : 157296 (Timer-0) S 157207 157211 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236695625 19521036288 616875 18446744073709551615 94199908954112 94199908957808 140735617263200 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94199908965624 94199908966416 94199937069056 140735617272191 140735617272292 140735617272292 140735617277896 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2467500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.7 s, system=1.48059 s

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

[startup+3600.71 s]*
/proc/loadavg: 4.06 4.17 4.12 4/298 157570
/proc/meminfo: memFree=85907996/131249988 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3600.73
CPU time (s): 3600.18
CPU user time (s): 3598.7
CPU system time (s): 1.48059
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2467500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.4806
maximum resident set size= 2468396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105846
involuntary context switches= 6317


# summary of solver processes directly reported to runsolver:
#   pid: 157211
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.7
#   total CPU system time (s): 1.48059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53105 second user time and 18.697 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 20:49:40
IDJOB=4541769
IDBENCH=163377
IDSOLVER=3363
FILE ID=nodeC020/4541769-1753210180
RUNJOBID= nodeC020-1753210180-157167
SLURM_JOB_ID= 9687784
Free space on /tmp= 432892 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541769-1753210180/watcher-4541769-1753210180 -o /tmp/evaluation-result-4541769-1753210180/solver-4541769-1753210180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157167 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4541769-1753210180.opb

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

MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1287267562

nodeC020 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.918
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.79
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		: 2816.675
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.79
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.405
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.79
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		: 2154.920
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.79
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.927
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.79
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		: 1999.110
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.79
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.904
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.79
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		: 1199.363
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        90381456 kB
MemAvailable:   129600428 kB
Buffers:            2128 kB
Cached:         39976208 kB
SwapCached:            4 kB
Active:           935764 kB
Inactive:       39122012 kB
Active(anon):      81148 kB
Inactive(anon):    24536 kB
Active(file):     854616 kB
Inactive(file): 39097476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1756 kB
Writeback:             4 kB
AnonPages:         82580 kB
Mapped:           108300 kB
Shmem:             26244 kB
KReclaimable:     212240 kB
Slab:             308096 kB
SReclaimable:     212240 kB
SUnreclaim:        95856 kB
KernelStack:        4036 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     359128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC020 at 2025-07-22 21:49:41