Trace number 4498294

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 2025-06-06SAT (TO)11 3600.32 3605.43

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMd1da6339ee7ef8ec01d4c55772fc8100
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark4.03638
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint21
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4498294-1751275470.opb
0.10/0.14	c reading problem ... 
0.10/0.15	c  objective function found
0.29/0.22	c ... done. Wall clock time 0.076s.
0.29/0.22	c declared #vars     100
0.29/0.22	c internal #vars     1360
0.29/0.22	c #constraints  2620
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1260
0.29/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1360
0.29/0.22	c 2620 constraints processed.
0.29/0.23	c objective function length is 100 literals
0.29/0.24	c SATISFIABLE
0.29/0.24	c OPTIMIZING...
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.097
0.29/0.24	o 17
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.103
0.29/0.25	o 16
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.12
0.29/0.27	o 15
0.29/0.30	c Got one! Elapsed wall clock time (in seconds):0.153
0.29/0.30	o 14
0.86/0.54	c Got one! Elapsed wall clock time (in seconds):0.399
0.86/0.54	o 13
1.59/0.96	c cleaning 2781 clauses out of 5561 with flag 8227/5561
2.53/1.71	c cleaning 4389 clauses out of 8778 with flag 24436/11559
3.43/2.60	c cleaning 5695 clauses out of 11389 with flag 42625/18559
4.33/3.56	c cleaning 6848 clauses out of 13695 with flag 63360/26560
5.46/4.67	c cleaning 7925 clauses out of 15850 with flag 86732/35563
6.76/5.91	c cleaning 8951 clauses out of 17924 with flag 113102/45562
8.15/7.30	c cleaning 9970 clauses out of 19970 with flag 143938/56559
9.74/8.80	c cleaning 10995 clauses out of 22002 with flag 176888/68561
11.34/10.49	c cleaning 11996 clauses out of 24005 with flag 212191/81559
13.24/12.31	c cleaning 13006 clauses out of 26011 with flag 250421/95561
15.13/14.24	c cleaning 14002 clauses out of 28004 with flag 291641/110560
17.13/16.31	c cleaning 14996 clauses out of 30002 with flag 336103/126560
19.35/18.48	c cleaning 16000 clauses out of 32005 with flag 382009/143559
21.58/20.63	c cleaning 17003 clauses out of 34006 with flag 430118/161560
23.88/22.98	c cleaning 17999 clauses out of 36004 with flag 483585/180561
26.37/25.40	c cleaning 19000 clauses out of 38004 with flag 540078/200560
28.97/28.02	c cleaning 19995 clauses out of 40004 with flag 599971/221560
31.66/30.75	c cleaning 20996 clauses out of 42008 with flag 662594/243559
34.37/33.46	c cleaning 21996 clauses out of 44012 with flag 726631/266559
37.26/36.36	c cleaning 22997 clauses out of 46016 with flag 797735/290559
40.16/39.26	c cleaning 24004 clauses out of 48021 with flag 870088/315561
43.15/42.24	c cleaning 25003 clauses out of 50015 with flag 942872/341559
46.35/45.40	c cleaning 26007 clauses out of 52015 with flag 1020412/368562
49.54/48.66	c cleaning 26992 clauses out of 54005 with flag 1103465/396559
52.93/52.08	c cleaning 28008 clauses out of 56015 with flag 1189506/425561
56.52/55.61	c cleaning 28996 clauses out of 58005 with flag 1281030/455559
60.13/59.22	c cleaning 30006 clauses out of 60013 with flag 1371218/486563
63.72/62.84	c cleaning 30994 clauses out of 62004 with flag 1466711/518560
67.31/66.48	c cleaning 32004 clauses out of 64011 with flag 1565629/551561
71.60/70.71	c cleaning 32993 clauses out of 66005 with flag 1666636/585559
75.99/75.10	c cleaning 33990 clauses out of 68012 with flag 1764904/620559
80.38/79.58	c cleaning 35006 clauses out of 70024 with flag 1864949/656561
84.97/84.12	c cleaning 36009 clauses out of 72017 with flag 1970550/693560
89.86/89.03	c cleaning 36998 clauses out of 74007 with flag 2079029/731559
94.88/94.01	c cleaning 38004 clauses out of 76010 with flag 2187627/770560
100.66/99.86	c cleaning 38992 clauses out of 78005 with flag 2298344/810559
106.65/105.88	c cleaning 39994 clauses out of 80013 with flag 2413196/851559
112.64/111.89	c cleaning 41006 clauses out of 82021 with flag 2531310/893561
118.83/118.01	c cleaning 42005 clauses out of 84013 with flag 2652213/936559
124.93/124.19	c cleaning 43003 clauses out of 86008 with flag 2773872/980559
131.21/130.40	c cleaning 44003 clauses out of 88008 with flag 2901540/1025562
137.42/136.68	c cleaning 44992 clauses out of 90002 with flag 3035383/1071559
143.71/142.93	c cleaning 46004 clauses out of 92018 with flag 3167364/1118567
150.19/149.44	c cleaning 46991 clauses out of 94006 with flag 3305380/1166559
156.68/155.97	c cleaning 48007 clauses out of 96016 with flag 3445885/1215560
163.07/162.33	c cleaning 48996 clauses out of 98009 with flag 3597108/1265560
169.97/169.26	c cleaning 50005 clauses out of 100012 with flag 3745657/1316559
178.05/177.31	c cleaning 50984 clauses out of 102007 with flag 3898060/1368559
186.03/185.31	c cleaning 52000 clauses out of 104023 with flag 4056218/1421559
193.62/192.90	c cleaning 53007 clauses out of 106029 with flag 4214309/1475565
201.20/200.51	c cleaning 54003 clauses out of 108017 with flag 4376555/1530560
209.23/208.52	c cleaning 55000 clauses out of 110013 with flag 4548961/1586559
217.11/216.40	c cleaning 56003 clauses out of 112013 with flag 4726703/1643559
224.99/224.34	c cleaning 57000 clauses out of 114011 with flag 4910128/1701560
232.57/231.95	c cleaning 57992 clauses out of 116012 with flag 5092429/1760561
241.59/240.92	c cleaning 58996 clauses out of 118018 with flag 5269786/1820559
251.27/250.69	c cleaning 60012 clauses out of 120023 with flag 5454636/1881560
261.25/260.68	c cleaning 61002 clauses out of 122010 with flag 5638904/1943559
271.03/270.48	c cleaning 61998 clauses out of 124008 with flag 5835966/2006559
280.65/280.07	c cleaning 62993 clauses out of 126010 with flag 6038249/2070559
289.52/288.96	c cleaning 64000 clauses out of 128017 with flag 6245255/2135559
299.00/298.41	c cleaning 65006 clauses out of 130017 with flag 6452546/2201559
309.87/309.35	c cleaning 66002 clauses out of 132011 with flag 6649604/2268559
320.88/320.36	c cleaning 67002 clauses out of 134011 with flag 6853044/2336561
331.26/330.79	c cleaning 67996 clauses out of 136007 with flag 7063672/2405559
341.54/341.09	c cleaning 68995 clauses out of 138011 with flag 7285706/2475559
351.92/351.43	c cleaning 70008 clauses out of 140018 with flag 7514863/2546561
362.83/362.34	c cleaning 71000 clauses out of 142008 with flag 7731599/2618559
375.30/374.82	c cleaning 71998 clauses out of 144010 with flag 7937142/2691561
387.87/387.48	c cleaning 72992 clauses out of 146010 with flag 8148527/2765559
400.68/400.25	c cleaning 74003 clauses out of 148018 with flag 8364732/2840559
413.77/413.33	c cleaning 74998 clauses out of 150016 with flag 8592767/2916560
427.23/426.83	c cleaning 76002 clauses out of 152017 with flag 8824764/2993559
439.81/439.48	c cleaning 77004 clauses out of 154015 with flag 9065713/3071559
451.81/451.41	c cleaning 78005 clauses out of 156012 with flag 9313728/3150560
463.00/462.65	c cleaning 78999 clauses out of 158007 with flag 9569095/3230560
477.16/476.85	c cleaning 79994 clauses out of 160007 with flag 9807518/3311559
482.85/482.58	c Got one! Elapsed wall clock time (in seconds):482.426
482.85/482.58	o 12
484.16/483.80	c cleaning 60060 clauses out of 120131 with flag 15187/3351677
485.06/484.70	c cleaning 33026 clauses out of 66072 with flag 33532/3357678
485.86/485.57	c cleaning 20012 clauses out of 40046 with flag 54305/3364678
486.84/486.47	c cleaning 14007 clauses out of 28033 with flag 77833/3372677
487.84/487.43	c cleaning 11507 clauses out of 23026 with flag 104741/3381677
488.94/488.53	c cleaning 10759 clauses out of 21518 with flag 134526/3391676
490.13/489.72	c cleaning 10868 clauses out of 21761 with flag 167085/3402678
491.43/491.01	c cleaning 11444 clauses out of 22892 with flag 201986/3414677
492.73/492.35	c cleaning 12220 clauses out of 24449 with flag 240684/3427678
494.32/493.93	c cleaning 13114 clauses out of 26227 with flag 282233/3441676
495.92/495.58	c cleaning 14051 clauses out of 28113 with flag 324901/3456676
497.82/497.41	c cleaning 15029 clauses out of 30063 with flag 371502/3472677
499.71/499.37	c cleaning 16013 clauses out of 32034 with flag 420096/3489677
501.81/501.40	c cleaning 17008 clauses out of 34025 with flag 471058/3507681
504.00/503.63	c cleaning 17995 clauses out of 36013 with flag 524854/3526677
506.30/505.93	c cleaning 19011 clauses out of 38022 with flag 579926/3546681
508.79/508.45	c cleaning 19991 clauses out of 40006 with flag 637366/3567676
511.28/510.98	c cleaning 20993 clauses out of 42015 with flag 697984/3589676
514.08/513.70	c cleaning 22006 clauses out of 44023 with flag 762989/3612677
516.77/516.46	c cleaning 22999 clauses out of 46016 with flag 832442/3636676
519.77/519.40	c cleaning 24006 clauses out of 48020 with flag 904121/3661679
522.76/522.48	c cleaning 25000 clauses out of 50011 with flag 977060/3687676
526.05/525.72	c cleaning 25989 clauses out of 52011 with flag 1052717/3714676
529.35/529.03	c cleaning 27012 clauses out of 54024 with flag 1131395/3742678
532.73/532.40	c cleaning 28004 clauses out of 56010 with flag 1213706/3771676
536.25/535.97	c cleaning 29003 clauses out of 58009 with flag 1300784/3801679
539.74/539.47	c cleaning 29993 clauses out of 60003 with flag 1388133/3832676
543.44/543.12	c cleaning 31004 clauses out of 62011 with flag 1480233/3864677
547.22/546.90	c cleaning 31999 clauses out of 64008 with flag 1577484/3897678
551.32/551.01	c cleaning 32995 clauses out of 66007 with flag 1675428/3931676
555.60/555.35	c cleaning 34004 clauses out of 68014 with flag 1776497/3966678
559.99/559.71	c cleaning 34999 clauses out of 70009 with flag 1880390/4002677
564.39/564.17	c cleaning 36005 clauses out of 72012 with flag 1988397/4039679
569.07/568.80	c cleaning 37002 clauses out of 74004 with flag 2097481/4077676
573.76/573.58	c cleaning 37989 clauses out of 76002 with flag 2216488/4116676
578.65/578.45	c cleaning 38995 clauses out of 78013 with flag 2334992/4156676
583.54/583.39	c cleaning 40001 clauses out of 80022 with flag 2458045/4197680
588.42/588.24	c cleaning 41010 clauses out of 82019 with flag 2578173/4239678
594.22/594.07	c cleaning 42003 clauses out of 84007 with flag 2704669/4282676
599.79/599.60	c cleaning 42996 clauses out of 86004 with flag 2835680/4326676
605.68/605.55	c cleaning 43998 clauses out of 88008 with flag 2965147/4371676
611.86/611.79	c cleaning 45001 clauses out of 90013 with flag 3097824/4417679
618.26/618.11	c cleaning 46000 clauses out of 92011 with flag 3235686/4464678
625.03/624.91	c cleaning 47005 clauses out of 94010 with flag 3374914/4512677
631.61/631.58	c cleaning 47992 clauses out of 96004 with flag 3521431/4561676
638.80/638.75	c cleaning 48996 clauses out of 98017 with flag 3669441/4611681
646.18/646.15	c cleaning 50005 clauses out of 100016 with flag 3816427/4662676
653.46/653.42	c cleaning 51004 clauses out of 102015 with flag 3970079/4714680
660.74/660.75	c cleaning 52001 clauses out of 104009 with flag 4126702/4767678
668.02/668.05	c cleaning 52989 clauses out of 106007 with flag 4281564/4821677
675.40/675.46	c cleaning 54006 clauses out of 108018 with flag 4441383/4876677
683.77/683.87	c cleaning 55001 clauses out of 110014 with flag 4605666/4932679
692.06/692.19	c cleaning 55995 clauses out of 112012 with flag 4781327/4989678
700.63/700.75	c cleaning 57007 clauses out of 114017 with flag 4951884/5047678
708.92/709.09	c cleaning 57991 clauses out of 116009 with flag 5133250/5106677
717.29/717.49	c cleaning 59004 clauses out of 118017 with flag 5318046/5166676
725.77/726.00	c cleaning 60000 clauses out of 120014 with flag 5501831/5227677
734.73/734.88	c cleaning 60994 clauses out of 122016 with flag 5685781/5289679
743.91/744.08	c cleaning 62002 clauses out of 124019 with flag 5865793/5352676
754.08/754.25	c cleaning 63005 clauses out of 126022 with flag 6046848/5416681
763.55/763.75	c cleaning 63998 clauses out of 128012 with flag 6233845/5481676
773.23/773.49	c cleaning 65002 clauses out of 130014 with flag 6431295/5547676
783.30/783.57	c cleaning 66000 clauses out of 132012 with flag 6625726/5614676
793.97/794.23	c cleaning 66995 clauses out of 134012 with flag 6827618/5682676
804.24/804.52	c cleaning 68004 clauses out of 136019 with flag 7033060/5751678
814.42/814.70	c cleaning 69004 clauses out of 138013 with flag 7248480/5821676
825.79/826.12	c cleaning 69996 clauses out of 140009 with flag 7456515/5892676
836.57/836.99	c cleaning 71003 clauses out of 142015 with flag 7667264/5964678
847.72/848.05	c cleaning 72002 clauses out of 144014 with flag 7885181/6037680
858.30/858.64	c cleaning 73003 clauses out of 146011 with flag 8104509/6111679
868.57/868.93	c cleaning 73996 clauses out of 148005 with flag 8323797/6186676
879.65/880.07	c cleaning 74990 clauses out of 150009 with flag 8552659/6262676
892.42/892.86	c cleaning 76005 clauses out of 152019 with flag 8782967/6339676
905.70/906.15	c cleaning 77004 clauses out of 154014 with flag 9013284/6417676
918.97/919.46	c cleaning 78002 clauses out of 156011 with flag 9253348/6496677
931.54/932.08	c cleaning 79002 clauses out of 158012 with flag 9504598/6576680
944.11/944.69	c cleaning 80000 clauses out of 160007 with flag 9758058/6657677
958.14/958.63	c cleaning 80997 clauses out of 162008 with flag 10010429/6739678
971.51/972.10	c cleaning 81999 clauses out of 164009 with flag 10251836/6822676
984.88/985.49	c cleaning 82998 clauses out of 166012 with flag 10496431/6906678
998.15/998.77	c cleaning 84005 clauses out of 168014 with flag 10751181/6991678
1012.22/1012.81	c cleaning 85002 clauses out of 170011 with flag 11006552/7077680
1026.79/1027.45	c cleaning 85996 clauses out of 172007 with flag 11266946/7164678
1041.16/1041.88	c cleaning 86992 clauses out of 174009 with flag 11524166/7252676
1055.83/1056.50	c cleaning 88003 clauses out of 176017 with flag 11786261/7341676
1071.20/1071.99	c cleaning 89001 clauses out of 178016 with flag 12069285/7431678
1085.94/1086.64	c cleaning 89997 clauses out of 180014 with flag 12351553/7522677
1101.31/1102.03	c cleaning 91001 clauses out of 182016 with flag 12638979/7614676
1117.27/1118.02	c cleaning 92009 clauses out of 184019 with flag 12931273/7707680
1133.63/1134.41	c cleaning 93000 clauses out of 186008 with flag 13230722/7801678
1148.80/1149.60	c cleaning 93999 clauses out of 188006 with flag 13524795/7896676
1164.27/1165.15	c cleaning 95001 clauses out of 190007 with flag 13833492/7992676
1180.83/1181.71	c cleaning 95991 clauses out of 192006 with flag 14152457/8089676
1197.29/1198.24	c cleaning 97004 clauses out of 194020 with flag 14475477/8187681
1214.66/1215.64	c cleaning 98006 clauses out of 196015 with flag 14811463/8286680
1230.72/1231.77	c cleaning 98999 clauses out of 198006 with flag 15153949/8386677
1246.77/1247.77	c cleaning 99997 clauses out of 200006 with flag 15498448/8487676
1262.93/1263.93	c cleaning 100994 clauses out of 202010 with flag 15853195/8589677
1279.01/1280.06	c cleaning 102002 clauses out of 204015 with flag 16205617/8692676
1295.97/1297.08	c cleaning 102996 clauses out of 206013 with flag 16560866/8796676
1313.43/1314.54	c cleaning 104005 clauses out of 208020 with flag 16919574/8901679
1330.79/1331.97	c cleaning 105004 clauses out of 210014 with flag 17296382/9007678
1347.85/1349.01	c cleaning 106002 clauses out of 212011 with flag 17677936/9114679
1365.02/1366.28	c cleaning 106992 clauses out of 214006 with flag 18046045/9222676
1382.16/1383.31	c cleaning 108003 clauses out of 216016 with flag 18422715/9331678
1404.22/1405.47	c cleaning 108991 clauses out of 218011 with flag 18750700/9441676
1425.17/1426.46	c cleaning 109996 clauses out of 220020 with flag 19081976/9552676
1449.02/1450.40	c cleaning 111010 clauses out of 222028 with flag 19428430/9664680
1470.57/1471.91	c cleaning 112005 clauses out of 224016 with flag 19786237/9777678
1493.73/1495.14	c cleaning 113001 clauses out of 226009 with flag 20133455/9891676
1517.27/1518.73	c cleaning 113993 clauses out of 228008 with flag 20494144/10006676
1540.22/1541.71	c cleaning 115002 clauses out of 230018 with flag 20855645/10122679
1561.58/1563.15	c cleaning 116005 clauses out of 232013 with flag 21227762/10239676
1583.74/1585.32	c cleaning 116992 clauses out of 234008 with flag 21601329/10357676
1609.74/1610.96	c cleaning 117998 clauses out of 236018 with flag 21962728/10476678
1634.48/1635.78	c cleaning 118999 clauses out of 238020 with flag 22328754/10596678
1657.53/1658.84	c cleaning 120002 clauses out of 240020 with flag 22712498/10717677
1679.27/1680.63	c cleaning 120985 clauses out of 242018 with flag 23096147/10839677
1703.61/1705.02	c cleaning 122012 clauses out of 244032 with flag 23467844/10962676
1728.94/1730.49	c cleaning 123006 clauses out of 246023 with flag 23838509/11086679
1756.17/1757.71	c cleaning 124002 clauses out of 248014 with flag 24210299/11211676
1780.28/1781.85	c cleaning 125002 clauses out of 250014 with flag 24576527/11337678
1802.73/1804.37	c cleaning 126001 clauses out of 252011 with flag 24949359/11464677
1828.56/1830.25	c cleaning 126998 clauses out of 254009 with flag 25325870/11592676
1856.48/1858.28	c cleaning 127990 clauses out of 256011 with flag 25702680/11721676
1884.91/1886.74	c cleaning 129011 clauses out of 258021 with flag 26088247/11851676
1910.95/1912.89	c cleaning 129992 clauses out of 260010 with flag 26476010/11982676
1939.57/1941.53	c cleaning 131000 clauses out of 262018 with flag 26868610/12114676
1966.20/1968.28	c cleaning 131996 clauses out of 264019 with flag 27248856/12247677
1991.04/1993.19	c cleaning 133001 clauses out of 266024 with flag 27638243/12381678
2012.37/2014.48	c Got one! Elapsed wall clock time (in seconds):2014.33
2012.37/2014.48	o 11
2014.67/2016.76	c cleaning 123792 clauses out of 247593 with flag 15698/12496248
2016.07/2018.12	c cleaning 64889 clauses out of 129802 with flag 33546/12502249
2017.16/2019.23	c cleaning 35953 clauses out of 71912 with flag 54550/12509248
2018.06/2020.13	c cleaning 21980 clauses out of 43959 with flag 78415/12517248
2018.96/2021.05	c cleaning 15479 clauses out of 30979 with flag 105615/12526248
2019.96/2022.04	c cleaning 12741 clauses out of 25500 with flag 136356/12536248
2021.06/2023.13	c cleaning 11868 clauses out of 23760 with flag 169905/12547249
2022.15/2024.28	c cleaning 11940 clauses out of 23893 with flag 205305/12559250
2023.45/2025.50	c cleaning 12476 clauses out of 24951 with flag 244051/12572248
2024.84/2026.96	c cleaning 13219 clauses out of 26476 with flag 286892/12586249
2026.34/2028.46	c cleaning 14124 clauses out of 28256 with flag 331727/12601248
2028.04/2030.10	c cleaning 15058 clauses out of 30132 with flag 380760/12617248
2029.74/2031.86	c cleaning 16036 clauses out of 32074 with flag 431351/12634248
2031.54/2033.69	c cleaning 16997 clauses out of 34038 with flag 486043/12652248
2033.53/2035.65	c cleaning 18009 clauses out of 36041 with flag 544860/12671248
2035.53/2037.68	c cleaning 19005 clauses out of 38033 with flag 607397/12691249
2037.72/2039.84	c cleaning 20010 clauses out of 40031 with flag 671655/12712252
2040.02/2042.17	c cleaning 21009 clauses out of 42017 with flag 739592/12734248
2042.41/2044.54	c cleaning 21998 clauses out of 44008 with flag 813551/12757248
2044.91/2047.08	c cleaning 22995 clauses out of 46010 with flag 886119/12781248
2047.60/2049.73	c cleaning 23998 clauses out of 48016 with flag 962701/12806249
2050.29/2052.44	c cleaning 24992 clauses out of 50018 with flag 1040695/12832249
2053.08/2055.28	c cleaning 26006 clauses out of 52027 with flag 1124257/12859250
2056.08/2058.21	c cleaning 27005 clauses out of 54019 with flag 1209367/12887248
2058.97/2061.18	c cleaning 28000 clauses out of 56015 with flag 1299718/12916249
2062.17/2064.30	c cleaning 28997 clauses out of 58014 with flag 1391887/12946248
2065.76/2067.93	c cleaning 29999 clauses out of 60017 with flag 1485777/12977248
2069.46/2071.60	c cleaning 31011 clauses out of 62025 with flag 1583437/13009255
2073.05/2075.26	c cleaning 32003 clauses out of 64013 with flag 1680714/13042254
2077.24/2079.44	c cleaning 32988 clauses out of 66005 with flag 1783419/13076249
2081.33/2083.50	c cleaning 33987 clauses out of 68016 with flag 1888372/13111248
2085.72/2087.91	c cleaning 34999 clauses out of 70030 with flag 1992457/13147249
2090.21/2092.47	c cleaning 36013 clauses out of 72030 with flag 2100501/13184248
2094.90/2097.15	c cleaning 36992 clauses out of 74017 with flag 2214277/13222248
2099.68/2101.92	c cleaning 38012 clauses out of 76025 with flag 2331833/13261248
2104.57/2106.86	c cleaning 38999 clauses out of 78013 with flag 2451149/13301248
2109.46/2111.72	c cleaning 39997 clauses out of 80015 with flag 2570468/13342249
2114.86/2117.10	c cleaning 41002 clauses out of 82017 with flag 2696155/13384248
2120.35/2122.60	c cleaning 42002 clauses out of 84015 with flag 2827603/13427248
2125.94/2128.29	c cleaning 43001 clauses out of 86013 with flag 2965380/13471248
2131.52/2133.89	c cleaning 44003 clauses out of 88012 with flag 3104282/13516248
2137.61/2139.90	c cleaning 44996 clauses out of 90009 with flag 3251255/13562248
2143.83/2146.14	c cleaning 46007 clauses out of 92019 with flag 3400724/13609254
2149.81/2152.18	c cleaning 46997 clauses out of 94007 with flag 3551935/13657249
2155.90/2158.21	c cleaning 48002 clauses out of 96009 with flag 3706594/13706248
2161.58/2163.99	c cleaning 49001 clauses out of 98010 with flag 3869462/13756251
2167.97/2170.35	c cleaning 49997 clauses out of 100006 with flag 4028479/13807248
2174.95/2177.35	c cleaning 50996 clauses out of 102009 with flag 4194452/13859248
2181.74/2184.16	c cleaning 52003 clauses out of 104013 with flag 4358368/13912248
2189.02/2191.48	c cleaning 52999 clauses out of 106011 with flag 4528273/13966249
2196.50/2198.98	c cleaning 54007 clauses out of 108013 with flag 4703239/14021250
2204.27/2206.71	c cleaning 54983 clauses out of 110004 with flag 4888984/14077248
2212.05/2214.53	c cleaning 56004 clauses out of 112022 with flag 5080509/14134249
2219.55/2222.10	c cleaning 57003 clauses out of 114019 with flag 5270413/14192250
2227.32/2229.83	c cleaning 58001 clauses out of 116014 with flag 5458870/14251248
2235.40/2237.90	c cleaning 59005 clauses out of 118015 with flag 5652360/14311250
2243.78/2246.35	c cleaning 59991 clauses out of 120011 with flag 5849712/14372251
2252.95/2255.51	c cleaning 61001 clauses out of 122017 with flag 6045859/14434248
2262.43/2265.02	c cleaning 61998 clauses out of 124016 with flag 6237734/14497248
2271.70/2274.38	c cleaning 63004 clauses out of 126019 with flag 6443323/14561249
2281.58/2284.27	c cleaning 64008 clauses out of 128018 with flag 6651851/14626252
2291.25/2293.97	c cleaning 64983 clauses out of 130007 with flag 6854608/14692249
2301.33/2304.07	c cleaning 65995 clauses out of 132026 with flag 7061669/14759251
2311.59/2314.30	c cleaning 67008 clauses out of 134029 with flag 7263998/14827249
2321.57/2324.40	c cleaning 68003 clauses out of 136023 with flag 7475906/14896251
2331.85/2334.65	c cleaning 69008 clauses out of 138023 with flag 7692228/14966254
2342.33/2345.14	c cleaning 70000 clauses out of 140009 with flag 7909872/15037248
2352.53/2355.32	c cleaning 70994 clauses out of 142009 with flag 8124521/15109248
2364.10/2366.99	c cleaning 72000 clauses out of 144016 with flag 8342122/15182249
2376.17/2379.00	c cleaning 72992 clauses out of 146017 with flag 8568345/15256250
2387.94/2390.81	c cleaning 74007 clauses out of 148023 with flag 8796482/15331248
2400.30/2403.25	c cleaning 74995 clauses out of 150017 with flag 9027047/15407249
2412.57/2415.55	c cleaning 76005 clauses out of 152022 with flag 9264647/15484249
2425.14/2428.18	c cleaning 77000 clauses out of 154017 with flag 9500129/15562249
2437.60/2440.68	c cleaning 78004 clauses out of 156016 with flag 9738761/15641248
2450.98/2454.06	c cleaning 78999 clauses out of 158014 with flag 9987217/15721250
2464.74/2467.80	c cleaning 80004 clauses out of 160016 with flag 10235247/15802251
2478.10/2481.28	c cleaning 80994 clauses out of 162009 with flag 10487486/15884248
2491.86/2495.04	c cleaning 82000 clauses out of 164018 with flag 10746485/15967251
2504.34/2507.57	c cleaning 83005 clauses out of 166017 with flag 11002580/16051250
2518.39/2521.60	c cleaning 83996 clauses out of 168010 with flag 11267725/16136248
2531.56/2534.86	c cleaning 85009 clauses out of 170017 with flag 11534755/16222251
2544.92/2548.20	c cleaning 85998 clauses out of 172005 with flag 11807502/16309248
2559.59/2562.95	c cleaning 87002 clauses out of 174009 with flag 12092755/16397250
2574.25/2577.62	c cleaning 87998 clauses out of 176005 with flag 12386419/16486248
2587.91/2591.30	c cleaning 89002 clauses out of 178008 with flag 12677965/16576249
2602.67/2606.13	c cleaning 89995 clauses out of 180006 with flag 12980295/16667249
2616.61/2620.06	c cleaning 90984 clauses out of 182010 with flag 13265556/16759248
2631.77/2635.27	c cleaning 92002 clauses out of 184026 with flag 13577006/16852248
2646.65/2650.11	c cleaning 93008 clauses out of 186026 with flag 13890717/16946250
2661.41/2664.93	c cleaning 94005 clauses out of 188018 with flag 14219868/17041250
2676.18/2679.70	c cleaning 95006 clauses out of 190013 with flag 14535947/17137250
2691.84/2695.49	c cleaning 95995 clauses out of 192005 with flag 14859329/17234248
2709.40/2713.07	c cleaning 97001 clauses out of 194011 with flag 15173443/17332249
2726.66/2730.38	c cleaning 97995 clauses out of 196009 with flag 15494330/17431248
2744.53/2748.29	c cleaning 98993 clauses out of 198014 with flag 15811313/17531248
2762.19/2765.92	c cleaning 100007 clauses out of 200023 with flag 16117927/17632250
2779.85/2783.66	c cleaning 100997 clauses out of 202014 with flag 16435610/17734248
2796.71/2800.52	c cleaning 101997 clauses out of 204017 with flag 16764013/17837248
2815.28/2819.12	c cleaning 102996 clauses out of 206021 with flag 17101938/17941249
2833.63/2837.59	c cleaning 104001 clauses out of 208024 with flag 17438897/18046248
2852.99/2856.92	c cleaning 105008 clauses out of 210023 with flag 17784290/18152248
2872.45/2876.47	c cleaning 106003 clauses out of 212015 with flag 18128224/18259248
2890.12/2894.13	c cleaning 106991 clauses out of 214012 with flag 18464641/18367248
2908.67/2912.70	c cleaning 108011 clauses out of 216025 with flag 18808007/18476252
2927.72/2931.84	c cleaning 109000 clauses out of 218010 with flag 19155546/18586248
2947.98/2952.13	c cleaning 110001 clauses out of 220012 with flag 19503826/18697250
2966.44/2970.62	c cleaning 110995 clauses out of 222009 with flag 19842825/18809248
2986.60/2990.80	c cleaning 112000 clauses out of 224014 with flag 20188419/18922248
3008.65/3012.91	c cleaning 112992 clauses out of 226014 with flag 20547954/19036248
3028.91/3033.22	c cleaning 114002 clauses out of 228022 with flag 20949662/19151248
3047.68/3052.05	c cleaning 115012 clauses out of 230023 with flag 21330511/19267251
3066.43/3070.82	c cleaning 116002 clauses out of 232010 with flag 21737234/19384250
3084.99/3089.43	c cleaning 117003 clauses out of 234008 with flag 22137853/19502250
3103.55/3108.08	c cleaning 118003 clauses out of 236011 with flag 22546035/19621256
3127.20/3131.71	c cleaning 118993 clauses out of 238000 with flag 22905039/19741248
3149.56/3154.10	c cleaning 119997 clauses out of 240009 with flag 23256933/19862250
3173.30/3177.93	c cleaning 121002 clauses out of 242010 with flag 23610233/19984248
3198.65/3203.38	c cleaning 121995 clauses out of 244009 with flag 23972775/20107249
3223.69/3228.45	c cleaning 122996 clauses out of 246013 with flag 24345758/20231248
3247.16/3251.85	c cleaning 124012 clauses out of 248023 with flag 24714705/20356254
3273.42/3278.13	c cleaning 124995 clauses out of 250005 with flag 25082320/20482248
3299.55/3304.38	c cleaning 125992 clauses out of 252010 with flag 25459578/20609248
3323.32/3328.13	c cleaning 127007 clauses out of 254024 with flag 25844372/20737254
3349.16/3354.04	c cleaning 127984 clauses out of 256011 with flag 26223225/20866248
3376.20/3381.16	c cleaning 129012 clauses out of 258028 with flag 26604440/20996249
3403.94/3408.91	c cleaning 130002 clauses out of 260015 with flag 26984677/21127248
3429.99/3435.09	c cleaning 131006 clauses out of 262013 with flag 27370841/21259248
3457.93/3463.08	c cleaning 132005 clauses out of 264009 with flag 27763995/21392250
3487.46/3492.60	c cleaning 132994 clauses out of 266002 with flag 28158545/21526248
3514.50/3519.79	c cleaning 133994 clauses out of 268010 with flag 28576575/21661250
3540.55/3545.80	c cleaning 134993 clauses out of 270014 with flag 28999737/21797248
3569.39/3574.71	c cleaning 135996 clauses out of 272021 with flag 29429245/21934248
3598.57/3603.87	c cleaning 137009 clauses out of 274029 with flag 29861155/22072252
3600.07/3605.31	c starts		: 4669
3600.07/3605.32	c conflicts		: 22081633
3600.07/3605.32	c decisions		: 45586764
3600.07/3605.32	c propagations		: 3229058356
3600.07/3605.32	c inspects		: 42859326455
3600.07/3605.32	c shortcuts		: 0
3600.07/3605.32	c learnt literals	: 0
3600.07/3605.33	c learnt binary clauses	: 0
3600.07/3605.33	c learnt ternary clauses	: 58
3600.07/3605.33	c learnt constraints	: 22081633
3600.07/3605.34	c ignored constraints	: 0
3600.07/3605.34	c root simplifications	: 0
3600.07/3605.34	c removed literals (reason simplification)	: 1521716
3600.07/3605.34	c reason swapping (by a shorter reason)	: 0
3600.07/3605.34	c Calls to reduceDB	: 341
3600.07/3605.34	c Number of update (reduction) of LBD	: 5937078
3600.07/3605.34	c Imported unit clauses	: 0
3600.07/3605.34	c No decision after first conflict	: false
3600.07/3605.34	c number of reductions to clauses (during analyze)	: 0
3600.07/3605.34	c number of learned constraints concerned by reduction	: 0
3600.07/3605.34	c number of learning phase by resolution	: 0
3600.07/3605.34	c number of learning phase by cutting planes	: 0
3600.07/3605.34	c number of rounding to 1 operations	: 0
3600.07/3605.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3605.34	c number of reductions of the coefficients by power 2 	: 0
3600.07/3605.34	c number of right shift for reduction by power 2 	: 0
3600.07/3605.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3605.34	c number of ending skipping 	: 0
3600.07/3605.34	c number of internal skipping 	: 0
3600.07/3605.34	c number of derivation steps 	: 0
3600.07/3605.34	c number of skipped derivation steps 	: 0
3600.07/3605.34	c number of remaining unassigned 	: 0
3600.07/3605.34	c number of remaining assigned 	: 0
3600.07/3605.34	c number of falsified literals weakened from reason	: 0
3600.07/3605.34	c number of falsified literals weakened from conflict	: 0
3600.07/3605.34	c time for arithmetic operations	: 0
3600.07/3605.35	c minimum degree of deleted constraints	: null
3600.07/3605.35	c maximum degree of deleted constraints	: null
3600.07/3605.35	c number of deleted constraints	: 0
3600.07/3605.35	c speed (assignments/second)	: 895689.2732815364
3600.07/3605.35	c non guided choices	: 0
3600.28/3605.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 146401
3600.28/3605.41	s SATISFIABLE
3600.28/3605.41	c Found 7 solution(s)
3600.28/3605.41	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 
3600.28/3605.41	c objective function=11
3600.28/3605.41	c Total wall clock time (in seconds): 3605.27

