Trace number 4506804

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.18 3594.74

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4506804-1751165814.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.51/0.38	c ... done. Wall clock time 0.24s.
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.
3.20/2.13	c cleaning 2498 clauses out of 4996 with flag 22601/5002
5.68/4.14	c cleaning 4210 clauses out of 8491 with flag 55507/11001
8.00/6.20	c cleaning 5625 clauses out of 11276 with flag 94521/18000
10.60/8.85	c cleaning 6738 clauses out of 13643 with flag 139513/26001
13.60/11.83	c cleaning 7940 clauses out of 15900 with flag 189137/35000
17.31/15.50	c cleaning 8905 clauses out of 17962 with flag 242522/45002
20.70/19.00	c cleaning 9138 clauses out of 20051 with flag 298472/56000
24.89/23.11	c cleaning 9932 clauses out of 22907 with flag 358790/68000
29.18/27.41	c cleaning 10743 clauses out of 25974 with flag 427073/81000
34.13/32.33	c cleaning 11355 clauses out of 29230 with flag 503441/95003
39.72/37.99	c cleaning 12638 clauses out of 32872 with flag 585590/110001
45.50/43.62	c cleaning 13235 clauses out of 36225 with flag 670270/126000
51.71/49.85	c cleaning 13942 clauses out of 39989 with flag 756854/143001
58.20/56.34	c cleaning 14757 clauses out of 44044 with flag 849175/161001
65.35/63.41	c cleaning 15600 clauses out of 48283 with flag 954751/180001
73.14/71.21	c cleaning 16508 clauses out of 52678 with flag 1065375/200000
81.10/79.18	c cleaning 17233 clauses out of 57172 with flag 1180913/221003
89.98/88.07	c cleaning 18149 clauses out of 61933 with flag 1305105/243000
99.12/97.12	c cleaning 18943 clauses out of 66781 with flag 1427607/266000
109.36/107.34	c cleaning 20003 clauses out of 71835 with flag 1568157/290001
119.63/117.68	c cleaning 20535 clauses out of 76831 with flag 1706882/315004
130.67/128.60	c cleaning 21509 clauses out of 82291 with flag 1853904/341000
142.32/140.21	c cleaning 22231 clauses out of 87778 with flag 2009742/368001
154.29/152.20	c cleaning 23507 clauses out of 93545 with flag 2169762/396001
167.02/164.93	c cleaning 24199 clauses out of 99034 with flag 2334790/425000
180.46/178.38	c cleaning 25130 clauses out of 104829 with flag 2509677/455000
194.21/192.01	c cleaning 26078 clauses out of 110697 with flag 2690105/486000
208.44/206.25	c cleaning 27091 clauses out of 116614 with flag 2872670/518000
224.67/222.46	c cleaning 27742 clauses out of 122521 with flag 3079124/551000
241.22/238.72	c cleaning 28410 clauses out of 128777 with flag 3286851/585002
258.08/255.66	c cleaning 29078 clauses out of 135361 with flag 3498996/620000
275.88/273.43	c cleaning 30282 clauses out of 142281 with flag 3718037/656000
293.91/291.47	c cleaning 30999 clauses out of 148998 with flag 3946887/693000
313.05/310.58	c cleaning 31975 clauses out of 155997 with flag 4183640/731000
333.69/331.11	c cleaning 32815 clauses out of 163020 with flag 4426002/770000
354.65/352.18	c cleaning 33819 clauses out of 170205 with flag 4680452/810000
377.40/374.83	c cleaning 34857 clauses out of 177383 with flag 4935841/851001
400.86/398.31	c cleaning 35483 clauses out of 184522 with flag 5199314/893000
425.91/423.34	c cleaning 36671 clauses out of 192039 with flag 5478802/936002
451.24/448.67	c cleaning 37608 clauses out of 199364 with flag 5766858/980000
477.27/474.69	c cleaning 38495 clauses out of 206755 with flag 6056239/1025001
504.67/501.77	c cleaning 39170 clauses out of 214254 with flag 6353626/1071000
532.52/529.69	c cleaning 40185 clauses out of 222085 with flag 6664481/1118002
561.04/558.12	c cleaning 41136 clauses out of 229898 with flag 6983734/1166001
590.68/587.87	c cleaning 41969 clauses out of 237763 with flag 7316914/1215002
623.18/620.28	c cleaning 43138 clauses out of 245792 with flag 7664192/1265000
655.90/653.08	c cleaning 43939 clauses out of 253652 with flag 8017678/1316000
690.09/687.13	c cleaning 44632 clauses out of 261711 with flag 8385169/1368000
724.72/721.81	c cleaning 45632 clauses out of 270078 with flag 8758629/1421000
762.80/759.84	c cleaning 46748 clauses out of 278445 with flag 9145822/1475000
799.93/797.00	c cleaning 47901 clauses out of 286694 with flag 9545270/1530001
839.49/836.58	c cleaning 48587 clauses out of 294794 with flag 9941652/1586003
880.79/877.71	c cleaning 49553 clauses out of 303203 with flag 10358739/1643000
923.11/919.66	c cleaning 51018 clauses out of 311651 with flag 10787466/1701001
965.84/962.32	c cleaning 51546 clauses out of 319632 with flag 11222636/1760001
1009.95/1006.59	c cleaning 52629 clauses out of 328086 with flag 11658432/1820001
1057.09/1053.67	c cleaning 53818 clauses out of 336457 with flag 12139698/1881001
1104.88/1101.37	c cleaning 54688 clauses out of 344640 with flag 12608630/1943002
1153.87/1150.45	c cleaning 55427 clauses out of 352950 with flag 13101499/2006001
1205.39/1201.95	c cleaning 56647 clauses out of 361524 with flag 13590308/2070002
1257.46/1253.94	c cleaning 57607 clauses out of 369871 with flag 14089229/2135000
1311.61/1308.08	c cleaning 58091 clauses out of 378263 with flag 14600385/2201000
1367.70/1364.27	c cleaning 59455 clauses out of 387172 with flag 15150990/2268000
1425.44/1421.82	c cleaning 60417 clauses out of 395718 with flag 15685708/2336001
1486.16/1482.12	c cleaning 61191 clauses out of 404301 with flag 16290306/2405001
1548.20/1544.28	c cleaning 62150 clauses out of 413112 with flag 16909756/2475003
1610.14/1606.19	c cleaning 63438 clauses out of 421960 with flag 17499541/2546001
1673.47/1669.45	c cleaning 64062 clauses out of 430520 with flag 18088223/2618000
1739.72/1735.60	c cleaning 65179 clauses out of 439460 with flag 18699783/2691002
1809.55/1805.42	c cleaning 66150 clauses out of 448280 with flag 19339753/2765001
1881.30/1877.18	c cleaning 67044 clauses out of 457130 with flag 20024249/2840002
1954.83/1950.66	c cleaning 68767 clauses out of 466085 with flag 20698790/2916002
2029.91/2025.75	c cleaning 69564 clauses out of 474315 with flag 21384512/2993000
2107.60/2103.47	c cleaning 70068 clauses out of 482753 with flag 22077762/3071002
2185.18/2181.05	c cleaning 70993 clauses out of 491682 with flag 22758186/3150000
2265.99/2261.32	c cleaning 71929 clauses out of 500689 with flag 23473052/3230000
2350.79/2346.14	c cleaning 73273 clauses out of 509760 with flag 24205084/3311000
2439.96/2435.38	c cleaning 73972 clauses out of 518486 with flag 24951607/3393000
2531.13/2526.57	c cleaning 75140 clauses out of 527514 with flag 25842508/3476000
2621.41/2616.80	c cleaning 76188 clauses out of 536373 with flag 26598398/3560001
2716.16/2711.68	c cleaning 76969 clauses out of 545184 with flag 27389033/3645000
2812.11/2807.49	c cleaning 78336 clauses out of 554213 with flag 28198108/3731000
2909.49/2904.87	c cleaning 79035 clauses out of 562877 with flag 29026259/3818000
3008.94/3004.38	c cleaning 80090 clauses out of 571842 with flag 29866724/3906001
3117.35/3112.84	c cleaning 81390 clauses out of 580751 with flag 30794434/3995000
3221.49/3216.81	c cleaning 82521 clauses out of 589361 with flag 31665864/4085000
3331.05/3325.87	c cleaning 83279 clauses out of 597840 with flag 32562488/4176000
3445.07/3439.71	c cleaning 84333 clauses out of 606561 with flag 33459663/4268000
3556.73/3551.42	c cleaning 85293 clauses out of 615228 with flag 34361383/4361000
3600.00/3594.61	c timeout
3600.00/3594.62	c starts		: 32207
3600.00/3594.62	c conflicts		: 4405055
3600.00/3594.62	c decisions		: 107434461
3600.00/3594.62	c propagations		: 3762726242
3600.00/3594.62	c inspects		: 20204822543
3600.00/3594.62	c shortcuts		: 0
3600.00/3594.62	c learnt literals	: 173
3600.00/3594.62	c learnt binary clauses	: 188975
3600.00/3594.62	c learnt ternary clauses	: 192143
3600.00/3594.62	c learnt constraints	: 4404882
3600.00/3594.62	c ignored constraints	: 0
3600.00/3594.62	c root simplifications	: 0
3600.00/3594.62	c removed literals (reason simplification)	: 57960559
3600.00/3594.62	c reason swapping (by a shorter reason)	: 0
3600.00/3594.62	c Calls to reduceDB	: 89
3600.00/3594.62	c Number of update (reduction) of LBD	: 3643452
3600.00/3594.62	c Imported unit clauses	: 0
3600.00/3594.62	c No decision after first conflict	: false
3600.00/3594.62	c number of reductions to clauses (during analyze)	: 0
3600.00/3594.62	c number of learned constraints concerned by reduction	: 0
3600.00/3594.62	c number of learning phase by resolution	: 0
3600.00/3594.62	c number of learning phase by cutting planes	: 0
3600.00/3594.62	c number of rounding to 1 operations	: 0
3600.00/3594.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3594.62	c number of reductions of the coefficients by power 2 	: 0
3600.00/3594.62	c number of right shift for reduction by power 2 	: 0
3600.00/3594.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3594.62	c number of ending skipping 	: 0
3600.00/3594.62	c number of internal skipping 	: 0
3600.00/3594.62	c number of derivation steps 	: 0
3600.00/3594.62	c number of skipped derivation steps 	: 0
3600.00/3594.62	c number of remaining unassigned 	: 0
3600.00/3594.62	c number of remaining assigned 	: 0
3600.00/3594.62	c number of falsified literals weakened from reason	: 0
3600.00/3594.62	c number of falsified literals weakened from conflict	: 0
3600.00/3594.62	c time for arithmetic operations	: 0
3600.00/3594.63	c minimum degree of deleted constraints	: null
3600.00/3594.63	c maximum degree of deleted constraints	: null
3600.00/3594.63	c number of deleted constraints	: 0
3600.00/3594.63	c speed (assignments/second)	: 1046876.1541376456
3600.00/3594.63	c non guided choices	: 13027
3600.15/3594.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 385014
3600.15/3594.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 188975
3600.15/3594.71	s UNKNOWN
3600.15/3594.71	c Total wall clock time (in seconds): 3594.579

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (58120 MiB free)
  memory of node 1: 64507 MiB (60769 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506804-1751165814/watcher-4506804-1751165814 -o /tmp/evaluation-result-4506804-1751165814/solver-4506804-1751165814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20469 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4506804-1751165814.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23667, runsolver pid=23664

[startup+0.10006 s]*
/proc/loadavg: 4.04 4.11 4.10 6/339 23685
/proc/meminfo: memFree=121715120/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=18930384 memory=55672 CPUtime=0.12 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 6545 0 0 0 10 2 0 0 20 0 18 0 32259085 19384713216 13918 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4732596 13918 5370 1 0 547604 0
[pid=23667/tid=23669] ppid=23664 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 5049 0 0 0 6 1 0 0 20 0 18 0 32259086 19384713216 13918 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 13918 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=18930384 memory=59585004307076 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 13918 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55672 KiB

[startup+0.205598 s]*
/proc/loadavg: 4.04 4.11 4.10 6/339 23685
/proc/meminfo: memFree=121711024/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=18930384 memory=70644 CPUtime=0.31 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 7147 0 0 0 29 2 0 0 20 0 18 0 32259085 19384713216 17661 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4732596 17661 5434 1 0 548073 0
[pid=23667/tid=23669] ppid=23664 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 5261 0 0 0 15 2 0 0 20 0 18 0 32259086 19384713216 17661 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=18930384 memory=15140 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 17661 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 17661 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70644 KiB

[startup+0.305729 s]*
/proc/loadavg: 4.04 4.11 4.10 6/339 23685
/proc/meminfo: memFree=121674476/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=18930384 memory=107044 CPUtime=0.51 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 8513 0 0 0 48 3 0 0 20 0 18 0 32259085 19384713216 26761 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4732596 26761 5434 1 0 548891 0
[pid=23667/tid=23669] ppid=23664 vsize=18930384 memory=-6000919489869539693 CPUtime=0.26 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 5292 0 0 0 24 2 0 0 20 0 18 0 32259086 19384713216 26761 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 26761 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32259088 19384713216 26761 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107044 KiB

[startup+0.700256 s]
/proc/loadavg: 4.04 4.11 4.10 7/340 23686
/proc/meminfo: memFree=121624632/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=18996948 memory=157976 CPUtime=1.28 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 11102 0 0 0 123 5 0 0 20 0 19 0 32259085 19452874752 39494 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4749237 39494 5466 1 0 550481 0
[pid=23667/tid=23669] ppid=23664 vsize=18996948 memory=17536 CPUtime=0.63 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 5385 0 0 0 60 3 0 0 20 0 19 0 32259086 19452874752 39494 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32259088 19452874752 39494 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32259088 19452874752 39494 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=18996948 memory=4888 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 32259123 19452874752 39494 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157976 KiB

[startup+1.50025 s]
/proc/loadavg: 4.04 4.11 4.10 6/341 23687
/proc/meminfo: memFree=121615104/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=169288 CPUtime=2.41 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 12461 0 0 0 236 5 0 0 20 0 20 0 32259085 19521036288 42322 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 42322 5498 1 0 550783 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=0 CPUtime=1.41 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 5520 0 0 0 138 3 0 0 20 0 20 0 32259086 19521036288 42322 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 42322 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 42322 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4888 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 42322 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169288 KiB

[startup+3.1058 s]
/proc/loadavg: 4.04 4.11 4.10 5/341 23687
/proc/meminfo: memFree=121596000/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=182152 CPUtime=4.6 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 22663 0 0 0 453 7 0 0 20 0 20 0 32259085 19521036288 45538 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 45538 5498 1 0 554102 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=10752 CPUtime=3 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 7016 0 0 0 297 3 0 0 20 0 20 0 32259086 19521036288 45538 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=-6000919489869539693 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 45538 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 45538 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 45538 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182152 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.12 4.10 5/341 23687
/proc/meminfo: memFree=121596000/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=177112 CPUtime=8.1 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 28252 0 0 0 803 7 0 0 20 0 20 0 32259085 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 44278 5530 1 0 554106 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 7864 0 0 0 616 3 0 0 20 0 20 0 32259086 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=169288 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.10 5/341 23687
/proc/meminfo: memFree=121596192/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=177112 CPUtime=14.49 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 29309 0 0 0 1441 8 0 0 20 0 20 0 32259085 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 44278 5530 1 0 554106 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=169288 CPUtime=12.57 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 8542 0 0 0 1254 3 0 0 20 0 20 0 32259086 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=177112 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 44278 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177112 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.10 5/341 23687
/proc/meminfo: memFree=121584008/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=187516 CPUtime=27.28 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 31733 0 0 0 2720 8 0 0 20 0 20 0 32259085 19521036288 46879 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 46879 5530 1 0 554106 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=-6000919489869539693 CPUtime=25.32 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 9187 0 0 0 2529 3 0 0 20 0 20 0 32259086 19521036288 46879 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=187516 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 46879 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 46879 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 46879 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 27.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187516 KiB

[startup+51.1055 s]
/proc/loadavg: 4.27 4.15 4.11 5/340 23754
/proc/meminfo: memFree=124299704/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=331204 CPUtime=53.02 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 34829 0 0 0 5289 13 0 0 20 0 20 0 32259085 19521036288 82801 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 82801 5530 1 0 554122 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=331204 CPUtime=50.74 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 9616 0 0 0 5071 3 0 0 20 0 20 0 32259086 19521036288 82801 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=253340 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 82801 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=187516 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.10 6/340 24058
/proc/meminfo: memFree=114974132/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=3749720 CPUtime=3287.64 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 103174 0 0 0 328599 165 0 0 20 0 20 0 32259085 19521036288 937430 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 937430 5530 1 0 1357682 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=14592 CPUtime=3265.44 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 43182 0 0 0 326518 26 0 0 20 0 20 0 32259086 19521036288 937430 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=3485532 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 937430 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=3485532 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 560 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 937430 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 937430 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3287.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3749720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/341 24063
/proc/meminfo: memFree=114481076/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4009916 CPUtime=3347.64 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 104892 0 0 0 334593 171 0 0 20 0 20 0 32259085 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1002479 5530 1 0 1357682 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=3485532 CPUtime=3325.12 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 44653 0 0 0 332483 29 0 0 20 0 20 0 32259086 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=3903328 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=3837792 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 589 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4888 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3347.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4009916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/341 24066
/proc/meminfo: memFree=114303588/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4009916 CPUtime=3407.52 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 105181 0 0 0 340579 173 0 0 20 0 20 0 32259085 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1002479 5530 1 0 1357682 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=3899232 CPUtime=3384.97 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 44868 0 0 0 338468 29 0 0 20 0 20 0 32259086 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=4009916 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=14592 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 613 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4009916 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1002479 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3407.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4009916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/341 24070
/proc/meminfo: memFree=113938280/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4202856 CPUtime=3467.63 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 106549 0 0 0 346584 179 0 0 20 0 20 0 32259085 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1050714 5530 1 0 1357683 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=3899232 CPUtime=3444.59 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 45810 0 0 0 344429 30 0 0 20 0 20 0 32259086 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=4009916 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=4016064 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 613 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3467.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4202856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/341 24077
/proc/meminfo: memFree=113770172/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4202856 CPUtime=3527.69 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 108247 0 0 0 352588 181 0 0 20 0 20 0 32259085 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1050714 5530 1 0 1357683 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=4202856 CPUtime=3504.25 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 47184 0 0 0 350395 30 0 0 20 0 20 0 32259086 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 638 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3527.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4202856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/341 24079
/proc/meminfo: memFree=113728464/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4202856 CPUtime=3587.73 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 109462 0 0 0 358590 183 0 0 20 0 20 0 32259085 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1050714 5530 1 0 1357691 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=14592 CPUtime=3563.94 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 48088 0 0 0 356364 30 0 0 20 0 20 0 32259086 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 639 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=4202856 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4202856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.6 s]
/proc/loadavg: 4.12 4.12 4.09 6/341 24079
/proc/meminfo: memFree=113728216/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19063512 memory=4202856 CPUtime=3600 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 109484 0 0 0 359817 183 0 0 20 0 20 0 32259085 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4765878 1050714 5530 1 0 1357691 0
[pid=23667/tid=23669] ppid=23664 vsize=19063512 memory=6964 CPUtime=3576.21 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) R 23664 23667 20457 0 -1 4194368 48103 0 0 0 357591 30 0 0 20 0 20 0 32259086 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19063512 memory=5732 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19063512 memory=-6000919489869539693 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 639 0 0 0 0 0 0 0 20 0 20 0 32259088 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23686] ppid=23664 vsize=19063512 memory=6784 CPUtime=0 cores=1,3
/proc/23667/task/23686/stat : 23686 (Timer-0) S 23664 23667 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32259123 19521036288 1050714 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4202856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.34 s, system=1.84729 s

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

