Trace number 4432348

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07OPT8908 177.974 175.478

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
MD5SUMa74353a91b8173c9f34b6251be571240
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8908
Best CPU time to get the best result obtained on this benchmark0.033729
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables253
Total number of constraints264
Number of constraints which are clauses242
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 253
Biggest coefficient in the objective function 2437
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 125403
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2437
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 125403
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432348-1721106641.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.14	c ... done. Wall clock time 0.025s.
0.13/0.14	c declared #vars     253
0.13/0.15	c #constraints  286
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 242
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22
0.13/0.15	c 286 constraints processed.
0.13/0.15	c objective function length is 253 literals
0.13/0.16	c SATISFIABLE
0.13/0.16	c OPTIMIZING...
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.041
0.13/0.16	o 10896
0.13/0.17	c Got one! Elapsed wall clock time (in seconds):0.046
0.13/0.17	o 10411
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.074
0.13/0.20	o 10369
0.13/0.20	c Got one! Elapsed wall clock time (in seconds):0.075
0.13/0.20	o 9354
0.53/0.39	c cleaning 2682 clauses out of 5369 with flag 10002/5369
1.09/0.62	c cleaning 4344 clauses out of 8688 with flag 22004/11370
1.49/0.82	c cleaning 5669 clauses out of 11343 with flag 36002/18369
1.89/1.05	c cleaning 6836 clauses out of 13674 with flag 54005/26369
2.17/1.24	c cleaning 7919 clauses out of 15838 with flag 76295/35369
2.45/1.46	c cleaning 8960 clauses out of 17920 with flag 100243/45370
2.78/1.67	c cleaning 9980 clauses out of 19960 with flag 125262/56370
3.16/1.90	c cleaning 10987 clauses out of 21980 with flag 154421/68370
3.37/2.15	c cleaning 11996 clauses out of 23992 with flag 186000/81369
3.75/2.46	c cleaning 12998 clauses out of 25996 with flag 220732/95369
4.10/2.77	c cleaning 13998 clauses out of 27999 with flag 257289/110370
4.52/3.12	c cleaning 14995 clauses out of 30001 with flag 296092/126370
4.82/3.50	c cleaning 16004 clauses out of 32007 with flag 339939/143371
5.25/3.85	c cleaning 16997 clauses out of 34001 with flag 384585/161369
5.65/4.24	c cleaning 18001 clauses out of 36004 with flag 431765/180369
6.05/4.61	c cleaning 19001 clauses out of 38003 with flag 480197/200369
6.45/5.02	c cleaning 19999 clauses out of 40002 with flag 530734/221369
6.86/5.46	c cleaning 20994 clauses out of 42003 with flag 584768/243369
7.26/5.88	c cleaning 22001 clauses out of 44009 with flag 640033/266369
7.76/6.33	c cleaning 22992 clauses out of 46008 with flag 695960/290369
8.36/6.95	c cleaning 24004 clauses out of 48016 with flag 759537/315369
9.07/7.62	c cleaning 25006 clauses out of 50014 with flag 827533/341371
9.82/8.33	c cleaning 26004 clauses out of 52007 with flag 898003/368370
10.53/9.06	c cleaning 26997 clauses out of 54003 with flag 970873/396370
11.22/9.79	c cleaning 27996 clauses out of 56006 with flag 1045070/425370
11.91/10.49	c cleaning 29000 clauses out of 58009 with flag 1120280/455369
12.71/11.23	c cleaning 29998 clauses out of 60010 with flag 1200030/486370
13.51/12.05	c cleaning 31001 clauses out of 62012 with flag 1283592/518370
14.40/12.92	c cleaning 31998 clauses out of 64011 with flag 1368835/551370
15.20/13.79	c cleaning 33000 clauses out of 66013 with flag 1458261/585370
16.20/14.71	c cleaning 34004 clauses out of 68012 with flag 1550765/620369
17.11/15.68	c cleaning 34993 clauses out of 70008 with flag 1644060/656369
18.00/16.59	c cleaning 35993 clauses out of 72016 with flag 1734577/693370
19.21/17.71	c cleaning 37004 clauses out of 74023 with flag 1831457/731370
20.10/18.68	c cleaning 38003 clauses out of 76018 with flag 1923025/770369
21.30/19.88	c cleaning 38993 clauses out of 78015 with flag 2026441/810369
22.50/21.08	c cleaning 40005 clauses out of 80023 with flag 2134000/851370
23.10/21.69	c Got one! Elapsed wall clock time (in seconds):21.57
23.10/21.69	o 9350
23.51/22.08	c cleaning 36978 clauses out of 73966 with flag 12742/885318
23.70/22.27	c cleaning 21489 clauses out of 42989 with flag 28929/891319
23.90/22.46	c cleaning 14242 clauses out of 28499 with flag 48236/898318
24.17/22.63	c cleaning 11123 clauses out of 22257 with flag 69023/906318
24.37/22.82	c cleaning 10060 clauses out of 20135 with flag 93031/915319
24.57/23.01	c cleaning 10034 clauses out of 20074 with flag 119304/925318
24.77/23.22	c cleaning 10512 clauses out of 21040 with flag 149664/936318
24.97/23.43	c cleaning 11255 clauses out of 22528 with flag 179406/948318
25.17/23.68	c cleaning 12135 clauses out of 24273 with flag 214229/961318
25.47/23.96	c cleaning 13068 clauses out of 26138 with flag 248916/975318
25.77/24.22	c cleaning 14031 clauses out of 28070 with flag 286667/990318
25.96/24.49	c cleaning 15011 clauses out of 30039 with flag 323788/1006318
26.26/24.77	c cleaning 16011 clauses out of 32028 with flag 364710/1023318
26.70/25.14	c cleaning 17003 clauses out of 34017 with flag 408411/1041318
27.09/25.57	c cleaning 18008 clauses out of 36015 with flag 454572/1060319
27.49/25.93	c cleaning 18997 clauses out of 38006 with flag 501069/1080318
27.99/26.45	c cleaning 20002 clauses out of 40009 with flag 550805/1101318
28.48/26.92	c cleaning 20995 clauses out of 42007 with flag 604324/1123318
28.88/27.36	c cleaning 22000 clauses out of 44012 with flag 658831/1146318
29.48/27.91	c cleaning 22999 clauses out of 46013 with flag 717952/1170319
29.98/28.48	c cleaning 24001 clauses out of 48013 with flag 779266/1195318
30.48/28.94	c cleaning 25004 clauses out of 50013 with flag 840945/1221319
31.08/29.54	c cleaning 25994 clauses out of 52008 with flag 908356/1248318
31.78/30.23	c cleaning 27000 clauses out of 54014 with flag 986005/1276318
32.47/30.91	c cleaning 28005 clauses out of 56017 with flag 1057327/1305321
33.07/31.51	c cleaning 28998 clauses out of 58009 with flag 1130677/1335318
33.58/32.09	c cleaning 30004 clauses out of 60015 with flag 1203166/1366322
34.27/32.74	c cleaning 31001 clauses out of 62007 with flag 1275198/1398318
34.87/33.39	c cleaning 31997 clauses out of 64007 with flag 1351761/1431319
35.47/33.99	c cleaning 32999 clauses out of 66010 with flag 1426086/1465319
36.28/34.73	c cleaning 33997 clauses out of 68010 with flag 1504111/1500318
37.09/35.52	c cleaning 35003 clauses out of 70014 with flag 1587530/1536319
37.60/36.10	c cleaning 36000 clauses out of 72011 with flag 1667454/1573319
38.40/36.83	c cleaning 37002 clauses out of 74010 with flag 1748162/1611318
39.10/37.54	c cleaning 38001 clauses out of 76009 with flag 1830409/1650319
39.10/37.59	c Got one! Elapsed wall clock time (in seconds):37.475
39.10/37.59	o 9332
39.20/37.67	c cleaning 21832 clauses out of 43681 with flag 2416/1655992
39.40/37.86	c cleaning 13905 clauses out of 27849 with flag 17065/1661992
39.50/37.99	c cleaning 10455 clauses out of 20944 with flag 33964/1668992
39.70/38.13	c cleaning 9233 clauses out of 18488 with flag 53964/1676991
39.80/38.29	c cleaning 9122 clauses out of 18255 with flag 78074/1685991
40.00/38.46	c cleaning 9560 clauses out of 19135 with flag 103960/1695993
40.20/38.66	c cleaning 10280 clauses out of 20573 with flag 133806/1706991
40.40/38.88	c cleaning 11137 clauses out of 22293 with flag 163992/1718991
40.72/39.13	c cleaning 12072 clauses out of 24156 with flag 196335/1731991
40.92/39.38	c cleaning 13040 clauses out of 26084 with flag 230970/1745991
41.31/39.72	c cleaning 14017 clauses out of 28044 with flag 268630/1760991
41.62/40.05	c cleaning 15010 clauses out of 30029 with flag 309837/1776993
41.91/40.38	c cleaning 16009 clauses out of 32018 with flag 354031/1793992
42.31/40.70	c cleaning 17001 clauses out of 34008 with flag 397374/1811991
42.62/41.07	c cleaning 18002 clauses out of 36007 with flag 442076/1830991
43.01/41.42	c cleaning 18999 clauses out of 38005 with flag 490563/1850991
43.41/41.81	c cleaning 20000 clauses out of 40007 with flag 540589/1871992
43.81/42.20	c cleaning 21002 clauses out of 42007 with flag 592222/1893992
44.22/42.68	c cleaning 21997 clauses out of 44004 with flag 649232/1916991
44.72/43.14	c cleaning 23000 clauses out of 46007 with flag 704688/1940991
45.22/43.66	c cleaning 23997 clauses out of 48007 with flag 764613/1965991
45.92/44.31	c cleaning 25001 clauses out of 50010 with flag 831613/1991991
46.51/44.97	c cleaning 25995 clauses out of 52009 with flag 897808/2018991
47.21/45.63	c cleaning 27004 clauses out of 54015 with flag 965161/2046992
47.91/46.30	c cleaning 28004 clauses out of 56010 with flag 1036625/2075991
48.51/46.95	c cleaning 29003 clauses out of 58006 with flag 1109034/2105991
49.23/47.68	c cleaning 29994 clauses out of 60003 with flag 1184137/2136991
50.03/48.43	c cleaning 31005 clauses out of 62011 with flag 1263998/2168993
50.73/49.19	c cleaning 32001 clauses out of 64007 with flag 1345798/2201994
51.63/50.07	c cleaning 32994 clauses out of 66003 with flag 1430795/2235991
52.52/50.98	c cleaning 33997 clauses out of 68009 with flag 1518078/2270991
53.42/51.82	c cleaning 35001 clauses out of 70013 with flag 1601420/2306992
54.12/52.54	c cleaning 36007 clauses out of 72013 with flag 1685733/2343993
55.22/53.60	c cleaning 37003 clauses out of 74005 with flag 1776868/2381992
56.12/54.54	c cleaning 37998 clauses out of 76001 with flag 1870926/2420991
57.02/55.43	c cleaning 38995 clauses out of 78003 with flag 1963343/2460991
57.91/56.32	c cleaning 39998 clauses out of 80009 with flag 2061401/2501992
59.01/57.43	c cleaning 41001 clauses out of 82011 with flag 2165072/2543992
59.91/58.37	c cleaning 42000 clauses out of 84009 with flag 2261353/2586991
61.01/59.40	c cleaning 43003 clauses out of 86010 with flag 2365128/2630992
62.22/60.63	c cleaning 43996 clauses out of 88008 with flag 2473608/2675993
63.42/61.87	c cleaning 44998 clauses out of 90011 with flag 2594886/2721992
64.72/63.18	c cleaning 45999 clauses out of 92012 with flag 2719292/2768991
66.11/64.51	c cleaning 47000 clauses out of 94013 with flag 2845507/2816991
67.21/65.69	c cleaning 47994 clauses out of 96013 with flag 2973178/2865991
68.31/66.70	c cleaning 49009 clauses out of 98022 with flag 3102115/2915994
69.75/68.15	c cleaning 49989 clauses out of 100010 with flag 3235303/2966991
71.14/69.50	c cleaning 51006 clauses out of 102022 with flag 3372084/3018992
72.44/70.86	c cleaning 52001 clauses out of 104016 with flag 3509424/3071992
73.74/72.15	c cleaning 52998 clauses out of 106014 with flag 3647058/3125991
74.53/72.91	c Got one! Elapsed wall clock time (in seconds):72.794
74.53/72.91	o 9304
74.93/73.39	c cleaning 48724 clauses out of 97471 with flag 13348/3170446
75.13/73.58	c cleaning 27366 clauses out of 54748 with flag 29509/3176447
75.33/73.74	c cleaning 17177 clauses out of 34380 with flag 48122/3183445
75.43/73.87	c cleaning 12594 clauses out of 25203 with flag 68669/3191445
75.64/74.01	c cleaning 10797 clauses out of 21610 with flag 92276/3200446
75.74/74.14	c cleaning 10397 clauses out of 20812 with flag 114607/3210445
75.93/74.30	c cleaning 10698 clauses out of 21415 with flag 139602/3221445
76.03/74.48	c cleaning 11354 clauses out of 22718 with flag 167159/3233446
76.23/74.69	c cleaning 12171 clauses out of 24363 with flag 196432/3246445
76.43/74.89	c cleaning 13092 clauses out of 26192 with flag 228720/3260445
76.75/75.18	c cleaning 14041 clauses out of 28100 with flag 262825/3275445
77.04/75.47	c cleaning 15021 clauses out of 30059 with flag 302986/3291445
77.34/75.76	c cleaning 16015 clauses out of 32039 with flag 346306/3308446
77.54/75.92	c Got one! Elapsed wall clock time (in seconds):75.799
77.54/75.92	o 9290
77.65/76.06	c cleaning 16033 clauses out of 32080 with flag 13765/3324502
77.75/76.16	c cleaning 11011 clauses out of 22047 with flag 28751/3330502
77.95/76.31	c cleaning 9004 clauses out of 18036 with flag 47333/3337502
78.05/76.44	c cleaning 8505 clauses out of 17032 with flag 67513/3345502
78.25/76.61	c cleaning 8754 clauses out of 17527 with flag 90432/3354502
78.45/76.80	c cleaning 9384 clauses out of 18774 with flag 117407/3364503
78.55/76.99	c cleaning 10186 clauses out of 20389 with flag 145315/3375502
78.85/77.23	c cleaning 11095 clauses out of 22203 with flag 176558/3387502
79.04/77.41	c cleaning 12050 clauses out of 24109 with flag 208112/3400503
79.24/77.66	c cleaning 13027 clauses out of 26058 with flag 243135/3414502
79.54/77.92	c cleaning 14008 clauses out of 28032 with flag 282228/3429503
79.75/78.18	c cleaning 15009 clauses out of 30024 with flag 319656/3445503
80.04/78.46	c cleaning 16007 clauses out of 32014 with flag 359695/3462502
80.44/78.82	c cleaning 17004 clauses out of 34008 with flag 406269/3480503
80.84/79.21	c cleaning 17999 clauses out of 36003 with flag 454193/3499502
81.14/79.58	c cleaning 18999 clauses out of 38004 with flag 503185/3519502
81.54/79.92	c cleaning 19997 clauses out of 40006 with flag 550357/3540503
81.94/80.31	c cleaning 20992 clauses out of 42008 with flag 602132/3562502
82.34/80.79	c cleaning 22005 clauses out of 44017 with flag 660861/3585503
82.96/81.38	c cleaning 23003 clauses out of 46014 with flag 726285/3609505
83.56/81.98	c cleaning 24003 clauses out of 48009 with flag 797463/3634503
84.06/82.49	c cleaning 24995 clauses out of 50006 with flag 867191/3660503
84.56/82.99	c cleaning 26005 clauses out of 52012 with flag 931121/3687504
85.16/83.54	c cleaning 26991 clauses out of 54005 with flag 1000399/3715502
85.76/84.17	c cleaning 27998 clauses out of 56014 with flag 1074528/3744502
86.36/84.75	c cleaning 28997 clauses out of 58016 with flag 1149420/3774502
87.05/85.49	c cleaning 30003 clauses out of 60019 with flag 1229478/3805502
87.85/86.26	c cleaning 31008 clauses out of 62017 with flag 1309150/3837503
88.66/87.09	c cleaning 31993 clauses out of 64009 with flag 1393919/3870503
89.55/87.98	c cleaning 33002 clauses out of 66016 with flag 1486673/3904503
90.45/88.80	c cleaning 34002 clauses out of 68013 with flag 1577273/3939502
91.15/89.53	c cleaning 35004 clauses out of 70011 with flag 1666247/3975502
91.95/90.31	c cleaning 36000 clauses out of 72008 with flag 1763362/4012503
92.76/91.14	c cleaning 36990 clauses out of 74008 with flag 1858807/4050503
93.54/91.94	c cleaning 38005 clauses out of 76018 with flag 1953394/4089503
94.35/92.71	c cleaning 39000 clauses out of 78012 with flag 2048198/4129502
95.14/93.50	c cleaning 39997 clauses out of 80012 with flag 2142067/4170502
95.84/94.25	c cleaning 41006 clauses out of 82015 with flag 2241688/4212502
96.84/95.24	c cleaning 41996 clauses out of 84010 with flag 2342873/4255503
97.84/96.26	c cleaning 43003 clauses out of 86013 with flag 2455599/4299502
98.94/97.32	c cleaning 43999 clauses out of 88011 with flag 2568031/4344503
100.04/98.42	c cleaning 45002 clauses out of 90011 with flag 2679459/4390502
101.13/99.58	c cleaning 46002 clauses out of 92009 with flag 2786054/4437502
102.24/100.60	c cleaning 47004 clauses out of 94008 with flag 2894809/4485503
103.43/101.84	c cleaning 48001 clauses out of 96004 with flag 3004956/4534503
104.23/102.63	c Got one! Elapsed wall clock time (in seconds):102.51
104.23/102.63	o 9237
104.53/102.94	c cleaning 44104 clauses out of 88220 with flag 12392/4574720
104.73/103.13	c cleaning 25052 clauses out of 50115 with flag 27155/4580719
104.83/103.26	c cleaning 16023 clauses out of 32063 with flag 43669/4587719
105.04/103.40	c cleaning 12011 clauses out of 24041 with flag 62392/4595720
105.14/103.55	c cleaning 10507 clauses out of 21029 with flag 83239/4604719
105.34/103.73	c cleaning 10252 clauses out of 20523 with flag 107746/4614720
105.53/103.91	c cleaning 10627 clauses out of 21270 with flag 132680/4625719
105.64/104.08	c cleaning 11317 clauses out of 22644 with flag 161631/4637720
105.83/104.26	c cleaning 12161 clauses out of 24326 with flag 191420/4650719
106.03/104.47	c cleaning 13081 clauses out of 26167 with flag 223623/4664721
106.33/104.76	c cleaning 14037 clauses out of 28084 with flag 257487/4679719
106.63/105.01	c cleaning 15013 clauses out of 30047 with flag 293023/4695719
106.82/105.29	c cleaning 16015 clauses out of 32035 with flag 329165/4712720
107.13/105.55	c cleaning 16999 clauses out of 34020 with flag 368521/4730720
107.43/105.89	c cleaning 18010 clauses out of 36020 with flag 414298/4749719
107.83/106.27	c cleaning 18998 clauses out of 38010 with flag 461622/4769719
108.23/106.64	c cleaning 20004 clauses out of 40013 with flag 510055/4790720
108.63/107.03	c cleaning 20997 clauses out of 42008 with flag 559661/4812719
109.02/107.45	c cleaning 22003 clauses out of 44013 with flag 614132/4835721
109.53/107.98	c cleaning 23001 clauses out of 46008 with flag 673313/4859719
110.03/108.44	c cleaning 23998 clauses out of 48007 with flag 732868/4884719
110.53/108.92	c cleaning 25003 clauses out of 50009 with flag 795751/4910719
110.73/109.16	c Got one! Elapsed wall clock time (in seconds):109.046
110.73/109.16	o 9228
110.83/109.27	c cleaning 21829 clauses out of 43664 with flag 10805/4929377
110.93/109.35	c cleaning 13908 clauses out of 27834 with flag 23355/4935376
111.03/109.43	c cleaning 10455 clauses out of 20925 with flag 37874/4942375
111.13/109.53	c cleaning 9232 clauses out of 18472 with flag 55096/4950377
111.23/109.64	c cleaning 9116 clauses out of 18239 with flag 73702/4959376
111.33/109.76	c cleaning 9558 clauses out of 19123 with flag 94642/4969376
111.53/109.90	c cleaning 10277 clauses out of 20564 with flag 117737/4980375
111.63/110.05	c cleaning 11143 clauses out of 22287 with flag 142398/4992375
111.83/110.22	c cleaning 12071 clauses out of 24145 with flag 169042/5005376
112.03/110.40	c cleaning 13034 clauses out of 26074 with flag 197583/5019376
112.23/110.61	c cleaning 14017 clauses out of 28040 with flag 228324/5034376
112.62/110.98	c cleaning 14998 clauses out of 30022 with flag 264755/5050375
113.14/111.34	c cleaning 16011 clauses out of 32024 with flag 305625/5067375
113.60/111.69	c cleaning 17004 clauses out of 34013 with flag 349583/5085375
114.16/112.03	c cleaning 17998 clauses out of 36009 with flag 395153/5104375
114.48/112.38	c cleaning 18998 clauses out of 38011 with flag 440932/5124375
114.98/112.84	c cleaning 20004 clauses out of 40013 with flag 491432/5145375
115.47/113.30	c cleaning 20997 clauses out of 42009 with flag 545862/5167375
115.87/113.73	c cleaning 22002 clauses out of 44013 with flag 601678/5190376
116.28/114.19	c cleaning 23002 clauses out of 46011 with flag 659565/5214376
116.78/114.67	c cleaning 24002 clauses out of 48009 with flag 721613/5239376
117.37/115.23	c cleaning 24996 clauses out of 50006 with flag 782826/5265375
117.87/115.76	c cleaning 25998 clauses out of 52010 with flag 845216/5292375
118.47/116.33	c cleaning 27001 clauses out of 54012 with flag 909054/5320375
118.97/116.86	c cleaning 27999 clauses out of 56011 with flag 972608/5349375
119.57/117.41	c cleaning 29003 clauses out of 58013 with flag 1038152/5379376
120.27/118.13	c cleaning 29992 clauses out of 60011 with flag 1108308/5410377
120.96/118.84	c cleaning 31002 clauses out of 62017 with flag 1181424/5442375
121.56/119.40	c cleaning 32007 clauses out of 64016 with flag 1252237/5475376
122.17/120.09	c cleaning 33000 clauses out of 66008 with flag 1327969/5509375
122.96/120.84	c cleaning 33995 clauses out of 68008 with flag 1410280/5544375
123.77/121.69	c cleaning 35001 clauses out of 70013 with flag 1496063/5580375
124.56/122.45	c cleaning 36003 clauses out of 72014 with flag 1584219/5617377
125.65/123.52	c cleaning 37000 clauses out of 74010 with flag 1684598/5655376
126.46/124.33	c cleaning 38000 clauses out of 76012 with flag 1775501/5694378
127.46/125.35	c cleaning 39001 clauses out of 78009 with flag 1868614/5734375
128.45/126.34	c cleaning 39999 clauses out of 80010 with flag 1975623/5775377
129.45/127.37	c cleaning 41005 clauses out of 82009 with flag 2082015/5817375
130.35/128.24	c cleaning 41994 clauses out of 84004 with flag 2184487/5860375
131.35/129.29	c cleaning 42994 clauses out of 86010 with flag 2291872/5904375
132.35/130.29	c cleaning 44004 clauses out of 88016 with flag 2398716/5949375
133.25/131.17	c cleaning 45003 clauses out of 90015 with flag 2504547/5995378
134.55/132.45	c cleaning 46000 clauses out of 92011 with flag 2620090/6042377
135.74/133.64	c cleaning 47003 clauses out of 94009 with flag 2727600/6090375
136.83/134.72	c cleaning 48002 clauses out of 96007 with flag 2840040/6139376
137.84/135.73	c cleaning 49001 clauses out of 98009 with flag 2948989/6189380
139.03/136.91	c cleaning 49994 clauses out of 100005 with flag 3071622/6240377
140.14/138.07	c cleaning 50997 clauses out of 102009 with flag 3195791/6292375
141.23/139.12	c cleaning 52001 clauses out of 104012 with flag 3318103/6345375
142.51/140.31	c cleaning 53000 clauses out of 106014 with flag 3435416/6399378
143.98/141.77	c cleaning 54003 clauses out of 108011 with flag 3564505/6454376
145.64/143.37	c cleaning 55000 clauses out of 110007 with flag 3701217/6510375
147.34/145.04	c cleaning 55991 clauses out of 112007 with flag 3838936/6567375
149.25/146.96	c cleaning 57005 clauses out of 114016 with flag 3982090/6625375
151.04/148.79	c cleaning 58004 clauses out of 116012 with flag 4129450/6684376
152.84/150.51	c cleaning 58994 clauses out of 118007 with flag 4270625/6744375
154.54/152.25	c cleaning 60000 clauses out of 120013 with flag 4421376/6805375
156.13/153.84	c cleaning 60997 clauses out of 122014 with flag 4563451/6867376
157.03/154.70	c Got one! Elapsed wall clock time (in seconds):154.586
157.03/154.70	o 9122
157.34/155.03	c cleaning 53702 clauses out of 107424 with flag 11977/6913783
157.53/155.23	c cleaning 29852 clauses out of 59722 with flag 25939/6919783
157.63/155.39	c cleaning 18429 clauses out of 36870 with flag 42895/6926783
157.83/155.52	c cleaning 13211 clauses out of 26441 with flag 61257/6934783
157.93/155.64	c cleaning 11105 clauses out of 22230 with flag 82849/6943783
158.03/155.79	c cleaning 10553 clauses out of 21125 with flag 107593/6953783
158.23/155.95	c cleaning 10781 clauses out of 21572 with flag 132387/6964783
158.44/156.19	c cleaning 11393 clauses out of 22791 with flag 161480/6976783
158.63/156.32	c Got one! Elapsed wall clock time (in seconds):156.201
158.63/156.32	o 9030
158.73/156.43	c cleaning 13195 clauses out of 26393 with flag 12269/6991778
158.83/156.54	c cleaning 9589 clauses out of 19196 with flag 27786/6997776
158.93/156.64	c cleaning 8290 clauses out of 16608 with flag 44656/7004777
159.03/156.75	c cleaning 8150 clauses out of 16317 with flag 63139/7012776
159.13/156.88	c cleaning 8587 clauses out of 17173 with flag 85095/7021782
159.34/157.01	c cleaning 9288 clauses out of 18581 with flag 109297/7031777
159.44/157.16	c cleaning 10142 clauses out of 20294 with flag 134783/7042778
159.84/157.45	c cleaning 11073 clauses out of 22150 with flag 162279/7054776
160.04/157.64	c cleaning 12034 clauses out of 24078 with flag 191125/7067777
160.24/157.85	c cleaning 13019 clauses out of 26043 with flag 222412/7081776
160.44/158.07	c cleaning 14002 clauses out of 28023 with flag 257138/7096776
160.73/158.34	c cleaning 15009 clauses out of 30021 with flag 294887/7112776
161.03/158.66	c cleaning 16001 clauses out of 32013 with flag 336004/7129777
161.33/158.97	c cleaning 17005 clauses out of 34011 with flag 378102/7147776
161.63/159.29	c cleaning 17999 clauses out of 36006 with flag 421297/7166776
162.03/159.64	c cleaning 18998 clauses out of 38008 with flag 468187/7186777
162.44/160.04	c cleaning 19997 clauses out of 40009 with flag 518395/7207776
162.83/160.47	c cleaning 20996 clauses out of 42012 with flag 569717/7229776
163.23/160.88	c cleaning 22003 clauses out of 44016 with flag 624290/7252776
163.63/161.24	c cleaning 23004 clauses out of 46013 with flag 675985/7276776
164.03/161.62	c cleaning 24004 clauses out of 48010 with flag 733053/7301777
164.43/162.00	c cleaning 25003 clauses out of 50005 with flag 788505/7327776
164.83/162.40	c cleaning 25999 clauses out of 52002 with flag 845577/7354777
165.33/162.97	c cleaning 26996 clauses out of 54003 with flag 913551/7382777
165.82/163.46	c cleaning 28002 clauses out of 56006 with flag 979917/7411776
166.43/164.08	c cleaning 28998 clauses out of 58004 with flag 1051135/7441776
167.02/164.69	c cleaning 29996 clauses out of 60006 with flag 1124631/7472776
167.62/165.28	c cleaning 31004 clauses out of 62010 with flag 1202041/7504776
168.32/165.92	c cleaning 32001 clauses out of 64006 with flag 1284001/7537776
169.08/166.60	c cleaning 32996 clauses out of 66005 with flag 1368810/7571776
169.08/166.70	c Got one! Elapsed wall clock time (in seconds):166.577
169.08/166.70	o 8970
169.28/166.89	c cleaning 22941 clauses out of 45904 with flag 12331/7584671
169.48/167.02	c cleaning 14474 clauses out of 28963 with flag 26911/7590671
169.58/167.13	c cleaning 10739 clauses out of 21489 with flag 45124/7597671
169.67/167.25	c cleaning 9367 clauses out of 18752 with flag 63303/7605673
169.77/167.36	c cleaning 9185 clauses out of 18383 with flag 84327/7614671
169.87/167.49	c cleaning 9596 clauses out of 19198 with flag 106612/7624671
170.07/167.65	c cleaning 10294 clauses out of 20602 with flag 133822/7635671
170.17/167.79	c cleaning 11154 clauses out of 22309 with flag 159954/7647672
170.37/167.96	c cleaning 12076 clauses out of 24154 with flag 188940/7660671
170.58/168.16	c cleaning 13039 clauses out of 26078 with flag 221911/7674671
170.77/168.38	c cleaning 14019 clauses out of 28041 with flag 258364/7689673
171.07/168.63	c cleaning 15007 clauses out of 30020 with flag 295068/7705671
171.37/168.90	c cleaning 16005 clauses out of 32013 with flag 335958/7722671
171.48/169.04	c Got one! Elapsed wall clock time (in seconds):168.921
171.48/169.04	o 8968
171.58/169.16	c cleaning 15970 clauses out of 31946 with flag 12284/7738609
171.67/169.27	c cleaning 10978 clauses out of 21975 with flag 27322/7744608
171.77/169.38	c cleaning 8993 clauses out of 17998 with flag 45273/7751609
171.97/169.51	c cleaning 8494 clauses out of 17005 with flag 64517/7759609
172.07/169.64	c cleaning 8751 clauses out of 17510 with flag 85579/7768608
172.17/169.78	c cleaning 9375 clauses out of 18759 with flag 108572/7778608
172.37/169.96	c cleaning 10180 clauses out of 20384 with flag 133785/7789608
172.57/170.12	c cleaning 11100 clauses out of 22204 with flag 161226/7801608
172.77/170.33	c cleaning 12049 clauses out of 24105 with flag 191845/7814609
172.97/170.54	c cleaning 13028 clauses out of 26055 with flag 223249/7828608
173.17/170.75	c cleaning 14004 clauses out of 28028 with flag 257779/7843609
173.37/170.98	c cleaning 15010 clauses out of 30023 with flag 294930/7859608
173.67/171.24	c cleaning 16000 clauses out of 32013 with flag 333156/7876608
173.87/171.48	c cleaning 17000 clauses out of 34013 with flag 371909/7894608
174.17/171.75	c cleaning 18004 clauses out of 36013 with flag 413440/7913609
174.58/172.10	c cleaning 19000 clauses out of 38008 with flag 460165/7933608
174.78/172.40	c cleaning 20001 clauses out of 40008 with flag 507844/7954608
175.18/172.71	c cleaning 20999 clauses out of 42006 with flag 555832/7976609
175.48/173.05	c cleaning 21999 clauses out of 44004 with flag 604287/7999608
175.77/173.39	c cleaning 22994 clauses out of 46004 with flag 655791/8023608
176.17/173.75	c cleaning 24000 clauses out of 48011 with flag 711454/8048609
176.27/173.80	c Got one! Elapsed wall clock time (in seconds):173.686
176.27/173.80	o 8908
176.27/173.84	c cleaning 14978 clauses out of 29972 with flag 2006/8054570
176.37/173.91	c cleaning 10493 clauses out of 20995 with flag 14011/8060571
176.37/173.99	c cleaning 8740 clauses out of 17501 with flag 29267/8067570
176.48/174.08	c cleaning 8379 clauses out of 16764 with flag 47013/8075573
176.67/174.20	c cleaning 8690 clauses out of 17385 with flag 67044/8084573
176.77/174.31	c cleaning 9342 clauses out of 18693 with flag 92227/8094571
176.87/174.45	c cleaning 10172 clauses out of 20351 with flag 119499/8105571
176.97/174.60	c cleaning 11086 clauses out of 22177 with flag 148844/8117570
177.17/174.78	c cleaning 12041 clauses out of 24091 with flag 180259/8130570
177.37/174.95	c cleaning 13019 clauses out of 26049 with flag 209782/8144570
177.58/175.13	c cleaning 14007 clauses out of 28028 with flag 240615/8159570
177.77/175.31	c cleaning 15008 clauses out of 30021 with flag 273012/8175570
177.87/175.45	c starts		: 4837
177.87/175.45	c conflicts		: 8186038
177.87/175.45	c decisions		: 11008986
177.87/175.45	c propagations		: 140371240
177.87/175.45	c inspects		: 1415281754
177.87/175.45	c shortcuts		: 0
177.87/175.45	c learnt literals	: 26
177.87/175.45	c learnt binary clauses	: 21
177.87/175.45	c learnt ternary clauses	: 37
177.87/175.45	c learnt constraints	: 8186011
177.87/175.45	c ignored constraints	: 0
177.87/175.45	c root simplifications	: 0
177.87/175.45	c removed literals (reason simplification)	: 0
177.87/175.45	c reason swapping (by a shorter reason)	: 0
177.87/175.45	c Calls to reduceDB	: 344
177.87/175.45	c Number of update (reduction) of LBD	: 708303
177.87/175.45	c Imported unit clauses	: 0
177.87/175.45	c No decision after first conflict	: false
177.87/175.45	c number of reductions to clauses (during analyze)	: 0
177.87/175.45	c number of learned constraints concerned by reduction	: 0
177.87/175.45	c number of learning phase by resolution	: 0
177.87/175.45	c number of learning phase by cutting planes	: 0
177.87/175.45	c number of rounding to 1 operations	: 0
177.87/175.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
177.87/175.45	c number of reductions of the coefficients by power 2 	: 0
177.87/175.45	c number of right shift for reduction by power 2 	: 0
177.87/175.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
177.87/175.45	c number of ending skipping 	: 0
177.87/175.45	c number of internal skipping 	: 0
177.87/175.45	c number of derivation steps 	: 0
177.87/175.45	c number of skipped derivation steps 	: 0
177.87/175.45	c number of remaining unassigned 	: 0
177.87/175.45	c number of remaining assigned 	: 0
177.87/175.45	c number of falsified literals weakened from reason	: 0
177.87/175.45	c number of falsified literals weakened from conflict	: 0
177.87/175.45	c time for arithmetic operations	: 0
177.87/175.45	c minimum degree of deleted constraints	: null
177.87/175.45	c maximum degree of deleted constraints	: null
177.87/175.45	c number of deleted constraints	: 0
177.87/175.45	c speed (assignments/second)	: 800771.4994723181
177.87/175.45	c non guided choices	: 16
177.87/175.45	s OPTIMUM FOUND
177.87/175.45	c Found 15 solution(s)
177.87/175.45	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 
177.87/175.46	c objective function=8908
177.87/175.46	c Total wall clock time (in seconds): 175.344

