0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/233607-1168327064/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=225 nbDomainTypes=225 minDomainSize=859 maxDomainSize=957
0.49 => wckTime=0.166 cpuTime=0.13 mem=12M763
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
204.65
204.65 INFO : Stopping converting binary constraints (cpu=200.17, mem = 242M125)
204.95 nbConstraints=3150 nbConvertedConstraints=968 nbConvertConstraintsChecks=793360709 nbExtensionStructures=968
204.95 nbSharedExtensionStructures=0 nbConflictsStructures=968 nbSharedConflictsStructures=0
204.95 nbSharedBinaryRepresentations=573583 nbEvaluationManagers=2182 nbSharedEvaluationManagers=0 maxDegree=28
204.95 maxArity=2
204.95 => wckTime=204.625 cpuTime=200.39 mem=259M283
205.50
205.50 solver IterativeSystematicSolver being built...
205.74 => wckTime=205.417 cpuTime=200.59 mem=268M815
246.79
246.79 preprocessing
246.79 nbConstraintChecks=99121619 nbValidityChecks=37957303 nbPropagations=4145 nbRevisions=67694
246.79 nbUselessRevisions=63943 nbSingletonTests=227 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
246.79 detectedInconsistency=no
246.79 => wckTime=41.041 cpuTime=40.61 mem=268M815
260.97
260.97 search
260.97 run=0 nbConstraintChecks=34397878 nbValidityChecks=25379052 nbPropagations=8439 nbRevisions=133265
260.97 nbUselessRevisions=120275 nbAssignments=287 nbFailedAssignments=122 nbBacktracks=10 nbVisitedNodes=420
260.97 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
260.97 => wckTime=55.223 cpuTime=54.66 mem=272M377
426.09
426.09 search
426.09 run=1 nbConstraintChecks=227934428 nbValidityChecks=1932766724 nbPropagations=231903 nbRevisions=3766240
426.09 nbUselessRevisions=3505554 nbAssignments=12040 nbFailedAssignments=734 nbBacktracks=25 nbVisitedNodes=1811
426.09 nbRestartNogoods=58 mapSize=25 nbInferences=0 nbTooLargeKeys=0
426.09 => wckTime=220.341 cpuTime=218.21 mem=255M205
440.67
440.67 search
440.67 run=2 nbConstraintChecks=264810197 nbValidityChecks=1960463043 nbPropagations=463314 nbRevisions=7494561
440.67 nbUselessRevisions=6970643 nbAssignments=12881 nbFailedAssignments=1388 nbBacktracks=48 nbVisitedNodes=3325
440.67 nbRestartNogoods=59 mapSize=44 nbInferences=0 nbTooLargeKeys=0
440.67 => wckTime=234.925 cpuTime=232.65 mem=257M830
456.84
456.84 search
456.84 run=3 nbConstraintChecks=314398423 nbValidityChecks=2017423962 nbPropagations=704904 nbRevisions=11373418
456.84 nbUselessRevisions=10558799 nbAssignments=13626 nbFailedAssignments=2015 nbBacktracks=81 nbVisitedNodes=4730
456.84 nbRestartNogoods=61 mapSize=77 nbInferences=0 nbTooLargeKeys=0
456.84 => wckTime=251.095 cpuTime=248.66 mem=260M158
468.91
468.91 search
468.91 run=4 nbConstraintChecks=341203223 nbValidityChecks=2066766524 nbPropagations=954131 nbRevisions=15364141
468.91 nbUselessRevisions=14244591 nbAssignments=14398 nbFailedAssignments=2652 nbBacktracks=131 nbVisitedNodes=6182
468.91 nbRestartNogoods=64 mapSize=126 nbInferences=0 nbTooLargeKeys=0
468.91 => wckTime=263.162 cpuTime=260.62 mem=262M94
479.87
479.87 search
479.87 run=5 nbConstraintChecks=368393973 nbValidityChecks=2094955092 nbPropagations=1209618 nbRevisions=19429016
479.87 nbUselessRevisions=17994895 nbAssignments=15198 nbFailedAssignments=3208 nbBacktracks=150 nbVisitedNodes=7557
479.87 nbRestartNogoods=72 mapSize=145 nbInferences=0 nbTooLargeKeys=0
479.87 => wckTime=274.124 cpuTime=271.48 mem=265M373
479.87
479.87 global
479.87 nbConstraintChecks=467515592 nbValidityChecks=2132912395 nbPropagations=1213763 nbRevisions=19496710
479.88 nbUselessRevisions=18058838 nbRestartNogoods=72 solvingWckTime=274.125 solvingCpuTime=271.48 expiredTime=no
479.88 totalExploration=no nbFoundSolutions=1 globalCpuTime=472.13
479.88 => wckTime=479.554 cpuTime=472.08 mem=265M373
479.88
479.88 s SATISFIABLE
479.88 v 179 21 574 0 232 725 299 96 854 644 916 767 482 415 71 547 801 855 296 940 0 725 145 51 200 665 232 454 407 642 810 0 718 285 265 607 583 179 457 490 861 394 668 83 144 0 491 707 154 762 822 235 89 572 256 332 407 801 910 615 256 110 738 1 341 506 281 14 194 430 596 673 297 549 924 320 705 196 508 561 0 274 192 846 124 658 404 810 738 893 701 492 918 332 179 621 259 0 689 169 670 415 856 549 71 182 82 441 399 658 482 563 922 840 0 274 300 925 33 749 753 0 507 190 642 49 670 777 406 328 432 159 285 596 860 577 800 82 164 258 0 880 668 900 413 615 697 323 621 492 503 51 879 330 689 176 473 624 0 415 96 551 774 235 847 101 607 186 159 718 0 441 330 624 354 492 572 829 644 253 462 866 332 142 772 615 21 89 708 194 561 395 818 0 292 63 176 929 139 777 507 894 77 0 371 259 49 413 673 596 0 822 871 101 332 154 457 415 577 51 665 240 503 630 712
479.88 d NODES 15198
479.88 d CHECKS 467515592
479.88
479.88 totalWckTime=479.64 totalCpuTime=472.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-233607-1168327064 -o ROOT/results/node24/solver-233607-1168327064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233607-1168327064/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=18540 CPUtime=0
/proc/25026/stat : 25026 (runsolver) R 25024 25026 24680 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 181101646 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25026/statm: 4635 279 244 17 0 2626 0
[startup+0.102616 s]
/proc/loadavg: 2.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=914988 CPUtime=0.08
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 181101646 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153804978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510659 s]
/proc/loadavg: 2.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915328 CPUtime=0.47
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 7536 0 1 0 44 3 0 0 19 0 8 0 181101646 937295872 7275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228832 7275 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33174 s]
/proc/loadavg: 2.12 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1662528/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=1.3
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 12676 0 1 0 123 7 0 0 25 0 8 0 181101646 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 12414 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.15
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.96892 s]
/proc/loadavg: 2.12 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1660800/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=2.92
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 13363 0 1 0 285 7 0 0 25 0 8 0 181101646 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 13100 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.15
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915632
[startup+6.26527 s]
/proc/loadavg: 2.11 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1655360/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=6.18
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 14599 0 1 0 610 8 0 0 25 0 8 0 181101646 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 14335 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.16
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 412 0 0 0 16 0 0 0 17 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632
[startup+12.738 s]
/proc/loadavg: 2.10 2.24 2.29 3/93 25034
/proc/meminfo: memFree=1626880/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=12.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 21479 0 1 0 1249 11 0 0 25 0 8 0 181101646 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 21214 2178 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.12
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 4882 0 0 0 11 1 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.16
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915632
[startup+25.6104 s]
/proc/loadavg: 2.08 2.23 2.28 3/93 25034
/proc/meminfo: memFree=1626880/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=25.35
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 21490 0 1 0 2524 11 0 0 25 0 8 0 181101646 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 21225 2178 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.12
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 4882 0 0 0 11 1 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.17
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915632
[startup+51.2211 s]
/proc/loadavg: 2.05 2.21 2.27 4/93 25034
/proc/meminfo: memFree=1588288/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=50.74
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 31111 0 1 0 5059 15 0 0 25 0 8 0 181101646 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 30844 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.43
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 14492 0 0 0 39 4 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.17
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 429 0 0 0 17 0 0 0 16 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915632
[startup+102.454 s]
/proc/loadavg: 2.02 2.17 2.26 4/93 25036
/proc/meminfo: memFree=1552312/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=101.54
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 40041 0 1 0 10133 21 0 0 25 0 8 0 181101646 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 39773 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.79
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 23420 0 0 0 71 8 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.18
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 430 0 0 0 18 0 0 0 17 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915632
[startup+162.521 s]
/proc/loadavg: 2.10 2.17 2.25 3/93 25036
/proc/meminfo: memFree=1484480/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=161.06
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 57012 0 1 0 16076 30 0 0 25 0 8 0 181101646 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 56740 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=1.46
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 40382 0 0 0 132 14 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.2
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 435 0 0 0 19 1 0 0 17 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915632
[startup+222.586 s]
/proc/loadavg: 2.04 2.14 2.23 3/93 25036
/proc/meminfo: memFree=1410816/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=220.58
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75760 0 1 0 22018 40 0 0 25 0 8 0 181101646 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75477 2545 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.3
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 491 0 0 0 29 1 0 0 15 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915632
[startup+282.679 s]
/proc/loadavg: 2.01 2.11 2.22 3/93 25036
/proc/meminfo: memFree=1410688/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=280.13
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75796 0 1 0 27971 42 0 0 25 0 8 0 181101646 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75500 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 517 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 915632
[startup+342.687 s]
/proc/loadavg: 2.00 2.09 2.20 3/93 25036
/proc/meminfo: memFree=1410624/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=339.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75800 0 1 0 33917 43 0 0 25 0 8 0 181101646 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75502 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 519 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (KiB) 915632
[startup+402.691 s]
/proc/loadavg: 2.06 2.08 2.19 3/93 25036
/proc/meminfo: memFree=1410496/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=399.06
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75802 0 1 0 39862 44 0 0 25 0 8 0 181101646 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75503 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.06
Current children cumulated vsize (KiB) 915632
[startup+462.782 s]
/proc/loadavg: 2.05 2.08 2.18 3/93 25036
/proc/meminfo: memFree=1393024/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=458.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 80160 0 1 0 45814 46 0 0 25 0 8 0 181101646 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 79856 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.82
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 62976 0 0 0 259 23 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.36
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 532 0 0 0 34 2 0 0 16 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.6
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 479.941
CPU time (s): 475.606
CPU user time (s): 475.084
CPU system time (s): 0.52192
CPU usage (%): 99.0968
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.084
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80170
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= 11367
involuntary context switches= 28286
runsolver used 0.632903 s user time and 1.50377 s system time
The end
Begin job on node24 on Tue Jan 9 07:17:44 UTC 2007
IDJOB= 233607
IDBENCH= 6620
FILE ID= node24/233607-1168327064
PBS_JOBID= 3503008
Free space on /tmp= 66473 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-100-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233607-1168327064/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-233607-1168327064 -o ROOT/results/node24/solver-233607-1168327064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233607-1168327064/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d022748892add36e7fd0a0a2d512e1b7
RANDOM SEED= 911372102
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.234
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 : 5914.62
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.234
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1703960 kB
Buffers: 9556 kB
Cached: 226268 kB
SwapCached: 0 kB
Active: 146464 kB
Inactive: 156088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 89140 kB
Slab: 34156 kB
Committed_AS: 3895444 kB
PageTables: 2332 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66473 MiB
End job on node24 on Tue Jan 9 07:25:44 UTC 2007