Trace number 4506876

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.25 3594.85

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
MD5SUM98be46c5d9a37fa78efcf3182d546400
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark56.3156
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20944
Total number of constraints21298
Number of constraints which are clauses21122
Number of constraints which are cardinality constraints (but not clauses)176
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
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 177
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4506876-1751165878.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.70/0.43	c ... done. Wall clock time 0.296s.
0.70/0.43	c declared #vars     20944
0.70/0.43	c #constraints  21298
0.70/0.43	c constraints type 
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2275
0.70/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 176
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18845
0.70/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.70/0.43	c 21298 constraints processed.
4.20/2.68	c cleaning 2488 clauses out of 4992 with flag 23395/5000
6.63/4.90	c cleaning 4245 clauses out of 8492 with flag 53729/11001
10.33/8.37	c cleaning 5562 clauses out of 11241 with flag 90976/18000
13.43/11.44	c cleaning 6789 clauses out of 13674 with flag 133065/26000
16.92/14.92	c cleaning 7886 clauses out of 15882 with flag 180866/35000
20.62/18.68	c cleaning 8130 clauses out of 17992 with flag 230252/45000
25.12/23.13	c cleaning 8833 clauses out of 20861 with flag 286571/56001
30.21/28.26	c cleaning 9686 clauses out of 24027 with flag 348401/68002
35.60/33.68	c cleaning 10511 clauses out of 27339 with flag 413213/81002
41.52/39.52	c cleaning 11110 clauses out of 30825 with flag 479337/95000
47.81/45.87	c cleaning 11906 clauses out of 34712 with flag 555306/110000
54.92/52.99	c cleaning 12966 clauses out of 38806 with flag 638993/126001
62.68/60.66	c cleaning 13584 clauses out of 42835 with flag 724947/143000
70.68/68.64	c cleaning 14670 clauses out of 47250 with flag 815703/161000
79.52/77.46	c cleaning 15210 clauses out of 51576 with flag 912050/180000
89.17/87.08	c cleaning 16180 clauses out of 56364 with flag 1018142/200002
99.44/97.39	c cleaning 16911 clauses out of 61184 with flag 1125403/221002
110.08/107.99	c cleaning 17584 clauses out of 66266 with flag 1238476/243000
121.46/119.31	c cleaning 18448 clauses out of 71677 with flag 1357586/266000
133.09/130.96	c cleaning 19273 clauses out of 77219 with flag 1483843/290000
145.23/143.05	c cleaning 19990 clauses out of 82942 with flag 1616695/315001
157.77/155.53	c cleaning 21117 clauses out of 88946 with flag 1749964/341002
171.42/169.17	c cleaning 22029 clauses out of 94826 with flag 1893469/368000
186.05/183.72	c cleaning 22822 clauses out of 100796 with flag 2045342/396000
200.53/198.22	c cleaning 23627 clauses out of 106974 with flag 2199638/425001
215.55/213.29	c cleaning 24598 clauses out of 113346 with flag 2370260/455001
231.08/228.71	c cleaning 25455 clauses out of 119745 with flag 2540663/486000
247.87/245.53	c cleaning 26180 clauses out of 126286 with flag 2715289/518000
266.80/264.24	c cleaning 27132 clauses out of 133102 with flag 2899282/551000
285.23/282.67	c cleaning 27872 clauses out of 139969 with flag 3087812/585000
304.37/301.75	c cleaning 28859 clauses out of 147096 with flag 3288936/620002
324.21/321.51	c cleaning 29347 clauses out of 154232 with flag 3489594/656000
345.04/342.30	c cleaning 30156 clauses out of 161881 with flag 3697309/693000
366.70/364.02	c cleaning 31136 clauses out of 169722 with flag 3917148/731001
389.74/387.02	c cleaning 32295 clauses out of 177581 with flag 4139080/770001
414.27/411.54	c cleaning 32899 clauses out of 185280 with flag 4378432/810000
438.91/436.13	c cleaning 34070 clauses out of 193382 with flag 4618805/851002
464.36/461.57	c cleaning 34924 clauses out of 201308 with flag 4862230/893000
490.99/488.22	c cleaning 35711 clauses out of 209381 with flag 5116452/936000
519.90/516.80	c cleaning 36368 clauses out of 217672 with flag 5373467/980005
548.14/545.00	c cleaning 37301 clauses out of 226298 with flag 5635119/1025000
578.48/575.41	c cleaning 38310 clauses out of 234996 with flag 5907039/1071000
609.04/605.99	c cleaning 39240 clauses out of 243685 with flag 6189336/1118001
640.67/637.61	c cleaning 40214 clauses out of 252443 with flag 6477958/1166000
674.06/671.00	c cleaning 40439 clauses out of 261237 with flag 6793157/1215008
708.74/705.54	c cleaning 42026 clauses out of 270789 with flag 7098755/1265000
744.86/741.70	c cleaning 42089 clauses out of 279760 with flag 7414674/1316001
781.73/778.58	c cleaning 43710 clauses out of 289673 with flag 7737264/1368003
819.93/816.84	c cleaning 44507 clauses out of 298958 with flag 8063595/1421000
860.29/857.13	c cleaning 45690 clauses out of 308450 with flag 8410314/1475000
900.36/896.83	c cleaning 46550 clauses out of 317757 with flag 8744972/1530000
942.28/938.73	c cleaning 47114 clauses out of 327204 with flag 9093769/1586000
985.19/981.75	c cleaning 48120 clauses out of 337088 with flag 9450249/1643001
1030.94/1027.49	c cleaning 49015 clauses out of 346967 with flag 9835091/1701000
1076.91/1073.34	c cleaning 50008 clauses out of 356952 with flag 10215960/1760001
1124.61/1121.16	c cleaning 50884 clauses out of 366941 with flag 10600787/1820000
1174.44/1170.98	c cleaning 51693 clauses out of 377058 with flag 11011862/1881001
1225.60/1222.02	c cleaning 52404 clauses out of 387363 with flag 11430951/1943000
1278.06/1274.48	c cleaning 53949 clauses out of 397958 with flag 11851597/2006000
1332.98/1329.33	c cleaning 54656 clauses out of 408011 with flag 12276873/2070002
1389.03/1384.94	c cleaning 55423 clauses out of 418353 with flag 12724071/2135001
1446.59/1442.55	c cleaning 56665 clauses out of 428929 with flag 13179123/2201000
1505.85/1501.76	c cleaning 57531 clauses out of 439265 with flag 13638574/2268001
1568.19/1564.01	c cleaning 58247 clauses out of 449731 with flag 14129092/2336000
1629.65/1625.44	c cleaning 59986 clauses out of 460483 with flag 14601351/2405000
1692.91/1688.89	c cleaning 60330 clauses out of 470498 with flag 15079920/2475002
1758.40/1754.37	c cleaning 61000 clauses out of 481166 with flag 15567138/2546000
1828.37/1824.38	c cleaning 61960 clauses out of 492165 with flag 16079182/2618000
1898.39/1894.32	c cleaning 62957 clauses out of 503202 with flag 16585212/2691000
1969.05/1965.01	c cleaning 64338 clauses out of 514245 with flag 17101324/2765000
2042.91/2038.99	c cleaning 65193 clauses out of 524907 with flag 17633208/2840000
2117.30/2113.30	c cleaning 65884 clauses out of 535714 with flag 18168738/2916000
2196.86/2192.02	c cleaning 66818 clauses out of 546828 with flag 18709629/2993000
2276.70/2271.91	c cleaning 68017 clauses out of 558009 with flag 19279062/3071000
2359.68/2354.92	c cleaning 69087 clauses out of 568992 with flag 19855042/3150000
2445.40/2440.69	c cleaning 69816 clauses out of 579903 with flag 20453290/3230000
2530.81/2526.08	c cleaning 70924 clauses out of 591087 with flag 21042636/3311000
2621.65/2616.90	c cleaning 71682 clauses out of 602165 with flag 21664625/3393003
2713.60/2708.90	c cleaning 72828 clauses out of 613479 with flag 22299214/3476000
2807.82/2802.91	c cleaning 73630 clauses out of 624651 with flag 22923448/3560000
2902.56/2897.70	c cleaning 74930 clauses out of 636021 with flag 23571186/3645000
3001.27/2996.54	c cleaning 75415 clauses out of 647090 with flag 24224331/3731000
3102.89/3098.29	c cleaning 76864 clauses out of 658674 with flag 24883076/3818000
3206.84/3202.05	c cleaning 77333 clauses out of 669810 with flag 25557939/3906000
3310.50/3305.73	c cleaning 78712 clauses out of 681476 with flag 26223910/3995000
3419.56/3414.19	c cleaning 79273 clauses out of 692764 with flag 26908184/4085000
3530.45/3525.13	c cleaning 80496 clauses out of 704491 with flag 27611719/4176000
3600.06/3594.71	c timeout
3600.06/3594.71	c starts		: 26196
3600.06/3594.71	c conflicts		: 4238921
3600.06/3594.71	c decisions		: 158735168
3600.06/3594.71	c propagations		: 4290319089
3600.06/3594.71	c inspects		: 19443583744
3600.06/3594.71	c shortcuts		: 0
3600.06/3594.71	c learnt literals	: 188
3600.06/3594.71	c learnt binary clauses	: 259966
3600.06/3594.72	c learnt ternary clauses	: 232137
3600.06/3594.72	c learnt constraints	: 4238733
3600.06/3594.72	c ignored constraints	: 0
3600.06/3594.72	c root simplifications	: 0
3600.06/3594.72	c removed literals (reason simplification)	: 42285812
3600.06/3594.72	c reason swapping (by a shorter reason)	: 0
3600.06/3594.72	c Calls to reduceDB	: 87
3600.06/3594.72	c Number of update (reduction) of LBD	: 3086083
3600.06/3594.72	c Imported unit clauses	: 0
3600.06/3594.72	c No decision after first conflict	: false
3600.06/3594.72	c number of reductions to clauses (during analyze)	: 0
3600.06/3594.72	c number of learned constraints concerned by reduction	: 0
3600.06/3594.72	c number of learning phase by resolution	: 0
3600.06/3594.72	c number of learning phase by cutting planes	: 0
3600.06/3594.72	c number of rounding to 1 operations	: 0
3600.06/3594.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3594.72	c number of reductions of the coefficients by power 2 	: 0
3600.06/3594.72	c number of right shift for reduction by power 2 	: 0
3600.06/3594.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3594.72	c number of ending skipping 	: 0
3600.06/3594.72	c number of internal skipping 	: 0
3600.06/3594.72	c number of derivation steps 	: 0
3600.06/3594.72	c number of skipped derivation steps 	: 0
3600.06/3594.72	c number of remaining unassigned 	: 0
3600.06/3594.72	c number of remaining assigned 	: 0
3600.06/3594.72	c number of falsified literals weakened from reason	: 0
3600.06/3594.72	c number of falsified literals weakened from conflict	: 0
3600.06/3594.72	c time for arithmetic operations	: 0
3600.06/3594.72	c minimum degree of deleted constraints	: null
3600.06/3594.72	c maximum degree of deleted constraints	: null
3600.06/3594.72	c number of deleted constraints	: 0
3600.06/3594.72	c speed (assignments/second)	: 1193651.882713645
3600.06/3594.72	c non guided choices	: 52785
3600.21/3594.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 426950
3600.21/3594.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 259966
3600.21/3594.81	s UNKNOWN
3600.21/3594.81	c Total wall clock time (in seconds): 3594.685

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: 63665 MiB (60498 MiB free)
  memory of node 1: 64507 MiB (63137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506876-1751165878/watcher-4506876-1751165878 -o /tmp/evaluation-result-4506876-1751165878/solver-4506876-1751165878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20467 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4506876-1751165878.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
solver pid=23802, runsolver pid=23799
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.21 4.15 4.11 6/338 23820
/proc/meminfo: memFree=126582640/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=18930384 memory=57640 CPUtime=0.12 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 6568 0 0 0 10 2 0 0 20 0 18 0 32265452 19384713216 14410 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4732596 14410 5335 1 0 547620 0
[pid=23802/tid=23804] ppid=23799 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 5074 0 0 0 6 1 0 0 20 0 18 0 32265453 19384713216 14410 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32265455 19384713216 14410 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=18930384 memory=59585004307076 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32265456 19384713216 14410 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57640 KiB

[startup+0.205798 s]*
/proc/loadavg: 4.21 4.15 4.11 6/338 23820
/proc/meminfo: memFree=126564240/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=18930612 memory=73084 CPUtime=0.33 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 7334 0 0 0 30 3 0 0 20 0 18 0 32265452 19384946688 18239 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4732653 18239 5431 1 0 548169 0
[pid=23802/tid=23804] ppid=23799 vsize=18930612 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 5261 0 0 0 16 1 0 0 20 0 18 0 32265453 19384946688 18271 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=18930612 memory=15140 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32265455 19384946688 18271 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32265456 19384713216 18225 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930612 KiB
Current children cumulated memory: 73084 KiB

[startup+0.305824 s]*
/proc/loadavg: 4.21 4.15 4.11 6/338 23820
/proc/meminfo: memFree=126535644/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=18930384 memory=105296 CPUtime=0.51 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 8580 0 0 0 48 3 0 0 20 0 18 0 32265452 19384713216 26324 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4732596 26324 5431 1 0 548970 0
[pid=23802/tid=23804] ppid=23799 vsize=18930384 memory=-6000919468344306029 CPUtime=0.25 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 5287 0 0 0 23 2 0 0 20 0 18 0 32265453 19384713216 26324 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32265455 19384713216 26324 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32265456 19384713216 26324 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105296 KiB

[startup+0.700239 s]
/proc/loadavg: 4.21 4.15 4.11 6/340 23822
/proc/meminfo: memFree=126468660/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=179148 CPUtime=1.27 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 14868 0 0 0 121 6 0 0 20 0 20 0 32265452 19521036288 44787 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 44787 5463 1 0 553512 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=17536 CPUtime=0.58 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 5364 0 0 0 55 3 0 0 20 0 20 0 32265453 19521036288 44787 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 44787 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 44787 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 44787 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179148 KiB

[startup+1.50022 s]
/proc/loadavg: 4.21 4.15 4.11 6/340 23822
/proc/meminfo: memFree=126452028/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=189892 CPUtime=2.83 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 24074 0 0 0 276 7 0 0 20 0 20 0 32265452 19521036288 47473 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 47473 5463 1 0 555968 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 5499 0 0 0 133 3 0 0 20 0 20 0 32265453 19521036288 47473 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 47473 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 47473 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 47473 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189892 KiB

[startup+3.10558 s]
/proc/loadavg: 4.21 4.15 4.11 5/340 23822
/proc/meminfo: memFree=126443720/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=190404 CPUtime=4.72 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 26272 0 0 0 464 8 0 0 20 0 20 0 32265452 19521036288 47601 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 47601 5463 1 0 556035 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=10752 CPUtime=2.96 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 6824 0 0 0 293 3 0 0 20 0 20 0 32265453 19521036288 47601 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=-6000919468344306029 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 47601 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 47601 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 47601 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190404 KiB

[startup+6.30018 s]
/proc/loadavg: 4.27 4.16 4.11 5/340 23822
/proc/meminfo: memFree=126443488/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=190788 CPUtime=8.34 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 26704 0 0 0 826 8 0 0 20 0 20 0 32265452 19521036288 47697 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 47697 5495 1 0 556037 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=0 CPUtime=6.14 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 6886 0 0 0 611 3 0 0 20 0 20 0 32265453 19521036288 47697 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 47697 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 47697 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=190020 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 47697 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.11 5/340 23822
/proc/meminfo: memFree=126295528/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=192872 CPUtime=14.73 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 30457 0 0 0 1465 8 0 0 20 0 20 0 32265452 19521036288 48218 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 48218 5495 1 0 556037 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=190020 CPUtime=12.5 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 8068 0 0 0 1247 3 0 0 20 0 20 0 32265453 19521036288 48218 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 48218 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=192872 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 48218 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 48218 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192872 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.11 5/339 23822
/proc/meminfo: memFree=126221800/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=201228 CPUtime=27.52 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 31689 0 0 0 2743 9 0 0 20 0 20 0 32265452 19521036288 50307 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 50307 5495 1 0 556037 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=-6000919468344306029 CPUtime=25.25 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 8388 0 0 0 2522 3 0 0 20 0 20 0 32265453 19521036288 50307 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 50307 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 50307 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 50307 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 27.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201228 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.15 4.11 5/339 23823
/proc/meminfo: memFree=125848568/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=230084 CPUtime=53.13 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 33071 0 0 0 5302 11 0 0 20 0 20 0 32265452 19521036288 57521 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 57521 5495 1 0 556037 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=230084 CPUtime=50.76 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 8439 0 0 0 5073 3 0 0 20 0 20 0 32265453 19521036288 57521 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=201228 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 57521 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/341 24063
/proc/meminfo: memFree=114481076/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=3875440 CPUtime=3287.17 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 112735 0 0 0 328568 149 0 0 20 0 20 0 32265452 19521036288 968860 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 968860 5495 1 0 1035537 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=3649708 CPUtime=3264.39 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 47005 0 0 0 326417 22 0 0 20 0 20 0 32265453 19521036288 968860 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=3875440 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 968860 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=3649708 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 822 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 968860 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=3875440 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 968860 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3287.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3875440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/341 24066
/proc/meminfo: memFree=114291300/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4066484 CPUtime=3347.74 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 118997 0 0 0 334619 155 0 0 20 0 20 0 32265452 19521036288 1016621 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1016621 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=10752 CPUtime=3324.08 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 49727 0 0 0 332385 23 0 0 20 0 20 0 32265453 19521036288 1016621 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=4025516 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1016621 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 843 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1016621 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1016621 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3347.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4066484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/341 24070
/proc/meminfo: memFree=113930088/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4234420 CPUtime=3407.58 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 119840 0 0 0 340599 159 0 0 20 0 20 0 32265452 19521036288 1058605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1058605 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=10752 CPUtime=3383.89 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 50436 0 0 0 338363 26 0 0 20 0 20 0 32265453 19521036288 1058605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=4181172 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1058605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=4228276 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1058605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4226228 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1058605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3407.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4234420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/341 24077
/proc/meminfo: memFree=113770172/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4394420 CPUtime=3467.61 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 121582 0 0 0 346598 163 0 0 20 0 20 0 32265452 19521036288 1098605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1098605 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=10752 CPUtime=3443.5 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 51241 0 0 0 344323 27 0 0 20 0 20 0 32265453 19521036288 1098605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1098605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1098605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4394420 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1098605 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3467.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4394420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/341 24079
/proc/meminfo: memFree=113728464/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4435716 CPUtime=3527.65 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 123603 0 0 0 352599 166 0 0 20 0 20 0 32265452 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1108929 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=4394420 CPUtime=3503.11 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 52893 0 0 0 350284 27 0 0 20 0 20 0 32265453 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=4394420 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3527.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4435716 KiB

[startup+3582.3 s]
/proc/loadavg: 3.32 3.91 4.02 3/290 24149
/proc/meminfo: memFree=121681260/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4435716 CPUtime=3587.69 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 126640 0 0 0 358601 168 0 0 20 0 20 0 32265452 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1108929 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=4435716 CPUtime=3562.75 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 54589 0 0 0 356248 27 0 0 20 0 20 0 32265453 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=4435716 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=4435716 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4435716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.7 s]
/proc/loadavg: 3.11 3.84 4.00 3/290 24150
/proc/meminfo: memFree=121681280/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19063512 memory=4435716 CPUtime=3600.06 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 126645 0 0 0 359838 168 0 0 20 0 20 0 32265452 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4765878 1108929 5495 1 0 1482964 0
[pid=23802/tid=23804] ppid=23799 vsize=19063512 memory=4394420 CPUtime=3575.12 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) R 23799 23802 20457 0 -1 4194368 54590 0 0 0 357485 27 0 0 20 0 20 0 32265453 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19063512 memory=4172980 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32265455 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19063512 memory=4435716 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 20 0 32265456 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23822] ppid=23799 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/23802/task/23822/stat : 23822 (Timer-0) S 23799 23802 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32265497 19521036288 1108929 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4435716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.55 s, system=1.70173 s

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