Verifier Data 

OK	11

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44482, runsolver pid=44467
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 2.71 3.05 3.15 11/333 44551
/proc/meminfo: memFree=128960924/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18930384 memory=54700 CPUtime=0.1 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 6247 0 199 0 8 2 0 0 20 0 18 0 43224567 19384713216 13675 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4732596 13675 5296 1 0 547533 0
[pid=44482/tid=44497] ppid=44467 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) S 44467 44482 43192 0 -1 4194368 4829 0 199 0 5 1 0 0 20 0 18 0 43224569 19384713216 13675 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224571 19384713216 13675 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18930384 memory=60684515953973 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43224572 19384713216 13675 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54700 KiB

[startup+0.205438 s]*
/proc/loadavg: 2.71 3.05 3.15 11/314 44554
/proc/meminfo: memFree=128962872/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18930384 memory=62972 CPUtime=0.29 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 6653 0 199 0 26 3 0 0 20 0 18 0 43224567 19384713216 15743 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4732596 15743 5424 1 0 547878 0
[pid=44482/tid=44497] ppid=44467 vsize=18930384 memory=4026663031 CPUtime=0.15 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 5129 0 199 0 14 1 0 0 20 0 18 0 43224569 19384713216 15743 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18930384 memory=224227768548 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43224571 19384713216 15743 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18930384 memory=32823 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 43224572 19384713216 15743 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62972 KiB