[startup+3594.71 s]
/proc/loadavg: 4.12 4.12 4.09 6/341 24079
/proc/meminfo: memFree=113728216/131249996 swapFree=33010684/33010684
[pid=23667] ppid=23664 vsize=19263204 memory=4203624 CPUtime=3600.15 cores=1,3
/proc/23667/stat : 23667 (java) S 23664 23667 20457 0 -1 4194304 110871 0 0 0 359832 183 0 0 20 0 21 0 32259085 19725520896 1050906 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
/proc/23667/statm: 4815801 1050906 5530 1 0 1358620 0
[pid=23667/tid=23669] ppid=23664 vsize=19263204 memory=14592 CPUtime=3576.23 cores=1,3
/proc/23667/task/23669/stat : 23669 (java) S 23664 23667 20457 0 -1 4194368 48181 0 0 0 357593 30 0 0 20 0 21 0 32259086 19725520896 1050906 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23678] ppid=23664 vsize=19263204 memory=4380 CPUtime=0 cores=1,3
/proc/23667/task/23678/stat : 23678 (Finalizer) S 23664 23667 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32259088 19725520896 1050906 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
[pid=23667/tid=23685] ppid=23664 vsize=19263204 memory=-6000919489869539693 CPUtime=0 cores=1,3
/proc/23667/task/23685/stat : 23685 (Common-Cleaner) S 23664 23667 20457 0 -1 4194368 639 0 0 0 0 0 0 0 20 0 21 0 32259088 19725520896 1050906 18446744073709551615 94822200512512 94822200516208 140722300327472 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822200524024 94822200524816 94822206062592 140722300336513 140722300336614 140722300336614 140722300342216 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4203624 KiB

