Trace number 4507056

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.35 3584.39

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
MD5SUM4394b20101c323a14e6df6504cadd31d
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 variables18445
Total number of constraints18757
Number of constraints which are clauses18602
Number of constraints which are cardinality constraints (but not clauses)155
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint155
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 156
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.11/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.19	c See www.sat4j.org for details.
0.11/0.21	c version PB25.v20250606
0.11/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.43/0.36	c Pseudo Boolean Optimization by upper bound
0.43/0.36	c --- Begin Solver configuration ---
0.43/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.36	c Learn all clauses as in MiniSAT
0.43/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.36	c Expensive reason simplification
0.43/0.36	c Glucose 2.1 dynamic restart strategy
0.43/0.36	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.43/0.36	c timeout=2147483s
0.43/0.36	c DB Simplification allowed=false
0.43/0.36	c Listener: none
0.43/0.36	c --- End Solver configuration ---
0.43/0.36	c solving HOME/instance-4507056-1751182786.opb
0.43/0.36	c reading problem ... 
0.43/0.36	c  no objective function found
1.51/0.94	c ... done. Wall clock time 0.566s.
1.51/0.94	c declared #vars     18445
1.51/0.94	c #constraints  18757
1.51/0.94	c constraints type 
1.51/0.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2002
1.51/0.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 155
1.51/0.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16598
1.51/0.94	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.51/0.94	c 18757 constraints processed.
4.94/3.34	c cleaning 2478 clauses out of 4992 with flag 23078/5000
7.68/5.39	c cleaning 4208 clauses out of 8514 with flag 55740/11000
10.86/7.80	c cleaning 5622 clauses out of 11303 with flag 92230/18001
13.58/10.54	c cleaning 6799 clauses out of 13672 with flag 133334/26000
16.78/13.74	c cleaning 7926 clauses out of 15870 with flag 179035/35000
20.47/17.42	c cleaning 8073 clauses out of 17934 with flag 227372/45000
24.32/21.29	c cleaning 9076 clauses out of 20859 with flag 280504/56000
29.07/25.72	c cleaning 9693 clauses out of 23779 with flag 341421/68000
33.75/30.48	c cleaning 10491 clauses out of 27086 with flag 406238/81001
38.90/35.60	c cleaning 11454 clauses out of 30584 with flag 477563/95000
44.82/41.41	c cleaning 12139 clauses out of 34118 with flag 554068/110000
51.28/47.88	c cleaning 13099 clauses out of 37979 with flag 637973/126000
58.54/55.03	c cleaning 14064 clauses out of 41877 with flag 727077/143000
66.19/62.56	c cleaning 14735 clauses out of 45811 with flag 823323/161000
73.97/70.32	c cleaning 15505 clauses out of 50073 with flag 926564/180001
82.42/78.70	c cleaning 16472 clauses out of 54564 with flag 1028622/200001
91.50/87.85	c cleaning 17140 clauses out of 59087 with flag 1134677/221001
102.77/99.05	c cleaning 18133 clauses out of 63941 with flag 1251321/243000
112.55/108.85	c cleaning 19086 clauses out of 68806 with flag 1370107/266000
124.02/120.24	c cleaning 19682 clauses out of 73719 with flag 1502408/290001
135.77/131.93	c cleaning 20754 clauses out of 79034 with flag 1639036/315000
147.75/143.87	c cleaning 21354 clauses out of 84282 with flag 1781796/341003
160.22/156.32	c cleaning 22544 clauses out of 89928 with flag 1930528/368003
174.49/170.58	c cleaning 23184 clauses out of 95377 with flag 2086588/396000
188.75/184.72	c cleaning 23879 clauses out of 101193 with flag 2246531/425002
203.15/199.04	c cleaning 24744 clauses out of 107313 with flag 2415432/455002
218.78/214.68	c cleaning 25550 clauses out of 113566 with flag 2586713/486002
236.82/232.64	c cleaning 26332 clauses out of 120012 with flag 2766006/518001
254.79/250.17	c cleaning 27322 clauses out of 126678 with flag 2951612/551002
273.01/268.31	c cleaning 28257 clauses out of 133354 with flag 3145599/585000
292.00/287.27	c cleaning 29053 clauses out of 140096 with flag 3356144/620000
312.54/307.71	c cleaning 29920 clauses out of 147042 with flag 3568045/656000
333.60/328.70	c cleaning 30876 clauses out of 154124 with flag 3783708/693004
355.87/350.92	c cleaning 31735 clauses out of 161243 with flag 4008661/731000
378.52/373.69	c cleaning 32424 clauses out of 168506 with flag 4244399/770000
402.99/398.01	c cleaning 33173 clauses out of 176082 with flag 4481284/810000
426.98/421.96	c cleaning 34570 clauses out of 183908 with flag 4730464/851000
452.83/447.71	c cleaning 35359 clauses out of 191341 with flag 4988008/893004
481.14/475.41	c cleaning 36170 clauses out of 198976 with flag 5256795/936000
509.35/503.60	c cleaning 37165 clauses out of 206803 with flag 5526516/980000
538.21/532.52	c cleaning 37686 clauses out of 214633 with flag 5800582/1025000
569.48/563.61	c cleaning 38453 clauses out of 222946 with flag 6088736/1071002
599.98/594.05	c cleaning 39399 clauses out of 231488 with flag 6380284/1118001
632.14/626.12	c cleaning 40500 clauses out of 240088 with flag 6674038/1166001
666.30/660.24	c cleaning 41695 clauses out of 248584 with flag 6986507/1215000
700.92/694.89	c cleaning 42407 clauses out of 256888 with flag 7317634/1265000
738.32/731.88	c cleaning 43325 clauses out of 265481 with flag 7646880/1316000
775.22/768.68	c cleaning 44119 clauses out of 274154 with flag 7988351/1368000
813.72/807.05	c cleaning 45427 clauses out of 283035 with flag 8341519/1421000
854.27/847.53	c cleaning 45796 clauses out of 291607 with flag 8703037/1475001
894.26/887.41	c cleaning 47104 clauses out of 300808 with flag 9061897/1530001
936.65/929.77	c cleaning 48219 clauses out of 309700 with flag 9437310/1586000
981.53/974.59	c cleaning 49041 clauses out of 318482 with flag 9815819/1643003
1027.56/1020.60	c cleaning 49637 clauses out of 327439 with flag 10208280/1701001
1075.73/1068.57	c cleaning 50646 clauses out of 336799 with flag 10617092/1760000
1124.39/1117.12	c cleaning 51660 clauses out of 346152 with flag 11042744/1820000
1175.48/1168.09	c cleaning 52498 clauses out of 355492 with flag 11470554/1881001
1227.80/1219.56	c cleaning 53697 clauses out of 364993 with flag 11919214/1943000
1280.21/1271.90	c cleaning 54563 clauses out of 374294 with flag 12359075/2006003
1335.37/1326.80	c cleaning 55468 clauses out of 383729 with flag 12810478/2070001
1393.86/1385.27	c cleaning 56444 clauses out of 393262 with flag 13292432/2135002
1451.69/1442.74	c cleaning 57751 clauses out of 402816 with flag 13763484/2201000
1510.77/1501.74	c cleaning 58576 clauses out of 412066 with flag 14257989/2268001
1574.43/1565.19	c cleaning 58949 clauses out of 421490 with flag 14765907/2336001
1638.27/1628.93	c cleaning 60344 clauses out of 431539 with flag 15280139/2405000
1703.59/1694.22	c cleaning 61439 clauses out of 441194 with flag 15805168/2475000
1773.19/1763.64	c cleaning 62308 clauses out of 450757 with flag 16338889/2546003
1841.24/1831.60	c cleaning 63452 clauses out of 460445 with flag 16866428/2618000
1913.88/1904.08	c cleaning 64057 clauses out of 469992 with flag 17399168/2691000
1986.06/1976.19	c cleaning 65516 clauses out of 479935 with flag 17958338/2765000
2065.26/2054.14	c cleaning 65555 clauses out of 489417 with flag 18544099/2840000
2142.19/2130.97	c cleaning 67277 clauses out of 499862 with flag 19121814/2916000
2225.29/2213.61	c cleaning 67949 clauses out of 509586 with flag 19719889/2993001
2307.78/2295.97	c cleaning 68799 clauses out of 519636 with flag 20317574/3071002
2393.49/2381.17	c cleaning 70106 clauses out of 529835 with flag 20941646/3150000
2482.25/2469.73	c cleaning 71268 clauses out of 539727 with flag 21587556/3230001
2572.81/2560.10	c cleaning 71899 clauses out of 549456 with flag 22257161/3311000
2664.72/2651.71	c cleaning 73114 clauses out of 559557 with flag 22911725/3393000
2759.16/2746.13	c cleaning 74210 clauses out of 569445 with flag 23600820/3476003
2859.34/2846.12	c cleaning 74837 clauses out of 579228 with flag 24326942/3560000
2958.78/2945.31	c cleaning 75785 clauses out of 589392 with flag 25038061/3645001
3060.10/3046.62	c cleaning 76995 clauses out of 599610 with flag 25752755/3731005
3165.30/3151.62	c cleaning 77865 clauses out of 609608 with flag 26481540/3818000
3271.58/3257.70	c cleaning 79395 clauses out of 619744 with flag 27216573/3906001
3382.13/3366.68	c cleaning 80213 clauses out of 629348 with flag 27961744/3995000
3496.59/3481.07	c cleaning 80884 clauses out of 639135 with flag 28769764/4085000
3600.04/3584.22	c timeout
3600.04/3584.22	c starts		: 27081
3600.04/3584.23	c conflicts		: 4169155
3600.04/3584.23	c decisions		: 124125222
3600.04/3584.23	c propagations		: 3797091244
3600.04/3584.23	c inspects		: 18433587790
3600.04/3584.23	c shortcuts		: 0
3600.04/3584.23	c learnt literals	: 182
3600.04/3584.23	c learnt binary clauses	: 217387
3600.04/3584.23	c learnt ternary clauses	: 207773
3600.04/3584.23	c learnt constraints	: 4168973
3600.04/3584.23	c ignored constraints	: 0
3600.04/3584.23	c root simplifications	: 0
3600.04/3584.23	c removed literals (reason simplification)	: 46726521
3600.04/3584.23	c reason swapping (by a shorter reason)	: 0
3600.04/3584.23	c Calls to reduceDB	: 86
3600.04/3584.23	c Number of update (reduction) of LBD	: 3222130
3600.04/3584.23	c Imported unit clauses	: 0
3600.04/3584.23	c No decision after first conflict	: false
3600.04/3584.23	c number of reductions to clauses (during analyze)	: 0
3600.04/3584.23	c number of learned constraints concerned by reduction	: 0
3600.04/3584.23	c number of learning phase by resolution	: 0
3600.04/3584.23	c number of learning phase by cutting planes	: 0
3600.04/3584.23	c number of rounding to 1 operations	: 0
3600.04/3584.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3584.23	c number of reductions of the coefficients by power 2 	: 0
3600.04/3584.23	c number of right shift for reduction by power 2 	: 0
3600.04/3584.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3584.23	c number of ending skipping 	: 0
3600.04/3584.23	c number of internal skipping 	: 0
3600.04/3584.23	c number of derivation steps 	: 0
3600.04/3584.23	c number of skipped derivation steps 	: 0
3600.04/3584.23	c number of remaining unassigned 	: 0
3600.04/3584.23	c number of remaining assigned 	: 0
3600.04/3584.23	c number of falsified literals weakened from reason	: 0
3600.04/3584.23	c number of falsified literals weakened from conflict	: 0
3600.04/3584.23	c time for arithmetic operations	: 0
3600.04/3584.24	c minimum degree of deleted constraints	: null
3600.04/3584.24	c maximum degree of deleted constraints	: null
3600.04/3584.24	c number of deleted constraints	: 0
3600.04/3584.25	c speed (assignments/second)	: 1059669.4379645013
3600.04/3584.25	c non guided choices	: 33396
3600.23/3584.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 425019
3600.23/3584.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 217387
3600.23/3584.36	s UNKNOWN
3600.23/3584.36	c Total wall clock time (in seconds): 3584.0

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: 63794 MiB (63068 MiB free)
  memory of node 1: 64507 MiB (63826 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=24276, runsolver pid=24261
Current StackSize limit: 8192 KiB


[startup+0.10029 s]*
/proc/loadavg: 0.61 1.01 1.53 11/318 24344
/proc/meminfo: memFree=129861936/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=18930384 memory=47420 CPUtime=0.11 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 5639 0 98 0 6 5 0 0 20 0 18 0 33958429 19384713216 11855 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4732596 11855 5133 1 0 546961 0
[pid=24276/tid=24281] ppid=24261 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 4501 0 98 0 3 3 0 0 20 0 18 0 33958432 19384713216 11855 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 11855 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=18930384 memory=59593594258114 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 11855 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47420 KiB

[startup+0.222943 s]*
/proc/loadavg: 0.61 1.01 1.53 10/319 24345
/proc/meminfo: memFree=129852492/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=18930384 memory=52356 CPUtime=0.27 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 6169 0 98 0 22 5 0 0 20 0 18 0 33958429 19384713216 13089 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4732596 13089 5357 1 0 547372 0
[pid=24276/tid=24281] ppid=24261 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 4890 0 98 0 14 3 0 0 20 0 18 0 33958432 19384713216 13089 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=18930384 memory=16142 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 13089 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 13089 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52356 KiB

[startup+0.313313 s]*
/proc/loadavg: 0.61 1.01 1.53 11/319 24345
/proc/meminfo: memFree=129836424/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=18930384 memory=58312 CPUtime=0.43 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 6620 0 98 0 37 6 0 0 20 0 18 0 33958429 19384713216 14578 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4732596 14578 5357 1 0 547739 0
[pid=24276/tid=24281] ppid=24261 vsize=18930384 memory=-6000919502754703469 CPUtime=0.26 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 5074 0 98 0 22 4 0 0 20 0 18 0 33958432 19384713216 14578 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 14578 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 14578 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58312 KiB

[startup+0.700305 s]
/proc/loadavg: 0.61 1.01 1.53 11/319 24345
/proc/meminfo: memFree=129805736/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=18930384 memory=100780 CPUtime=1.12 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 8391 0 98 0 103 9 0 0 20 0 18 0 33958429 19384713216 25195 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4732596 25195 5421 1 0 548888 0
[pid=24276/tid=24281] ppid=24261 vsize=18930384 memory=17024 CPUtime=0.6 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 5201 0 98 0 54 6 0 0 20 0 18 0 33958432 19384713216 25195 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=18930384 memory=10624 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33958437 19384713216 25195 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 33958438 19384713216 25195 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 100780 KiB

[startup+1.50026 s]
/proc/loadavg: 0.61 1.01 1.53 13/325 24351
/proc/meminfo: memFree=129468732/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=166792 CPUtime=2.7 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 13363 0 98 0 257 13 0 0 20 0 20 0 33958429 19521036288 41698 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 41698 5485 1 0 550794 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=3200 CPUtime=1.28 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 5461 0 98 0 120 8 0 0 20 0 20 0 33958432 19521036288 41698 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 41698 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 41698 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 41698 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166792 KiB

[startup+3.11264 s]
/proc/loadavg: 0.61 1.01 1.53 7/327 24353
/proc/meminfo: memFree=129405384/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=167304 CPUtime=4.75 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 14240 0 98 0 461 14 0 0 20 0 20 0 33958429 19521036288 41826 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 41826 5485 1 0 550801 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=14560 CPUtime=2.88 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 5703 0 98 0 280 8 0 0 20 0 20 0 33958432 19521036288 41826 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 41826 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 41826 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 41826 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167304 KiB

[startup+6.30032 s]
/proc/loadavg: 0.88 1.06 1.55 9/327 24353
/proc/meminfo: memFree=129350704/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=181856 CPUtime=9.35 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 24078 0 98 0 919 16 0 0 20 0 20 0 33958429 19521036288 45464 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 45464 5517 1 0 554353 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=0 CPUtime=6.06 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 7410 0 98 0 598 8 0 0 20 0 20 0 33958432 19521036288 45464 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 45464 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 45464 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=166920 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 45464 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181856 KiB

[startup+12.7004 s]
/proc/loadavg: 1.13 1.11 1.56 7/327 24353
/proc/meminfo: memFree=129338472/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=176576 CPUtime=15.78 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 26022 0 98 0 1561 17 0 0 20 0 20 0 33958429 19521036288 44144 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 44144 5517 1 0 554353 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=166920 CPUtime=12.44 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 8097 0 98 0 1236 8 0 0 20 0 20 0 33958432 19521036288 44144 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=176576 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 44144 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 44144 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 44144 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 15.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176576 KiB

[startup+25.5004 s]
/proc/loadavg: 1.84 1.27 1.60 6/327 24353
/proc/meminfo: memFree=129225392/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=190968 CPUtime=28.87 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 30416 0 98 0 2869 18 0 0 20 0 20 0 33958429 19521036288 47742 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 47742 5517 1 0 554353 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=176576 CPUtime=25.13 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 9029 0 98 0 2505 8 0 0 20 0 20 0 33958432 19521036288 47742 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 47742 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=190968 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 47742 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 47742 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 28.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190968 KiB

[startup+51.1126 s]
/proc/loadavg: 2.58 1.49 1.67 6/327 24354
/proc/meminfo: memFree=128787348/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=326668 CPUtime=54.65 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 32123 0 98 0 5442 23 0 0 20 0 20 0 33958429 19521036288 81667 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 81667 5517 1 0 554353 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=250684 CPUtime=50.29 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 9290 0 98 0 5021 8 0 0 20 0 20 0 33958432 19521036288 81667 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 81667 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=17024 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 81667 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0

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

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/326 24521
/proc/meminfo: memFree=113286236/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4026016 CPUtime=3296.32 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 114559 0 98 0 329330 302 0 0 20 0 20 0 33958429 19521036288 1006504 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1006504 5517 1 0 1095988 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=-6000919502754703469 CPUtime=3258.5 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 55733 0 98 0 325823 27 0 0 20 0 20 0 33958432 19521036288 1006504 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=3913152 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1006504 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=3913152 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1006504 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=3913152 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1006504 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3296.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4026016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.16 4.10 6/326 24523
/proc/meminfo: memFree=112740408/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4245204 CPUtime=3357.87 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 123472 0 98 0 335475 312 0 0 20 0 20 0 33958429 19521036288 1061301 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1061301 5517 1 0 1611504 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4026016 CPUtime=3318.08 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 61161 0 98 0 331781 27 0 0 20 0 20 0 33958432 19521036288 1061301 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=4026016 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1061301 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=4026016 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 773 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1061301 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=4026016 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1061301 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3357.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4245204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/326 24525
/proc/meminfo: memFree=112199660/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4433628 CPUtime=3417.75 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 125445 0 98 0 341456 319 0 0 20 0 20 0 33958429 19521036288 1108407 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1108407 5517 1 0 1611504 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4026016 CPUtime=3377.91 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 63085 0 98 0 337760 31 0 0 20 0 20 0 33958432 19521036288 1108407 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=4026016 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1108407 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=4419292 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 774 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1108407 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=4384476 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1108407 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3417.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4433628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/326 24527
/proc/meminfo: memFree=111859588/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4593544 CPUtime=3477.92 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 126677 0 98 0 347466 326 0 0 20 0 20 0 33958429 19521036288 1148386 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1148386 5517 1 0 1611504 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4026016 CPUtime=3437.35 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 63497 0 98 0 343702 33 0 0 20 0 20 0 33958432 19521036288 1148386 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=4026016 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1148386 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 804 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1148386 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=4593544 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1148386 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3477.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4593544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/327 24530
/proc/meminfo: memFree=111760568/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4696384 CPUtime=3538.28 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 129981 0 98 0 353497 331 0 0 20 0 20 0 33958429 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1174096 5517 1 0 1611549 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4593544 CPUtime=3496.92 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 65723 0 98 0 349659 33 0 0 20 0 20 0 33958432 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=4593544 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=4696384 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 804 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=4696384 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3538.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4696384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/326 24532
/proc/meminfo: memFree=111747268/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4696384 CPUtime=3598.16 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 131701 0 98 0 359480 336 0 0 20 0 20 0 33958429 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1174096 5517 1 0 1611549 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4696384 CPUtime=3556.74 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 67413 0 98 0 355641 33 0 0 20 0 20 0 33958432 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=4696384 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=14560 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 829 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3598.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4696384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.2 s]
/proc/loadavg: 4.13 4.12 4.09 4/303 24543
/proc/meminfo: memFree=116599356/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19063512 memory=4696384 CPUtime=3600.04 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 131827 0 98 0 359668 336 0 0 20 0 20 0 33958429 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4765878 1174096 5517 1 0 1611549 0
[pid=24276/tid=24281] ppid=24261 vsize=19063512 memory=4916 CPUtime=3558.63 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) R 24261 24276 24204 0 -1 4194368 67539 0 98 0 355829 34 0 0 20 0 20 0 33958432 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19063512 memory=-6000919502754703469 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33958437 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19063512 memory=6836 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 829 0 0 0 0 0 0 0 20 0 20 0 33958438 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24351] ppid=24261 vsize=19063512 memory=9088 CPUtime=0 cores=5,7
/proc/24276/task/24351/stat : 24351 (Timer-0) S 24261 24276 24204 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33958526 19521036288 1174096 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4696384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.95 s, system=3.40305 s

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

