Trace number 4446524

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.4 3579.74

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K143.opb
MD5SUM5b71eb3fc2b19671b5e391982561b6cd
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 variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 144
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.15	c version CUSTOM.v20240707
0.13/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.18	c java.vm.version	22.0.1+8-16
0.13/0.18	c java.vm.vendor	Oracle Corporation
0.13/0.18	c sun.arch.data.model	64
0.13/0.18	c java.version		22.0.1
0.13/0.18	c os.name		Linux
0.13/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.18	c os.arch		amd64
0.13/0.18	c Free memory 		2113181440
0.13/0.18	c Max memory 		16282288128
0.13/0.18	c Total memory 		2122317824
0.13/0.19	c Number of processors 	2
0.29/0.27	--- Begin Solver configuration ---
0.29/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.27	Learn all clauses as in MiniSAT
0.29/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.27	No reason simplification
0.29/0.27	Glucose 2.1 dynamic restart strategy
0.29/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.29/0.27	timeout=2147483s
0.29/0.27	DB Simplification allowed=false
0.29/0.27	Listener: none
0.29/0.27	--- End Solver configuration ---
0.29/0.28	c Pseudo Boolean Optimization by upper bound
0.29/0.28	c --- Begin Solver configuration ---
0.29/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.28	c Learn all clauses as in MiniSAT
0.29/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.28	c No reason simplification
0.29/0.28	c Glucose 2.1 dynamic restart strategy
0.29/0.28	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.29/0.28	c timeout=2147483s
0.29/0.28	c DB Simplification allowed=false
0.29/0.28	c Listener: none
0.29/0.28	c --- End Solver configuration ---
0.29/0.28	c solving HOME/instance-4446524-1721339946.opb
0.29/0.28	c reading problem ... 
0.29/0.28	c  no objective function found
1.16/0.74	c ... done. Wall clock time 0.456s.
1.16/0.75	c declared #vars     17017
1.16/0.75	c #constraints  17305
1.16/0.75	c constraints type 
1.16/0.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1846
1.16/0.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 143
1.16/0.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15314
1.16/0.75	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.16/0.75	c 17305 constraints processed.
3.85/2.43	c cleaning 2482 clauses out of 4998 with flag 22872/5004
5.92/3.77	c cleaning 4245 clauses out of 8508 with flag 54908/11000
8.10/5.31	c cleaning 5611 clauses out of 11260 with flag 94751/18001
10.73/7.71	c cleaning 6793 clauses out of 13643 with flag 142236/26000
12.62/9.66	c cleaning 7858 clauses out of 15849 with flag 189996/35000
14.82/11.85	c cleaning 8415 clauses out of 17989 with flag 242695/45000
16.92/13.98	c cleaning 9174 clauses out of 20573 with flag 298746/56000
19.31/16.33	c cleaning 9957 clauses out of 23393 with flag 357084/68000
22.22/19.21	c cleaning 10595 clauses out of 26436 with flag 422307/81001
25.52/22.55	c cleaning 11563 clauses out of 29836 with flag 496296/95000
29.20/26.11	c cleaning 12378 clauses out of 33272 with flag 576112/110001
32.58/29.54	c cleaning 13325 clauses out of 36892 with flag 661878/126000
36.91/33.74	c cleaning 14093 clauses out of 40568 with flag 753110/143002
41.17/37.94	c cleaning 14843 clauses out of 44477 with flag 848802/161004
46.16/42.85	c cleaning 15720 clauses out of 48630 with flag 952121/180001
51.36/48.09	c cleaning 16573 clauses out of 52908 with flag 1063060/200001
57.03/53.62	c cleaning 17413 clauses out of 57335 with flag 1179491/221002
62.92/59.41	c cleaning 18385 clauses out of 61922 with flag 1306267/243002
69.52/66.02	c cleaning 18744 clauses out of 66534 with flag 1437393/266001
76.28/72.70	c cleaning 20276 clauses out of 71789 with flag 1571378/290001
83.54/79.90	c cleaning 20920 clauses out of 76509 with flag 1709203/315000
91.42/87.72	c cleaning 21518 clauses out of 81591 with flag 1856682/341002
99.72/95.92	c cleaning 22572 clauses out of 87072 with flag 2010643/368001
108.17/104.31	c cleaning 23543 clauses out of 92500 with flag 2165459/396001
117.57/113.47	c cleaning 24293 clauses out of 97956 with flag 2330850/425001
126.56/122.46	c cleaning 25432 clauses out of 103663 with flag 2504979/455001
136.76/132.50	c cleaning 25836 clauses out of 109230 with flag 2684777/486000
147.07/142.71	c cleaning 27045 clauses out of 115397 with flag 2867273/518003
157.96/153.57	c cleaning 28109 clauses out of 121349 with flag 3063790/551000
171.59/166.60	c cleaning 28578 clauses out of 127239 with flag 3262662/585000
183.86/178.80	c cleaning 29544 clauses out of 133659 with flag 3471537/620000
196.75/191.64	c cleaning 30727 clauses out of 140114 with flag 3687845/656000
209.74/204.54	c cleaning 31593 clauses out of 146389 with flag 3905424/693002
223.73/218.43	c cleaning 32297 clauses out of 152794 with flag 4140234/731001
237.99/232.62	c cleaning 33359 clauses out of 159494 with flag 4377703/770000
253.45/248.06	c cleaning 33916 clauses out of 166129 with flag 4626041/810000
269.45/263.81	c cleaning 34840 clauses out of 173211 with flag 4876085/851000
286.23/280.54	c cleaning 35837 clauses out of 180370 with flag 5132010/893001
302.52/296.72	c cleaning 36866 clauses out of 187531 with flag 5396306/936000
322.06/315.97	c cleaning 37852 clauses out of 194662 with flag 5682331/980000
340.61/334.50	c cleaning 38398 clauses out of 201810 with flag 5957259/1025001
360.34/354.01	c cleaning 39398 clauses out of 209413 with flag 6249679/1071003
381.33/375.01	c cleaning 40432 clauses out of 217010 with flag 6550176/1118000
403.19/396.76	c cleaning 40967 clauses out of 224578 with flag 6859645/1166001
425.61/418.93	c cleaning 42141 clauses out of 232613 with flag 7169759/1215004
449.05/442.36	c cleaning 43019 clauses out of 240471 with flag 7490930/1265005
473.63/466.72	c cleaning 44199 clauses out of 248448 with flag 7817533/1316002
499.99/492.77	c cleaning 45258 clauses out of 256245 with flag 8166233/1368000
525.68/518.28	c cleaning 46117 clauses out of 263989 with flag 8508878/1421002
552.45/544.97	c cleaning 46899 clauses out of 271871 with flag 8874006/1475001
581.56/573.94	c cleaning 47770 clauses out of 279968 with flag 9258169/1530000
611.63/603.80	c cleaning 48904 clauses out of 288201 with flag 9643798/1586003
642.28/634.49	c cleaning 49644 clauses out of 296293 with flag 10034467/1643000
674.95/666.97	c cleaning 50790 clauses out of 304648 with flag 10438584/1701000
707.95/699.76	c cleaning 51736 clauses out of 312858 with flag 10835454/1760000
742.03/733.72	c cleaning 52465 clauses out of 321122 with flag 11251349/1820000
779.31/771.08	c cleaning 53529 clauses out of 329655 with flag 11685294/1881000
814.60/806.30	c cleaning 54500 clauses out of 338125 with flag 12117467/1943000
853.44/844.69	c cleaning 55422 clauses out of 346625 with flag 12567121/2006000
892.07/883.10	c cleaning 56327 clauses out of 355199 with flag 13023543/2070000
933.55/924.49	c cleaning 57465 clauses out of 363873 with flag 13510774/2135003
976.95/967.61	c cleaning 58182 clauses out of 372404 with flag 13994067/2201001
1020.78/1011.17	c cleaning 59295 clauses out of 381221 with flag 14493628/2268000
1065.75/1056.09	c cleaning 60264 clauses out of 389927 with flag 14993715/2336001
1112.87/1102.95	c cleaning 61772 clauses out of 398661 with flag 15512615/2405000
1159.93/1149.71	c cleaning 62331 clauses out of 406889 with flag 16035636/2475000
1208.24/1197.86	c cleaning 63048 clauses out of 415558 with flag 16567068/2546000
1258.60/1247.97	c cleaning 64323 clauses out of 424511 with flag 17122333/2618001
1311.89/1301.15	c cleaning 65091 clauses out of 433185 with flag 17700230/2691000
1368.14/1356.34	c cleaning 66361 clauses out of 442094 with flag 18281562/2765001
1426.37/1414.48	c cleaning 67108 clauses out of 450733 with flag 18878672/2840002
1483.27/1471.13	c cleaning 68237 clauses out of 459622 with flag 19467594/2916000
1544.76/1532.26	c cleaning 68930 clauses out of 468385 with flag 20086984/2993000
1604.51/1591.89	c cleaning 70391 clauses out of 477455 with flag 20717277/3071001
1671.02/1657.97	c cleaning 71273 clauses out of 486063 with flag 21414464/3150000
1734.58/1721.33	c cleaning 71967 clauses out of 494789 with flag 22064293/3230001
1801.51/1788.00	c cleaning 73274 clauses out of 503822 with flag 22713984/3311001
1871.14/1857.23	c cleaning 74247 clauses out of 512547 with flag 23395059/3393000
1939.81/1925.86	c cleaning 75412 clauses out of 521297 with flag 24059371/3476000
2012.08/1997.82	c cleaning 76272 clauses out of 529885 with flag 24744590/3560000
2085.47/2070.95	c cleaning 77219 clauses out of 538612 with flag 25455955/3645000
2161.37/2146.53	c cleaning 78226 clauses out of 547394 with flag 26157938/3731001
2237.42/2222.28	c cleaning 79454 clauses out of 556167 with flag 26871825/3818001
2316.61/2300.70	c cleaning 80315 clauses out of 564711 with flag 27599463/3906001
2396.43/2380.49	c cleaning 81529 clauses out of 573396 with flag 28342720/3995001
2480.24/2463.61	c cleaning 82427 clauses out of 581866 with flag 29135586/4085000
2563.50/2546.69	c cleaning 83475 clauses out of 590441 with flag 29921819/4176002
2661.95/2644.48	c cleaning 84038 clauses out of 598966 with flag 30945632/4268002
2751.33/2733.60	c cleaning 85120 clauses out of 607925 with flag 31752347/4361000
2840.52/2822.53	c cleaning 86606 clauses out of 616805 with flag 32565419/4455000
2933.89/2915.46	c cleaning 87239 clauses out of 625201 with flag 33404216/4550002
3032.01/3013.45	c cleaning 88005 clauses out of 633960 with flag 34271989/4646000
3131.98/3112.98	c cleaning 89138 clauses out of 642956 with flag 35147095/4743001
3232.71/3213.57	c cleaning 90391 clauses out of 651816 with flag 36037129/4841001
3337.96/3318.32	c cleaning 91190 clauses out of 660423 with flag 36954407/4940000
3446.18/3426.09	c cleaning 91934 clauses out of 669232 with flag 37871231/5040000
3554.53/3534.29	c cleaning 92834 clauses out of 678296 with flag 38800212/5141000
3600.08/3579.52	c timeout
3600.08/3579.52	c starts		: 33799
3600.08/3579.55	c conflicts		: 5192705
3600.08/3579.55	c decisions		: 140989445
3600.08/3579.55	c propagations		: 4392619303
3600.08/3579.55	c inspects		: 24238111221
3600.08/3579.55	c shortcuts		: 0
3600.08/3579.55	c learnt literals	: 120
3600.08/3579.55	c learnt binary clauses	: 215815
3600.08/3579.55	c learnt ternary clauses	: 202520
3600.08/3579.56	c learnt constraints	: 5192585
3600.08/3579.56	c ignored constraints	: 0
3600.08/3579.56	c root simplifications	: 0
3600.08/3579.57	c removed literals (reason simplification)	: 0
3600.08/3579.57	c reason swapping (by a shorter reason)	: 0
3600.08/3579.57	c Calls to reduceDB	: 97
3600.08/3579.57	c Number of update (reduction) of LBD	: 3978449
3600.08/3579.57	c Imported unit clauses	: 0
3600.08/3579.57	c No decision after first conflict	: false
3600.08/3579.57	c number of reductions to clauses (during analyze)	: 0
3600.08/3579.57	c number of learned constraints concerned by reduction	: 0
3600.08/3579.57	c number of learning phase by resolution	: 0
3600.08/3579.57	c number of learning phase by cutting planes	: 0
3600.08/3579.57	c number of rounding to 1 operations	: 0
3600.08/3579.57	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3579.57	c number of reductions of the coefficients by power 2 	: 0
3600.08/3579.57	c number of right shift for reduction by power 2 	: 0
3600.08/3579.57	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3579.57	c number of ending skipping 	: 0
3600.08/3579.57	c number of internal skipping 	: 0
3600.08/3579.57	c number of derivation steps 	: 0
3600.08/3579.57	c number of skipped derivation steps 	: 0
3600.08/3579.57	c number of remaining unassigned 	: 0
3600.08/3579.57	c number of remaining assigned 	: 0
3600.08/3579.57	c number of falsified literals weakened from reason	: 0
3600.08/3579.57	c number of falsified literals weakened from conflict	: 0
3600.08/3579.57	c time for arithmetic operations	: 0
3600.08/3579.57	c minimum degree of deleted constraints	: null
3600.08/3579.57	c maximum degree of deleted constraints	: null
3600.08/3579.57	c number of deleted constraints	: 0
3600.08/3579.57	c speed (assignments/second)	: 1227397.6503901999
3600.08/3579.57	c non guided choices	: 26596
3600.24/3579.67	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 421352
3600.24/3579.67	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 215815
3600.24/3579.67	s UNKNOWN
3600.24/3579.67	c Total wall clock time (in seconds): 3579.393

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59915 MiB free)
  memory of node 1: 64473 MiB (61274 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.109985 s]*