Child status: 143

Real time (s): 3594.74
CPU time (s): 3600.18
CPU user time (s): 3598.34
CPU system time (s): 1.84729
CPU usage (%): 100.151
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4203624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.34
system time used= 1.84728
maximum resident set size= 4203752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108054
involuntary context switches= 7176


# summary of solver processes directly reported to runsolver:
#   pid: 23667
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.34
#   total CPU system time (s): 1.84729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54446 second user time and 16.8247 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 04:56:54
IDJOB=4506804
IDBENCH=158265
IDSOLVER=3363
FILE ID=nodeC021/4506804-1751165814
RUNJOBID= nodeC021-1751158606-20469
SLURM_JOB_ID= 9587494
Free space on /tmp= 433024 MiB

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

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

MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1345861276

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121744036 kB
MemAvailable:   121686712 kB
Buffers:            3280 kB
Cached:           751964 kB
SwapCached:            0 kB
Active:          8445920 kB
Inactive:         495468 kB
Active(anon):    8204204 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   495468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:       8188836 kB
Mapped:           122544 kB
Shmem:             18060 kB
KReclaimable:      89060 kB
Slab:             175156 kB
SReclaimable:      89060 kB
SUnreclaim:        86096 kB
KernelStack:        5208 kB
PageTables:        19632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15219068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7931904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC021 at 2025-06-29 05:56:49