Trace number 4506768

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.28 3595.33

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
MD5SUMe3ebae4cd87024085ca08d92094a2c8e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark604.662
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20111
Total number of constraints20451
Number of constraints which are clauses20282
Number of constraints which are cardinality constraints (but not clauses)169
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint169
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 170
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.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4506768-1751165748.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.70/0.43	c ... done. Wall clock time 0.292s.
0.70/0.43	c declared #vars     20111
0.70/0.43	c #constraints  20451
0.70/0.43	c constraints type 
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2184
0.70/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 169
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18096
0.70/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.70/0.43	c 20451 constraints processed.
3.78/2.67	c cleaning 2490 clauses out of 4992 with flag 21639/5000
6.48/5.01	c cleaning 4216 clauses out of 8495 with flag 52278/11000
9.19/7.70	c cleaning 5607 clauses out of 11269 with flag 89785/18000
12.28/10.87	c cleaning 6822 clauses out of 13660 with flag 132918/26001
15.88/14.47	c cleaning 7859 clauses out of 15836 with flag 181274/35002
19.87/18.48	c cleaning 8244 clauses out of 17972 with flag 227977/45000
24.47/23.01	c cleaning 8857 clauses out of 20723 with flag 281160/56000
29.81/28.33	c cleaning 9605 clauses out of 23866 with flag 340410/68001
35.80/34.30	c cleaning 10258 clauses out of 27254 with flag 404721/81000
42.50/41.01	c cleaning 11326 clauses out of 30991 with flag 473383/95000
49.56/48.02	c cleaning 12245 clauses out of 34665 with flag 548791/110000
57.37/55.88	c cleaning 13113 clauses out of 38417 with flag 628148/126000
65.35/63.79	c cleaning 13729 clauses out of 42302 with flag 718301/143001
73.93/72.38	c cleaning 14542 clauses out of 46568 with flag 813027/161000
82.99/81.36	c cleaning 15451 clauses out of 51022 with flag 910557/180000
92.27/90.60	c cleaning 16211 clauses out of 55566 with flag 1013167/200000
102.22/100.53	c cleaning 17070 clauses out of 60348 with flag 1121040/221000
112.97/111.25	c cleaning 17884 clauses out of 65274 with flag 1236816/243000
124.26/122.53	c cleaning 18769 clauses out of 70387 with flag 1356947/266001
136.30/134.54	c cleaning 19516 clauses out of 75614 with flag 1481338/290001
148.85/147.08	c cleaning 20414 clauses out of 81094 with flag 1618140/315000
162.09/160.26	c cleaning 21318 clauses out of 86679 with flag 1757362/341000
175.97/174.16	c cleaning 21901 clauses out of 92360 with flag 1901170/368001
191.01/189.19	c cleaning 23071 clauses out of 98458 with flag 2050726/396001
206.56/204.67	c cleaning 23513 clauses out of 104384 with flag 2210206/425000
223.99/222.00	c cleaning 24661 clauses out of 110864 with flag 2378226/455000
241.53/239.37	c cleaning 25077 clauses out of 117202 with flag 2548861/486000
259.87/257.65	c cleaning 26345 clauses out of 124122 with flag 2726454/518000
278.60/276.35	c cleaning 26928 clauses out of 130777 with flag 2910223/551002
298.82/296.55	c cleaning 27806 clauses out of 137844 with flag 3098591/585000
319.05/316.76	c cleaning 28642 clauses out of 145039 with flag 3305792/620001
339.91/337.62	c cleaning 29550 clauses out of 152395 with flag 3508698/656000
362.28/359.99	c cleaning 30373 clauses out of 159841 with flag 3725493/693000
385.24/382.95	c cleaning 31615 clauses out of 167465 with flag 3945087/731000
409.61/407.21	c cleaning 32129 clauses out of 174847 with flag 4163449/770000
434.64/432.21	c cleaning 33186 clauses out of 182717 with flag 4398362/810000
460.66/458.21	c cleaning 34184 clauses out of 190532 with flag 4641529/851002
487.65/484.96	c cleaning 34785 clauses out of 198345 with flag 4879877/893002
515.89/513.11	c cleaning 35656 clauses out of 206555 with flag 5143842/936000
544.84/542.13	c cleaning 36430 clauses out of 214899 with flag 5409706/980000
576.17/573.31	c cleaning 37528 clauses out of 223467 with flag 5679119/1025000
607.31/604.51	c cleaning 38245 clauses out of 231937 with flag 5960115/1071000
639.81/636.95	c cleaning 39546 clauses out of 240696 with flag 6243714/1118004
672.95/670.17	c cleaning 39995 clauses out of 249149 with flag 6530977/1166003
708.34/705.48	c cleaning 40891 clauses out of 258151 with flag 6835398/1215000
744.27/741.49	c cleaning 41911 clauses out of 267258 with flag 7135947/1265000
781.84/778.99	c cleaning 42930 clauses out of 276349 with flag 7456610/1316002
819.86/816.81	c cleaning 43639 clauses out of 285415 with flag 7781051/1368000
860.16/856.70	c cleaning 44744 clauses out of 294775 with flag 8116559/1421000
901.51/898.07	c cleaning 45381 clauses out of 304029 with flag 8463844/1475002
943.32/939.97	c cleaning 46447 clauses out of 313645 with flag 8815927/1530000
987.81/984.30	c cleaning 47004 clauses out of 323199 with flag 9179676/1586003
1033.43/1030.00	c cleaning 48363 clauses out of 333191 with flag 9552143/1643000
1080.88/1077.41	c cleaning 49399 clauses out of 342825 with flag 9929970/1701000
1131.07/1127.56	c cleaning 50104 clauses out of 352425 with flag 10328712/1760000
1182.97/1179.53	c cleaning 50741 clauses out of 362321 with flag 10731099/1820000
1238.03/1234.55	c cleaning 51836 clauses out of 372581 with flag 11147677/1881002
1293.71/1290.11	c cleaning 53090 clauses out of 382745 with flag 11564622/1943003
1348.60/1345.10	c cleaning 53734 clauses out of 392649 with flag 11988279/2006000
1406.18/1402.58	c cleaning 55143 clauses out of 402918 with flag 12413372/2070004
1466.38/1462.29	c cleaning 55850 clauses out of 412766 with flag 12863640/2135000
1526.87/1522.78	c cleaning 56980 clauses out of 422918 with flag 13318024/2201002
1590.12/1585.98	c cleaning 57932 clauses out of 432934 with flag 13799849/2268000
1654.19/1649.94	c cleaning 58701 clauses out of 443000 with flag 14260227/2336004
1718.67/1714.56	c cleaning 59474 clauses out of 453294 with flag 14737125/2405000
1784.89/1780.76	c cleaning 60822 clauses out of 463818 with flag 15234101/2475000
1856.18/1852.03	c cleaning 61749 clauses out of 473997 with flag 15736712/2546002
1927.10/1922.91	c cleaning 62589 clauses out of 484245 with flag 16256783/2618000
1998.23/1994.03	c cleaning 63772 clauses out of 494656 with flag 16777590/2691000
2072.54/2068.38	c cleaning 64714 clauses out of 504883 with flag 17307318/2765000
2150.82/2146.69	c cleaning 65424 clauses out of 515168 with flag 17855593/2840000
2228.57/2224.49	c cleaning 66468 clauses out of 525747 with flag 18422559/2916003
2309.46/2305.30	c cleaning 67296 clauses out of 536273 with flag 18983589/2993000
2394.35/2389.34	c cleaning 68669 clauses out of 546977 with flag 19561402/3071000
2481.49/2476.54	c cleaning 69004 clauses out of 557310 with flag 20159938/3150002
2565.13/2560.17	c cleaning 69999 clauses out of 568304 with flag 20768195/3230001
2643.07/2638.00	c cleaning 71299 clauses out of 579302 with flag 21385973/3311000
2722.81/2717.73	c cleaning 71931 clauses out of 590003 with flag 22029346/3393000
2803.28/2798.11	c cleaning 73246 clauses out of 601074 with flag 22666829/3476002
2885.21/2880.23	c cleaning 74331 clauses out of 611826 with flag 23301059/3560000
2971.52/2966.77	c cleaning 75105 clauses out of 622495 with flag 23962080/3645000
3058.42/3053.42	c cleaning 76262 clauses out of 633390 with flag 24636417/3731001
3146.04/3141.15	c cleaning 77526 clauses out of 644130 with flag 25311748/3818003
3237.18/3232.47	c cleaning 77957 clauses out of 654601 with flag 26020672/3906002
3330.27/3325.56	c cleaning 79171 clauses out of 665641 with flag 26743278/3995000
3424.47/3419.60	c cleaning 80340 clauses out of 676466 with flag 27442019/4085000
3520.69/3515.88	c cleaning 80647 clauses out of 687128 with flag 28189287/4176003
3600.09/3595.21	c starts		: 26860
3600.09/3595.21	c conflicts		: 4252348
3600.09/3595.21	c decisions		: 148131462
3600.09/3595.21	c propagations		: 4159151546
3600.09/3595.21	c inspects		: 19415465751
3600.09/3595.21	c shortcuts		: 0
3600.09/3595.21	c learnt literals	: 196
3600.09/3595.21	c learnt binary clauses	: 247213
3600.09/3595.21	c learnt ternary clauses	: 226078
3600.09/3595.21	c learnt constraints	: 4252152
3600.09/3595.21	c ignored constraints	: 0
3600.09/3595.21	c root simplifications	: 0
3600.09/3595.21	c removed literals (reason simplification)	: 44300320
3600.09/3595.21	c reason swapping (by a shorter reason)	: 0
3600.09/3595.21	c Calls to reduceDB	: 87
3600.09/3595.21	c Number of update (reduction) of LBD	: 3161823
3600.09/3595.21	c Imported unit clauses	: 0
3600.09/3595.21	c No decision after first conflict	: false
3600.09/3595.21	c number of reductions to clauses (during analyze)	: 0
3600.09/3595.21	c number of learned constraints concerned by reduction	: 0
3600.09/3595.21	c number of learning phase by resolution	: 0
3600.09/3595.21	c number of learning phase by cutting planes	: 0
3600.09/3595.21	c number of rounding to 1 operations	: 0
3600.09/3595.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3595.21	c number of reductions of the coefficients by power 2 	: 0
3600.09/3595.21	c number of right shift for reduction by power 2 	: 0
3600.09/3595.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3595.21	c number of ending skipping 	: 0
3600.09/3595.21	c number of internal skipping 	: 0
3600.09/3595.21	c number of derivation steps 	: 0
3600.09/3595.21	c number of skipped derivation steps 	: 0
3600.09/3595.21	c number of remaining unassigned 	: 0
3600.09/3595.21	c number of remaining assigned 	: 0
3600.09/3595.21	c number of falsified literals weakened from reason	: 0
3600.09/3595.21	c number of falsified literals weakened from conflict	: 0
3600.09/3595.21	c time for arithmetic operations	: 0
3600.09/3595.22	c minimum degree of deleted constraints	: null
3600.09/3595.22	c maximum degree of deleted constraints	: null
3600.09/3595.22	c number of deleted constraints	: 0
3600.09/3595.22	c speed (assignments/second)	: 1157000.7388511642
3600.09/3595.22	c non guided choices	: 37495
3600.09/3595.23	c timeout
3600.25/3595.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 435612
3600.25/3595.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 247213
3600.25/3595.31	s UNKNOWN
3600.25/3595.31	c Total wall clock time (in seconds): 3595.17

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506768-1751165748/watcher-4506768-1751165748 -o /tmp/evaluation-result-4506768-1751165748/solver-4506768-1751165748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751157346-19472 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4506768-1751165748.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=22142, runsolver pid=22139