[startup+0.305848 s]*
/proc/loadavg: 2.71 3.05 3.15 9/316 44556
/proc/meminfo: memFree=128920148/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=69820 CPUtime=0.48 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 8011 0 199 0 45 3 0 0 20 0 19 0 43224567 19452874752 17455 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 17455 5456 1 0 548729 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=-6000919476984768619 CPUtime=0.24 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 5258 0 199 0 22 2 0 0 20 0 19 0 43224569 19452874752 17455 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 17455 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 17455 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 17455 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69820 KiB

[startup+0.700188 s]
/proc/loadavg: 2.71 3.05 3.15 8/316 44568
/proc/meminfo: memFree=128898176/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=83216 CPUtime=1.24 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 13343 0 199 0 120 4 0 0 20 0 19 0 43224567 19452874752 20804 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 20804 5456 1 0 551591 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=17664 CPUtime=0.6 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 5274 0 199 0 58 2 0 0 20 0 19 0 43224569 19452874752 20804 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 20804 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 20804 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 20804 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83216 KiB

[startup+1.50018 s]
/proc/loadavg: 3.13 3.14 3.17 8/316 44568
/proc/meminfo: memFree=128869824/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=88036 CPUtime=2.33 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 15379 0 199 0 228 5 0 0 20 0 19 0 43224567 19452874752 22009 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 22009 5456 1 0 551703 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=0 CPUtime=1.39 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 5401 0 199 0 137 2 0 0 20 0 19 0 43224569 19452874752 22009 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 22009 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 22009 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 22009 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88036 KiB