[startup+3594.8 s]
/proc/loadavg: 3.11 3.84 4.00 3/290 24150
/proc/meminfo: memFree=121681280/131249996 swapFree=33010684/33010684
[pid=23802] ppid=23799 vsize=19263204 memory=4436868 CPUtime=3600.21 cores=0,2
/proc/23802/stat : 23802 (java) S 23799 23802 20457 0 -1 4194304 128284 0 0 0 359853 168 0 0 20 0 21 0 32265452 19725520896 1109217 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
/proc/23802/statm: 4815801 1109217 5527 1 0 1483913 0
[pid=23802/tid=23804] ppid=23799 vsize=19263204 memory=215587488049 CPUtime=3575.13 cores=0,2
/proc/23802/task/23804/stat : 23804 (java) S 23799 23802 20457 0 -1 4194368 54787 0 0 0 357486 27 0 0 20 0 21 0 32265453 19725520896 1109217 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23813] ppid=23799 vsize=19263204 memory=56312188895988 CPUtime=0 cores=0,2
/proc/23802/task/23813/stat : 23813 (Finalizer) S 23799 23802 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32265455 19725520896 1109217 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
[pid=23802/tid=23820] ppid=23799 vsize=19263204 memory=82953 CPUtime=0 cores=0,2
/proc/23802/task/23820/stat : 23820 (Common-Cleaner) S 23799 23802 20457 0 -1 4194368 904 0 0 0 0 0 0 0 20 0 21 0 32265456 19725520896 1109217 18446744073709551615 93961938087936 93961938091632 140736089117584 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93961938099448 93961938100240 93961967747072 140736089123201 140736089123302 140736089123302 140736089128904 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4436868 KiB