[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.12 5/338 22160
/proc/meminfo: memFree=114552752/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=18930384 memory=55608 CPUtime=0.12 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 6536 0 0 0 10 2 0 0 20 0 18 0 32252515 19384713216 13902 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4732596 13902 5338 1 0 547603 0
[pid=22142/tid=22144] ppid=22139 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 5050 0 0 0 6 1 0 0 20 0 18 0 32252517 19384713216 13902 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32252519 19384713216 13902 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=18930384 memory=58485492707711 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32252520 19384713216 13902 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55608 KiB

[startup+0.20588 s]*
/proc/loadavg: 4.09 4.09 4.12 6/338 22160
/proc/meminfo: memFree=114538196/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=18930384 memory=70672 CPUtime=0.31 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 7142 0 0 0 29 2 0 0 20 0 18 0 32252515 19384713216 17668 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4732596 17668 5434 1 0 548073 0
[pid=22142/tid=22144] ppid=22139 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 5261 0 0 0 15 1 0 0 20 0 18 0 32252517 19384713216 17668 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=18930384 memory=16195 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32252519 19384713216 17668 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32252520 19384713216 17668 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70672 KiB

[startup+0.305829 s]*
/proc/loadavg: 4.09 4.09 4.12 6/338 22160
/proc/meminfo: memFree=114505744/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=18930384 memory=102928 CPUtime=0.51 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 8492 0 0 0 48 3 0 0 20 0 18 0 32252515 19384713216 25732 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4732596 25732 5434 1 0 548888 0
[pid=22142/tid=22144] ppid=22139 vsize=18930384 memory=-6000919468445362797 CPUtime=0.26 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 5286 0 0 0 24 2 0 0 20 0 18 0 32252517 19384713216 25732 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32252519 19384713216 25732 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32252520 19384713216 25732 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 102928 KiB

[startup+0.700632 s]
/proc/loadavg: 4.09 4.09 4.12 6/340 22162
/proc/meminfo: memFree=114444304/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=165648 CPUtime=1.27 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 10860 0 0 0 121 6 0 0 20 0 20 0 32252515 19521036288 41412 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 41412 5466 1 0 550600 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=17280 CPUtime=0.6 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 5361 0 0 0 56 4 0 0 20 0 20 0 32252517 19521036288 41412 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 41412 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 41412 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 41412 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165648 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.09 4.12 6/340 22162
/proc/meminfo: memFree=114444592/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=167440 CPUtime=2.49 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 12435 0 0 0 243 6 0 0 20 0 20 0 32252515 19521036288 41860 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 41860 5498 1 0 550839 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=0 CPUtime=1.39 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 5501 0 0 0 135 4 0 0 20 0 20 0 32252517 19521036288 41860 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 41860 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 41860 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 41860 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167440 KiB

[startup+3.10578 s]
/proc/loadavg: 4.09 4.09 4.12 5/340 22162
/proc/meminfo: memFree=114428692/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=179784 CPUtime=4.51 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 22091 0 0 0 443 8 0 0 20 0 20 0 32252515 19521036288 44946 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 44946 5498 1 0 554152 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=10752 CPUtime=2.99 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 6905 0 0 0 295 4 0 0 20 0 20 0 32252517 19521036288 44946 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=-6000919468445362797 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 44946 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 44946 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 44946 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179784 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.09 4.12 5/340 22162
/proc/meminfo: memFree=114428692/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=164072 CPUtime=7.79 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 24864 0 0 0 771 8 0 0 20 0 20 0 32252515 19521036288 41018 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 41018 5498 1 0 554152 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=0 CPUtime=6.18 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 7540 0 0 0 614 4 0 0 20 0 20 0 32252517 19521036288 41018 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 41018 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 41018 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=167440 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 41018 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164072 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.12 5/340 22162
/proc/meminfo: memFree=114432968/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=176408 CPUtime=14.18 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 26793 0 0 0 1409 9 0 0 20 0 20 0 32252515 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 44102 5498 1 0 554152 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=167440 CPUtime=12.53 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 8225 0 0 0 1249 4 0 0 20 0 20 0 32252517 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=164072 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176408 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.12 5/341 22163
/proc/meminfo: memFree=114416332/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=176408 CPUtime=26.96 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 27719 0 0 0 2687 9 0 0 20 0 20 0 32252515 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 44102 5498 1 0 554152 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=-6000919468445362797 CPUtime=25.3 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 8891 0 0 0 2526 4 0 0 20 0 20 0 32252517 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 44102 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176408 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.09 4.12 5/341 22164
/proc/meminfo: memFree=114272780/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=326604 CPUtime=52.68 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 30691 0 0 0 5255 13 0 0 20 0 20 0 32252515 19521036288 81651 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 81651 5498 1 0 554170 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=326348 CPUtime=50.71 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 9250 0 0 0 5067 4 0 0 20 0 20 0 32252517 19521036288 81651 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=246356 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 81651 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=176408 CPUtime=0 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 1.08 1.34 2.38 2/264 22426
/proc/meminfo: memFree=126385396/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=3704360 CPUtime=3287.14 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 119846 0 0 0 328537 177 0 0 20 0 20 0 32252515 19521036288 926090 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 926090 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=3704360 CPUtime=3265.12 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 54321 0 0 0 326484 28 0 0 20 0 20 0 32252517 19521036288 926090 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 926090 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 926090 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 926090 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3287.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3704360 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.30 2.30 2/264 22428
/proc/meminfo: memFree=126381376/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=3706408 CPUtime=3347.08 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 121574 0 0 0 334529 179 0 0 20 0 20 0 32252515 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 926602 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=4764 CPUtime=3324.75 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 55372 0 0 0 332446 29 0 0 20 0 20 0 32252517 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=3704360 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=3706408 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3347.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3706408 KiB

[startup+3402.3 s]
/proc/loadavg: 1.05 1.25 2.21 2/264 22430
/proc/meminfo: memFree=126389536/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=3706408 CPUtime=3406.98 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 123275 0 0 0 340517 181 0 0 20 0 20 0 32252515 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 926602 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=3706408 CPUtime=3384.62 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 56973 0 0 0 338433 29 0 0 20 0 20 0 32252517 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=3704360 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=3706408 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1105 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 926602 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3406.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3706408 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.23 2.14 2/265 22437
/proc/meminfo: memFree=126294380/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=3805180 CPUtime=3467.1 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 125041 0 0 0 346526 184 0 0 20 0 20 0 32252515 19521036288 951295 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 951295 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=3706408 CPUtime=3444.26 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 57895 0 0 0 344397 29 0 0 20 0 20 0 32252517 19521036288 951295 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=3704360 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 951295 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1142 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 951295 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=3805180 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 951295 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3467.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3805180 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.20 2.07 2/264 22441
/proc/meminfo: memFree=126081140/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=4016124 CPUtime=3527.19 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 126669 0 0 0 352530 189 0 0 20 0 20 0 32252515 19521036288 1004031 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 1004031 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=3805180 CPUtime=3503.92 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 58599 0 0 0 350363 29 0 0 20 0 20 0 32252517 19521036288 1004031 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=3805180 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 1004031 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=4016124 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 1004031 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=4016124 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 1004031 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3527.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4016124 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.18 2.01 2/264 22444
/proc/meminfo: memFree=125924292/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=4173820 CPUtime=3587.21 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 128431 0 0 0 358528 193 0 0 20 0 20 0 32252515 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 1043455 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=4016124 CPUtime=3563.61 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 60209 0 0 0 356332 29 0 0 20 0 20 0 32252517 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=-6000919468445362797 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4173820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.2 s]
/proc/loadavg: 1.07 1.17 2.00 2/265 22445
/proc/meminfo: memFree=125924544/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19063512 memory=4173820 CPUtime=3600.09 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 128870 0 0 0 359816 193 0 0 20 0 20 0 32252515 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4765878 1043455 5530 1 0 1153001 0
[pid=22142/tid=22144] ppid=22139 vsize=19063512 memory=4173820 CPUtime=3576.48 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 19460 0 -1 4194368 60642 0 0 0 357619 29 0 0 20 0 20 0 32252517 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19063512 memory=-6000919468445362797 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32252519 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19063512 memory=2736 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 32252520 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22162] ppid=22139 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/22142/task/22162/stat : 22162 (Timer-0) S 22139 22142 19460 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32252561 19521036288 1043455 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4173820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.95724 s

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