Verifier Data 

OK	8908

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: 63968 MiB (62829 MiB free)
  memory of node 1: 64473 MiB (62731 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432348-1721106641/watcher-4432348-1721106641 -o /tmp/evaluation-result-4432348-1721106641/solver-4432348-1721106641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432348-1721106641.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=842685, runsolver pid=842682
Current StackSize limit: 8192 KiB


[startup+0.100327 s]*
/proc/loadavg: 3.82 4.12 4.16 5/330 842703
/proc/meminfo: memFree=128522548/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=18975048 memory=67672 CPUtime=0.13 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 7202 0 0 0 12 1 0 0 20 0 18 0 162830323 19430449152 16918 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4743762 16918 5765 1 0 549345 0
[pid=842685/tid=842687] ppid=842682 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 162830323 19430449152 16918 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162830326 19430449152 16918 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 162830326 19430449152 16918 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67672 KiB

[startup+0.205961 s]*
/proc/loadavg: 3.82 4.12 4.16 8/331 842704
/proc/meminfo: memFree=128512472/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19041612 memory=72088 CPUtime=0.34 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 7703 0 0 0 32 2 0 0 20 0 19 0 162830323 19498610688 18022 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4760403 18022 5903 1 0 550034 0
[pid=842685/tid=842687] ppid=842682 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6033 0 0 0 17 1 0 0 20 0 19 0 162830323 19498610688 18022 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19041612 memory=16952 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 18022 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 18022 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830339 19498610688 18022 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72088 KiB

[startup+0.305609 s]*
/proc/loadavg: 3.82 4.12 4.16 7/331 842704
/proc/meminfo: memFree=128496972/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19041612 memory=79968 CPUtime=0.53 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 10305 0 0 0 50 3 0 0 20 0 19 0 162830323 19498610688 19992 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4760403 19992 5903 1 0 551556 0
[pid=842685/tid=842687] ppid=842682 vsize=19041612 memory=-9031235035974705852 CPUtime=0.28 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6095 0 0 0 27 1 0 0 20 0 19 0 162830323 19498610688 19992 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 19992 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 19992 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830339 19498610688 19992 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79968 KiB

[startup+0.706968 s]
/proc/loadavg: 3.82 4.12 4.16 7/331 842704
/proc/meminfo: memFree=128480012/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19041612 memory=91176 CPUtime=1.29 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 12625 0 0 0 126 3 0 0 20 0 19 0 162830323 19498610688 22794 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4760403 22794 5919 1 0 553283 0
[pid=842685/tid=842687] ppid=842682 vsize=19041612 memory=41552 CPUtime=0.67 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6168 0 0 0 66 1 0 0 20 0 19 0 162830323 19498610688 22794 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 22794 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 22794 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830339 19498610688 22794 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91176 KiB

[startup+1.50096 s]
/proc/loadavg: 3.82 4.12 4.16 6/331 842704
/proc/meminfo: memFree=128446068/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19041612 memory=108376 CPUtime=2.63 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 15815 0 0 0 259 4 0 0 20 0 19 0 162830323 19498610688 27094 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4760403 27094 5919 1 0 553286 0
[pid=842685/tid=842687] ppid=842682 vsize=19041612 memory=12420 CPUtime=1.46 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6485 0 0 0 144 2 0 0 20 0 19 0 162830323 19498610688 27094 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 27094 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 27094 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830339 19498610688 27094 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 108376 KiB

[startup+3.11496 s]
/proc/loadavg: 3.92 4.13 4.17 5/332 842707
/proc/meminfo: memFree=128333080/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19041612 memory=139316 CPUtime=4.52 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 17352 0 0 0 447 5 0 0 20 0 19 0 162830323 19498610688 34829 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4760403 34829 5928 1 0 553305 0
[pid=842685/tid=842687] ppid=842682 vsize=19041612 memory=0 CPUtime=3.07 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6792 0 0 0 305 2 0 0 20 0 19 0 162830323 19498610688 34829 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19041612 memory=-9031235035974705852 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 34829 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 162830326 19498610688 34829 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162830339 19498610688 34829 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139316 KiB

[startup+6.30026 s]
/proc/loadavg: 3.92 4.13 4.17 5/333 842708
/proc/meminfo: memFree=128254780/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=177620 CPUtime=7.76 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 18333 0 0 0 770 6 0 0 20 0 20 0 162830323 19566772224 44405 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 44405 5928 1 0 553594 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=2248 CPUtime=6.24 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 6818 0 0 0 621 3 0 0 20 0 20 0 162830323 19566772224 44405 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 44405 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 44405 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 44405 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177620 KiB

[startup+12.7003 s]
/proc/loadavg: 3.92 4.13 4.17 5/333 842708
/proc/meminfo: memFree=128078584/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=186040 CPUtime=14.2 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 22307 0 0 0 1413 7 0 0 20 0 20 0 162830323 19566772224 46510 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 46510 5928 1 0 553594 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=12420 CPUtime=12.6 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 7808 0 0 0 1257 3 0 0 20 0 20 0 162830323 19566772224 46510 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=177648 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 46510 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=41552 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 46510 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 46510 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186040 KiB

[startup+25.5003 s]
/proc/loadavg: 3.94 4.12 4.16 5/333 842711
/proc/meminfo: memFree=127869844/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=222616 CPUtime=27.09 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 29870 0 0 0 2699 10 0 0 20 0 20 0 162830323 19566772224 55654 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 55654 5944 1 0 553594 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=6943526294502006880 CPUtime=25.27 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 9393 0 0 0 2524 3 0 0 20 0 20 0 162830323 19566772224 55654 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 55654 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=3509 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 55654 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 55654 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222616 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.17 4.18 5/334 842715
/proc/meminfo: memFree=127264932/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=325316 CPUtime=52.73 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 35728 0 0 0 5261 12 0 0 20 0 20 0 162830323 19566772224 81329 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 81329 5944 1 0 553594 0

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

/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 81329 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 52.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 325316 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.24 4.20 6/334 842723
/proc/meminfo: memFree=126017896/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=817372 CPUtime=103.93 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 41957 0 0 0 10371 22 0 0 20 0 20 0 162830323 19566772224 204343 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 204343 5944 1 0 553594 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=-9031235035974705852 CPUtime=101.49 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 13915 0 0 0 10140 9 0 0 20 0 20 0 162830323 19566772224 204343 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=626900 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 204343 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=612564 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 119 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 204343 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 204343 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 103.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 817372 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.22 4.20 5/334 842735
/proc/meminfo: memFree=124808760/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=1947544 CPUtime=164.73 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56131 0 0 0 16426 47 0 0 20 0 20 0 162830323 19566772224 486886 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 486886 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=1320204 CPUtime=161.08 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17429 0 0 0 16084 24 0 0 20 0 20 0 162830323 19566772224 486886 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=1779180 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 486886 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=1365260 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 486886 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 486886 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 164.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1947544 KiB

[startup+175.478 s]
# the end of solver process 842685 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=177.47 s, system=0.503712 s

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

[startup+166.4 s]
/proc/loadavg: 4.24 4.22 4.19 5/334 842736
/proc/meminfo: memFree=124771604/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006980 CPUtime=168.88 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56228 0 0 0 16839 49 0 0 20 0 20 0 162830323 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501745 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=1783276 CPUtime=165.12 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17431 0 0 0 16488 24 0 0 20 0 20 0 162830323 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=1779172 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 168.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006980 KiB

[startup+169.6 s]
/proc/loadavg: 4.22 4.22 4.19 5/334 842736
/proc/meminfo: memFree=124712004/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006980 CPUtime=172.07 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56305 0 0 0 17158 49 0 0 20 0 20 0 162830323 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501745 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=2006980 CPUtime=168.32 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17505 0 0 0 16808 24 0 0 20 0 20 0 162830323 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=2006980 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=1947544 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=20316 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501745 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 172.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006980 KiB

[startup+172.8 s]
/proc/loadavg: 4.22 4.22 4.19 5/334 842736
/proc/meminfo: memFree=124711728/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006992 CPUtime=175.27 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56757 0 0 0 17478 49 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501748 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=41552 CPUtime=171.51 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17512 0 0 0 17127 24 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=2006988 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 175.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006992 KiB

[startup+174.4 s]
/proc/loadavg: 4.20 4.21 4.19 5/334 842738
/proc/meminfo: memFree=124711536/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006992 CPUtime=176.87 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56758 0 0 0 17638 49 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501748 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=2006992 CPUtime=173.11 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17513 0 0 0 17287 24 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=41552 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=5536 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 176.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006992 KiB

[startup+175.2 s]
/proc/loadavg: 4.20 4.21 4.19 5/334 842738
/proc/meminfo: memFree=124711528/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006992 CPUtime=177.67 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56758 0 0 0 17718 49 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501748 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=41552 CPUtime=173.91 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17513 0 0 0 17367 24 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=12420 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=5468 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 177.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006992 KiB

[startup+175.4 s]
/proc/loadavg: 4.20 4.21 4.19 5/334 842738
/proc/meminfo: memFree=124711528/131524600 swapFree=131071996/131071996
[pid=842685] ppid=842682 vsize=19108176 memory=2006992 CPUtime=177.87 cores=4,6
/proc/842685/stat : 842685 (java) S 842682 842685 842425 0 -1 1077936128 56759 0 0 0 17738 49 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
/proc/842685/statm: 4777044 501748 5959 1 0 556169 0
[pid=842685/tid=842687] ppid=842682 vsize=19108176 memory=104 CPUtime=174.1 cores=4,6
/proc/842685/task/842687/stat : 842687 (java) R 842682 842685 842425 0 -1 4194368 17513 0 0 0 17386 24 0 0 20 0 20 0 162830323 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842696] ppid=842682 vsize=19108176 memory=31024 CPUtime=0 cores=4,6
/proc/842685/task/842696/stat : 842696 (Finalizer) S 842682 842685 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842703] ppid=842682 vsize=19108176 memory=7488 CPUtime=0 cores=4,6
/proc/842685/task/842703/stat : 842703 (Common-Cleaner) S 842682 842685 842425 0 -1 1077936192 154 0 0 0 0 0 0 0 20 0 20 0 162830326 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
[pid=842685/tid=842704] ppid=842682 vsize=19108176 memory=-9031235035974705852 CPUtime=0 cores=4,6
/proc/842685/task/842704/stat : 842704 (Timer-0) S 842682 842685 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162830339 19566772224 501748 134679101440 94329739235328 94329739239024 140728060514784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94329739246840 94329739247632 94329760440320 140728060519431 140728060519521 140728060519521 140728060526536 0
Current children cumulated CPU time: 177.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2006992 KiB