[startup+3.10527 s]
/proc/loadavg: 3.13 3.14 3.17 6/338 44627
/proc/meminfo: memFree=128805644/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=90096 CPUtime=3.94 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 16089 0 199 0 389 5 0 0 20 0 19 0 43224567 19452874752 22524 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 22524 5456 1 0 551710 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=10624 CPUtime=2.98 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 5841 0 199 0 296 2 0 0 20 0 19 0 43224569 19452874752 22524 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=-6000919476984768619 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 22524 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 22524 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 22524 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90096 KiB

[startup+6.30016 s]
/proc/loadavg: 3.20 3.15 3.18 6/338 44627
/proc/meminfo: memFree=128785504/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=94596 CPUtime=7.15 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 19079 0 199 0 710 5 0 0 20 0 19 0 43224567 19452874752 23649 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 23649 5456 1 0 551711 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=0 CPUtime=6.15 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 6472 0 199 0 613 2 0 0 20 0 19 0 43224569 19452874752 23649 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 23649 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 23649 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=88036 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 23649 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94596 KiB

[startup+12.7001 s]
/proc/loadavg: 3.27 3.16 3.18 6/338 44627
/proc/meminfo: memFree=128755840/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=110456 CPUtime=13.64 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 22322 0 199 0 1358 6 0 0 20 0 19 0 43224567 19452874752 27614 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 27614 5456 1 0 551711 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=88036 CPUtime=12.53 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 7080 0 199 0 1251 2 0 0 20 0 19 0 43224569 19452874752 27614 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 27614 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 27614 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=-6000919476984768619 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 27614 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 13.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110456 KiB

