0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/209930-1168074991/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.39 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.65 nbConstraints=600 nbConflictsStructures=1 nbSharedConflictsStructures=599 nbSharedBinaryRepresentations=0
0.65 nbEvaluationManagers=1 nbSharedEvaluationManagers=599 maxDegree=48 maxArity=3
0.65 => wckTime=0.36 cpuTime=0.27 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.577 cpuTime=0.42 mem=17M596
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.013 cpuTime=0.0 mem=17M596
1.03
1.03 search
1.03 run=0 nbConstraintChecks=114319 nbValidityChecks=64817 nbPropagations=758 nbRevisions=21264
1.03 nbUselessRevisions=19576 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
1.03 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.152 cpuTime=0.12 mem=17M596
1.16
1.16 search
1.16 run=1 nbConstraintChecks=263875 nbValidityChecks=164969 nbPropagations=2481 nbRevisions=73354
1.16 nbUselessRevisions=67541 nbAssignments=73 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=134
1.16 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.285 cpuTime=0.23 mem=17M596
1.30
1.30 search
1.30 run=2 nbConstraintChecks=476356 nbValidityChecks=312781 nbPropagations=5577 nbRevisions=171023
1.30 nbUselessRevisions=157502 nbAssignments=136 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=251
1.30 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.424 cpuTime=0.38 mem=17M596
1.49
1.49 search
1.49 run=3 nbConstraintChecks=777676 nbValidityChecks=527716 nbPropagations=10606 nbRevisions=334761
1.49 nbUselessRevisions=308406 nbAssignments=226 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=419
1.49 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.621 cpuTime=0.57 mem=17M596
1.78
1.78 search
1.78 run=4 nbConstraintChecks=1218558 nbValidityChecks=842851 nbPropagations=18443 nbRevisions=597050
1.78 nbUselessRevisions=550136 nbAssignments=361 nbFailedAssignments=208 nbBacktracks=132 nbVisitedNodes=674
1.78 nbRestartNogoods=15 mapSize=132 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.906 cpuTime=0.86 mem=17M596
2.22
2.22 search
2.22 run=5 nbConstraintChecks=1911993 nbValidityChecks=1310474 nbPropagations=30412 nbRevisions=1005507
2.22 nbUselessRevisions=926649 nbAssignments=559 nbFailedAssignments=326 nbBacktracks=207 nbVisitedNodes=1049
2.22 nbRestartNogoods=17 mapSize=207 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=1.349 cpuTime=1.3 mem=17M596
2.88
2.88 search
2.88 run=6 nbConstraintChecks=2951039 nbValidityChecks=2008613 nbPropagations=48413 nbRevisions=1632399
2.88 nbUselessRevisions=1504745 nbAssignments=853 nbFailedAssignments=502 nbBacktracks=321 nbVisitedNodes=1607
2.88 nbRestartNogoods=26 mapSize=321 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=2.005 cpuTime=1.95 mem=17M596
3.82
3.82 search
3.82 run=7 nbConstraintChecks=4444727 nbValidityChecks=3044811 nbPropagations=75314 nbRevisions=2581178
3.82 nbUselessRevisions=2380335 nbAssignments=1280 nbFailedAssignments=754 nbBacktracks=491 nbVisitedNodes=2412
3.82 nbRestartNogoods=32 mapSize=491 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=2.945 cpuTime=2.89 mem=17M596
5.25
5.25 search
5.25 run=8 nbConstraintChecks=6694792 nbValidityChecks=4587363 nbPropagations=115560 nbRevisions=4012872
5.25 nbUselessRevisions=3701268 nbAssignments=1935 nbFailedAssignments=1148 nbBacktracks=747 nbVisitedNodes=3658
5.25 nbRestartNogoods=36 mapSize=747 nbInferences=0 nbTooLargeKeys=0
5.25 => wckTime=4.373 cpuTime=4.29 mem=18M571
6.91
6.91 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=18M571)
7.35
7.35 search
7.35 run=9 nbConstraintChecks=10079176 nbValidityChecks=6890284 nbPropagations=175666 nbRevisions=6165883
7.35 nbUselessRevisions=5687970 nbAssignments=2905 nbFailedAssignments=1729 nbBacktracks=1131 nbVisitedNodes=5503
7.35 nbRestartNogoods=45
7.35 => wckTime=6.476 cpuTime=6.39 mem=18M571
10.47
10.47 search
10.47 run=10 nbConstraintChecks=15094074 nbValidityChecks=10324525 nbPropagations=265340 nbRevisions=9395713
10.47 nbUselessRevisions=8667805 nbAssignments=4363 nbFailedAssignments=2609 nbBacktracks=1707 nbVisitedNodes=8281
10.47 nbRestartNogoods=55
10.47 => wckTime=9.593 cpuTime=9.5 mem=18M571
15.15
15.15 search
15.15 run=11 nbConstraintChecks=22578276 nbValidityChecks=15498165 nbPropagations=399419 nbRevisions=14241316
15.15 nbUselessRevisions=13138940 nbAssignments=6534 nbFailedAssignments=3911 nbBacktracks=2571 nbVisitedNodes=12405
15.15 nbRestartNogoods=59
15.15 => wckTime=14.276 cpuTime=14.18 mem=18M571
22.20
22.20 search
22.20 run=12 nbConstraintChecks=33958330 nbValidityChecks=23216285 nbPropagations=600105 nbRevisions=21501238
22.20 nbUselessRevisions=19835775 nbAssignments=9820 nbFailedAssignments=5895 nbBacktracks=3869 nbVisitedNodes=18667
22.20 nbRestartNogoods=70
22.20 => wckTime=21.332 cpuTime=21.23 mem=18M571
32.75
32.75 search
32.75 run=13 nbConstraintChecks=51019312 nbValidityChecks=34841879 nbPropagations=900604 nbRevisions=32409215
32.75 nbUselessRevisions=29897832 nbAssignments=14747 nbFailedAssignments=8871 nbBacktracks=5816 nbVisitedNodes=28058
32.75 nbRestartNogoods=76
32.75 => wckTime=31.873 cpuTime=31.77 mem=18M571
48.53
48.53 search
48.53 run=14 nbConstraintChecks=76503184 nbValidityChecks=52215751 nbPropagations=1350725 nbRevisions=48762115
48.53 nbUselessRevisions=44981055 nbAssignments=22128 nbFailedAssignments=13328 nbBacktracks=8735
48.53 nbVisitedNodes=42127 nbRestartNogoods=86
48.53 => wckTime=47.66 cpuTime=47.55 mem=18M571
71.58
71.58 search
71.58 run=15 nbConstraintChecks=113494472 nbValidityChecks=78143444 nbPropagations=2023732 nbRevisions=73194983
71.58 nbUselessRevisions=67525375 nbAssignments=32858 nbFailedAssignments=19675 nbBacktracks=13115
71.58 nbVisitedNodes=62479 nbRestartNogoods=100
71.58 => wckTime=70.71 cpuTime=70.59 mem=18M571
106.50
106.50 search
106.50 run=16 nbConstraintChecks=169837292 nbValidityChecks=117456373 nbPropagations=3031645 nbRevisions=109834239
106.50 nbUselessRevisions=101329572 nbAssignments=49202 nbFailedAssignments=29446 nbBacktracks=19683
106.50 nbVisitedNodes=93538 nbRestartNogoods=114
106.50 => wckTime=105.627 cpuTime=105.49 mem=18M571
159.74
159.74 search
159.74 run=17 nbConstraintChecks=255763434 nbValidityChecks=176054956 nbPropagations=4543248 nbRevisions=164833056
159.74 nbUselessRevisions=152072108 nbAssignments=73947 nbFailedAssignments=44334 nbBacktracks=29535
159.74 nbVisitedNodes=140673 nbRestartNogoods=125
159.74 => wckTime=158.863 cpuTime=158.72 mem=18M571
238.27
238.27 search
238.27 run=18 nbConstraintChecks=382068535 nbValidityChecks=263604645 nbPropagations=6807500 nbRevisions=247188286
238.27 nbUselessRevisions=228081217 nbAssignments=110284 nbFailedAssignments=65889 nbBacktracks=44313
238.27 nbVisitedNodes=209697 nbRestartNogoods=136
238.27 => wckTime=237.401 cpuTime=237.23 mem=18M571
353.18
353.18 search
353.18 run=19 nbConstraintChecks=567037915 nbValidityChecks=392593406 nbPropagations=10185247 nbRevisions=369794705
353.18 nbUselessRevisions=341428803 nbAssignments=160186 nbFailedAssignments=93618 nbBacktracks=66481
353.18 nbVisitedNodes=303929 nbRestartNogoods=144
353.18 => wckTime=352.303 cpuTime=352.11 mem=18M571
467.04
467.04 search
467.04 run=20 nbConstraintChecks=750187571 nbValidityChecks=521674346 nbPropagations=14677183 nbRevisions=532586045
467.04 nbUselessRevisions=492100001 nbAssignments=209531 nbFailedAssignments=120726 nbBacktracks=88719
467.04 nbVisitedNodes=396979 nbRestartNogoods=155
467.04 => wckTime=466.168 cpuTime=465.94 mem=18M571
467.04
467.04 global
467.04 nbConstraintChecks=750187571 nbValidityChecks=521674346 nbPropagations=14677233 nbRevisions=532586045
467.04 nbUselessRevisions=492100001 nbRestartNogoods=155 solvingWckTime=466.169 solvingCpuTime=465.94 expiredTime=no
467.04 totalExploration=yes nbFoundSolutions=0 globalCpuTime=466.41
467.04 => wckTime=466.75 cpuTime=466.36 mem=18M571
467.05
467.05 s UNSATISFIABLE
467.05 d NODES 209531
467.05 d CHECKS 750187571
467.05
467.05 totalWckTime=466.826 totalCpuTime=466.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-209930-1168074991 -o ROOT/results/node41/solver-209930-1168074991 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209930-1168074991/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: 0.60 0.89 0.96 3/65 7047
/proc/meminfo: memFree=1664104/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=1784 CPUtime=0
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 325 0 0 0 0 0 0 0 20 0 1 0 155898721 1826816 120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 134549483 0 0 4096 0 0 0 0 17 0 0 0
/proc/7046/statm: 446 124 91 14 0 91 0
[startup+0.103247 s]
/proc/loadavg: 0.60 0.89 0.96 3/65 7047
/proc/meminfo: memFree=1664104/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=914988 CPUtime=0.08
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 3077 0 1 0 7 1 0 0 16 0 8 0 155898721 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155518275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7046/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515281 s]
/proc/loadavg: 0.60 0.89 0.96 3/65 7047
/proc/meminfo: memFree=1664104/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915328 CPUtime=0.51
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 6800 0 1 0 46 5 0 0 16 0 8 0 155898721 937295872 6539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7046/statm: 228832 6539 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.33735 s]
/proc/loadavg: 0.64 0.89 0.96 2/72 7054
/proc/meminfo: memFree=1637488/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=1.33
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9393 0 1 0 124 9 0 0 17 0 8 0 155898721 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9130 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 15 0 8 0 155898724 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.22
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 155898727 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915556
[startup+2.97349 s]
/proc/loadavg: 0.64 0.89 0.96 2/72 7054
/proc/meminfo: memFree=1637360/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=2.97
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9422 0 1 0 287 10 0 0 17 0 8 0 155898721 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9158 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 17 0 8 0 155898724 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.22
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 155898727 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915556
[startup+6.25377 s]
/proc/loadavg: 0.64 0.89 0.96 2/72 7054
/proc/meminfo: memFree=1637168/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=6.25
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9474 0 1 0 615 10 0 0 18 0 8 0 155898721 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073695463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9207 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.26
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 412 0 0 0 24 2 0 0 16 0 8 0 155898727 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915556
[startup+12.7343 s]
/proc/loadavg: 0.69 0.90 0.96 2/72 7054
/proc/meminfo: memFree=1637040/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=12.72
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9490 0 1 0 1262 10 0 0 21 0 8 0 155898721 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073902760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9222 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.26
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 416 0 0 0 24 2 0 0 16 0 8 0 155898727 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915556
[startup+25.5855 s]
/proc/loadavg: 0.74 0.90 0.96 2/72 7054
/proc/meminfo: memFree=1637040/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=25.57
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9495 0 1 0 2547 10 0 0 25 0 8 0 155898721 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9227 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.26
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 416 0 0 0 24 2 0 0 16 0 8 0 155898727 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915556
[startup+51.2727 s]
/proc/loadavg: 0.91 0.93 0.97 2/72 7054
/proc/meminfo: memFree=1636976/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=51.25
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9502 0 1 0 5115 10 0 0 25 0 8 0 155898721 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9233 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 417 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915556
[startup+102.543 s]
/proc/loadavg: 0.96 0.93 0.97 2/72 7056
/proc/meminfo: memFree=1636976/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=102.51
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9507 0 1 0 10240 11 0 0 25 0 8 0 155898721 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9237 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.51
Current children cumulated vsize (KiB) 915556
[startup+162.548 s]
/proc/loadavg: 0.98 0.94 0.97 2/72 7056
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=162.5
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9512 0 1 0 16239 11 0 0 25 0 8 0 155898721 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9242 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 915556
[startup+222.556 s]
/proc/loadavg: 0.99 0.95 0.97 2/72 7056
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=222.49
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9512 0 1 0 22238 11 0 0 25 0 8 0 155898721 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9242 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (KiB) 915556
[startup+282.56 s]
/proc/loadavg: 1.03 0.97 0.97 2/72 7056
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=282.48
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9515 0 1 0 28237 11 0 0 25 0 8 0 155898721 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9245 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 915556
[startup+342.568 s]
/proc/loadavg: 1.01 0.97 0.97 2/72 7056
/proc/meminfo: memFree=1636848/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=342.46
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9515 0 1 0 34235 11 0 0 25 0 8 0 155898721 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9245 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.46
Current children cumulated vsize (KiB) 915556
[startup+402.573 s]
/proc/loadavg: 1.05 0.99 0.98 2/72 7056
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=402.45
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9517 0 1 0 40234 11 0 0 25 0 8 0 155898721 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073695511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9247 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 915556
[startup+462.579 s]
/proc/loadavg: 1.02 0.99 0.98 2/72 7056
/proc/meminfo: memFree=1636848/2055920 swapFree=4192812/4192956
[pid=7046] ppid=7044 vsize=915556 CPUtime=462.44
/proc/7046/stat : 7046 (java) R 7044 7046 6239 0 -1 0 9517 0 1 0 46233 11 0 0 25 0 8 0 155898721 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073885654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7046/statm: 228889 9247 2533 14 0 215359 0
[pid=7046/tid=7048] ppid=7044 vsize=915556 CPUtime=0.02
/proc/7046/task/7048/stat : 7048 (java) S 7044 7046 6239 0 -1 64 208 0 0 0 2 0 0 0 16 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7049] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7049/stat : 7049 (java) S 7044 7046 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7050] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7050/stat : 7050 (java) S 7044 7046 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155898724 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7051] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7051/stat : 7051 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7052] ppid=7044 vsize=915556 CPUtime=0.27
/proc/7046/task/7052/stat : 7052 (java) S 7044 7046 6239 0 -1 64 418 0 0 0 25 2 0 0 16 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7046/tid=7053] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7053/stat : 7053 (java) S 7044 7046 6239 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155898727 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7046/tid=7054] ppid=7044 vsize=915556 CPUtime=0
/proc/7046/task/7054/stat : 7054 (java) S 7044 7046 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155898728 937529344 9247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.44
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 467.06
CPU time (s): 466.921
CPU user time (s): 466.797
CPU system time (s): 0.123981
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.797
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9609
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= 10385
involuntary context switches= 11109
runsolver used 0.368943 s user time and 1.2998 s system time
The end
Begin job on node41 on Sat Jan 6 09:16:32 UTC 2007
IDJOB= 209930
IDBENCH= 4581
FILE ID= node41/209930-1168074991
PBS_JOBID= 3475950
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-50-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209930-1168074991/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-209930-1168074991 -o ROOT/results/node41/solver-209930-1168074991 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209930-1168074991/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfb8f2c05e7a4ff48488062c6ec8a2e7
RANDOM SEED= 745439315
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: 1664520 kB
Buffers: 33100 kB
Cached: 267528 kB
SwapCached: 0 kB
Active: 53996 kB
Inactive: 262536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1664520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 26044 kB
Slab: 60856 kB
Committed_AS: 2504840 kB
PageTables: 1480 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= 66531 MiB
End job on node41 on Sat Jan 6 09:24:24 UTC 2007