[startup+3584.3 s]
/proc/loadavg: 4.13 4.12 4.09 4/303 24543
/proc/meminfo: memFree=116599356/131382112 swapFree=33010684/33010684
[pid=24276] ppid=24261 vsize=19263204 memory=4697280 CPUtime=3600.23 cores=5,7
/proc/24276/stat : 24276 (java) S 24261 24276 24204 0 -1 4194304 133415 0 98 0 359685 338 0 0 20 0 21 0 33958429 19725520896 1174320 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
/proc/24276/statm: 4815801 1174320 5517 1 0 1612515 0
[pid=24276/tid=24281] ppid=24261 vsize=19263204 memory=14560 CPUtime=3558.66 cores=5,7
/proc/24276/task/24281/stat : 24281 (java) S 24261 24276 24204 0 -1 4194368 67760 0 98 0 355832 34 0 0 20 0 21 0 33958432 19725520896 1174320 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24315] ppid=24261 vsize=19263204 memory=-6000919502754703469 CPUtime=0 cores=5,7
/proc/24276/task/24315/stat : 24315 (Finalizer) S 24261 24276 24204 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 33958437 19725520896 1174320 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
[pid=24276/tid=24340] ppid=24261 vsize=19263204 memory=4696384 CPUtime=0 cores=5,7
/proc/24276/task/24340/stat : 24340 (Common-Cleaner) S 24261 24276 24204 0 -1 4194368 829 0 0 0 0 0 0 0 20 0 21 0 33958438 19725520896 1174320 18446744073709551615 94489233899520 94489233903216 140729946050624 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94489233911032 94489233911824 94489257541632 140729946057089 140729946057190 140729946057190 140729946062792 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4697280 KiB

