Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1802.36 | 1793.46 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3.opb |
MD5SUM | d3086c0e0af196eedd939c84273a060e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6587681631937 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4230134768458 |
Optimality of the best value was proved | NO |
Number of variables | 18384 |
Total number of constraints | 1752 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1704 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 11424 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 144211309205274864 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 144211309205274864 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.13/2.74 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.13/2.74 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.13/2.74 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.13/2.76 c no version file found!!! 0.13/2.76 c sun.arch.data.model 32 0.13/2.76 c java.version 1.6.0 0.13/2.76 c os.name Linux 0.13/2.76 c os.version 2.6.9-34.ELsmp 0.13/2.76 c os.arch i386 0.13/2.76 c Free memory 1651659224 0.13/2.76 c Max memory 1654456320 0.13/2.76 c Total memory 1654456320 0.13/2.76 c Number of processors 2 0.20/2.86 --- Begin Solver configuration --- 0.20/2.86 c Stops conflict analysis at the first Unique Implication Point 0.20/2.86 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/2.86 c Learn all clauses as in MiniSAT 0.20/2.86 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/2.86 c VSIDS like heuristics from MiniSAT using a heap 0.20/2.86 c No reason simplification 0.20/2.86 c --- End Solver configuration --- 0.20/2.86 c solving /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb 0.20/2.86 c reading problem ... 2.69/4.45 c ... done. Wall clock time 1.593s. 2.69/4.45 c CPU time (experimental) 1.09s. 2.69/4.45 c #vars 18384 2.69/4.45 c #constraints 1800 5.57/6.71 c SATISFIABLE 5.57/6.71 c OPTIMIZING... 5.57/6.71 c Got one! Elapsed wall clock time (in seconds):3.853 5.78/6.92 o 7195676471728 18.66/19.67 c Got one! Elapsed wall clock time (in seconds):16.806 18.88/19.85 o 7168578570219 579.63/576.35 c cleaning 209124 clauses out of 418336 for limit 1.510323684938013E-4 584.63/581.33 c cleaning 104851 clauses out of 209711 for limit 4.963584693466463E-4 588.77/585.40 c cleaning 53151 clauses out of 106362 for limit 0.004398117596329158 589.97/586.68 c cleaning 26806 clauses out of 53709 for limit 0.014334849227831967 591.43/588.08 c cleaning 13624 clauses out of 27404 for limit 0.04637849331957969 592.63/589.27 c cleaning 7063 clauses out of 14282 for limit 0.14705049014923652 593.83/590.41 c cleaning 3778 clauses out of 7717 for limit 0.44791320731994005 595.03/591.64 c cleaning 2143 clauses out of 4438 for limit 1.2831470977012525 597.17/593.78 c cleaning 1567 clauses out of 3295 for limit 4.700240701858542 598.36/594.91 c cleaning 1035 clauses out of 2228 for limit 11.463473157864678 599.36/595.98 c cleaning 770 clauses out of 1693 for limit 24.87885184141774 600.49/597.07 c cleaning 635 clauses out of 1424 for limit 48.82786120329697 601.59/598.18 c cleaning 571 clauses out of 1289 for limit 88.9571089859351 602.69/599.24 c cleaning 528 clauses out of 1219 for limit 155.28169780770486 603.79/600.32 c cleaning 520 clauses out of 1189 for limit 262.01670769673285 606.01/602.57 c cleaning 759 clauses out of 1669 for limit 507.65220545370573 607.11/603.69 c cleaning 630 clauses out of 1411 for limit 991.2563877948476 608.31/604.87 c cleaning 566 clauses out of 1280 for limit 1800.2151751813187 609.54/606.02 c cleaning 532 clauses out of 1214 for limit 3130.196404456318 610.64/607.12 c cleaning 515 clauses out of 1182 for limit 5301.865247084534 611.94/608.41 c cleaning 509 clauses out of 1168 for limit 8857.144254531759 613.04/609.56 c cleaning 508 clauses out of 1158 for limit 14718.019589207906 615.56/612.05 c cleaning 755 clauses out of 1650 for limit 28092.200914649147 616.76/613.21 c cleaning 628 clauses out of 1395 for limit 54796.31952389846 618.09/614.52 c cleaning 559 clauses out of 1267 for limit 99495.82768308114 619.19/615.63 c cleaning 531 clauses out of 1208 for limit 172095.86549391042 620.49/616.97 c cleaning 520 clauses out of 1178 for limit 291328.1690562585 623.21/619.62 c cleaning 759 clauses out of 1657 for limit 562707.2667966824 624.51/620.95 c cleaning 626 clauses out of 1399 for limit 1100215.3918604695 626.04/622.43 c cleaning 566 clauses out of 1272 for limit 1993561.7611865008 627.44/623.80 c cleaning 531 clauses out of 1207 for limit 3468166.466786253 628.74/625.15 c cleaning 587 clauses out of 1177 for limit 5871122.484723434 630.06/626.48 c cleaning 543 clauses out of 1089 for limit 1.0454207096075345E7 631.26/627.65 c cleaning 523 clauses out of 1046 for limit 1.7949120839209743E7 632.46/628.85 c cleaning 439 clauses out of 1023 for limit 3.0266006374565702E7 633.68/630.06 c cleaning 466 clauses out of 1084 for limit 4.710395329736287E7 634.88/631.27 c cleaning 485 clauses out of 1118 for limit 7.531833717224577E7 636.08/632.47 c cleaning 494 clauses out of 1133 for limit 1.2256557417879695E8 637.30/633.65 c cleaning 491 clauses out of 1139 for limit 2.0106226788459578E8 638.40/634.78 c cleaning 575 clauses out of 1151 for limit 3.291079699517195E8 639.80/636.13 c cleaning 537 clauses out of 1075 for limit 5.805326288208716E8 640.92/637.29 c cleaning 518 clauses out of 1036 for limit 9.914303432242438E8 642.12/638.46 c cleaning 452 clauses out of 1017 for limit 1.6638814665290477E9 643.42/639.79 c cleaning 454 clauses out of 1065 for limit 2.6202915507692676E9 644.64/640.99 c cleaning 555 clauses out of 1111 for limit 4.142295263979877E9 645.94/642.25 c cleaning 528 clauses out of 1057 for limit 7.187378608236632E9 647.14/643.43 c cleaning 445 clauses out of 1029 for limit 1.21754780552982E10 648.26/644.55 c cleaning 542 clauses out of 1084 for limit 1.9060224069156815E10 649.36/645.67 c cleaning 484 clauses out of 1042 for limit 3.269982677944132E10 650.46/646.78 c cleaning 454 clauses out of 1058 for limit 5.3110866915070274E10 651.59/647.85 c cleaning 474 clauses out of 1103 for limit 8.392955507477818E10 652.69/649.00 c cleaning 486 clauses out of 1130 for limit 1.3523913632861444E11 653.89/650.15 c cleaning 496 clauses out of 1144 for limit 2.2029807114026883E11 655.01/651.29 c cleaning 494 clauses out of 1148 for limit 3.6203513315008765E11 656.21/652.42 c cleaning 578 clauses out of 1156 for limit 5.941001780884579E11 657.31/653.53 c cleaning 535 clauses out of 1076 for limit 1.0504904504454077E12 658.53/654.70 c cleaning 439 clauses out of 1040 for limit 1.7905745854839116E12 659.73/655.90 c cleaning 551 clauses out of 1102 for limit 2.7895526301758374E12 660.83/657.03 c cleaning 525 clauses out of 1051 for limit 4.823578215462866E12 661.95/658.13 c cleaning 513 clauses out of 1026 for limit 8.148554364535764E12 663.15/659.30 c cleaning 468 clauses out of 1012 for limit 1.3610334246826123E13 664.25/660.41 c cleaning 450 clauses out of 1046 for limit 2.175918022855089E13 665.37/661.57 c cleaning 472 clauses out of 1094 for limit 3.4240788366307414E13 666.47/662.67 c cleaning 561 clauses out of 1122 for limit 5.505846603336241E13 667.57/663.79 c cleaning 457 clauses out of 1061 for limit 9.601906386469517E13 668.79/664.93 c cleaning 552 clauses out of 1104 for limit 1.521807306936194E14 669.89/666.05 c cleaning 526 clauses out of 1052 for limit 2.633715657315833E14 671.01/667.18 c cleaning 513 clauses out of 1026 for limit 4.453414836791129E14 672.01/668.17 c cleaning 500 clauses out of 1013 for limit 7.4385271773997596E-6 672.91/669.09 c cleaning 492 clauses out of 1013 for limit 1.2267126423894788E-5 673.91/670.07 c cleaning 502 clauses out of 1023 for limit 2.007250446999688E-5 674.94/671.04 c cleaning 503 clauses out of 1020 for limit 3.3166405062442986E-5 675.84/671.92 c cleaning 498 clauses out of 1016 for limit 5.485626564174756E-5 676.84/672.98 c cleaning 503 clauses out of 1018 for limit 9.028758910854431E-5 677.66/673.72 c cleaning 504 clauses out of 1016 for limit 1.4933875463034335E-4 678.26/674.33 c cleaning 485 clauses out of 1012 for limit 2.4725302165975587E-4 678.86/674.94 c cleaning 489 clauses out of 1026 for limit 4.017872348934393E-4 679.58/675.62 c cleaning 494 clauses out of 1037 for limit 6.555723470455738E-4 680.38/676.43 c cleaning 466 clauses out of 1043 for limit 0.001074907173270645 681.17/677.22 c cleaning 477 clauses out of 1078 for limit 0.00171682847365293 681.90/677.94 c cleaning 488 clauses out of 1100 for limit 0.002771879575502971 682.61/678.65 c cleaning 491 clauses out of 1113 for limit 0.004522330289824289 683.40/679.40 c cleaning 501 clauses out of 1122 for limit 0.0073981046855034005 684.20/680.22 c cleaning 501 clauses out of 1121 for limit 0.012211347881394967 684.91/680.96 c cleaning 491 clauses out of 1120 for limit 0.02015612674904685 685.60/681.69 c cleaning 501 clauses out of 1128 for limit 0.03297139930310383 686.30/682.32 c cleaning 496 clauses out of 1127 for limit 0.05442249517859277 687.04/683.06 c cleaning 528 clauses out of 1131 for limit 0.08943255693488379 687.74/683.72 c cleaning 513 clauses out of 1104 for limit 0.15124449564526402 687.84/683.83 c cleaning 503 clauses out of 1090 for limit 0.2523733709901994 689.04/685.02 c cleaning 491 clauses out of 1088 for limit 0.41737989941093656 689.84/685.82 c cleaning 490 clauses out of 1096 for limit 0.682607799922983 690.67/686.63 c cleaning 517 clauses out of 1106 for limit 1.1155333556627183 691.47/687.41 c cleaning 484 clauses out of 1089 for limit 1.8683820872162524 692.27/688.22 c cleaning 497 clauses out of 1106 for limit 3.0368884964071676 693.56/689.55 c cleaning 513 clauses out of 1112 for limit 4.996186120180164 694.26/690.25 c Got one! Elapsed wall clock time (in seconds):687.389 694.46/690.45 o 7168578395353 801.23/796.36 c Got one! Elapsed wall clock time (in seconds):793.502 801.42/796.55 o 7166826189864
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node87/watcher-354463-1176710636 -o ROOT/results/node87/solver-354463-1176710636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.86 1.21 2/67 7992 /proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=18572 CPUtime=0 /proc/7992/stat : 7992 (runsolver) D 7990 7992 7927 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 147031656 19017728 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 230047675415 0 2147483391 4096 24578 18446744072099917094 0 0 17 1 0 0 /proc/7992/statm: 4643 292 257 24 0 2626 0 [startup+0.0702251 s] /proc/loadavg: 1.83 1.86 1.21 2/67 7992 /proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=12064 CPUtime=0 /proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 363 0 4 0 0 0 0 0 18 0 1 0 147031656 12353536 174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211071 0 0 4096 0 18446744071563481621 0 0 17 0 0 0 /proc/7992/statm: 3016 174 132 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12064 [startup+0.101224 s] /proc/loadavg: 1.83 1.86 1.21 2/67 7992 /proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=12064 CPUtime=0 /proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 363 0 4 0 0 0 0 0 18 0 1 0 147031656 12353536 174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211071 0 0 4096 0 18446744071563481621 0 0 17 0 0 0 /proc/7992/statm: 3016 174 132 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12064 [startup+0.30125 s] /proc/loadavg: 1.83 1.86 1.21 2/67 7992 /proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=12064 CPUtime=0 /proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 366 0 5 0 0 0 0 0 18 0 1 0 147031656 12353536 178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211594 0 0 4096 0 18446744071563481621 0 0 17 0 0 0 /proc/7992/statm: 3016 178 132 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12064 [startup+0.701298 s] /proc/loadavg: 1.83 1.86 1.21 2/67 7992 /proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1775956 CPUtime=0.01 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 2661 0 23 0 0 1 0 0 18 0 4 0 147031656 1818578944 2434 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 443989 2434 481 9 0 441624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1775956 [startup+1.50238 s] /proc/loadavg: 1.83 1.86 1.21 1/74 7999 /proc/meminfo: memFree=1527160/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1777848 CPUtime=0.08 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 3771 0 60 0 5 3 0 0 18 0 7 0 147031656 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 444462 3576 1090 9 0 442097 0 [pid=7992/tid=7994] ppid=7990 vsize=1777848 CPUtime=0.07 /proc/7992/task/7994/stat : 7994 (java) D 7990 7992 7927 0 -1 64 3079 0 39 0 5 2 0 0 18 0 7 0 147031715 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 18446744071563481621 0 0 -1 0 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1777848 CPUtime=0 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 147031723 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1777848 CPUtime=0 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 7 0 147031723 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1777848 CPUtime=0 /proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 7 0 147031731 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 0 0 0 -1 0 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1777848 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 7 0 147031736 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1777848 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 147031736 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777848 [startup+3.10257 s] /proc/loadavg: 1.83 1.86 1.21 1/79 8004 /proc/meminfo: memFree=1524624/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1783152 CPUtime=0.54 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 5815 0 60 0 49 5 0 0 18 0 12 0 147031656 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 445788 5592 1297 9 0 443399 0 [pid=7992/tid=7994] ppid=7990 vsize=1783152 CPUtime=0.36 /proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 4467 0 39 0 32 4 0 0 17 0 12 0 147031715 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 147031723 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 147031723 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 147031731 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 12 0 147031736 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 12 0 147031736 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1783152 CPUtime=0.09 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 397 0 0 0 9 0 0 0 16 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1783152 CPUtime=0.07 /proc/7992/task/8002/stat : 8002 (java) R 7990 7992 7927 0 -1 64 257 0 0 0 7 0 0 0 16 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104790002 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1783152 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 1783152 [startup+6.30294 s] /proc/loadavg: 1.93 1.88 1.22 3/80 8005 /proc/meminfo: memFree=1435976/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1795468 CPUtime=5.18 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 38854 0 60 0 499 19 0 0 18 0 13 0 147031656 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448867 33347 1319 9 0 446478 0 [pid=7992/tid=7994] ppid=7990 vsize=1795468 CPUtime=2.68 /proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 29085 0 39 0 254 14 0 0 25 0 13 0 147031715 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109956217 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 147031723 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 147031723 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 147031731 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 13 0 147031736 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 147031736 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1795468 CPUtime=1.39 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 4998 0 0 0 137 2 0 0 16 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1795468 CPUtime=1.08 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4072 0 0 0 107 1 0 0 16 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8005] ppid=7990 vsize=1795468 CPUtime=0 /proc/7992/task/8005/stat : 8005 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 147032138 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 1795468 [startup+12.7016 s] /proc/loadavg: 1.85 1.86 1.22 2/80 8006 /proc/meminfo: memFree=1362376/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=11.68 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 50096 0 60 0 1145 23 0 0 18 0 13 0 147031656 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 44316 1329 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=8.99 /proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 37693 0 39 0 882 17 0 0 25 0 13 0 147031715 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109705131 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=0.04 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 1339 0 0 0 4 0 0 0 16 0 13 0 147031723 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=0.04 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 1281 0 0 0 4 0 0 0 16 0 13 0 147031723 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 147031731 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 147031736 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.45 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5005 0 0 0 143 2 0 0 16 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.11 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4072 0 0 0 110 1 0 0 17 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8006] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8006/stat : 8006 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 147032376 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.68 Current children cumulated vsize (KiB) 1794508 [startup+25.5021 s] /proc/loadavg: 1.66 1.82 1.22 2/80 8007 /proc/meminfo: memFree=1338560/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=24.58 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 56106 0 60 0 2432 26 0 0 18 0 13 0 147031656 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 50289 1329 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=21.7 /proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 37696 0 39 0 2153 17 0 0 25 0 13 0 147031715 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109967071 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=0.1 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 3310 0 0 0 9 1 0 0 16 0 13 0 147031723 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=0.1 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 5307 0 0 0 8 2 0 0 16 0 13 0 147031723 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 147031731 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 147031736 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.48 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5008 0 0 0 146 2 0 0 17 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.14 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4075 0 0 0 113 1 0 0 16 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 1794508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.2 s] /proc/loadavg: 1.00 1.01 1.06 2/80 8009 /proc/meminfo: memFree=17200/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=1800.09 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897294 0 60 0 179513 496 0 0 18 0 13 0 147031656 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 399559 1334 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75 /proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38169 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=119.16 /proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 11876 40 0 0 25 0 13 0 147031731 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105333995 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1794508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1791.8 s] /proc/loadavg: 1.00 1.01 1.06 2/81 8010 /proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=1800.69 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897299 0 60 0 179573 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 399562 1334 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75 /proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38169 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=119.76 /proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 11936 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104904283 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 1794508 [startup+1792.6 s] /proc/loadavg: 1.00 1.01 1.06 2/81 8010 /proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=1801.48 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897300 0 60 0 179652 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 399562 1334 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75 /proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38170 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=120.56 /proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 12016 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070472 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1801.48 Current children cumulated vsize (KiB) 1794508 [startup+1793.01 s] /proc/loadavg: 1.00 1.01 1.06 2/81 8010 /proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=1794508 CPUtime=1801.89 /proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897301 0 60 0 179693 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 448627 399562 1334 9 0 446238 0 [pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75 /proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38171 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65 /proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=120.96 /proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 12056 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105332840 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59 /proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22 /proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0 /proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1801.89 Current children cumulated vsize (KiB) 1794508 [startup+1793.4 s] /proc/loadavg: 1.00 1.01 1.06 2/81 8010 /proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564 [pid=7992] ppid=7990 vsize=0 CPUtime=1802.28 /proc/7992/stat : 7992 (java) Z 7990 7992 7927 0 -1 1036 897301 0 60 0 179714 514 0 0 16 0 2 0 147031656 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7992/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1793.46 CPU time (s): 1802.36 CPU user time (s): 1797.15 CPU system time (s): 5.20521 CPU usage (%): 100.496 Max. virtual memory (cumulated for all children) (KiB): 1796776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.15 system time used= 5.20521 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 897301 page faults= 60 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39942 involuntary context switches= 15416 runsolver used 1.79473 second user time and 4.76128 second system time The end
Begin job on node87 on Mon Apr 16 08:03:56 UTC 2007 IDJOB= 354463 IDBENCH= 2554 IDSOLVER= 159 FILE ID= node87/354463-1176710636 PBS_JOBID= 4560093 Free space on /tmp= 66648 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-354463-1176710636 -o ROOT/results/node87/solver-354463-1176710636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= d3086c0e0af196eedd939c84273a060e RANDOM SEED= 146991375 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node87.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux /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.245 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.18 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.245 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1545800 kB Buffers: 31484 kB Cached: 336056 kB SwapCached: 0 kB Active: 123516 kB Inactive: 259656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1545800 kB SwapTotal: 4096564 kB SwapFree: 4096420 kB Dirty: 4812 kB Writeback: 0 kB Mapped: 25856 kB Slab: 113372 kB Committed_AS: 131056 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66648 MiB End job on node87 on Mon Apr 16 08:33:50 UTC 2007