[startup+3595.31 s]
/proc/loadavg: 1.07 1.17 2.00 2/265 22445
/proc/meminfo: memFree=125924544/131249996 swapFree=33010684/33010684
[pid=22142] ppid=22139 vsize=19263204 memory=4174460 CPUtime=3600.25 cores=1,3
/proc/22142/stat : 22142 (java) S 22139 22142 19460 0 -1 4194304 130645 0 0 0 359831 194 0 0 20 0 21 0 32252515 19725520896 1043615 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
/proc/22142/statm: 4815801 1043615 5530 1 0 1153935 0
[pid=22142/tid=22144] ppid=22139 vsize=19263204 memory=14824 CPUtime=3576.49 cores=1,3
/proc/22142/task/22144/stat : 22144 (java) S 22139 22142 19460 0 -1 4194368 60755 0 0 0 357620 29 0 0 20 0 21 0 32252517 19725520896 1043615 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22153] ppid=22139 vsize=19263204 memory=4380 CPUtime=0 cores=1,3
/proc/22142/task/22153/stat : 22153 (Finalizer) S 22139 22142 19460 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32252519 19725520896 1043615 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
[pid=22142/tid=22160] ppid=22139 vsize=19263204 memory=4480 CPUtime=0 cores=1,3
/proc/22142/task/22160/stat : 22160 (Common-Cleaner) S 22139 22142 19460 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 21 0 32252520 19725520896 1043615 18446744073709551615 94426184970240 94426184973936 140727268401648 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94426184981752 94426184982544 94426187288576 140727268403585 140727268403686 140727268403686 140727268409288 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4174460 KiB

