Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT (TO) | -13 | 3600.22 | 3574 |
| Name | PB24/normalized-PB07/OPT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
| MD5SUM | cf766711a707813c9bd3325657edcc33 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -14 |
| Best CPU time to get the best result obtained on this benchmark | 281.076 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| 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 | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| 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 numbers | 7 |
| Number of products (including duplicates) | 1232 |
| Sum of products size (including duplicates) | 2464 |
| Number of different products | 616 |
| Sum of products size | 1232 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.16 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.16 - never skip resolution steps 0.13/0.16 - Auto-division on coefficients is disabled 0.13/0.16 - No postprocessing 0.13/0.16 - Conflict is considered as is when resolving 0.13/0.16 - Use constraints as they come during conflict analysis 0.13/0.16 - Weaken first using unassigned literals 0.13/0.16 - Bump strategy: ALWAYS_ONE 0.13/0.16 - Bumper: EFFECTIVE 0.13/0.16 --- Begin Solver configuration --- 0.13/0.16 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.13/0.16 Learn all clauses as in MiniSAT 0.13/0.16 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.16 No reason simplification 0.13/0.16 Dynamic restart strategy considering the size of the coefficients 0.13/0.16 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.13/0.16 timeout=2147483s 0.13/0.16 DB Simplification allowed=false 0.13/0.16 Listener: none 0.13/0.16 --- End Solver configuration --- 0.13/0.16 c Pseudo Boolean Optimization by upper bound 0.13/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.16 c - never skip resolution steps 0.13/0.16 c - Auto-division on coefficients is disabled 0.13/0.16 c - No postprocessing 0.13/0.16 c - Conflict is considered as is when resolving 0.13/0.16 c - Use constraints as they come during conflict analysis 0.13/0.16 c - Weaken first using unassigned literals 0.13/0.16 c - Bump strategy: ALWAYS_ONE 0.13/0.16 c - Bumper: EFFECTIVE 0.13/0.16 c --- Begin Solver configuration --- 0.13/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.13/0.16 c Learn all clauses as in MiniSAT 0.13/0.16 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.16 c No reason simplification 0.13/0.16 c Dynamic restart strategy considering the size of the coefficients 0.13/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.13/0.16 c timeout=2147483s 0.13/0.16 c DB Simplification allowed=false 0.13/0.16 c Listener: none 0.13/0.16 c --- End Solver configuration --- 0.13/0.16 c solving HOME/instance-4459934-1721942762.opb 0.13/0.16 c reading problem ... 0.13/0.16 c objective function found 0.31/0.24 c ... done. Wall clock time 0.075s. 0.31/0.24 c declared #vars 100 0.31/0.24 c internal #vars 716 0.31/0.24 c #constraints 1384 0.31/0.24 c constraints type 0.31/0.24 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50 0.31/0.24 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102 0.31/0.24 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 616 0.31/0.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 616 0.31/0.24 c 1384 constraints processed. 0.31/0.25 c objective function length is 50 literals 0.31/0.28 c SATISFIABLE 0.31/0.28 c OPTIMIZING... 0.31/0.28 c Got one! Elapsed wall clock time (in seconds):0.119 0.31/0.28 o -7 0.31/0.29 c Got one! Elapsed wall clock time (in seconds):0.129 0.31/0.29 o -8 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.193 0.50/0.35 o -10 1.27/0.71 c Got one! Elapsed wall clock time (in seconds):0.544 1.27/0.71 o -11 4.80/2.57 c Got one! Elapsed wall clock time (in seconds):2.408 4.80/2.57 o -12 12.47/9.74 c cleaning 3114 clauses out of 6245 with flag 0/6245 25.05/21.77 c cleaning 4562 clauses out of 9132 with flag 0/12246 43.52/39.94 c cleaning 5785 clauses out of 11569 with flag 0/19245 46.47/42.89 c Got one! Elapsed wall clock time (in seconds):42.73 46.47/42.89 o -13 63.18/59.48 c cleaning 5632 clauses out of 11269 with flag 0/24730 88.88/84.74 c cleaning 5817 clauses out of 11638 with flag 0/30731 117.13/112.53 c cleaning 6396 clauses out of 12820 with flag 0/37730 157.42/152.14 c cleaning 7211 clauses out of 14425 with flag 0/45731 208.50/202.51 c cleaning 8096 clauses out of 16214 with flag 0/54731 268.54/261.79 c cleaning 9054 clauses out of 18117 with flag 0/64730 345.81/338.02 c cleaning 10027 clauses out of 20065 with flag 0/75732 460.10/449.41 c cleaning 11016 clauses out of 22036 with flag 0/87730 576.75/565.32 c cleaning 12001 clauses out of 24020 with flag 0/100730 707.46/694.75 c cleaning 13006 clauses out of 26019 with flag 0/114730 930.50/916.13 c cleaning 13993 clauses out of 28013 with flag 0/129730 1133.39/1117.67 c cleaning 15004 clauses out of 30020 with flag 0/145730 1377.90/1360.42 c cleaning 16001 clauses out of 32016 with flag 0/162730 1609.69/1590.85 c cleaning 17002 clauses out of 34016 with flag 0/180731 1823.49/1803.45 c cleaning 17999 clauses out of 36014 with flag 0/199731 2065.48/2044.92 c cleaning 19000 clauses out of 38014 with flag 0/219730 2364.31/2342.52 c cleaning 20001 clauses out of 40014 with flag 0/240730 2676.24/2654.26 c cleaning 21002 clauses out of 42014 with flag 0/262731 2990.63/2967.07 c cleaning 21995 clauses out of 44011 with flag 0/285730 3343.84/3318.20 c cleaning 23004 clauses out of 46017 with flag 0/309731 3600.03/3573.92 c starts : 40 3600.03/3573.92 c conflicts : 328281 3600.03/3573.92 c decisions : 377080 3600.03/3573.92 c propagations : 12415511 3600.03/3573.92 c inspects : 2632359049 3600.03/3573.92 c shortcuts : 0 3600.03/3573.92 c learnt literals : 0 3600.03/3573.92 c learnt binary clauses : 0 3600.03/3573.92 c learnt ternary clauses : 0 3600.03/3573.92 c learnt constraints : 328281 3600.03/3573.92 c ignored constraints : 0 3600.03/3573.92 c root simplifications : 0 3600.03/3573.92 c removed literals (reason simplification) : 0 3600.03/3573.92 c reason swapping (by a shorter reason) : 0 3600.03/3573.92 c Calls to reduceDB : 23 3600.03/3573.92 c Number of update (reduction) of LBD : 365262 3600.03/3573.92 c Imported unit clauses : 0 3600.03/3573.93 c No decision after first conflict : false 3600.03/3573.93 c number of reductions to clauses (during analyze) : 0 3600.03/3573.93 c number of learned constraints concerned by reduction : 0 3600.03/3573.93 c number of learning phase by resolution : 0 3600.03/3573.93 c number of learning phase by cutting planes : 0 3600.03/3573.93 c number of rounding to 1 operations : 0 3600.03/3573.93 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3573.93 c number of reductions of the coefficients by power 2 : 0 3600.03/3573.93 c number of right shift for reduction by power 2 : 0 3600.03/3573.93 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3573.93 c number of ending skipping : 0 3600.03/3573.93 c number of internal skipping : 0 3600.03/3573.93 c number of derivation steps : 3117663 3600.03/3573.93 c number of skipped derivation steps : 0 3600.03/3573.93 c number of remaining unassigned : 3370000 3600.03/3573.93 c number of remaining assigned : 91612183 3600.03/3573.93 c number of falsified literals weakened from reason : 0 3600.03/3573.93 c number of falsified literals weakened from conflict : 0 3600.03/3573.93 c time for arithmetic operations : 155050682067 3600.03/3573.93 c minimum degree of deleted constraints : 1 3600.03/3573.93 c maximum degree of deleted constraints : 19848319797640195328840598830099996828073157503662873350298026356463348476961313179001111206814693150480906988600830470217171258299847276314473620519983021237197405350657617917066377373801067068024054815665205209231960872739165920310387613118467235571193509578025078097966727951169512584055172451900161190667032642637255859202135194086389546789371401587448022976611039641263983614998636690104667937790076145189302756201452398433911689329079249429961517938248653192463936908635060180328916392688908821490406800445673499891472967733991581151949315445263721923923084780817738162041176417278010544317633565597984168149137334165545852126473397999769497216586271173859194520307615217952924923777414327646915921986081725835976864177277097342598710339909746276366629054107461688460191707134801767454756585952743110934882301420562133273495616483175532028877363826060729445489841364228592227499583860576740696410796458502374092184343423911454420545003354008682296075477423080596099041671367893974708478382687826244719377483935493984285912249772376978217761163808132309738544884777139460519354179375498600902660257252389400757872564314001977835293100918947275270283297921146331804868364842487746066285194313314797495556981626689102236085053839294823856868736897979406815444485913681738636042943716051172696705994162306451822698028512103632068133057924649369075116248189423361191863364613633815632641568488122758086315993465218995547686175540693210629695750389262347724790823870747966945326337402865550486863030912394647715330643130903123656997615177051022559294782274867552603058368808737112389696897772265416412951366061450245433318372974856527869526808213374944727764473069165459832213480051785241478588285195405837191388281475815750282907024451852011038653300071388042520001529430658998404313419257629607838387207672962118700605758152349504196617973965530816105142966387182165891236961061660818239377309029680724202029925646454559700013960535806405243875552093352705975830201995162602783428500448935599423453149018299957303554017569907188980675274775070828624672165141825538306845788117348623401140908894694621621523922316646501478436541055958444628924383081667978944581450832617200901998564190058132407183166896285820004786277203645488831849124656197625386131511388917951446791415504469720570709722889596078151522162925583338543938206038746553560954378239446798576947108734961372547963178242540608771378898840646982199375257518541217460438913864717146038901087767531763411585962140950926852610209680616364606644228732504483430487890712855359089044464843543119847062751691210671611437718932038139809891833673804649830853144660337356872860771542146729966941154592290066743789615025047639726123322908945087758318610978132663727275223199931500687984108637968285219830063203454679000309800484100259438077998853443890026049588596239043069371673179364057128977940105023330790591298943838834237078622494659260986493758010460493287934793754467935892210508899165677631670065645551662967922994963441771679675824621079698442236856501213932064111168669552371099494624443235974439491796488926638973498710060249452002525498833628579084189489494836145525407341135600228242757671336857346831131374124113665154021747464462544973555962933991312275222406853836580844332856749448932484316465616855759156072083970929459309217117582248498084269863193316631632033121420912999944805761073616148716958587743561221182746502289317397714537730951763389037751485392177372846670794943789860816950438382386321239913938185526116232395836756105366639957318563435197820695544504895331773485551913394258221525346590612431329207398803708708975188018222406636607866045483753769078724892758843307274659440929002558291997525416456298726905602742249598084887538737192738707672628676750743260156874282263289281986526846074638750988807820439565054617089066549607372969445105102834242696949591289750429219086773801203920656236830729472288564352467164900185513994864382812145749232541382654132246587326575649246494360177782000545958114525589389779902312130358426584889862628249829274446565696744639445537262003707421668039630540917051318351360391643830061808517880618878832340185116404631611494422767064635420249009931857921073178033395263476364383355140618744337774603731784779519157842930463000825436397859580697610072035675194259330812298977862617558256924839488499551765240534835980816046123452198028947240193207658778646402584762778408545597465765866479709830408565857212496666468837736993816394986336184744647985928541407962941373938940738347347674827702750686939161370584157044258740112840614707853477483189872614872685113102980867125277922469570390308312882871501018448501844960423363272984094681837080815694633262935079222873800786052485412017352935582809786078932042794499934230892841739737246417366377849183660094568672931290264727627195028280303017726023568103940447376922823146893631740753990564243890067977635637436081723524702188553499839598338520172222348243710993218438612169877041289359096950573228490961757905829811762027267140867631653682227318990123183331039362533046990170676237325635941540870653267125119065420535396419644600614095714608710417481411389276355419838491838525759166305365716599362650947178348015704583941218308169665316613590488013954365540002613124445670256079856782908437439400809532769146477105638246066465114836737672152460907559599358319720961471176998050814596845575313381831084782672531220097278640769140114251119335223267089698717819490539306795972678600378796853884657560972554155697329321892385938518730865823856326876122413646218479434206731371279706577084885582045358797582771560125089959952795897114609286714972193233911377449000808885901096478870408858221624880106451646902325066479676254194118163804911514084914856664289551293468882812006231037893733848208825466970835862202887133536615170523051503907975257377649137097305106222229828099270571076549793239391355909340589001548553220079118967864121975337834246747422948607913238364148826564003411927677892425712895347718494521871649529480259700875625865402042612253751009829216455263507259914276139035639094204262780863288904829598715230477544487272710883979438783549440368057970135780065127826501830067707192951334800031469525925098901922232552352847998335603123133330162273257562182501451921439091897698994073467744144096351200105535725903385373405547419445681546797435999994466433592938673002289939153266920424419360424349864789842431980829908527656121928718329905808662641833953075263723409450471623603480831941579564550933848919901837240494017861780504595183183077416438517562243917453957380412287732625961224868816887708985019271040227848600188151971277533225721450131045435087599635761107717450017699729871252021714105494927172190293959186069753810153506066766706400981879157848987883138902052158017981964226137585588515255566250676329250533435015488068875526388823171743740868108338478077069565463782224272159256046548956800 3600.03/3573.94 c number of deleted constraints : 286718 3600.03/3573.95 c speed (assignments/second) : 3474.137419635022 3600.03/3573.95 c non guided choices : 0 3600.03/3573.99 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 4 3600.03/3573.99 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 41559 3600.03/3573.99 s SATISFIABLE 3600.03/3573.99 c Found 6 solution(s) 3600.03/3573.99 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.03/3573.99 c objective function=-13 3600.03/3573.99 c Total wall clock time (in seconds): 3573.83
OK -13
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: 63931 MiB (56896 MiB free)
memory of node 1: 64510 MiB (54519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459934-1721942762/watcher-4459934-1721942762 -o /tmp/evaluation-result-4459934-1721942762/solver-4459934-1721942762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721939462-242911 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459934-1721942762.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=244924, runsolver pid=244921
Current StackSize limit: 8192 KiB
[startup+0.100848 s]*
/proc/loadavg: 4.40 4.28 4.13 8/330 244942
/proc/meminfo: memFree=114048004/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=18975048 memory=63200 CPUtime=0.13 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 7198 0 0 0 11 2 0 0 20 0 18 0 30806533 19430449152 15800 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4743762 15800 5709 1 0 549316 0
[pid=244924/tid=244926] ppid=244921 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 1077936192 5744 0 0 0 7 1 0 0 20 0 18 0 30806533 19430449152 15800 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30806535 19430449152 15800 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=18975048 memory=14692998044028133 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30806536 19430449152 15800 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63200 KiB
[startup+0.205793 s]*
/proc/loadavg: 4.40 4.28 4.13 7/330 244942
/proc/meminfo: memFree=114039648/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=18975048 memory=71588 CPUtime=0.31 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 7763 0 0 0 29 2 0 0 20 0 18 0 30806533 19430449152 17897 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4743762 17897 5740 1 0 549698 0
[pid=244924/tid=244926] ppid=244921 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 6057 0 0 0 15 2 0 0 20 0 18 0 30806533 19430449152 17897 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=18975048 memory=1412932 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30806535 19430449152 17897 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30806536 19430449152 17897 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71588 KiB
[startup+0.305631 s]*
/proc/loadavg: 4.40 4.28 4.13 8/331 244943
/proc/meminfo: memFree=114026640/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19041612 memory=86976 CPUtime=0.5 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 9084 0 0 0 48 2 0 0 20 0 19 0 30806533 19498610688 21744 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4760403 21744 5900 1 0 550953 0
[pid=244924/tid=244926] ppid=244921 vsize=19041612 memory=-9104978172748473020 CPUtime=0.26 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 6194 0 0 0 24 2 0 0 20 0 19 0 30806533 19498610688 21744 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30806535 19498610688 21744 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30806536 19498610688 21744 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30806558 19498610688 21744 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86976 KiB
[startup+0.701179 s]
/proc/loadavg: 4.40 4.28 4.13 6/331 244943
/proc/meminfo: memFree=113972628/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19041612 memory=178336 CPUtime=1.27 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 16951 0 0 0 121 6 0 0 20 0 19 0 30806533 19498610688 44584 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4760403 44584 5900 1 0 555850 0
[pid=244924/tid=244926] ppid=244921 vsize=19041612 memory=12348 CPUtime=0.6 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 6244 0 0 0 57 3 0 0 20 0 19 0 30806533 19498610688 44584 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19041612 memory=12348 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30806535 19498610688 44584 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19041612 memory=280670475973632 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30806536 19498610688 44584 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19041612 memory=25664 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30806558 19498610688 44584 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 178336 KiB
[startup+1.50118 s]
/proc/loadavg: 4.40 4.28 4.13 7/332 244944
/proc/meminfo: memFree=113918312/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=195584 CPUtime=2.85 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 23360 0 0 0 278 7 0 0 20 0 20 0 30806533 19566772224 48896 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 48896 5932 1 0 557989 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=12348 CPUtime=1.37 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 6301 0 0 0 133 4 0 0 20 0 20 0 30806533 19566772224 48896 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 48896 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 48896 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 48896 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195584 KiB
[startup+3.10617 s]
/proc/loadavg: 4.45 4.29 4.13 6/332 244944
/proc/meminfo: memFree=113496360/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=614216 CPUtime=5.5 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 27141 0 0 0 534 16 0 0 20 0 20 0 30806533 19566772224 153554 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 153554 5932 1 0 557996 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=0 CPUtime=2.9 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 7535 0 0 0 279 11 0 0 20 0 20 0 30806533 19566772224 153554 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 153554 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=220268 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 153554 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 153554 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 614216 KiB
[startup+6.30119 s]
/proc/loadavg: 4.45 4.29 4.13 5/332 244946
/proc/meminfo: memFree=113059480/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=1050016 CPUtime=9.01 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 28399 0 0 0 875 26 0 0 20 0 20 0 30806533 19566772224 262504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 262504 5932 1 0 664520 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=12348 CPUtime=6.03 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 7887 0 0 0 583 20 0 0 20 0 20 0 30806533 19566772224 262504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 262504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=6080819840470635089 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 262504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 262504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1050016 KiB
[startup+12.7012 s]
/proc/loadavg: 4.46 4.30 4.14 5/332 244946
/proc/meminfo: memFree=112511720/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=1598808 CPUtime=15.75 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 38203 0 0 0 1538 37 0 0 20 0 20 0 30806533 19566772224 399702 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 399702 5932 1 0 664563 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=0 CPUtime=12.28 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 10613 0 0 0 1200 28 0 0 20 0 20 0 30806533 19566772224 399702 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=1596688 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 399702 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 399702 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 399702 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 15.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1598808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.39 4.29 4.14 5/332 244947
/proc/meminfo: memFree=112474156/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=1634016 CPUtime=28.85 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 44322 0 0 0 2846 39 0 0 20 0 20 0 30806533 19566772224 408504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 408504 5932 1 0 664623 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=1596688 CPUtime=24.79 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 12440 0 0 0 2450 29 0 0 20 0 20 0 30806533 19566772224 408504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 408504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=1619392 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 408504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 408504 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1634016 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.26 4.13 5/332 244953
/proc/meminfo: memFree=112438524/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=1669032 CPUtime=54.81 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 53397 0 0 0 5440 41 0 0 20 0 20 0 30806533 19566772224 417258 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 417258 5932 1 0 664623 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=1658792 CPUtime=49.81 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 15431 0 0 0 4951 30 0 0 20 0 20 0 30806533 19566772224 417258 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
################
# More data... #
################
/proc/meminfo: memFree=112617396/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2634012 CPUtime=3247.04 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 299375 0 0 0 324488 216 0 0 20 0 20 0 30806533 19566772224 658503 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 658503 5963 1 0 670863 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2634008 CPUtime=3157.05 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 111977 0 0 0 315652 53 0 0 20 0 20 0 30806533 19566772224 658503 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2634008 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 658503 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=2634012 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 3892 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 658503 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 658503 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3247.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2634012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.24 4.22 5/333 247212
/proc/meminfo: memFree=112607848/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2634072 CPUtime=3307.91 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 303663 0 0 0 330572 219 0 0 20 0 20 0 30806533 19566772224 658518 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 658518 5963 1 0 670863 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=11576 CPUtime=3215.97 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 113513 0 0 0 321544 53 0 0 20 0 20 0 30806533 19566772224 658518 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=63392 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 658518 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=12348 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 3978 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 658518 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 658518 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3307.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2634072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.21 5/332 247223
/proc/meminfo: memFree=112599696/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641288 CPUtime=3367.96 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 307186 0 0 0 336574 222 0 0 20 0 20 0 30806533 19566772224 660322 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660322 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=12348 CPUtime=3274.72 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 115260 0 0 0 327417 55 0 0 20 0 20 0 30806533 19566772224 660322 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641288 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660322 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=2641288 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4053 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660322 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=2641288 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660322 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3367.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.20 4.21 5/332 247233
/proc/meminfo: memFree=112596932/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3428.32 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 309796 0 0 0 342607 225 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660336 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2641288 CPUtime=3333.77 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 117126 0 0 0 333322 55 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641292 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4136 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=2641292 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3428.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.20 5/332 247246
/proc/meminfo: memFree=112589816/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3488.28 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 312199 0 0 0 348601 227 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660336 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2641288 CPUtime=3392.44 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) S 244921 244924 242901 0 -1 1077936192 118827 0 0 0 339189 55 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641292 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=2641344 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4219 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=63392 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3488.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.19 5/332 247256
/proc/meminfo: memFree=112589240/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3548.54 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 314919 0 0 0 354624 230 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660336 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3451.54 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 120786 0 0 0 345099 55 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641344 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=16012 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4302 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3548.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3573.9 s]
/proc/loadavg: 4.14 4.16 4.18 5/332 247648
/proc/meminfo: memFree=112588160/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3600.03 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 317398 0 0 0 359771 232 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660336 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3502.05 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 122557 0 0 0 350149 56 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641344 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4384 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=-9104978172748473020 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3574 s]
# the end of solver process 244924 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.89 s, system=2.33401 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3573.9 s]
/proc/loadavg: 4.14 4.16 4.18 5/332 247648
/proc/meminfo: memFree=112588160/131524600 swapFree=131054992/131071996
[pid=244924] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3600.03 cores=0,2
/proc/244924/stat : 244924 (java) S 244921 244924 242901 0 -1 1077936128 317398 0 0 0 359771 232 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
/proc/244924/statm: 4777044 660336 5960 1 0 670878 0
[pid=244924/tid=244926] ppid=244921 vsize=19108176 memory=2641344 CPUtime=3502.05 cores=0,2
/proc/244924/task/244926/stat : 244926 (java) R 244921 244924 242901 0 -1 4194368 122557 0 0 0 350149 56 0 0 20 0 20 0 30806533 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244935] ppid=244921 vsize=19108176 memory=2641344 CPUtime=0 cores=0,2
/proc/244924/task/244935/stat : 244935 (Finalizer) S 244921 244924 242901 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30806535 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244942] ppid=244921 vsize=19108176 memory=11576 CPUtime=0 cores=0,2
/proc/244924/task/244942/stat : 244942 (Common-Cleaner) S 244921 244924 242901 0 -1 1077936192 4384 0 0 0 0 0 0 0 20 0 20 0 30806536 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
[pid=244924/tid=244943] ppid=244921 vsize=19108176 memory=-9104978172748473020 CPUtime=0 cores=0,2
/proc/244924/task/244943/stat : 244943 (Timer-0) S 244921 244924 242901 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30806558 19566772224 660336 134679101440 94857708711936 94857708715632 140724611153424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94857708723448 94857708724240 94857721376768 140724611159028 140724611159136 140724611159136 140724611166152 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641344 KiB
Child status: 143
Real time (s): 3574
CPU time (s): 3600.22
CPU user time (s): 3597.89
CPU system time (s): 2.33401
CPU usage (%): 100.734
Max. virtual memory (cumulated for all children) (KiB): 19112768
Max. memory (cumulated for all children) (KiB): 2641344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.89
system time used= 2.33401
maximum resident set size= 2642200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151026
involuntary context switches= 33995
# summary of solver processes directly reported to runsolver:
# pid: 244924
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.89
# total CPU system time (s): 2.33401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69 second user time and 17.6266 second system time
The end
Begin job on nodeC035 at 2024-07-25 23:26:03 IDJOB=4459934 IDBENCH=148675 IDSOLVER=3052 FILE ID=nodeC035/4459934-1721942762 RUNJOBID= nodeC035-1721939462-242911 SLURM_JOB_ID= 8247255 Free space on /tmp= 890056 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459934-1721942762/watcher-4459934-1721942762 -o /tmp/evaluation-result-4459934-1721942762/solver-4459934-1721942762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721939462-242911 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4459934-1721942762.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cf766711a707813c9bd3325657edcc33 RANDOM SEED=791818255 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3644.910 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.54 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 : 3688.114 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 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 : 3613.969 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.54 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.001 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 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 : 3671.745 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.54 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 : 3688.213 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 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 : 3615.559 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.54 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.943 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 114090320 kB MemAvailable: 119769148 kB Buffers: 338024 kB Cached: 6138112 kB SwapCached: 296 kB Active: 2304204 kB Inactive: 14442536 kB Active(anon): 1980 kB Inactive(anon): 10321836 kB Active(file): 2302224 kB Inactive(file): 4120700 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054992 kB Dirty: 992 kB Writeback: 0 kB AnonPages: 10269600 kB Mapped: 124036 kB Shmem: 53216 kB KReclaimable: 191104 kB Slab: 312768 kB SReclaimable: 191104 kB SUnreclaim: 121664 kB KernelStack: 4996 kB PageTables: 30568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10817436 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16992 kB HardwareCorrupted: 0 kB AnonHugePages: 9934848 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 414420 kB DirectMap2M: 48642048 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890056 MiB End job on nodeC035 at 2024-07-26 00:25:37