[startup+25.5002 s]
/proc/loadavg: 3.38 3.19 3.19 6/338 44627
/proc/meminfo: memFree=128675260/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=18996948 memory=143352 CPUtime=26.47 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 23897 0 199 0 2640 7 0 0 20 0 19 0 43224567 19452874752 35838 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4749237 35838 5488 1 0 551711 0
[pid=44482/tid=44497] ppid=44467 vsize=18996948 memory=-6000919476984768619 CPUtime=25.3 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 7963 0 199 0 2527 3 0 0 20 0 19 0 43224569 19452874752 35838 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=18996948 memory=122744 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224571 19452874752 35838 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=18996948 memory=-6000919476984768619 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 43224572 19452874752 35838 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=18996948 memory=14432 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43224591 19452874752 35838 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 26.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143352 KiB

[startup+51.1054 s]
/proc/loadavg: 3.70 3.29 3.22 6/339 44628
/proc/meminfo: memFree=128546900/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=176760 CPUtime=52.04 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 25294 0 199 0 5196 8 0 0 20 0 20 0 43224567 19521036288 44190 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 44190 5552 1 0 552016 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=176760 CPUtime=50.83 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 8056 0 199 0 5079 4 0 0 20 0 20 0 43224569 19521036288 44190 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=176760 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.08 6/340 44809
/proc/meminfo: memFree=121689104/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3277.61 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 66438 0 199 0 327658 103 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=4252 CPUtime=3272.11 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 27983 0 199 0 327189 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=2155340 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 985 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3277.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.08 6/339 44811
/proc/meminfo: memFree=121688644/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3337.48 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 67179 0 199 0 333644 104 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3331.97 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 28591 0 199 0 333175 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3337.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.16 4.10 6/340 44814
/proc/meminfo: memFree=121676824/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3397.35 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 67651 0 199 0 339630 105 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3391.82 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 28886 0 199 0 339160 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1139 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3397.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 6/340 44816
/proc/meminfo: memFree=121587452/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3457.22 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 67849 0 199 0 345616 106 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=-6000919476984768619 CPUtime=3451.68 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 29034 0 199 0 345146 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=-6000919476984768619 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1139 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3457.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/340 44819
/proc/meminfo: memFree=121456164/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3517.1 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 68831 0 199 0 351603 107 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3511.53 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 29763 0 199 0 351131 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1243 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3517.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 6/341 44822
/proc/meminfo: memFree=121229612/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3576.97 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 69748 0 199 0 357589 108 0 0 20 0 20 0 43224567 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 539350 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3571.38 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 30531 0 199 0 357116 22 0 0 20 0 20 0 43224569 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2157400 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 539350 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3576.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.3 s]
/proc/loadavg: 4.13 4.13 4.09 4/316 44856
/proc/meminfo: memFree=123093812/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19063512 memory=2161532 CPUtime=3600.07 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 70286 0 199 0 359899 108 0 0 20 0 20 0 43224567 19521036288 540383 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4765878 540383 5552 1 0 556114 0
[pid=44482/tid=44497] ppid=44467 vsize=19063512 memory=2157400 CPUtime=3594.18 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 30551 0 199 0 359396 22 0 0 20 0 20 0 43224569 19521036288 540383 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19063512 memory=2161532 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224571 19521036288 540383 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19063512 memory=21996 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 20 0 43224572 19521036288 540383 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44555] ppid=44467 vsize=19063512 memory=2161532 CPUtime=0 cores=5,7
/proc/44482/task/44555/stat : 44555 (Timer-0) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43224591 19521036288 540383 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2161532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.22 s, system=1.09884 s

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

