0.72
0.73 Abscon 109 (November, 2006)
0.73
0.73 configuration
0.73 name=mac.xml
0.85
0.85 instance
0.85 name=/tmp/evaluation/195023-1168069639/unknown.xml
0.88
0.88 domains being loaded...
0.89
0.89 variables being loaded...
0.93 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.93 => wckTime=0.195 cpuTime=0.08 mem=6M951
0.93
0.93 relations being loaded...
1.07
1.07 constraints being loaded...
1.21 nbConstraints=456 nbRelationTypes=456 nbExtensionStructures=456 nbSharedExtensionStructures=0
1.21 nbConflictsStructures=456 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2226 maxDegree=26
1.21 maxArity=2
1.21 => wckTime=0.479 cpuTime=0.29 mem=17M827
1.25
1.25 solver IterativeSystematicSolver being built...
1.40 => wckTime=0.669 cpuTime=0.42 mem=15M347
1.41
1.41 preprocessing
1.41 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.41 detectedInconsistency=no
1.41 => wckTime=0.0070 cpuTime=0.0 mem=15M347
1.45
1.46 search
1.46 run=0 nbConstraintChecks=43957 nbPropagations=586 nbRevisions=6493 nbUselessRevisions=5415 nbAssignments=27
1.46 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.46 nbTooLargeKeys=0
1.46 => wckTime=0.052 cpuTime=0.03 mem=15M347
1.48
1.48 search
1.48 run=1 nbConstraintChecks=123389 nbPropagations=2036 nbRevisions=24874 nbUselessRevisions=20492
1.48 nbAssignments=66 nbFailedAssignments=19 nbBacktracks=28 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=19
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.08 cpuTime=0.05 mem=15M347
1.50
1.50 search
1.50 run=2 nbConstraintChecks=208340 nbPropagations=4449 nbRevisions=56236 nbUselessRevisions=46151
1.50 nbAssignments=112 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=172 nbRestartNogoods=4 mapSize=38
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.1 cpuTime=0.07 mem=15M347
1.52
1.52 search
1.52 run=3 nbConstraintChecks=322201 nbPropagations=8264 nbRevisions=107441 nbUselessRevisions=87997
1.52 nbAssignments=186 nbFailedAssignments=59 nbBacktracks=85 nbVisitedNodes=292 nbRestartNogoods=8 mapSize=66
1.52 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.122 cpuTime=0.09 mem=15M347
1.55
1.55 search
1.55 run=4 nbConstraintChecks=445011 nbPropagations=13605 nbRevisions=179770 nbUselessRevisions=147077
1.55 nbAssignments=270 nbFailedAssignments=82 nbBacktracks=138 nbVisitedNodes=416 nbRestartNogoods=14 mapSize=98
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.147 cpuTime=0.11 mem=15M347
1.60
1.60 search
1.60 run=5 nbConstraintChecks=726435 nbPropagations=21957 nbRevisions=296326 nbUselessRevisions=241835
1.60 nbAssignments=413 nbFailedAssignments=141 nbBacktracks=214 nbVisitedNodes=661 nbRestartNogoods=16 mapSize=166
1.60 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.196 cpuTime=0.16 mem=15M347
1.66
1.66 search
1.66 run=6 nbConstraintChecks=1058852 nbPropagations=34183 nbRevisions=469437 nbUselessRevisions=382350
1.66 nbAssignments=620 nbFailedAssignments=221 nbBacktracks=331 nbVisitedNodes=1002 nbRestartNogoods=20 mapSize=250
1.66 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.255 cpuTime=0.22 mem=15M347
1.75
1.75 search
1.75 run=7 nbConstraintChecks=1568174 nbPropagations=52625 nbRevisions=736406 nbUselessRevisions=599927
1.75 nbAssignments=929 nbFailedAssignments=348 nbBacktracks=502 nbVisitedNodes=1538 nbRestartNogoods=27 mapSize=396
1.75 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.344 cpuTime=0.3 mem=15M347
1.87
1.87 search
1.87 run=8 nbConstraintChecks=2252683 nbPropagations=79014 nbRevisions=1122227 nbUselessRevisions=913926
1.87 nbAssignments=1345 nbFailedAssignments=499 nbBacktracks=759 nbVisitedNodes=2235 nbRestartNogoods=35
1.87 mapSize=594 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.466 cpuTime=0.42 mem=15M347
2.08
2.08 search
2.08 run=9 nbConstraintChecks=3525268 nbPropagations=119449 nbRevisions=1710029 nbUselessRevisions=1388574
2.08 nbAssignments=2020 nbFailedAssignments=782 nbBacktracks=1144 nbVisitedNodes=3414 nbRestartNogoods=43
2.08 mapSize=924 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.676 cpuTime=0.62 mem=15M347
2.13
2.13 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=15M347)
2.33
2.33 search
2.33 run=10 nbConstraintChecks=5093019 nbPropagations=178361 nbRevisions=2582286 nbUselessRevisions=2096474
2.33 nbAssignments=2989 nbFailedAssignments=1165 nbBacktracks=1720 nbVisitedNodes=5082 nbRestartNogoods=48
2.33 => wckTime=0.931 cpuTime=0.86 mem=15M347
2.68
2.68 search
2.68 run=11 nbConstraintChecks=7488500 nbPropagations=264379 nbRevisions=3852425 nbUselessRevisions=3124363
2.68 nbAssignments=4397 nbFailedAssignments=1699 nbBacktracks=2584 nbVisitedNodes=7459 nbRestartNogoods=55
2.68 => wckTime=1.282 cpuTime=1.21 mem=15M347
3.26
3.26 search
3.26 run=12 nbConstraintChecks=11584277 nbPropagations=394917 nbRevisions=5787841 nbUselessRevisions=4688803
3.26 nbAssignments=6573 nbFailedAssignments=2568 nbBacktracks=3882 nbVisitedNodes=11191 nbRestartNogoods=63
3.26 => wckTime=1.861 cpuTime=1.78 mem=15M347
3.98
3.98 search
3.98 run=13 nbConstraintChecks=16611387 nbPropagations=585947 nbRevisions=8640480 nbUselessRevisions=7002452
3.98 nbAssignments=9695 nbFailedAssignments=3735 nbBacktracks=5828 nbVisitedNodes=16488 nbRestartNogoods=73
3.98 => wckTime=2.578 cpuTime=2.5 mem=15M347
5.24
5.24 search
5.24 run=14 nbConstraintChecks=26168574 nbPropagations=881755 nbRevisions=13106176 nbUselessRevisions=10624501
5.24 nbAssignments=14792 nbFailedAssignments=5905 nbBacktracks=8747 nbVisitedNodes=25459 nbRestartNogoods=79
5.24 => wckTime=3.836 cpuTime=3.75 mem=15M347
6.84
6.84 search
6.84 run=15 nbConstraintChecks=37468469 nbPropagations=1316442 nbRevisions=19661786 nbUselessRevisions=15949216
6.84 nbAssignments=21960 nbFailedAssignments=8685 nbBacktracks=13125 nbVisitedNodes=37650 nbRestartNogoods=92
6.84 => wckTime=5.437 cpuTime=5.35 mem=15M347
9.22
9.22 search
9.22 run=16 nbConstraintChecks=54529134 nbPropagations=1955277 nbRevisions=29266941 nbUselessRevisions=23753471
9.22 nbAssignments=32670 nbFailedAssignments=12815 nbBacktracks=19694 nbVisitedNodes=55935 nbRestartNogoods=103
9.22 => wckTime=7.815 cpuTime=7.73 mem=15M347
12.60
12.60 search
12.60 run=17 nbConstraintChecks=78273498 nbPropagations=2887065 nbRevisions=43269251 nbUselessRevisions=35139982
12.60 nbAssignments=48384 nbFailedAssignments=18665 nbBacktracks=29550 nbVisitedNodes=82529 nbRestartNogoods=111
12.60 => wckTime=11.195 cpuTime=11.11 mem=15M347
18.45
18.45 search
18.45 run=18 nbConstraintChecks=118178313 nbPropagations=4284986 nbRevisions=64225206 nbUselessRevisions=52166340
18.45 nbAssignments=72417 nbFailedAssignments=27910 nbBacktracks=44330 nbVisitedNodes=123595 nbRestartNogoods=122
18.45 => wckTime=17.046 cpuTime=16.96 mem=15M347
27.22
27.22 search
27.22 run=19 nbConstraintChecks=177589455 nbPropagations=6378471 nbRevisions=95595455 nbUselessRevisions=77641542
27.22 nbAssignments=107968 nbFailedAssignments=41284 nbBacktracks=66500 nbVisitedNodes=184188 nbRestartNogoods=129
27.22 => wckTime=25.814 cpuTime=25.72 mem=15M347
40.68
40.68 search
40.68 run=20 nbConstraintChecks=269157443 nbPropagations=9544924 nbRevisions=142958764 nbUselessRevisions=116103518
40.68 nbAssignments=162378 nbFailedAssignments=62433 nbBacktracks=99752 nbVisitedNodes=277886 nbRestartNogoods=139
40.68 => wckTime=39.281 cpuTime=39.18 mem=15M347
60.15
60.15 search
60.15 run=21 nbConstraintChecks=398600506 nbPropagations=14254464 nbRevisions=213786895 nbUselessRevisions=173707903
60.15 nbAssignments=243063 nbFailedAssignments=93229 nbBacktracks=149632 nbVisitedNodes=415435 nbRestartNogoods=153
60.15 => wckTime=58.747 cpuTime=58.64 mem=15M347
91.62
91.62 search
91.62 run=22 nbConstraintChecks=615480185 nbPropagations=21453024 nbRevisions=322199066 nbUselessRevisions=261853657
91.62 nbAssignments=366618 nbFailedAssignments=141955 nbBacktracks=224453 nbVisitedNodes=627982 nbRestartNogoods=164
91.62 => wckTime=90.221 cpuTime=90.1 mem=15M347
136.63
136.63 search
136.63 run=23 nbConstraintChecks=920841336 nbPropagations=32229071 nbRevisions=484198033 nbUselessRevisions=393550953
136.63 nbAssignments=547976 nbFailedAssignments=211077 nbBacktracks=336680 nbVisitedNodes=937108 nbRestartNogoods=175
136.63 => wckTime=135.226 cpuTime=135.09 mem=15M347
202.31
202.31 search
202.31 run=24 nbConstraintChecks=1360996198 nbPropagations=48223326 nbRevisions=725026661 nbUselessRevisions=589500545
202.31 nbAssignments=818554 nbFailedAssignments=313303 nbBacktracks=505021 nbVisitedNodes=1397228 nbRestartNogoods=192
202.31 => wckTime=200.905 cpuTime=200.75 mem=15M347
302.12
302.12 search
302.12 run=25 nbConstraintChecks=2029745936 nbPropagations=72113426 nbRevisions=1085935530
302.12 nbUselessRevisions=883402557 nbAssignments=1230302 nbFailedAssignments=472531 nbBacktracks=757532
302.12 nbVisitedNodes=2101650 nbRestartNogoods=221
302.12 => wckTime=300.718 cpuTime=300.52 mem=15M347
454.37
454.37 search
454.37 run=26 nbConstraintChecks=3069090210 nbPropagations=108046205 nbRevisions=1627091461
454.37 nbUselessRevisions=1323600464 nbAssignments=1842654 nbFailedAssignments=706106 nbBacktracks=1136299
454.37 nbVisitedNodes=3146624 nbRestartNogoods=238
454.37 => wckTime=452.965 cpuTime=452.72 mem=15M347
681.63
681.63 search
681.63 run=27 nbConstraintChecks=4597427757 nbPropagations=161976216 nbRevisions=2441491990
681.63 nbUselessRevisions=1986674701 nbAssignments=2764761 nbFailedAssignments=1060052 nbBacktracks=1704450
681.63 nbVisitedNodes=4721884 nbRestartNogoods=251
681.63 => wckTime=680.225 cpuTime=679.9 mem=15M347
887.95
887.95 search
887.95 run=28 nbConstraintChecks=5997688607 nbPropagations=232313720 nbRevisions=3500981172
887.95 nbUselessRevisions=2848938334 nbAssignments=3605977 nbFailedAssignments=1375168 nbBacktracks=2230500
887.95 nbVisitedNodes=6150088 nbRestartNogoods=260
887.95 => wckTime=886.551 cpuTime=886.09 mem=15M347
887.95
887.95 global
887.95 nbConstraintChecks=5997688607 nbPropagations=232313770 nbRevisions=3500981172 nbUselessRevisions=2848938334
887.95 nbRestartNogoods=260 solvingWckTime=886.552 solvingCpuTime=886.09 expiredTime=no totalExploration=no
887.95 nbFoundSolutions=1 globalCpuTime=886.56
887.95 => wckTime=887.225 cpuTime=886.51 mem=16M322
887.96
887.96 s SATISFIABLE
887.96 v 19 5 0 3 16 6 14 4 11 6 18 9 16 1 19 5 5 15 22 15 6 6 22 9 21 21 5 1 7 13 16 20 0 20 18 3 12 5 2 12 22 17 2 4 8 6 1 18 10 2
887.96 d NODES 3605977
887.96 d CHECKS 5997688607
887.96
887.96 totalWckTime=887.304 totalCpuTime=886.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-195023-1168069639 -o ROOT/results/node43/solver-195023-1168069639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195023-1168069639/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.99 0.98 1.01 4/65 4794
/proc/meminfo: memFree=1755496/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=292 CPUtime=0
/proc/4793/stat : 4793 (java) D 4791 4793 4181 0 -1 0 54 0 0 0 0 0 0 0 20 0 1 0 155363025 299008 37 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 4731684 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/4793/statm: 73 37 29 14 0 5 0
[startup+0.105479 s]
/proc/loadavg: 0.99 0.98 1.01 4/65 4794
/proc/meminfo: memFree=1755496/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=172 CPUtime=0
/proc/4793/stat : 4793 (java) D 4791 4793 4181 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155363025 176128 24 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4731684 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/4793/statm: 43 24 18 14 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 172
[startup+0.517551 s]
/proc/loadavg: 0.99 0.98 1.01 4/65 4794
/proc/meminfo: memFree=1755496/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=914988 CPUtime=0.15
/proc/4793/stat : 4793 (java) D 4791 4793 4181 0 -1 0 3322 0 48 0 11 4 0 0 16 0 8 0 155363025 936947712 3115 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228747 3115 1569 14 0 215242 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 914988
[startup+1.33969 s]
/proc/loadavg: 0.99 0.98 1.01 2/72 4801
/proc/meminfo: memFree=1711664/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=0.82
/proc/4793/stat : 4793 (java) S 4791 4793 4181 0 -1 0 9430 0 69 0 72 10 0 0 16 0 8 0 155363025 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9236 2485 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 17 0 8 0 155363051 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.13
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 352 0 0 0 12 1 0 0 16 0 8 0 155363059 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9236 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 915460
[startup+2.97696 s]
/proc/loadavg: 0.99 0.98 1.01 3/72 4801
/proc/meminfo: memFree=1706352/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=2.45
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9531 0 69 0 234 11 0 0 17 0 8 0 155363025 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9336 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.21
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 396 0 0 0 19 2 0 0 15 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 915460
[startup+6.2735 s]
/proc/loadavg: 0.99 0.98 1.01 2/72 4801
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=5.74
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9532 0 69 0 563 11 0 0 21 0 8 0 155363025 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073831254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4793/statm: 228865 9336 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.21
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 396 0 0 0 19 2 0 0 16 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 915460
[startup+12.7426 s]
/proc/loadavg: 0.99 0.98 1.01 2/72 4801
/proc/meminfo: memFree=1706288/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=12.21
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9532 0 69 0 1210 11 0 0 25 0 8 0 155363025 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9336 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.21
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 396 0 0 0 19 2 0 0 16 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9336 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 915460
[startup+25.5745 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=25.04
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9533 0 69 0 2493 11 0 0 19 0 8 0 155363025 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9337 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 397 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 915460
[startup+51.2528 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706608/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=50.7
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9534 0 69 0 5059 11 0 0 25 0 8 0 155363025 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9337 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 397 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915460
[startup+102.504 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706544/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=101.94
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9534 0 69 0 10183 11 0 0 25 0 8 0 155363025 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9337 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 397 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9337 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915460
[startup+162.581 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706608/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=161.99
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 16188 11 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 915460
[startup+523.071 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=522.36
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 52225 11 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073852192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 915460
[startup+583.159 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=582.43
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 58232 11 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073831259 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.43
Current children cumulated vsize (KiB) 915460
[startup+643.24 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706480/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=642.49
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 64238 11 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.49
Current children cumulated vsize (KiB) 915460
[startup+703.322 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=702.56
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 70244 12 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.56
Current children cumulated vsize (KiB) 915460
[startup+763.404 s]
/proc/loadavg: 0.99 0.98 1.00 2/72 4801
/proc/meminfo: memFree=1706416/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=762.62
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 76250 12 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073847936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.62
Current children cumulated vsize (KiB) 915460
[startup+823.485 s]
/proc/loadavg: 0.99 0.98 1.00 2/78 4827
/proc/meminfo: memFree=1705208/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=822.67
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 82255 12 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.67
Current children cumulated vsize (KiB) 915460
[startup+883.488 s]
/proc/loadavg: 0.99 0.98 1.00 2/78 4953
/proc/meminfo: memFree=1705152/2055920 swapFree=4192812/4192956
[pid=4793] ppid=4791 vsize=915460 CPUtime=882.59
/proc/4793/stat : 4793 (java) R 4791 4793 4181 0 -1 0 9535 0 69 0 88247 12 0 0 25 0 8 0 155363025 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4793/statm: 228865 9338 2513 14 0 215335 0
[pid=4793/tid=4795] ppid=4791 vsize=915460 CPUtime=0.03
/proc/4793/task/4795/stat : 4795 (java) S 4791 4793 4181 0 -1 64 404 0 0 0 3 0 0 0 16 0 8 0 155363051 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4796] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4796/stat : 4796 (java) S 4791 4793 4181 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4797] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4797/stat : 4797 (java) S 4791 4793 4181 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155363052 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4798] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4798/stat : 4798 (java) S 4791 4793 4181 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4799] ppid=4791 vsize=915460 CPUtime=0.22
/proc/4793/task/4799/stat : 4799 (java) S 4791 4793 4181 0 -1 64 398 0 0 0 20 2 0 0 16 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4800] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4800/stat : 4800 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4793/tid=4801] ppid=4791 vsize=915460 CPUtime=0
/proc/4793/task/4801/stat : 4801 (java) S 4791 4793 4181 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155363059 937431040 9338 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.59
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 888
CPU time (s): 887.073
CPU user time (s): 886.94
CPU system time (s): 0.132979
CPU usage (%): 99.8957
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.94
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9543
page faults= 69
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18965
involuntary context switches= 2279
runsolver used 0.794879 s user time and 2.35964 s system time
The end
Begin job on node43 on Sat Jan 6 07:47:19 UTC 2007
IDJOB= 195023
IDBENCH= 3245
FILE ID= node43/195023-1168069639
PBS_JOBID= 3475627
Free space on /tmp= 66483 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195023-1168069639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-195023-1168069639 -o ROOT/results/node43/solver-195023-1168069639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195023-1168069639/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 98bd4db167ea4e6b666337e6d6e6b1f0
RANDOM SEED= 180714469
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.278
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.278
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: 1755912 kB
Buffers: 24444 kB
Cached: 193428 kB
SwapCached: 0 kB
Active: 40064 kB
Inactive: 193316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1755912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2040 kB
Writeback: 0 kB
Mapped: 25672 kB
Slab: 52692 kB
Committed_AS: 2803136 kB
PageTables: 1392 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= 66483 MiB
End job on node43 on Sat Jan 6 08:02:07 UTC 2007