Child status: 143

Real time (s): 3595.33
CPU time (s): 3600.28
CPU user time (s): 3598.32
CPU system time (s): 1.95724
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4174460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.95724
maximum resident set size= 4174588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109043
involuntary context switches= 8455


# summary of solver processes directly reported to runsolver:
#   pid: 22142
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.95724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7861 second user time and 17.3043 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 04:55:48
IDJOB=4506768
IDBENCH=158263
IDSOLVER=3363
FILE ID=nodeC017/4506768-1751165748
RUNJOBID= nodeC017-1751157346-19472
SLURM_JOB_ID= 9587483
Free space on /tmp= 432668 MiB

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

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

MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=421849080

nodeC017 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.066
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.12
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.275
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.12
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		: 3600.739
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.12
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		: 3588.339
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.12
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.060
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.12
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.071
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.12
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		: 3598.649
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.12
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		: 3567.552
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114576340 kB
MemAvailable:   114638400 kB
Buffers:            3280 kB
Cached:           872252 kB
SwapCached:            0 kB
Active:         15454592 kB
Inactive:         618704 kB
Active(anon):   15215844 kB
Inactive(anon):        0 kB
Active(file):     238748 kB
Inactive(file):   618704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2024 kB
Writeback:             0 kB
AnonPages:      15200580 kB
Mapped:           122384 kB
Shmem:             18080 kB
KReclaimable:      87296 kB
Slab:             171184 kB
SReclaimable:      87296 kB
SUnreclaim:        83888 kB
KernelStack:        5132 kB
PageTables:        33524 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   30147468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14956544 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC017 at 2025-06-29 05:55:43