/proc/loadavg: 3.64 4.05 4.13 6/307 973536
/proc/meminfo: memFree=123950480/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=18975048 memory=56712 CPUtime=0.13 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 6575 0 0 0 11 2 0 0 20 0 18 0 186150394 19430449152 14178 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4743762 14178 5710 1 0 550900 0
[pid=973452/tid=973457] ppid=973445 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 5493 0 0 0 8 1 0 0 20 0 18 0 186150395 19430449152 14181 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=18975048 memory=3718 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150399 19430449152 14181 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150400 19430449152 14181 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56712 KiB

[startup+0.215956 s]*
/proc/loadavg: 3.64 4.05 4.13 11/313 973542
/proc/meminfo: memFree=123924748/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=18975048 memory=65188 CPUtime=0.29 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 7203 0 0 0 26 3 0 0 20 0 18 0 186150394 19430449152 16297 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4743762 16297 5714 1 0 551415 0
[pid=973452/tid=973457] ppid=973445 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 5751 0 0 0 17 2 0 0 20 0 18 0 186150395 19430449152 16297 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=18975048 memory=3718 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150399 19430449152 16297 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150400 19430449152 16297 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65188 KiB

[startup+0.321987 s]*
/proc/loadavg: 3.64 4.05 4.13 11/313 973542
/proc/meminfo: memFree=123901928/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=18975048 memory=68828 CPUtime=0.47 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 7460 0 0 0 43 4 0 0 20 0 18 0 186150394 19430449152 17207 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4743762 17207 5816 1 0 551586 0
[pid=973452/tid=973457] ppid=973445 vsize=18975048 memory=-8599173141401739964 CPUtime=0.29 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 5891 0 0 0 27 2 0 0 20 0 18 0 186150395 19430449152 17207 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150399 19430449152 17207 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150400 19430449152 17207 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68828 KiB

