Trace number 4506805

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 VeriPB 2025-06-06? (TO) 3514.47 3700.13

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
MD5SUMdf8f338dbd068337fef89bf4c43df9f5
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 variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 139
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4506805-1751165581.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.51/0.38	c ... done. Wall clock time 0.25s.
0.51/0.38	c declared #vars     16422
0.51/0.38	c #constraints  16700
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1781
0.51/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 138
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14779
0.51/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.51/0.38	c 16700 constraints processed.
4.81/2.53	c cleaning 2498 clauses out of 4996 with flag 22601/5002
7.33/4.75	c cleaning 4210 clauses out of 8491 with flag 55507/11001
10.01/6.99	c cleaning 5625 clauses out of 11276 with flag 94521/18000
13.24/9.96	c cleaning 6738 clauses out of 13643 with flag 139513/26001
16.78/13.26	c cleaning 7940 clauses out of 15900 with flag 189137/35000
20.90/17.36	c cleaning 8905 clauses out of 17962 with flag 242522/45002
24.82/21.27	c cleaning 9138 clauses out of 20051 with flag 298472/56000
29.44/25.84	c cleaning 9932 clauses out of 22907 with flag 358790/68000
34.28/30.65	c cleaning 10743 clauses out of 25974 with flag 427073/81000
39.67/36.08	c cleaning 11355 clauses out of 29230 with flag 503441/95003
46.09/42.42	c cleaning 12638 clauses out of 32872 with flag 585590/110001
52.47/48.76	c cleaning 13235 clauses out of 36225 with flag 670270/126000
59.59/55.82	c cleaning 13942 clauses out of 39989 with flag 756854/143001
67.15/63.43	c cleaning 14757 clauses out of 44044 with flag 849175/161001
75.31/71.51	c cleaning 15600 clauses out of 48283 with flag 954751/180001
84.08/80.33	c cleaning 16508 clauses out of 52678 with flag 1065375/200000
93.08/89.28	c cleaning 17233 clauses out of 57172 with flag 1180913/221003
103.16/99.56	c cleaning 18149 clauses out of 61933 with flag 1305105/243000
113.24/109.59	c cleaning 18943 clauses out of 66781 with flag 1427607/266000
124.72/120.94	c cleaning 20003 clauses out of 71835 with flag 1568157/290001
136.12/132.43	c cleaning 20535 clauses out of 76831 with flag 1706882/315004
148.40/144.69	c cleaning 21509 clauses out of 82291 with flag 1853904/341000
161.50/157.78	c cleaning 22231 clauses out of 87778 with flag 2009742/368001
175.17/171.35	c cleaning 23507 clauses out of 93545 with flag 2169762/396001
189.45/185.65	c cleaning 24199 clauses out of 99034 with flag 2334790/425000
204.52/200.69	c cleaning 25130 clauses out of 104829 with flag 2509677/455000
219.88/216.05	c cleaning 26078 clauses out of 110697 with flag 2690105/486000
235.74/231.86	c cleaning 27091 clauses out of 116614 with flag 2872670/518000
253.93/252.33	c cleaning 27742 clauses out of 122521 with flag 3079124/551000
271.97/270.31	c cleaning 28410 clauses out of 128777 with flag 3286851/585002
291.07/289.23	c cleaning 29078 clauses out of 135361 with flag 3498996/620000
310.79/309.03	c cleaning 30282 clauses out of 142281 with flag 3718037/656000
330.83/329.01	c cleaning 30999 clauses out of 148998 with flag 3946887/693000
352.05/350.23	c cleaning 31975 clauses out of 155997 with flag 4183640/731000
374.64/372.81	c cleaning 32815 clauses out of 163020 with flag 4426002/770000
397.90/395.95	c cleaning 33819 clauses out of 170205 with flag 4680452/810000
422.67/420.78	c cleaning 34857 clauses out of 177383 with flag 4935841/851001
448.64/446.60	c cleaning 35483 clauses out of 184522 with flag 5199314/893000
475.79/473.80	c cleaning 36671 clauses out of 192039 with flag 5478802/936002
503.56/501.58	c cleaning 37608 clauses out of 199364 with flag 5766858/980000
532.33/530.22	c cleaning 38495 clauses out of 206755 with flag 6056239/1025001
562.21/559.89	c cleaning 39170 clauses out of 214254 with flag 6353626/1071000
592.85/590.51	c cleaning 40185 clauses out of 222085 with flag 6664481/1118002
623.88/621.52	c cleaning 41136 clauses out of 229898 with flag 6983734/1166001
656.34/653.93	c cleaning 41969 clauses out of 237763 with flag 7316914/1215002
691.79/689.38	c cleaning 43138 clauses out of 245792 with flag 7664192/1265000
727.56/725.00	c cleaning 43939 clauses out of 253652 with flag 8017678/1316000
764.53/761.90	c cleaning 44632 clauses out of 261711 with flag 8385169/1368000
802.34/800.20	c cleaning 45632 clauses out of 270078 with flag 8758629/1421000
843.38/841.15	c cleaning 46748 clauses out of 278445 with flag 9145822/1475000
883.34/883.07	c cleaning 47901 clauses out of 286694 with flag 9545270/1530001
925.97/926.25	c cleaning 48587 clauses out of 294794 with flag 9941652/1586003
970.35/974.70	c cleaning 49553 clauses out of 303203 with flag 10358739/1643000
1015.72/1022.70	c cleaning 51018 clauses out of 311651 with flag 10787466/1701001
1062.44/1069.62	c cleaning 51546 clauses out of 319632 with flag 11222636/1760001
1110.79/1118.95	c cleaning 52629 clauses out of 328086 with flag 11658432/1820001
1161.48/1169.80	c cleaning 53818 clauses out of 336457 with flag 12139698/1881001
1212.48/1233.26	c cleaning 54688 clauses out of 344640 with flag 12608630/1943002
1265.79/1288.47	c cleaning 55427 clauses out of 352950 with flag 13101499/2006001
1321.41/1344.94	c cleaning 56647 clauses out of 361524 with flag 13590308/2070002
1376.93/1409.37	c cleaning 57607 clauses out of 369871 with flag 14089229/2135000
1435.05/1467.87	c cleaning 58091 clauses out of 378263 with flag 14600385/2201000
1495.87/1528.33	c cleaning 59455 clauses out of 387172 with flag 15150990/2268000
1558.02/1605.88	c cleaning 60417 clauses out of 395718 with flag 15685708/2336001
1623.17/1671.26	c cleaning 61191 clauses out of 404301 with flag 16290306/2405001
1690.49/1740.66	c cleaning 62150 clauses out of 413112 with flag 16909756/2475003
1757.09/1808.18	c cleaning 63438 clauses out of 421960 with flag 17499541/2546001
1825.61/1878.13	c cleaning 64062 clauses out of 430520 with flag 18088223/2618000
1897.47/1950.92	c cleaning 65179 clauses out of 439460 with flag 18699783/2691002
1972.33/2026.00	c cleaning 66150 clauses out of 448280 with flag 19339753/2765001
2049.74/2105.21	c cleaning 67044 clauses out of 457130 with flag 20024249/2840002
2129.53/2186.16	c cleaning 68767 clauses out of 466085 with flag 20698790/2916002
2210.98/2267.53	c cleaning 69564 clauses out of 474315 with flag 21384512/2993000
2294.94/2352.02	c cleaning 70068 clauses out of 482753 with flag 22077762/3071002
2378.37/2435.59	c cleaning 70993 clauses out of 491682 with flag 22758186/3150000
2464.46/2562.83	c cleaning 71929 clauses out of 500689 with flag 23473052/3230000
2555.30/2672.97	c cleaning 73273 clauses out of 509760 with flag 24205084/3311000
2650.59/2779.22	c cleaning 73972 clauses out of 518486 with flag 24951607/3393000
2748.00/2917.89	c cleaning 75140 clauses out of 527514 with flag 25842508/3476000
2844.91/3021.08	c cleaning 76188 clauses out of 536373 with flag 26598398/3560001
2946.32/3123.06	c cleaning 76969 clauses out of 545184 with flag 27389033/3645000
3048.73/3225.54	c cleaning 78336 clauses out of 554213 with flag 28198108/3731000
3153.27/3339.36	c cleaning 79035 clauses out of 562877 with flag 29026259/3818000
3260.27/3447.25	c cleaning 80090 clauses out of 571842 with flag 29866724/3906001
3375.74/3562.14	c cleaning 81390 clauses out of 580751 with flag 30794434/3995000
3484.60/3670.41	c cleaning 82521 clauses out of 589361 with flag 31665864/4085000
3514.29/3700.01	c starts		: 29750
3514.29/3700.02	c timeout
3514.29/3700.03	c conflicts		: 4118957
3514.29/3700.03	c decisions		: 100622886
3514.29/3700.03	c propagations		: 3505945915
3514.29/3700.03	c inspects		: 18141928592
3514.29/3700.03	c shortcuts		: 0
3514.29/3700.03	c learnt literals	: 172
3514.29/3700.03	c learnt binary clauses	: 181544
3514.29/3700.03	c learnt ternary clauses	: 183239
3514.29/3700.03	c learnt constraints	: 4118785
3514.29/3700.03	c ignored constraints	: 0
3514.29/3700.03	c root simplifications	: 0
3514.29/3700.03	c removed literals (reason simplification)	: 52463248
3514.29/3700.03	c reason swapping (by a shorter reason)	: 0
3514.29/3700.03	c Calls to reduceDB	: 86
3514.29/3700.03	c Number of update (reduction) of LBD	: 3386660
3514.29/3700.03	c Imported unit clauses	: 0
3514.29/3700.03	c No decision after first conflict	: false
3514.29/3700.03	c number of reductions to clauses (during analyze)	: 0
3514.29/3700.03	c number of learned constraints concerned by reduction	: 0
3514.29/3700.03	c number of learning phase by resolution	: 0
3514.29/3700.03	c number of learning phase by cutting planes	: 0
3514.29/3700.03	c number of rounding to 1 operations	: 0
3514.29/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3514.29/3700.03	c number of reductions of the coefficients by power 2 	: 0
3514.29/3700.03	c number of right shift for reduction by power 2 	: 0
3514.29/3700.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3514.29/3700.03	c number of ending skipping 	: 0
3514.29/3700.03	c number of internal skipping 	: 0
3514.29/3700.03	c number of derivation steps 	: 0
3514.29/3700.03	c number of skipped derivation steps 	: 0
3514.29/3700.03	c number of remaining unassigned 	: 0
3514.29/3700.03	c number of remaining assigned 	: 0
3514.29/3700.03	c number of falsified literals weakened from reason	: 0
3514.29/3700.03	c number of falsified literals weakened from conflict	: 0
3514.29/3700.03	c time for arithmetic operations	: 0
3514.29/3700.03	c minimum degree of deleted constraints	: null
3514.29/3700.03	c maximum degree of deleted constraints	: null
3514.29/3700.03	c number of deleted constraints	: 0
3514.29/3700.03	c speed (assignments/second)	: 947646.1778942577
3514.29/3700.03	c non guided choices	: 13020
3514.45/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 359253
3514.45/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 181544
3514.45/3700.11	s UNKNOWN
3514.45/3700.11	c Total wall clock time (in seconds): 3699.987

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62104 MiB free)
  memory of node 1: 64465 MiB (46732 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506805-1751165581/watcher-4506805-1751165581 -o /tmp/evaluation-result-4506805-1751165581/solver-4506805-1751165581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20623 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506805-1751165581 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4506805-1751165581.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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23873, runsolver pid=23870

[startup+0.10006 s]*
/proc/loadavg: 4.20 4.14 4.11 5/344 23891
/proc/meminfo: memFree=111409964/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=18930384 memory=57836 CPUtime=0.13 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 6581 0 0 0 11 2 0 0 20 0 18 0 32237505 19384713216 14459 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4732596 14459 5354 1 0 547622 0
[pid=23873/tid=23875] ppid=23870 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 5078 0 0 0 7 1 0 0 20 0 18 0 32237506 19384713216 14459 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 14459 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=18930384 memory=60684515952020 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 14459 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57836 KiB

[startup+0.205979 s]*
/proc/loadavg: 4.20 4.14 4.11 7/344 23891
/proc/meminfo: memFree=111397676/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=18930384 memory=72736 CPUtime=0.32 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 7157 0 0 0 30 2 0 0 20 0 18 0 32237505 19384713216 18184 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4732596 18184 5418 1 0 548036 0
[pid=23873/tid=23875] ppid=23870 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 5269 0 0 0 16 1 0 0 20 0 18 0 32237506 19384713216 18184 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=18930384 memory=16898 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 18184 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 18184 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72736 KiB

[startup+0.30592 s]*
/proc/loadavg: 4.20 4.14 4.11 6/344 23891
/proc/meminfo: memFree=111367240/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=18930384 memory=107132 CPUtime=0.51 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 8535 0 0 0 49 2 0 0 20 0 18 0 32237505 19384713216 26783 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4732596 26783 5418 1 0 548894 0
[pid=23873/tid=23875] ppid=23870 vsize=18930384 memory=-6000919507032500589 CPUtime=0.27 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 5298 0 0 0 25 2 0 0 20 0 18 0 32237506 19384713216 26783 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 26783 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32237508 19384713216 26783 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107132 KiB

[startup+0.700238 s]
/proc/loadavg: 4.20 4.14 4.11 6/345 23892
/proc/meminfo: memFree=111320672/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=168580 CPUtime=1.26 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 11496 0 0 0 122 4 0 0 20 0 20 0 32237505 19521036288 42145 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 42145 5450 1 0 551199 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=17280 CPUtime=0.61 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 5396 0 0 0 58 3 0 0 20 0 20 0 32237506 19521036288 42145 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 42145 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 42145 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 42145 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168580 KiB

[startup+1.5002 s]
/proc/loadavg: 4.20 4.14 4.11 6/346 23893
/proc/meminfo: memFree=111305612/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=173068 CPUtime=2.85 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 17356 0 0 0 280 5 0 0 20 0 20 0 32237505 19521036288 43267 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 43267 5482 1 0 552096 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=0 CPUtime=1.37 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 5684 0 0 0 134 3 0 0 20 0 20 0 32237506 19521036288 43267 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 43267 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 43267 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 43267 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173068 KiB

[startup+3.10569 s]
/proc/loadavg: 4.20 4.14 4.11 5/346 23893
/proc/meminfo: memFree=111251088/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=194624 CPUtime=5.57 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 23359 0 0 0 550 7 0 0 20 0 20 0 32237505 19521036288 48656 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 48656 5482 1 0 554200 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=10752 CPUtime=2.93 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 6784 0 0 0 289 4 0 0 20 0 20 0 32237506 19521036288 48656 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=-6000919507032500589 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 48656 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 48656 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 48656 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194624 KiB

[startup+6.30014 s]
/proc/loadavg: 4.27 4.15 4.11 5/346 23893
/proc/meminfo: memFree=111230836/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=201256 CPUtime=9.36 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 23498 0 0 0 928 8 0 0 20 0 20 0 32237505 19521036288 50314 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 50314 5514 1 0 554204 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=0 CPUtime=6.09 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 6805 0 0 0 604 5 0 0 20 0 20 0 32237506 19521036288 50314 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 50314 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 50314 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=173068 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 50314 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201256 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.15 4.11 5/346 23893
/proc/meminfo: memFree=110894936/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=353792 CPUtime=16.28 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 32642 0 0 0 1614 14 0 0 20 0 20 0 32237505 19521036288 88448 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 88448 5514 1 0 554897 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=173068 CPUtime=12.42 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 7763 0 0 0 1234 8 0 0 20 0 20 0 32237506 19521036288 88448 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=353792 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 88448 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 88448 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 88448 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 16.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 353792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.14 4.11 5/346 23894
/proc/meminfo: memFree=110470412/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=555312 CPUtime=29.15 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 36078 0 0 0 2892 23 0 0 20 0 20 0 32237505 19521036288 138828 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 138828 5514 1 0 554897 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=-6000919507032500589 CPUtime=25.09 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 9126 0 0 0 2494 15 0 0 20 0 20 0 32237506 19521036288 138828 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=534804 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 138828 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 138828 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 138828 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 555312 KiB

[startup+51.1058 s]
/proc/loadavg: 4.35 4.18 4.12 6/346 23961
/proc/meminfo: memFree=118249936/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=969204 CPUtime=54.9 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 39912 0 0 0 5451 39 0 0 20 0 20 0 32237505 19521036288 242301 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 242301 5514 1 0 554921 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=848360 CPUtime=50.31 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 10067 0 0 0 5004 27 0 0 20 0 20 0 32237506 19521036288 242301 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=848360 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 242301 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0

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

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/347 24218
/proc/meminfo: memFree=99626568/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3156.26 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 143078 0 0 0 314833 793 0 0 20 0 20 0 32237505 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545311 5514 1 0 557100 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=10752 CPUtime=3109.88 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 62116 0 0 0 310306 682 0 0 20 0 20 0 32237506 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=2181116 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=2181116 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1648 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3156.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 6/348 24223
/proc/meminfo: memFree=99282976/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3216.43 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 144435 0 0 0 320836 807 0 0 20 0 20 0 32237505 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545311 5514 1 0 557100 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3169.11 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 63291 0 0 0 316216 695 0 0 20 0 20 0 32237506 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=2181244 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1648 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=2181244 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3216.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/347 24228
/proc/meminfo: memFree=98944212/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3275.82 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 147926 0 0 0 326762 820 0 0 20 0 20 0 32237505 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545311 5514 1 0 557100 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3227.3 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 64985 0 0 0 322024 706 0 0 20 0 20 0 32237506 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=2181244 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=-6000919507032500589 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3275.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/347 24230
/proc/meminfo: memFree=98618048/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3335.75 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 149311 0 0 0 332741 834 0 0 20 0 20 0 32237505 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545311 5514 1 0 557100 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=2181244 CPUtime=3286.79 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 65669 0 0 0 327961 718 0 0 20 0 20 0 32237506 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=2181244 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1778 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=2181244 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545311 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3335.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/344 24234
/proc/meminfo: memFree=98262324/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181372 CPUtime=3395.95 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 149618 0 0 0 338748 847 0 0 20 0 20 0 32237505 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545343 5514 1 0 557127 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=2181372 CPUtime=3346.13 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 65833 0 0 0 333885 728 0 0 20 0 20 0 32237506 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=-6000919507032500589 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=2181372 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1778 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3395.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181372 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/343 24235
/proc/meminfo: memFree=97946000/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181372 CPUtime=3455.9 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 150656 0 0 0 344730 860 0 0 20 0 20 0 32237505 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545343 5514 1 0 557127 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=2181372 CPUtime=3405.54 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 66757 0 0 0 339814 740 0 0 20 0 20 0 32237506 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=2181372 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=16380 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1778 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=17280 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545343 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3455.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.56 3.98 4.04 4/317 24270
/proc/meminfo: memFree=105948180/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19063512 memory=2181500 CPUtime=3514.29 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 154248 0 0 0 350556 873 0 0 20 0 20 0 32237505 19521036288 545375 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4765878 545375 5514 1 0 557165 0
[pid=23873/tid=23875] ppid=23870 vsize=19063512 memory=-6000919498543753325 CPUtime=3462.67 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) R 23870 23873 20613 0 -1 4194368 68280 0 0 0 345516 751 0 0 20 0 20 0 32237506 19521036288 545375 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545375 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19063512 memory=2181500 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 20 0 32237508 19521036288 545375 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23892] ppid=23870 vsize=19063512 memory=2181500 CPUtime=0 cores=0,2
/proc/23873/task/23892/stat : 23892 (Timer-0) S 23870 23873 20613 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32237545 19521036288 545375 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3514.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3505.72 s, system=8.75221 s

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