Child status: 30

Real time (s): 175.478
CPU time (s): 177.974
CPU user time (s): 177.47
CPU system time (s): 0.503712
CPU usage (%): 101.423
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2006992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.47
system time used= 0.503712
maximum resident set size= 2008364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6661
involuntary context switches= 419


# summary of solver processes directly reported to runsolver:
#   pid: 842685
#   total CPU time (s): 177.974
#   total CPU user time (s): 177.47
#   total CPU system time (s): 0.503712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.41044 second user time and 0.833102 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 07:10:54
IDJOB=4432348
IDBENCH=148110
IDSOLVER=3058
FILE ID=nodeC026/4432348-1721106641
RUNJOBID= nodeC026-1721106653-842436
SLURM_JOB_ID= 7505637
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432348-1721106641/watcher-4432348-1721106641 -o /tmp/evaluation-result-4432348-1721106641/solver-4432348-1721106641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432348-1721106641.opb

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

MD5SUM BENCH= a74353a91b8173c9f34b6251be571240
RANDOM SEED=1917082098

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3674.764
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3672.446
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3604.737
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3600.031
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3620.230
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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.885
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
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		: 3610.858
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3672.407
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128574912 kB
MemAvailable:   129404388 kB
Buffers:          399156 kB
Cached:          1264712 kB
SwapCached:            0 kB
Active:           691860 kB
Inactive:        1657272 kB
Active(anon):       1548 kB
Inactive(anon):   721428 kB
Active(file):     690312 kB
Inactive(file):   935844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5884 kB
Writeback:             0 kB
AnonPages:        682376 kB
Mapped:           123924 kB
Shmem:             37720 kB
KReclaimable:      86288 kB
Slab:             191748 kB
SReclaimable:      86288 kB
SUnreclaim:       105460 kB
KernelStack:        5040 kB
PageTables:        11432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7270148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC026 at 2024-07-16 07:13:50