[startup+0.70098 s]
/proc/loadavg: 3.64 4.05 4.13 13/313 973542
/proc/meminfo: memFree=123834268/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=18975048 memory=137424 CPUtime=1.16 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 9287 0 0 0 110 6 0 0 20 0 18 0 186150394 19430449152 34356 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4743762 34356 5816 1 0 552756 0
[pid=973452/tid=973457] ppid=973445 vsize=18975048 memory=16164 CPUtime=0.65 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 5946 0 0 0 61 4 0 0 20 0 18 0 186150395 19430449152 34356 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=18975048 memory=12320 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186150399 19430449152 34356 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=18975048 memory=5496 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186150400 19430449152 34356 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 137424 KiB

[startup+1.52184 s]
/proc/loadavg: 3.64 4.05 4.13 12/318 973547
/proc/meminfo: memFree=123480712/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=175020 CPUtime=2.66 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 14184 0 0 0 257 9 0 0 20 0 20 0 186150394 19566772224 43755 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 43755 5832 1 0 554236 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=5496 CPUtime=1.31 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 6166 0 0 0 127 4 0 0 20 0 20 0 186150395 19566772224 43755 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 43755 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 43755 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 43755 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175020 KiB

[startup+3.10597 s]
/proc/loadavg: 3.64 4.05 4.13 9/322 973557
/proc/meminfo: memFree=124298636/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=178612 CPUtime=4.97 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 17128 0 0 0 488 9 0 0 20 0 20 0 186150394 19566772224 44653 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 44653 5832 1 0 555049 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=12320 CPUtime=2.85 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 7315 0 0 0 280 5 0 0 20 0 20 0 186150395 19566772224 44653 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=16164 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 44653 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 44653 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 44653 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178612 KiB