[startup+3700.11 s]
/proc/loadavg: 3.56 3.98 4.04 4/317 24270
/proc/meminfo: memFree=105948180/131250000 swapFree=33010684/33010684
[pid=23873] ppid=23870 vsize=19263204 memory=2182396 CPUtime=3514.45 cores=0,2
/proc/23873/stat : 23873 (java) S 23870 23873 20613 0 -1 4194304 155563 0 0 0 350571 874 0 0 20 0 21 0 32237505 19725520896 545599 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
/proc/23873/statm: 4815801 545599 5514 1 0 558078 0
[pid=23873/tid=23875] ppid=23870 vsize=19263204 memory=2181372 CPUtime=3462.69 cores=0,2
/proc/23873/task/23875/stat : 23875 (java) S 23870 23873 20613 0 -1 4194368 68443 0 0 0 345517 752 0 0 20 0 21 0 32237506 19725520896 545599 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23884] ppid=23870 vsize=19263204 memory=2181500 CPUtime=0 cores=0,2
/proc/23873/task/23884/stat : 23884 (Finalizer) S 23870 23873 20613 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32237508 19725520896 545599 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
[pid=23873/tid=23891] ppid=23870 vsize=19263204 memory=16380 CPUtime=0 cores=0,2
/proc/23873/task/23891/stat : 23891 (Common-Cleaner) S 23870 23873 20613 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 21 0 32237508 19725520896 545599 18446744073709551615 94631485661184 94631485664880 140729856689712 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94631485672696 94631485673488 94631515115520 140729856698672 140729856698854 140729856698854 140729856704456 0
Current children cumulated CPU time: 3514.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2182396 KiB

