Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1800.4 | 945.138 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
MD5SUM | 0b7be4a8ca67db62b7397f891414d40c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18720440947643392 |
Optimality of the best value was proved | NO |
Number of variables | 66480 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 66480 |
Number of terms in the objective function | 66480 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 35987090508169209146105 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 35987192908169209146105 |
Number of bits of the biggest sum of numbers | 75 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.25/0.21 c Pseudo Boolean Optimization 0.25/0.21 c ManyCore solver with 2 solvers running in parallel 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.21 c Expensive reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.25/0.21 c No reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 0.25/0.21 c solving HOME/instance-2662379-1276534358.opb 0.25/0.21 c reading problem ... 6.56/4.76 c ... done. Wall clock time 4.551s. 6.56/4.76 c #vars 66480 6.56/4.76 c #constraints 27862 6.56/4.76 c constraints type 6.56/4.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495 6.56/4.76 c constraints type 6.56/4.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495 40.13/21.73 c cleaning 2497 clauses out of 5000 with flag 5000/5000 53.10/28.57 c cleaning 4250 clauses out of 8504 with flag 11001/11001 68.97/36.81 c cleaning 5613 clauses out of 11254 with flag 18001/18001 83.35/44.47 c cleaning 6821 clauses out of 13646 with flag 26006/26006 99.99/53.35 c cleaning 7905 clauses out of 15820 with flag 35001/35001 121.58/64.60 c cleaning 8952 clauses out of 17914 with flag 45000/45000 141.92/75.33 c cleaning 9471 clauses out of 18962 with flag 55000/55000 159.52/84.69 c cleaning 9737 clauses out of 19491 with flag 65000/65000 177.44/94.23 c cleaning 9870 clauses out of 19754 with flag 75000/75000 196.23/104.11 c cleaning 9940 clauses out of 19884 with flag 85000/85000 214.61/113.80 c cleaning 9953 clauses out of 19944 with flag 95000/95000 231.62/122.82 c cleaning 9989 clauses out of 19992 with flag 105001/105001 245.43/130.33 c cleaning 9999 clauses out of 20002 with flag 115000/115000 262.83/139.60 c cleaning 10001 clauses out of 20005 with flag 125002/125002 280.02/148.64 c cleaning 9995 clauses out of 20003 with flag 135001/135001 307.49/162.97 c cleaning 9991 clauses out of 20007 with flag 145000/145000 335.18/177.48 c cleaning 10009 clauses out of 20025 with flag 155009/155009 346.23/183.43 c cleaning 9999 clauses out of 20010 with flag 165003/165003 366.92/194.36 c cleaning 9998 clauses out of 20008 with flag 175000/175000 386.62/204.75 c cleaning 9990 clauses out of 20012 with flag 185002/185002 402.62/213.39 c cleaning 9998 clauses out of 20021 with flag 195001/195001 422.97/224.06 c cleaning 9985 clauses out of 20024 with flag 205002/205002 443.13/234.63 c cleaning 9996 clauses out of 20037 with flag 215000/215000 460.33/243.75 c cleaning 9995 clauses out of 20042 with flag 225001/225001 475.13/251.76 c cleaning 10002 clauses out of 20049 with flag 235003/235003 485.40/257.36 c cleaning 9998 clauses out of 20044 with flag 245000/245000 497.04/263.64 c cleaning 10002 clauses out of 20047 with flag 255001/255001 535.43/283.49 c cleaning 10018 clauses out of 20044 with flag 265000/265000 572.98/302.95 c cleaning 9996 clauses out of 20026 with flag 275000/275000 604.39/319.23 c cleaning 10003 clauses out of 20030 with flag 285000/285000 647.62/341.52 c cleaning 10010 clauses out of 20029 with flag 295002/295002 691.28/364.02 c cleaning 9993 clauses out of 20017 with flag 305000/305000 748.27/393.34 c cleaning 10009 clauses out of 20024 with flag 315000/315000 806.27/423.07 c cleaning 9999 clauses out of 20017 with flag 325002/325002 862.30/451.74 c cleaning 9974 clauses out of 20016 with flag 335000/335000 912.19/477.33 c cleaning 10007 clauses out of 20042 with flag 345000/345000 942.71/493.26 c cleaning 9993 clauses out of 20036 with flag 355001/355001 961.17/502.95 c cleaning 9993 clauses out of 20042 with flag 365000/365000 992.43/519.18 c cleaning 9993 clauses out of 20049 with flag 375000/375000 1021.66/534.39 c cleaning 10002 clauses out of 20056 with flag 385000/385000 1052.65/550.58 c cleaning 10012 clauses out of 20054 with flag 395000/395000 1078.54/564.04 c cleaning 9990 clauses out of 20042 with flag 405000/405000 1093.16/571.85 c cleaning 10022 clauses out of 20055 with flag 415003/415003 1105.81/578.68 c cleaning 10000 clauses out of 20030 with flag 425000/425000 1126.86/589.86 c cleaning 9983 clauses out of 20031 with flag 435001/435001 1144.65/599.26 c cleaning 10001 clauses out of 20047 with flag 445000/445000 1172.10/613.53 c cleaning 9997 clauses out of 20046 with flag 455000/455000 1200.18/628.16 c cleaning 9995 clauses out of 20049 with flag 465000/465000 1224.07/640.77 c cleaning 10003 clauses out of 20054 with flag 475000/475000 1239.66/649.04 c cleaning 10013 clauses out of 20058 with flag 485007/485007 1253.27/656.34 c cleaning 10009 clauses out of 20048 with flag 495010/495010 1267.44/663.97 c cleaning 10002 clauses out of 20040 with flag 505011/505011 1282.21/671.95 c cleaning 9999 clauses out of 20033 with flag 515006/515006 1304.30/683.58 c cleaning 9985 clauses out of 20028 with flag 525000/525000 1320.25/692.07 c cleaning 9988 clauses out of 20046 with flag 535003/535003 1331.66/698.24 c cleaning 9999 clauses out of 20059 with flag 545004/545004 1342.49/704.27 c cleaning 9996 clauses out of 20056 with flag 555000/555000 1355.06/711.07 c cleaning 9998 clauses out of 20060 with flag 565000/565000 1372.86/720.46 c cleaning 9997 clauses out of 20062 with flag 575000/575000 1389.64/729.40 c cleaning 10000 clauses out of 20065 with flag 585000/585000 1422.19/746.30 c cleaning 10031 clauses out of 20069 with flag 595004/595004 1485.52/778.79 c cleaning 10006 clauses out of 20034 with flag 605000/605000 1505.41/789.20 c cleaning 10005 clauses out of 20029 with flag 615001/615001 1516.01/795.01 c cleaning 10001 clauses out of 20023 with flag 625000/625000 1539.86/807.63 c cleaning 9996 clauses out of 20027 with flag 635005/635005 1557.84/817.14 c cleaning 9999 clauses out of 20030 with flag 645004/645004 1573.04/825.24 c cleaning 9987 clauses out of 20030 with flag 655003/655003 1595.93/837.25 c cleaning 9993 clauses out of 20040 with flag 665000/665000 1616.24/848.08 c cleaning 10021 clauses out of 20048 with flag 675001/675001 1634.40/857.62 c cleaning 9974 clauses out of 20026 with flag 685000/685000 1646.43/864.16 c cleaning 10001 clauses out of 20054 with flag 695002/695002 1659.67/871.25 c cleaning 10002 clauses out of 20055 with flag 705004/705004 1672.99/878.52 c cleaning 9998 clauses out of 20052 with flag 715003/715003 1693.91/889.53 c cleaning 9984 clauses out of 20052 with flag 725001/725001 1726.32/906.36 c cleaning 10001 clauses out of 20067 with flag 735000/735000 1757.50/922.56 c cleaning 9993 clauses out of 20066 with flag 745000/745000 1788.93/938.90 c cleaning 10000 clauses out of 20074 with flag 755001/755001 1800.18/945.02 c starts : 170 1800.18/945.02 c conflicts : 758777 1800.18/945.02 c decisions : 4416330 1800.18/945.02 c propagations : 25749865 1800.18/945.02 c inspects : 377557416 1800.18/945.02 c learnt literals : 0 1800.18/945.02 c learnt binary clauses : 0 1800.18/945.02 c learnt ternary clauses : 0 1800.18/945.02 c learnt clauses : 758777 1800.18/945.02 c ignored clauses : 0 1800.18/945.02 c root simplifications : 0 1800.18/945.02 c removed literals (reason simplification) : 2868530 1800.18/945.02 c reason swapping (by a shorter reason) : 0 1800.18/945.02 c Calls to reduceDB : 77 1800.18/945.02 c number of reductions to clauses (during analyze) : 0 1800.18/945.02 c number of learned constraints concerned by reduction : 0 1800.18/945.02 c number of learning phase by resolution : 0 1800.18/945.02 c number of learning phase by cutting planes : 0 1800.18/945.02 c speed (assignments/second) : 27386.02040295409 1800.18/945.02 c non guided choices 2809324 1800.18/945.05 c learnt constraints type 1800.18/945.05 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13871 1800.18/945.05 c constraints type 1800.18/945.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495 1800.18/945.05 c constraints type 1800.18/945.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3495 1800.18/945.05 s UNKNOWN 1800.18/945.05 c Total wall clock time (in seconds): 944.836
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662379-1276534358/watcher-2662379-1276534358 -o /tmp/evaluation-result-2662379-1276534358/solver-2662379-1276534358 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662379-1276534358.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.02 1.68 3/106 29337 /proc/meminfo: memFree=1816440/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1832 CPUtime=0 /proc/29337/stat : 29337 (java6) R 29335 29337 29056 0 -1 4194304 250 0 0 0 0 0 0 0 21 0 1 0 29039535 1875968 153 1992294400 134512640 134550932 4288196192 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29337/statm: 458 156 119 10 0 63 0 [startup+0.074166 s] /proc/loadavg: 1.97 2.02 1.68 3/106 29337 /proc/meminfo: memFree=1816440/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1521796 CPUtime=0.06 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 3719 0 1 0 4 2 0 0 18 0 7 0 29039535 1558319104 3161 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 380449 3161 1035 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.101167 s] /proc/loadavg: 1.97 2.02 1.68 3/106 29337 /proc/meminfo: memFree=1816440/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1524180 CPUtime=0.08 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 3957 0 1 0 6 2 0 0 18 0 12 0 29039535 1560760320 3397 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 381045 3397 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300975 s] /proc/loadavg: 1.97 2.02 1.68 3/106 29337 /proc/meminfo: memFree=1816440/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1526376 CPUtime=0.39 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 6087 0 1 0 36 3 0 0 18 0 12 0 29039535 1563009024 5525 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 381594 5525 1358 10 0 378897 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1526376 [startup+0.700973 s] /proc/loadavg: 1.97 2.02 1.68 3/106 29337 /proc/meminfo: memFree=1816440/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1529708 CPUtime=1.07 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 10223 0 1 0 102 5 0 0 18 0 12 0 29039535 1566420992 9661 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 382427 9662 1400 10 0 379730 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 1529708 [startup+1.50197 s] /proc/loadavg: 1.97 2.02 1.68 4/118 29349 /proc/meminfo: memFree=1764204/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1543800 CPUtime=2.39 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 21568 0 1 0 229 10 0 0 18 0 12 0 29039535 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385950 20202 1406 10 0 383253 0 [pid=29337/tid=29339] ppid=29335 vsize=1543800 CPUtime=1.26 /proc/29337/task/29339/stat : 29339 (java) R 29335 29337 29056 0 -1 4202560 15059 0 1 0 119 7 0 0 19 0 12 0 29039537 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4109395982 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 12 0 29039538 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 12 0 29039538 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 29039540 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 29039540 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 29039540 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 29039544 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1543800 CPUtime=0.59 /proc/29337/task/29346/stat : 29346 (java) R 29335 29337 29056 0 -1 4202560 3315 0 0 0 58 1 0 0 18 0 12 0 29039545 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 106251708 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1543800 CPUtime=0.51 /proc/29337/task/29347/stat : 29347 (java) R 29335 29337 29056 0 -1 4202560 2135 0 0 0 51 0 0 0 23 0 12 0 29039545 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 105496178 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 29039545 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1543800 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 29039545 1580851200 20202 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 1543800 [startup+3.10196 s] /proc/loadavg: 1.97 2.02 1.68 2/118 29349 /proc/meminfo: memFree=1686704/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1543328 CPUtime=4.5 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 47841 0 1 0 428 22 0 0 18 0 12 0 29039535 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385832 44866 1415 10 0 383135 0 [pid=29337/tid=29339] ppid=29335 vsize=1543328 CPUtime=2.62 /proc/29337/task/29339/stat : 29339 (java) R 29335 29337 29056 0 -1 4202560 32032 0 1 0 247 15 0 0 20 0 12 0 29039537 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4109680010 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1543328 CPUtime=0.15 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 3589 0 0 0 14 1 0 0 18 0 12 0 29039538 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1543328 CPUtime=0.14 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 4365 0 0 0 12 2 0 0 18 0 12 0 29039538 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 12 0 29039540 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 29039540 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 29039540 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 29039544 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1543328 CPUtime=0.91 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4363 0 0 0 90 1 0 0 16 0 12 0 29039545 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1543328 CPUtime=0.62 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2431 0 0 0 62 0 0 0 18 0 12 0 29039545 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 29039545 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1543328 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 29039545 1580367872 44866 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 1543328 [startup+6.30194 s] /proc/loadavg: 1.89 2.00 1.67 3/120 29351 /proc/meminfo: memFree=1570748/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=9.65 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 69809 0 1 0 932 33 0 0 18 0 16 0 29039535 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 63316 1436 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32060 0 1 0 387 15 0 0 17 0 16 0 29039537 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=0.71 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 13386 0 0 0 66 5 0 0 15 0 16 0 29039538 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=0.72 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 15966 0 0 0 65 7 0 0 16 0 16 0 29039538 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 16 0 29039540 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 16 0 29039540 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 29039540 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=1.39 /proc/29337/task/29346/stat : 29346 (java) R 29335 29337 29056 0 -1 4202560 4404 0 0 0 137 2 0 0 16 0 16 0 29039545 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 102548998 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=1.36 /proc/29337/task/29347/stat : 29347 (java) R 29335 29337 29056 0 -1 4202560 2877 0 0 0 136 0 0 0 16 0 16 0 29039545 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 103148310 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=0.84 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 22 0 0 0 84 0 0 0 17 0 16 0 29040012 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4110236525 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=0.54 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 23 0 0 0 54 0 0 0 18 0 16 0 29040012 1578934272 63316 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.65 Current children cumulated vsize (KiB) 1541928 [startup+12.7019 s] /proc/loadavg: 1.98 2.02 1.68 4/122 29353 /proc/meminfo: memFree=1505268/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=22.3 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 87444 0 1 0 2187 43 0 0 18 0 16 0 29039535 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 79373 1438 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32060 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=1.51 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 24014 0 0 0 140 11 0 0 16 0 16 0 29039538 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=1.51 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 22888 0 0 0 140 11 0 0 15 0 16 0 29039538 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=0.01 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 6 0 0 0 1 0 0 0 16 0 16 0 29039540 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 16 0 29039540 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 29039540 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=1.86 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4430 0 0 0 184 2 0 0 15 0 16 0 29039545 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=1.95 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2919 0 0 0 195 0 0 0 15 0 16 0 29039545 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=6.08 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 26 0 0 0 608 0 0 0 17 0 16 0 29040012 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4110181720 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=5.29 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 36 0 0 0 529 0 0 0 18 0 16 0 29040012 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4110305913 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29352] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29352/stat : 29352 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 29040122 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29353] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29353/stat : 29353 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 16 0 29040123 1578934272 79373 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 22.3 Current children cumulated vsize (KiB) 1541928 [startup+25.5018 s] /proc/loadavg: 2.12 2.05 1.69 3/122 29353 /proc/meminfo: memFree=1500804/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=47.13 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 88045 0 1 0 4669 44 0 0 18 0 16 0 29039535 1578934272 79953 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 79953 1445 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32061 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 79953 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=1.62 ################ # More data... # ################ /proc/29337/statm: 385482 108886 1445 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32087 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=12.66 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 40763 0 0 0 1218 48 0 0 15 0 16 0 29039538 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=12.59 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 37778 0 0 0 1209 50 0 0 16 0 16 0 29039538 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=59.73 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 195524 0 0 0 5873 100 0 0 15 0 16 0 29039540 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=2.4 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4458 0 0 0 238 2 0 0 15 0 16 0 29039545 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=2.16 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2926 0 0 0 216 0 0 0 16 0 16 0 29039545 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=738.32 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 1048 0 0 0 73814 18 0 0 25 0 16 0 29040012 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4110236440 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=735.33 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 910 0 0 0 73520 13 0 0 25 0 16 0 29040012 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4110617500 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29352] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29352/stat : 29352 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 29040122 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29353] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29353/stat : 29353 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 16 0 29040123 1578934272 108886 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1567.29 Current children cumulated vsize (KiB) 1541928 [startup+882.302 s] /proc/loadavg: 1.90 2.03 1.88 3/122 29386 /proc/meminfo: memFree=1377672/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=1679.64 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 340405 0 1 0 167695 269 0 0 18 0 16 0 29039535 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 110099 1445 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32087 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=13.41 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 41114 0 0 0 1292 49 0 0 15 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=13.35 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 38677 0 0 0 1282 53 0 0 16 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=66.37 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 217949 0 0 0 6527 110 0 0 15 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=2.4 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4458 0 0 0 238 2 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=2.16 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2926 0 0 0 216 0 0 0 16 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=790.63 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 1110 0 0 0 79043 20 0 0 22 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110236566 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=787.22 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 965 0 0 0 78706 16 0 0 22 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110620670 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29352] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29352/stat : 29352 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 29040122 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29353] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29353/stat : 29353 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 16 0 29040123 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1679.64 Current children cumulated vsize (KiB) 1541928 [startup+942.302 s] /proc/loadavg: 1.90 2.00 1.88 3/122 29388 /proc/meminfo: memFree=1377548/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=1794.83 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 353328 0 1 0 179203 280 0 0 18 0 16 0 29039535 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 110099 1445 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32089 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=13.83 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 41114 0 0 0 1333 50 0 0 16 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=13.76 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 38677 0 0 0 1321 55 0 0 15 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=70.13 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 230763 0 0 0 6898 115 0 0 15 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=2.4 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4458 0 0 0 238 2 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=2.16 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2926 0 0 0 216 0 0 0 16 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=845.56 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 1165 0 0 0 84535 21 0 0 22 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110180624 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=842.89 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 1015 0 0 0 84271 18 0 0 22 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110621813 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29352] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29352/stat : 29352 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 29040122 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29353] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29353/stat : 29353 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 16 0 29040123 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1794.83 Current children cumulated vsize (KiB) 1541928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+945.002 s] /proc/loadavg: 1.91 2.00 1.88 3/122 29388 /proc/meminfo: memFree=1377548/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=1541928 CPUtime=1800.18 /proc/29337/stat : 29337 (java) S 29335 29337 29056 0 -1 4202496 353331 0 1 0 179738 280 0 0 18 0 16 0 29039535 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 385482 110099 1445 10 0 382785 0 [pid=29337/tid=29339] ppid=29335 vsize=1541928 CPUtime=4.02 /proc/29337/task/29339/stat : 29339 (java) S 29335 29337 29056 0 -1 4202560 32089 0 1 0 387 15 0 0 15 0 16 0 29039537 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29340] ppid=29335 vsize=1541928 CPUtime=13.84 /proc/29337/task/29340/stat : 29340 (java) S 29335 29337 29056 0 -1 4202560 41114 0 0 0 1334 50 0 0 15 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29341] ppid=29335 vsize=1541928 CPUtime=13.77 /proc/29337/task/29341/stat : 29341 (java) S 29335 29337 29056 0 -1 4202560 38677 0 0 0 1322 55 0 0 16 0 16 0 29039538 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29342] ppid=29335 vsize=1541928 CPUtime=70.13 /proc/29337/task/29342/stat : 29342 (java) S 29335 29337 29056 0 -1 4202560 230763 0 0 0 6898 115 0 0 15 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 0 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29343] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29343/stat : 29343 (java) S 29335 29337 29056 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29344] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29344/stat : 29344 (java) S 29335 29337 29056 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29039540 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29345] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29345/stat : 29345 (java) S 29335 29337 29056 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 29039544 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29346] ppid=29335 vsize=1541928 CPUtime=2.4 /proc/29337/task/29346/stat : 29346 (java) S 29335 29337 29056 0 -1 4202560 4458 0 0 0 238 2 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29347] ppid=29335 vsize=1541928 CPUtime=2.16 /proc/29337/task/29347/stat : 29347 (java) S 29335 29337 29056 0 -1 4202560 2926 0 0 0 216 0 0 0 16 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29348] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29348/stat : 29348 (java) S 29335 29337 29056 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 [pid=29337/tid=29349] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29349/stat : 29349 (java) S 29335 29337 29056 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 29039545 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29350] ppid=29335 vsize=1541928 CPUtime=848.2 /proc/29337/task/29350/stat : 29350 (java) R 29335 29337 29056 0 -1 4202560 1166 0 0 0 84799 21 0 0 25 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110180635 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=1541928 CPUtime=845.58 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4202560 1017 0 0 0 84540 18 0 0 25 0 16 0 29040012 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4110412891 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29337/tid=29352] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29352/stat : 29352 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 16 0 29040122 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 1 0 0 0 [pid=29337/tid=29353] ppid=29335 vsize=1541928 CPUtime=0 /proc/29337/task/29353/stat : 29353 (java) S 29335 29337 29056 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 16 0 29040123 1578934272 110099 1992294400 134512640 134550932 4291068176 18446744073709551615 4294960144 0 4 0 16800975 18446604437837423680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 1541928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+945.117 s] /proc/loadavg: 1.91 2.00 1.88 3/122 29388 /proc/meminfo: memFree=1377548/2059040 swapFree=4164948/4192956 [pid=29337] ppid=29335 vsize=0 CPUtime=1800.37 /proc/29337/stat : 29337 (java) Z 29335 29337 29056 0 -1 4203548 353355 0 1 0 179754 283 0 0 17 0 2 0 29039535 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29337/statm: 0 0 0 0 0 0 0 [pid=29337/tid=29351] ppid=29335 vsize=0 CPUtime=845.65 /proc/29337/task/29351/stat : 29351 (java) R 29335 29337 29056 0 -1 4203588 1017 0 0 0 84545 20 0 0 25 0 2 0 29040012 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 945.138 CPU time (s): 1800.4 CPU user time (s): 1797.55 CPU system time (s): 2.85357 CPU usage (%): 190.491 Max. virtual memory (cumulated for all children) (KiB): 1554740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.55 system time used= 2.85357 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 353355 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44788 involuntary context switches= 58659 runsolver used 4.6183 second user time and 10.8054 second system time The end
Begin job on node005 at 2010-06-14 18:52:38 IDJOB=2662379 IDBENCH=2344 IDSOLVER=1166 FILE ID=node005/2662379-1276534358 PBS_JOBID= 11173459 Free space on /tmp= 62556 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662379-1276534358/watcher-2662379-1276534358 -o /tmp/evaluation-result-2662379-1276534358/solver-2662379-1276534358 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662379-1276534358.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b7be4a8ca67db62b7397f891414d40c RANDOM SEED=421644270 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816712 kB Buffers: 32344 kB Cached: 107936 kB SwapCached: 1408 kB Active: 47556 kB Inactive: 125492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816712 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 5968 kB Writeback: 0 kB AnonPages: 31288 kB Mapped: 14640 kB Slab: 47372 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180584 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node005 at 2010-06-14 19:08:25