[startup+6.30043 s]
/proc/loadavg: 3.67 4.05 4.13 6/322 973559
/proc/meminfo: memFree=124262776/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=192760 CPUtime=9.32 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 26244 0 0 0 920 12 0 0 20 0 20 0 186150394 19566772224 48190 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 48190 5864 1 0 558615 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=0 CPUtime=6.02 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 7373 0 0 0 597 5 0 0 20 0 20 0 186150395 19566772224 48190 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=177300 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 48190 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 48190 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 48190 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 9.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192760 KiB

[startup+12.7004 s]
/proc/loadavg: 3.78 4.07 4.13 5/322 973559
/proc/meminfo: memFree=124245832/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=187720 CPUtime=15.72 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 29952 0 0 0 1559 13 0 0 20 0 20 0 186150394 19566772224 46930 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 46930 5880 1 0 558615 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=12320 CPUtime=12.33 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 8567 0 0 0 1228 5 0 0 20 0 20 0 186150395 19566772224 46930 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=187716 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 46930 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=192860 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 46930 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=178612 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 46930 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187720 KiB

[startup+25.5005 s]
/proc/loadavg: 3.91 4.08 4.14 5/321 973562
/proc/meminfo: memFree=123967788/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=218624 CPUtime=28.53 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 32201 0 0 0 2838 15 0 0 20 0 20 0 186150394 19566772224 54656 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 54656 5888 1 0 558615 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=187716 CPUtime=24.97 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 9380 0 0 0 2492 5 0 0 20 0 20 0 186150395 19566772224 54656 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=218592 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 54656 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 54656 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 54656 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 28.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 218624 KiB

