Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPT | 5 | 1287.99 | 644.313 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
| MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 14.5108 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| 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 numbers | 7 |
| Number of products (including duplicates) | 3090 |
| Sum of products size (including duplicates) | 6180 |
| Number of different products | 3090 |
| Sum of products size | 6180 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4081747-1465254709.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 0.71/0.42 c ... done. Wall clock time 0.298s. 0.71/0.42 c declared #vars 100 0.71/0.42 c internal #vars 3190 0.71/0.42 c #constraints 6280 0.71/0.42 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.71/0.42 c constraints type 0.71/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3190 0.71/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090 0.71/0.43 c 6280 constraints processed. 0.71/0.43 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.71/0.43 c constraints type 0.71/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3190 0.71/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090 0.71/0.43 c 6280 constraints processed. 0.71/0.43 c objective function length is 100 literals 0.71/0.46 c And the winner is solver0 1.11/0.93 c SATISFIABLE 1.11/0.93 c OPTIMIZING... 1.11/0.93 c Got one! Elapsed wall clock time (in seconds):0.802 1.11/0.93 o 9 1.11/0.98 c And the winner is solver0 1.40/1.43 c Got one! Elapsed wall clock time (in seconds):1.305 1.40/1.43 o 8 1.40/1.44 c And the winner is solver0 1.49/1.93 c Got one! Elapsed wall clock time (in seconds):1.808 1.49/1.93 o 7 1.73/2.06 c And the winner is solver0 2.17/2.43 c Got one! Elapsed wall clock time (in seconds):2.309 2.17/2.43 o 6 4.17/3.28 c cleaning 2632 clauses out of 5273 with flag 11388/5273 6.88/4.37 c cleaning 4315 clauses out of 8642 with flag 25437/11274 9.64/5.67 c cleaning 5656 clauses out of 11326 with flag 42222/18273 12.92/7.21 c cleaning 6832 clauses out of 13673 with flag 61558/26276 16.43/8.98 c cleaning 7910 clauses out of 15840 with flag 82878/35275 20.62/11.06 c cleaning 8957 clauses out of 17929 with flag 106713/45274 25.47/13.40 c cleaning 9983 clauses out of 19971 with flag 133392/56273 28.98/15.12 c And the winner is solver1 28.98/15.44 c Got one! Elapsed wall clock time (in seconds):15.312 28.98/15.44 o 5 32.14/17.09 c cleaning 11550 clauses out of 23099 with flag 18455/69384 36.73/19.10 c cleaning 8773 clauses out of 17545 with flag 40001/75380 41.73/21.49 c cleaning 7886 clauses out of 15772 with flag 64155/82380 47.38/24.26 c cleaning 7946 clauses out of 15892 with flag 92150/90386 53.86/27.40 c cleaning 8471 clauses out of 16941 with flag 123816/99381 60.71/30.82 c cleaning 9235 clauses out of 18470 with flag 158180/109381 68.75/34.60 c cleaning 10118 clauses out of 20237 with flag 197944/120383 77.72/38.91 c cleaning 11051 clauses out of 22116 with flag 238371/132380 87.03/43.54 c cleaning 12028 clauses out of 24065 with flag 282921/145380 96.64/48.35 c cleaning 13013 clauses out of 26037 with flag 329973/159380 107.31/53.62 c cleaning 14008 clauses out of 28025 with flag 376870/174381 118.80/59.39 c cleaning 15003 clauses out of 30020 with flag 424864/190384 130.80/65.39 c cleaning 15997 clauses out of 32013 with flag 483604/207380 144.49/72.19 c cleaning 17006 clauses out of 34019 with flag 542030/225383 158.57/79.11 c cleaning 18003 clauses out of 36010 with flag 603154/244380 172.63/86.19 c cleaning 19002 clauses out of 38010 with flag 669887/264383 187.29/93.41 c cleaning 20003 clauses out of 40005 with flag 737326/285380 203.52/101.59 c cleaning 20999 clauses out of 42004 with flag 808161/307382 219.98/109.79 c cleaning 22003 clauses out of 44006 with flag 884733/330383 237.19/118.38 c cleaning 22994 clauses out of 46001 with flag 961358/354381 255.06/127.27 c cleaning 24003 clauses out of 48006 with flag 1041379/379380 273.89/136.64 c cleaning 24996 clauses out of 50003 with flag 1124450/405380 293.42/146.38 c cleaning 25996 clauses out of 52007 with flag 1210432/432380 313.76/156.47 c cleaning 27004 clauses out of 54015 with flag 1300751/460384 334.85/166.93 c cleaning 28003 clauses out of 56007 with flag 1387224/489381 357.76/178.35 c cleaning 28982 clauses out of 58004 with flag 1478902/519381 382.18/190.84 c cleaning 30011 clauses out of 60021 with flag 1579269/550380 383.17/191.38 c cleaning 0 clauses out of 5391 with flag 0/5392 407.30/203.22 c cleaning 31006 clauses out of 62014 with flag 1680417/582384 432.04/215.58 c cleaning 31998 clauses out of 64004 with flag 1783337/615380 457.74/228.36 c cleaning 33004 clauses out of 66010 with flag 1890431/649385 485.66/242.27 c cleaning 33992 clauses out of 68000 with flag 1997718/684380 515.16/256.95 c cleaning 34996 clauses out of 70008 with flag 2113541/720380 543.44/271.03 c cleaning 35997 clauses out of 72011 with flag 2226543/757380 573.39/285.96 c cleaning 37003 clauses out of 74017 with flag 2347380/795383 606.23/302.63 c cleaning 37998 clauses out of 76011 with flag 2468563/834380 639.58/319.30 c cleaning 38986 clauses out of 78013 with flag 2592109/874380 675.68/337.22 c cleaning 40008 clauses out of 80027 with flag 2718643/915381 710.44/354.53 c cleaning 41000 clauses out of 82020 with flag 2846365/957383 746.95/372.77 c cleaning 42006 clauses out of 84017 with flag 2970404/1000381 783.68/391.08 c cleaning 42989 clauses out of 86011 with flag 3096296/1044383 821.81/410.03 c cleaning 43995 clauses out of 88021 with flag 3237595/1089382 862.02/430.54 c cleaning 45009 clauses out of 90028 with flag 3379162/1135385 902.42/450.61 c cleaning 46000 clauses out of 92012 with flag 3520734/1182380 944.01/471.30 c cleaning 47005 clauses out of 94012 with flag 3661076/1230381 984.93/491.77 c cleaning 47999 clauses out of 96003 with flag 3805366/1279381 1028.62/513.57 c cleaning 48983 clauses out of 98003 with flag 3953379/1329380 1071.78/535.08 c cleaning 50000 clauses out of 100018 with flag 4102418/1380380 1116.35/557.22 c cleaning 50999 clauses out of 102017 with flag 4258102/1432380 1158.48/578.23 c cleaning 51996 clauses out of 104017 with flag 4409927/1485384 1202.85/600.31 c cleaning 52994 clauses out of 106016 with flag 4566633/1539383 1247.16/622.39 c cleaning 53998 clauses out of 108011 with flag 4723122/1594380 1284.42/640.99 c And the winner is solver0 1287.72/644.29 c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<< 1287.72/644.29 c starts : 9883 1287.72/644.29 c conflicts : 1644592 1287.72/644.29 c decisions : 3357052 1287.72/644.29 c propagations : 413395472 1287.72/644.29 c inspects : 5675224915 1287.72/644.29 c shortcuts : 0 1287.72/644.29 c learnt literals : 64 1287.72/644.29 c learnt binary clauses : 76 1287.72/644.29 c learnt ternary clauses : 115 1287.72/644.29 c learnt constraints : 1644527 1287.72/644.29 c ignored constraints : 0 1287.72/644.29 c root simplifications : 0 1287.72/644.29 c removed literals (reason simplification) : 261269 1287.72/644.29 c reason swapping (by a shorter reason) : 0 1287.72/644.29 c Calls to reduceDB : 58 1287.72/644.29 c Number of update (reduction) of LBD : 519344 1287.72/644.29 c Imported unit clauses : 0 1287.72/644.29 c number of reductions to clauses (during analyze) : 0 1287.72/644.29 c number of learned constraints concerned by reduction : 0 1287.72/644.29 c number of learning phase by resolution : 0 1287.72/644.29 c number of learning phase by cutting planes : 0 1287.72/644.29 c speed (assignments/second) : 657378.0474036145 1287.72/644.29 c non guided choices 0 1287.72/644.29 c learnt constraints type 1287.72/644.29 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1287.72/644.29 c starts : 38 1287.72/644.29 c conflicts : 9423 1287.72/644.29 c decisions : 16262 1287.72/644.29 c propagations : 2579252 1287.72/644.29 c inspects : 801849427 1287.72/644.29 c shortcuts : 0 1287.72/644.29 c learnt literals : 0 1287.72/644.29 c learnt binary clauses : 0 1287.72/644.29 c learnt ternary clauses : 0 1287.72/644.29 c learnt constraints : 9421 1287.72/644.29 c ignored constraints : 0 1287.72/644.29 c root simplifications : 0 1287.72/644.29 c removed literals (reason simplification) : 0 1287.72/644.29 c reason swapping (by a shorter reason) : 0 1287.72/644.29 c Calls to reduceDB : 1 1287.72/644.29 c Number of update (reduction) of LBD : 0 1287.72/644.29 c Imported unit clauses : 0 1287.72/644.29 c number of reductions to clauses (during analyze) : 0 1287.72/644.29 c number of learned constraints concerned by reduction : 0 1287.72/644.29 c number of learning phase by resolution : 0 1287.72/644.29 c number of learning phase by cutting planes : 0 1287.72/644.29 c speed (assignments/second) : 4018.4215487250276 1287.72/644.29 c non guided choices 0 1287.72/644.29 c learnt constraints type 1287.72/644.29 s OPTIMUM FOUND 1287.72/644.29 c Found 5 solution(s) 1287.72/644.29 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 1287.72/644.29 c objective function=5 1287.72/644.29 c Total wall clock time (in seconds): 644.169
OK 5
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081747-1465254709/watcher-4081747-1465254709 -o /tmp/evaluation-result-4081747-1465254709/solver-4081747-1465254709 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081747-1465254709.opb pid=19570 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.36 4.36 4.11 4/197 19573 /proc/meminfo: memFree=27107900/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/19573/stat : 19573 (java) R 19570 19573 17726 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 107403298 9515008 186 33554432000 1073741824 1073778376 140736190627472 140736190616536 213410475303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2323 186 143 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 4.36 4.36 4.11 4/197 19573 /proc/meminfo: memFree=27107900/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 4391 0 1 0 8 1 0 0 20 0 18 0 107403298 9787879424 6021 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2389619 6021 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200295 s] /proc/loadavg: 4.36 4.36 4.11 4/197 19573 /proc/meminfo: memFree=27107900/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 4537 0 1 0 20 2 0 0 20 0 18 0 107403298 9787879424 7169 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2389619 7169 2178 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300214 s] /proc/loadavg: 4.36 4.36 4.11 4/197 19573 /proc/meminfo: memFree=27107900/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9558476 CPUtime=0.44 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 5961 0 1 0 42 2 0 0 20 0 18 0 107403298 9787879424 8728 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2389619 8728 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700327 s] /proc/loadavg: 4.36 4.36 4.11 4/197 19573 /proc/meminfo: memFree=27107900/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=1.11 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 11340 0 1 0 106 5 0 0 20 0 19 0 107403298 10060525568 14128 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 14128 2263 9 0 2446860 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 9824732 [startup+1.50086 s] /proc/loadavg: 4.36 4.36 4.11 3/216 19598 /proc/meminfo: memFree=27053348/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 12256 0 1 0 140 9 0 0 20 0 19 0 107403298 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 16207 2266 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) S 19570 19573 17726 0 -1 4202560 2434 0 1 0 38 2 0 0 20 0 19 0 107403299 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986722087800 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107403300 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) S 19570 19573 17726 0 -1 4202560 5205 0 0 0 40 0 0 0 20 0 19 0 107403304 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139986541583160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) S 19570 19573 17726 0 -1 4202560 3271 0 0 0 40 0 0 0 20 0 19 0 107403304 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139985667746744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19595/stat : 19595 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107403342 10060525568 16207 33554432000 1073741824 1073778376 140736190627472 139985661428648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 4.17 4.32 4.10 3/216 19604 /proc/meminfo: memFree=27034604/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=3.93 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 16907 0 1 0 378 15 0 0 20 0 22 0 107403298 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 46526 2287 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) S 19570 19573 17726 0 -1 4202560 2434 0 1 0 38 2 0 0 20 0 22 0 107403299 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986722087800 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107403300 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) R 19570 19573 17726 0 -1 4202560 8909 0 0 0 90 2 0 0 20 0 22 0 107403304 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139986541570448 139986729074195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) R 19570 19573 17726 0 -1 4202560 4100 0 0 0 78 2 0 0 20 0 22 0 107403304 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139985667746744 139986724125150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19595/stat : 19595 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107403342 10060525568 46526 33554432000 1073741824 1073778376 140736190627472 139985661428648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9824732 [startup+6.30096 s] /proc/loadavg: 4.17 4.32 4.10 6/219 19607 /proc/meminfo: memFree=26763224/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=11.04 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 21242 0 1 0 1078 26 0 0 20 0 22 0 107403298 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 94573 2294 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) S 19570 19573 17726 0 -1 4202560 2434 0 1 0 38 2 0 0 20 0 22 0 107403299 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986722087800 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 126 0 0 0 7 1 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 154 0 0 0 8 2 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 109 0 0 0 7 1 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 107 0 0 0 5 1 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 61 0 0 0 7 1 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 22 0 107403300 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 204 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107403302 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.09 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) S 19570 19573 17726 0 -1 4202560 8915 0 0 0 107 2 0 0 20 0 22 0 107403304 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139986541583160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) S 19570 19573 17726 0 -1 4202560 7570 0 0 0 104 2 0 0 20 0 22 0 107403304 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139985667746744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107403304 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19595/stat : 19595 (java) S 19570 19573 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107403342 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139985661428648 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19605] ppid=19570 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/19573/task/19605/stat : 19605 (java) R 19570 19573 17726 0 -1 4202560 10 0 0 0 364 0 0 0 20 0 22 0 107403542 10060525568 94573 33554432000 1073741824 1073778376 140736190627472 139985662472704 139986557591060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19606] ppid=19570 vsize=9824732 CPUtime=3.53 cores=0,2,4,6 ################ # More data... # ################ /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 37 0 0 0 10 11 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19611] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19611/stat : 19611 (java) S 19570 19573 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107404842 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985661428520 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1283.06 Current children cumulated vsize (KiB) 9824732 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19573 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+643.201 s] /proc/loadavg: 4.07 4.29 4.18 4/216 19629 /proc/meminfo: memFree=23347504/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=1283.96 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 40336 0 1 0 128193 203 0 0 20 0 19 0 107403298 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 828487 2303 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) R 19570 19573 17726 0 -1 4202560 2438 0 1 0 214 3 0 0 20 0 19 0 107403299 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986722085424 139986557212610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 547 0 0 0 146 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 395 0 0 0 149 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 501 0 0 0 147 13 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 577 0 0 0 148 14 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 539 0 0 0 167 17 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 424 0 0 0 171 16 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 353 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 377 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 2951 0 0 0 235 10 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.34 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) S 19570 19573 17726 0 -1 4202560 8924 0 0 0 132 2 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986541583160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) S 19570 19573 17726 0 -1 4202560 18746 0 0 0 278 4 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985667746744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 37 0 0 0 10 11 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19611] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19611/stat : 19611 (java) S 19570 19573 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107404842 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985661428520 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1283.96 Current children cumulated vsize (KiB) 9824732 [startup+644.001 s] /proc/loadavg: 4.07 4.29 4.18 4/216 19629 /proc/meminfo: memFree=23347504/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=1284.76 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 40336 0 1 0 128273 203 0 0 20 0 19 0 107403298 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 828487 2303 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=2.97 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) R 19570 19573 17726 0 -1 4202560 2438 0 1 0 294 3 0 0 20 0 19 0 107403299 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986722085424 139986557212484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 547 0 0 0 146 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 395 0 0 0 149 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 501 0 0 0 147 13 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 577 0 0 0 148 14 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 539 0 0 0 167 17 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 424 0 0 0 171 16 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 353 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 377 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 2951 0 0 0 235 10 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.34 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) S 19570 19573 17726 0 -1 4202560 8924 0 0 0 132 2 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986541583160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) S 19570 19573 17726 0 -1 4202560 18746 0 0 0 278 4 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985667746744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 37 0 0 0 10 11 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19611] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19611/stat : 19611 (java) S 19570 19573 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107404842 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985661428520 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1284.76 Current children cumulated vsize (KiB) 9824732 [startup+644.201 s] /proc/loadavg: 4.07 4.29 4.18 4/216 19629 /proc/meminfo: memFree=23347504/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=9824732 CPUtime=1284.96 cores=0,2,4,6 /proc/19573/stat : 19573 (java) S 19570 19573 17726 0 -1 4202496 40336 0 1 0 128293 203 0 0 20 0 19 0 107403298 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 140736190618608 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19573/statm: 2456183 828487 2303 9 0 2446860 0 [pid=19573/tid=19575] ppid=19570 vsize=9824732 CPUtime=3.17 cores=0,2,4,6 /proc/19573/task/19575/stat : 19575 (java) R 19570 19573 17726 0 -1 4202560 2438 0 1 0 314 3 0 0 20 0 19 0 107403299 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986722085424 139986558533722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=1.57 cores=0,2,4,6 /proc/19573/task/19576/stat : 19576 (java) S 19570 19573 17726 0 -1 4202560 547 0 0 0 146 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986683578792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19577/stat : 19577 (java) S 19570 19573 17726 0 -1 4202560 395 0 0 0 149 11 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986682526248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/19573/task/19578/stat : 19578 (java) S 19570 19573 17726 0 -1 4202560 501 0 0 0 147 13 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986681473192 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=1.62 cores=0,2,4,6 /proc/19573/task/19579/stat : 19579 (java) S 19570 19573 17726 0 -1 4202560 577 0 0 0 148 14 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986680420648 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/19573/task/19580/stat : 19580 (java) S 19570 19573 17726 0 -1 4202560 539 0 0 0 167 17 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986679368616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/19573/task/19581/stat : 19581 (java) S 19570 19573 17726 0 -1 4202560 424 0 0 0 171 16 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986678316072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19582/stat : 19582 (java) S 19570 19573 17726 0 -1 4202560 353 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986677263016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/19573/task/19583/stat : 19583 (java) S 19570 19573 17726 0 -1 4202560 377 0 0 0 143 12 0 0 20 0 19 0 107403300 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986676210472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/19573/task/19584/stat : 19584 (java) S 19570 19573 17726 0 -1 4202560 2951 0 0 0 235 10 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986545793384 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19585/stat : 19585 (java) S 19570 19573 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986544739704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19586/stat : 19586 (java) S 19570 19573 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107403302 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986543686536 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19587/stat : 19587 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986542635280 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.34 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) S 19570 19573 17726 0 -1 4202560 8924 0 0 0 132 2 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139986541583160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=2.82 cores=0,2,4,6 /proc/19573/task/19589/stat : 19589 (java) S 19570 19573 17726 0 -1 4202560 18746 0 0 0 278 4 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985667746744 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19590/stat : 19590 (java) S 19570 19573 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985666693880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/19573/task/19591/stat : 19591 (java) S 19570 19573 17726 0 -1 4202560 37 0 0 0 10 11 0 0 20 0 19 0 107403304 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985665641544 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19573/tid=19611] ppid=19570 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/19573/task/19611/stat : 19611 (java) S 19570 19573 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107404842 10060525568 828487 33554432000 1073741824 1073778376 140736190627472 139985661428520 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1284.96 Current children cumulated vsize (KiB) 9824732 [startup+644.301 s] /proc/loadavg: 4.07 4.29 4.18 4/216 19629 /proc/meminfo: memFree=23347504/32872528 swapFree=16636/1570076 [pid=19573] ppid=19570 vsize=0 CPUtime=1285.2 cores=0,2,4,6 /proc/19573/stat : 19573 (java) Z 19570 19573 17726 0 -1 4203532 40349 0 1 0 128302 218 0 0 20 0 2 0 107403298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/19573/statm: 0 0 0 0 0 0 0 [pid=19573/tid=19588] ppid=19570 vsize=0 CPUtime=1.34 cores=0,2,4,6 /proc/19573/task/19588/stat : 19588 (java) R 19570 19573 17726 0 -1 4203588 8924 0 0 0 132 2 0 0 20 0 2 0 107403304 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1285.2 Current children cumulated vsize (KiB) 0 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.75988 # lost CPU user time (s): 2.96995 # lost CPU system time (s): -0.21 Real time (s): 644.313 CPU time (s): 1287.99 CPU user time (s): 1285.98 CPU system time (s): 2.00366 CPU usage (%): 199.901 Max. virtual memory (cumulated for all children) (KiB): 9825944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1283.01 system time used= 2.21366 maximum resident set size= 3313968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40349 page faults= 1 swaps= 0 block input operations= 0 block output operations= 704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18538 involuntary context switches= 26588 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.07538 second user time and 6.37003 second system time The end
Begin job on node140 at 2016-06-07 01:11:49 IDJOB=4081747 IDBENCH=48154 IDSOLVER=2543 FILE ID=node140/4081747-1465254709 RUNJOBID= node140-1465252001-17742 PBS_JOBID= 19843256 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081747-1465254709/watcher-4081747-1465254709 -o /tmp/evaluation-result-4081747-1465254709/solver-4081747-1465254709 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465252001-17742 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081747-1465254709.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED=2043019986 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27108056 kB Buffers: 63076 kB Cached: 80596 kB SwapCached: 1744 kB Active: 3386296 kB Inactive: 98080 kB Active(anon): 3340068 kB Inactive(anon): 2608 kB Active(file): 46228 kB Inactive(file): 95472 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 904 kB Writeback: 0 kB AnonPages: 4911932 kB Mapped: 15340 kB Shmem: 0 kB Slab: 568628 kB SReclaimable: 12596 kB SUnreclaim: 556032 kB KernelStack: 1592 kB PageTables: 13784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5425780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4794368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node140 at 2016-06-07 01:22:34