Child status: 143

Real time (s): 3594.85
CPU time (s): 3600.25
CPU user time (s): 3598.55
CPU system time (s): 1.70173
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4436868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.70173
maximum resident set size= 4436996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108956
involuntary context switches= 6678


# summary of solver processes directly reported to runsolver:
#   pid: 23802
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.70173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6742 second user time and 17.2203 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 04:57:58
IDJOB=4506876
IDBENCH=158302
IDSOLVER=3363
FILE ID=nodeC021/4506876-1751165878
RUNJOBID= nodeC021-1751158606-20467
SLURM_JOB_ID= 9587494
Free space on /tmp= 433040 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506876-1751165878/watcher-4506876-1751165878 -o /tmp/evaluation-result-4506876-1751165878/solver-4506876-1751165878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20467 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4506876-1751165878.opb

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

MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=173899952

nodeC021 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.808
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.591
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.56
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		: 3485.895
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.56
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		: 3700.000
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.56
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.752
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.56
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		: 3599.776
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.56
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		: 3307.687
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.56
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		: 3429.074
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126603672 kB
MemAvailable:   126528176 kB
Buffers:            3280 kB
Cached:           733792 kB
SwapCached:            0 kB
Active:          3580872 kB
Inactive:         477296 kB
Active(anon):    3339156 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   477296 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:       3323752 kB
Mapped:           122608 kB
Shmem:             18060 kB
KReclaimable:      89064 kB
Slab:             175024 kB
SReclaimable:      89064 kB
SUnreclaim:        85960 kB
KernelStack:        5200 kB
PageTables:        10196 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11594960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3121152 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC021 at 2025-06-29 05:57:53