[startup+3605.41 s]
/proc/loadavg: 4.13 4.13 4.09 4/316 44856
/proc/meminfo: memFree=123093812/131250000 swapFree=33010684/33010684
[pid=44482] ppid=44467 vsize=19263204 memory=2162300 CPUtime=3600.28 cores=5,7
/proc/44482/stat : 44482 (java) S 44467 44482 43192 0 -1 4194304 72226 0 199 0 359919 109 0 0 20 0 21 0 43224567 19725520896 540575 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
/proc/44482/statm: 4815801 540575 5552 1 0 557088 0
[pid=44482/tid=44497] ppid=44467 vsize=19263204 memory=6912 CPUtime=3594.28 cores=5,7
/proc/44482/task/44497/stat : 44497 (java) R 44467 44482 43192 0 -1 4194368 30656 0 199 0 359406 22 0 0 20 0 21 0 43224569 19725520896 540575 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44536] ppid=44467 vsize=19263204 memory=-6000919476984768619 CPUtime=0 cores=5,7
/proc/44482/task/44536/stat : 44536 (Finalizer) S 44467 44482 43192 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43224571 19725520896 540575 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
[pid=44482/tid=44550] ppid=44467 vsize=19263204 memory=215587488049 CPUtime=0 cores=5,7
/proc/44482/task/44550/stat : 44550 (Common-Cleaner) S 44467 44482 43192 0 -1 4194368 1345 0 0 0 0 0 0 0 20 0 21 0 43224572 19725520896 540575 18446744073709551615 94685321256960 94685321260656 140720824261360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94685321268472 94685321269264 94685340000256 140720824269185 140720824269286 140720824269286 140720824274888 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2162300 KiB