Child status: 143

Real time (s): 3700.13
CPU time (s): 3514.47
CPU user time (s): 3505.72
CPU system time (s): 8.75221
CPU usage (%): 94.9824
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2182396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3505.72
system time used= 8.75221
maximum resident set size= 2182524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12169272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119582
involuntary context switches= 12081


# summary of solver processes directly reported to runsolver:
#   pid: 23873
#   total CPU time (s): 3514.47
#   total CPU user time (s): 3505.72
#   total CPU system time (s): 8.75221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63295 second user time and 17.5965 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 04:53:01
IDJOB=4506805
IDBENCH=158265
IDSOLVER=3364
FILE ID=nodeC033/4506805-1751165581
RUNJOBID= nodeC033-1751158366-20623
SLURM_JOB_ID= 9587493
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506805-1751165581/watcher-4506805-1751165581 -o /tmp/evaluation-result-4506805-1751165581/solver-4506805-1751165581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751158366-20623 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4506805-1751165581 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4506805-1751165581.opb

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

MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=2131214665

nodeC033 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		: 3600.095
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	: 7000.13
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		: 3600.056
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	: 7000.13
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		: 3601.187
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	: 7000.13
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		: 3566.757
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	: 7000.13
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		: 3600.066
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	: 7000.13
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		: 3600.068
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	: 7000.13
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		: 3526.495
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	: 7000.13
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		: 3700.000
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        111449280 kB
MemAvailable:   120320844 kB
Buffers:            3280 kB
Cached:          9671824 kB
SwapCached:            0 kB
Active:          9806852 kB
Inactive:        9413724 kB
Active(anon):    9563632 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  9413724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83316 kB
Writeback:             8 kB
AnonPages:       9547532 kB
Mapped:           122848 kB
Shmem:             18120 kB
KReclaimable:     107720 kB
Slab:             196780 kB
SReclaimable:     107720 kB
SUnreclaim:        89060 kB
KernelStack:        5296 kB
PageTables:        22304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13698296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9304064 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC033 at 2025-06-29 05:54:41