Child status: 143

Real time (s): 3584.39
CPU time (s): 3600.35
CPU user time (s): 3596.95
CPU system time (s): 3.40305
CPU usage (%): 100.445
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4697280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.95
system time used= 3.40305
maximum resident set size= 4697536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133584
page faults= 98
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109804
involuntary context switches= 4419


# summary of solver processes directly reported to runsolver:
#   pid: 24276
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.95
#   total CPU system time (s): 3.40305

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1832 second user time and 33.3307 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-29 09:39:46
IDJOB=4507056
IDBENCH=158319
IDSOLVER=3363
FILE ID=nodeC009/4507056-1751182786
RUNJOBID= nodeC009-1751182786-24220
SLURM_JOB_ID= 9587563
Free space on /tmp= 433056 MiB

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

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

MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=472328659

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.216
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 pti 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	: 6983.85
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		: 1197.235
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 pti 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	: 6983.85
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.240
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 pti 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	: 6983.85
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.122
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 pti 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	: 6983.85
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.799
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 pti 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	: 6983.85
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.223
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 pti 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	: 6983.85
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.214
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 pti 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	: 6983.85
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.238
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 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129923976 kB
MemAvailable:   129918388 kB
Buffers:            3280 kB
Cached:           804196 kB
SwapCached:            0 kB
Active:           314336 kB
Inactive:         559036 kB
Active(anon):      83860 kB
Inactive(anon):        0 kB
Active(file):     230476 kB
Inactive(file):   559036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         69040 kB
Mapped:           102296 kB
Shmem:             17960 kB
KReclaimable:      88668 kB
Slab:             169784 kB
SReclaimable:      88668 kB
SUnreclaim:        81116 kB
KernelStack:        3920 kB
PageTables:         2864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC009 at 2025-06-29 10:39:31