[startup+51.1133 s]
/proc/loadavg: 4.14 4.12 4.15 5/321 973565
/proc/meminfo: memFree=122972528/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=528160 CPUtime=54.55 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 40192 0 0 0 5431 24 0 0 20 0 20 0 186150394 19566772224 132040 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 132040 5888 1 0 558615 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=450292 CPUtime=49.85 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 11420 0 0 0 4980 5 0 0 20 0 20 0 186150395 19566772224 132040 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 132040 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 132040 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0

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

/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 69987 0 0 0 318928 45 0 0 20 0 20 0 186150395 19566772224 1345122 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5380488 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1345122 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=5380488 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1697 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1345122 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=5380488 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1345122 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3241.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5380488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.18 4.15 5/320 975305
/proc/meminfo: memFree=103496532/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5382536 CPUtime=3302.04 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 197416 0 0 0 329906 298 0 0 20 0 20 0 186150394 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1345634 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=5380488 CPUtime=3249.23 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 70925 0 0 0 324877 46 0 0 20 0 20 0 186150395 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=45680 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=487 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1705 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3302.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5382536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.15 8/325 975393
/proc/meminfo: memFree=102732408/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5382536 CPUtime=3361.92 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 198499 0 0 0 335892 300 0 0 20 0 20 0 186150394 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1345634 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=5382536 CPUtime=3309.07 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 71747 0 0 0 330861 46 0 0 20 0 20 0 186150395 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5382536 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1705 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=30388 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1345634 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3361.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5382536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.16 5/317 975710
/proc/meminfo: memFree=101863504/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5433864 CPUtime=3422.12 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 201267 0 0 0 341908 304 0 0 20 0 20 0 186150394 19566772224 1358466 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1358466 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=5382536 CPUtime=3368.6 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 72808 0 0 0 336813 47 0 0 20 0 20 0 186150395 19566772224 1358466 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5433864 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1358466 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1782 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1358466 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=-8816190348445655740 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1358466 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3422.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5433864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.16 5/317 975720
/proc/meminfo: memFree=101449356/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5481536 CPUtime=3482.38 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 202922 0 0 0 347929 309 0 0 20 0 20 0 186150394 19566772224 1370384 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1370384 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=5382536 CPUtime=3428.02 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 73817 0 0 0 342755 47 0 0 20 0 20 0 186150395 19566772224 1370384 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5481536 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1370384 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=5481536 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1782 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1370384 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=5481536 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1370384 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3482.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5481536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.16 6/320 975800
/proc/meminfo: memFree=100665080/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5762580 CPUtime=3542.65 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 204215 0 0 0 353947 318 0 0 20 0 20 0 186150394 19566772224 1440645 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1440645 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=12720 CPUtime=3487.47 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 74732 0 0 0 348699 48 0 0 20 0 20 0 186150395 19566772224 1440645 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5380488 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1440645 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=16164 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1782 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1440645 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=31984 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1440645 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3542.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5762580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.5 s]
/proc/loadavg: 4.29 4.21 4.17 9/316 976045
/proc/meminfo: memFree=112884148/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19108176 memory=5967752 CPUtime=3600.08 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 207424 0 0 0 359683 325 0 0 20 0 20 0 186150394 19566772224 1491938 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4777044 1491938 5888 1 0 1816321 0
[pid=973452/tid=973457] ppid=973445 vsize=19108176 memory=12720 CPUtime=3544.21 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) R 973445 973452 973401 0 -1 4194368 76205 0 0 0 354373 48 0 0 20 0 20 0 186150395 19566772224 1491938 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19108176 memory=5967752 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186150399 19566772224 1491938 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19108176 memory=5967752 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 20 0 186150400 19566772224 1491938 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973543] ppid=973445 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/973452/task/973543/stat : 973543 (Timer-0) S 973445 973452 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186150470 19566772224 1491938 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5967752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.11 s, system=3.29592 s

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