Child status: 143

Real time (s): 3605.43
CPU time (s): 3600.32
CPU user time (s): 3599.22
CPU system time (s): 1.09884
CPU usage (%): 99.8584
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2162300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 1.09884
maximum resident set size= 2162556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72452
page faults= 199
swaps= 0
block input operations= 0
block output operations= 13928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103681
involuntary context switches= 3541


# summary of solver processes directly reported to runsolver:
#   pid: 44482
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3599.22
#   total CPU system time (s): 1.09884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47763 second user time and 15.655 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 11:24:30
IDJOB=4498294
IDBENCH=148596
IDSOLVER=3363
FILE ID=nodeC016/4498294-1751275470
RUNJOBID= nodeC016-1751275470-44427
SLURM_JOB_ID= 9594183
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498294-1751275470/watcher-4498294-1751275470 -o /tmp/evaluation-result-4498294-1751275470/solver-4498294-1751275470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751275470-44427 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498294-1751275470.opb

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

MD5SUM BENCH= d1da6339ee7ef8ec01d4c55772fc8100
RANDOM SEED=1691264132

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129020776 kB
MemAvailable:   129734528 kB
Buffers:            3280 kB
Cached:          1517616 kB
SwapCached:            0 kB
Active:           331484 kB
Inactive:        1260476 kB
Active(anon):      89136 kB
Inactive(anon):        0 kB
Active(file):     242348 kB
Inactive(file):  1260476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2920 kB
Writeback:            60 kB
AnonPages:         74492 kB
Mapped:           102628 kB
Shmem:             18072 kB
KReclaimable:     100332 kB
Slab:             187592 kB
SReclaimable:     100332 kB
SUnreclaim:        87260 kB
KernelStack:        4064 kB
PageTables:         2844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC016 at 2025-06-30 12:24:36