[startup+3579.61 s]
/proc/loadavg: 4.29 4.21 4.17 9/316 976045
/proc/meminfo: memFree=112884148/131655788 swapFree=131071996/131071996
[pid=973452] ppid=973445 vsize=19307868 memory=5968452 CPUtime=3600.24 cores=1,3
/proc/973452/stat : 973452 (java) S 973445 973452 973401 0 -1 1077936128 210032 0 0 0 359698 326 0 0 20 0 21 0 186150394 19771256832 1492113 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
/proc/973452/statm: 4826967 1492113 5887 1 0 1817224 0
[pid=973452/tid=973457] ppid=973445 vsize=19307868 memory=5496 CPUtime=3544.23 cores=1,3
/proc/973452/task/973457/stat : 973457 (java) S 973445 973452 973401 0 -1 1077936192 76408 0 0 0 354375 48 0 0 20 0 21 0 186150395 19771256832 1492113 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973481] ppid=973445 vsize=19307868 memory=31984 CPUtime=0 cores=1,3
/proc/973452/task/973481/stat : 973481 (Finalizer) S 973445 973452 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186150399 19771256832 1492113 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
[pid=973452/tid=973494] ppid=973445 vsize=19307868 memory=19428 CPUtime=0 cores=1,3
/proc/973452/task/973494/stat : 973494 (Common-Cleaner) S 973445 973452 973401 0 -1 1077936192 1858 0 0 0 0 0 0 0 20 0 21 0 186150400 19771256832 1492113 134679101440 93895249117184 93895249120880 140730992949088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93895249128696 93895249129488 93895263686656 140730992956422 140730992956512 140730992956512 140730992963528 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5968452 KiB

[startup+3579.71 s]*
/proc/loadavg: 4.58 4.27 4.19 9/302 976052
/proc/meminfo: memFree=118434780/131655788 swapFree=131071996/131071996
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): 3579.74
CPU time (s): 3600.4
CPU user time (s): 3597.11
CPU system time (s): 3.29592
CPU usage (%): 100.577
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5968452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.11
system time used= 3.29592
maximum resident set size= 5969360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110089
involuntary context switches= 3918


# summary of solver processes directly reported to runsolver:
#   pid: 973452
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.11
#   total CPU system time (s): 3.29592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.728 second user time and 38.7365 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-18 23:59:18
IDJOB=4446524
IDBENCH=158274
IDSOLVER=3058
FILE ID=nodeC004/4446524-1721339946
RUNJOBID= nodeC004-1721339958-973413
SLURM_JOB_ID= 7542718
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd
RANDOM SEED=703462606

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124108120 kB
MemAvailable:   129839092 kB
Buffers:          518264 kB
Cached:          5984924 kB
SwapCached:            0 kB
Active:          1057844 kB
Inactive:        5791504 kB
Active(anon):       3256 kB
Inactive(anon):   380620 kB
Active(file):    1054588 kB
Inactive(file):  5410884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            985836 kB
Writeback:             0 kB
AnonPages:        346256 kB
Mapped:           843596 kB
Shmem:             37704 kB
KReclaimable:     211396 kB
Slab:             326984 kB
SReclaimable:     211396 kB
SUnreclaim:       115588 kB
KernelStack:        3696 kB
PageTables:        11368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     689544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58688 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC004 at 2024-07-19 00:58:58