0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278011-1169273285/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.56 nbConstraints=953 nbRelationTypes=30 nbExtensionStructures=30 nbSharedExtensionStructures=923
0.56 nbConflictsStructures=30 nbSharedConflictsStructures=923 nbSharedBinaryRepresentations=0 maxDegree=86
0.56 maxArity=3
0.56 => wckTime=0.26 cpuTime=0.18 mem=9M944
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.343 cpuTime=0.23 mem=5M863
0.65
0.65 s SATISFIABLE
0.65 o 827
0.65 c 126
0.65 o 833
0.65 c 120
0.65 o 838
0.65 c 115
0.65 o 843
0.65 c 110
0.66 o 845
0.66 c 108
0.66 o 847
0.66 c 106
0.66 o 850
0.66 c 103
0.66 o 855
0.66 c 98
0.66 o 858
0.66 c 95
0.66 o 860
0.66 c 93
0.66 o 862
0.66 c 91
0.67 o 863
0.67 c 90
0.67 o 864
0.67 c 89
0.67 o 865
0.67 c 88
0.67 o 866
0.67 c 87
0.67 o 868
0.67 c 85
0.68 o 871
0.68 c 82
0.68 o 872
0.68 c 81
0.68 o 874
0.68 c 79
0.69 o 877
0.69 c 76
0.71 o 878
0.71 c 75
0.71 o 881
0.71 c 72
0.73 o 882
0.73 c 71
0.83 o 884
0.83 c 69
1.16 o 886
1.16 c 67
1.97 o 889
1.97 c 64
3.96
3.97 search
3.97 run=0 nbConstraintChecks=19598879 nbAssignments=10000
3.97 => wckTime=3.318 cpuTime=3.29 mem=5M863
7.12
7.12 search
7.12 run=1 nbConstraintChecks=39734360 nbAssignments=20000
7.12 => wckTime=6.475 cpuTime=6.44 mem=5M863
10.21
10.21 search
10.21 run=2 nbConstraintChecks=59296558 nbAssignments=30000
10.21 => wckTime=9.565 cpuTime=9.53 mem=5M863
13.40
13.40 search
13.40 run=3 nbConstraintChecks=79486780 nbAssignments=40000
13.40 => wckTime=12.759 cpuTime=12.72 mem=5M863
16.51
16.51 search
16.51 run=4 nbConstraintChecks=99058896 nbAssignments=50000
16.51 => wckTime=15.866 cpuTime=15.83 mem=5M863
19.70
19.70 search
19.70 run=5 nbConstraintChecks=119170910 nbAssignments=60000
19.70 => wckTime=19.059 cpuTime=19.0 mem=5M863
22.79
22.79 search
22.79 run=6 nbConstraintChecks=138743559 nbAssignments=70000
22.79 => wckTime=22.14 cpuTime=22.08 mem=5M863
25.94
25.94 search
25.94 run=7 nbConstraintChecks=158853390 nbAssignments=80000
25.94 => wckTime=25.293 cpuTime=25.23 mem=5M863
29.03
29.03 search
29.03 run=8 nbConstraintChecks=178418304 nbAssignments=90000
29.03 => wckTime=28.388 cpuTime=28.32 mem=5M863
32.01
32.01 search
32.01 run=9 nbConstraintChecks=197210328 nbAssignments=99342
32.01 => wckTime=31.364 cpuTime=31.3 mem=5M863
32.01
32.01 global
32.01 nbConstraintChecks=197210328 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.01 solvingWckTime=31.361 solvingCpuTime=31.3 expiredTime=no totalExploration=no nbFoundSolutions=0
32.01 globalCpuTime=31.58
32.01 => wckTime=31.705 cpuTime=31.53 mem=5M863
32.01
32.01 solver IterativeSystematicSolver being built...
32.19 => wckTime=31.882 cpuTime=31.65 mem=21M688
32.27
32.27 preprocessing
32.27 nbConstraintChecks=6347 nbValidityChecks=15918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.27 nbRemovedValues=0 detectedInconsistency=no
32.27 => wckTime=0.078 cpuTime=0.06 mem=21M688
32.32
32.32 search
32.32 run=0 nbConstraintChecks=12058 nbValidityChecks=41623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.32 nbAssignments=36 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0
32.32 => wckTime=0.136 cpuTime=0.11 mem=22M712
32.40
32.40 search
32.40 run=1 nbConstraintChecks=30066 nbValidityChecks=103844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.40 nbAssignments=82 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=1
32.40 => wckTime=0.212 cpuTime=0.18 mem=22M712
32.48
32.48 search
32.48 run=2 nbConstraintChecks=58008 nbValidityChecks=191406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.48 nbAssignments=140 nbFailedAssignments=32 nbBacktracks=47 nbVisitedNodes=217 nbRestartNogoods=3
32.48 => wckTime=0.288 cpuTime=0.25 mem=22M712
32.57
32.57 search
32.57 run=3 nbConstraintChecks=99091 nbValidityChecks=313913 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.57 nbAssignments=214 nbFailedAssignments=51 nbBacktracks=80 nbVisitedNodes=343 nbRestartNogoods=6
32.57 => wckTime=0.387 cpuTime=0.35 mem=22M712
32.74
32.74 search
32.74 run=4 nbConstraintChecks=153423 nbValidityChecks=512419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.74 nbAssignments=325 nbFailedAssignments=93 nbBacktracks=130 nbVisitedNodes=541 nbRestartNogoods=8
32.74 => wckTime=0.556 cpuTime=0.52 mem=22M712
32.99
32.99 search
32.99 run=5 nbConstraintChecks=233828 nbValidityChecks=809949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.99 nbAssignments=482 nbFailedAssignments=156 nbBacktracks=205 nbVisitedNodes=826 nbRestartNogoods=11
32.99 => wckTime=0.806 cpuTime=0.76 mem=22M712
33.30
33.30 search
33.30 run=6 nbConstraintChecks=368326 nbValidityChecks=1250353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.30 nbAssignments=698 nbFailedAssignments=238 nbBacktracks=318 nbVisitedNodes=1234 nbRestartNogoods=15
33.30 => wckTime=1.114 cpuTime=1.07 mem=22M712
33.83
33.83 search
33.83 run=7 nbConstraintChecks=539797 nbValidityChecks=1883902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.83 nbAssignments=1006 nbFailedAssignments=357 nbBacktracks=489 nbVisitedNodes=1821 nbRestartNogoods=20
33.83 => wckTime=1.646 cpuTime=1.6 mem=22M712
34.59
34.59 search
34.59 run=8 nbConstraintChecks=808187 nbValidityChecks=2882768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.59 nbAssignments=1469 nbFailedAssignments=541 nbBacktracks=746 nbVisitedNodes=2714 nbRestartNogoods=24
34.59 => wckTime=2.399 cpuTime=2.34 mem=22M712
35.76
35.76 search
35.76 run=9 nbConstraintChecks=1191052 nbValidityChecks=4362938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.76 nbAssignments=2164 nbFailedAssignments=833 nbBacktracks=1130 nbVisitedNodes=4067 nbRestartNogoods=26
35.76 => wckTime=3.573 cpuTime=3.5 mem=22M712
37.46
37.46 search
37.46 run=10 nbConstraintChecks=1748228 nbValidityChecks=6624458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.46 nbAssignments=3191 nbFailedAssignments=1268 nbBacktracks=1706 nbVisitedNodes=6080 nbRestartNogoods=29
37.46 => wckTime=5.275 cpuTime=5.19 mem=22M712
39.83
39.83 search
39.83 run=11 nbConstraintChecks=2553404 nbValidityChecks=9828525 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.83 nbAssignments=4672 nbFailedAssignments=1873 nbBacktracks=2570 nbVisitedNodes=8988 nbRestartNogoods=36
39.83 => wckTime=7.647 cpuTime=7.56 mem=22M712
43.42
43.42 search
43.42 run=12 nbConstraintChecks=3789278 nbValidityChecks=14671707 nbPropagations=0 nbRevisions=0
43.42 nbUselessRevisions=0 nbAssignments=6923 nbFailedAssignments=2812 nbBacktracks=3867 nbVisitedNodes=13397
43.42 nbRestartNogoods=37
43.42 => wckTime=11.234 cpuTime=11.14 mem=22M712
48.70
48.70 search
48.70 run=13 nbConstraintChecks=5616499 nbValidityChecks=22136827 nbPropagations=0 nbRevisions=0
48.70 nbUselessRevisions=0 nbAssignments=10254 nbFailedAssignments=4177 nbBacktracks=5813 nbVisitedNodes=19902
48.70 nbRestartNogoods=43
48.70 => wckTime=16.517 cpuTime=16.42 mem=22M712
57.24
57.24 search
57.24 run=14 nbConstraintChecks=8502674 nbValidityChecks=34061081 nbPropagations=0 nbRevisions=0
57.24 nbUselessRevisions=0 nbAssignments=15381 nbFailedAssignments=6365 nbBacktracks=8733 nbVisitedNodes=29956
57.24 nbRestartNogoods=47
57.24 => wckTime=25.054 cpuTime=24.96 mem=22M712
69.26
69.26 search
69.26 run=15 nbConstraintChecks=12380812 nbValidityChecks=50568363 nbPropagations=0 nbRevisions=0
69.26 nbUselessRevisions=0 nbAssignments=22776 nbFailedAssignments=9368 nbBacktracks=13112 nbVisitedNodes=44383
69.26 nbRestartNogoods=52
69.26 => wckTime=37.073 cpuTime=36.97 mem=22M712
87.49
87.49 search
87.49 run=16 nbConstraintChecks=18205153 nbValidityChecks=74948702 nbPropagations=0 nbRevisions=0
87.49 nbUselessRevisions=0 nbAssignments=33888 nbFailedAssignments=13889 nbBacktracks=19681 nbVisitedNodes=66087
87.49 nbRestartNogoods=58
87.49 => wckTime=55.306 cpuTime=55.2 mem=22M712
115.03
115.03 search
115.03 run=17 nbConstraintChecks=27008635 nbValidityChecks=112345735 nbPropagations=0 nbRevisions=0
115.03 nbUselessRevisions=0 nbAssignments=50238 nbFailedAssignments=20365 nbBacktracks=29535 nbVisitedNodes=98120
115.03 nbRestartNogoods=61
115.03 => wckTime=82.843 cpuTime=82.73 mem=22M712
157.39
157.39 search
157.39 run=18 nbConstraintChecks=40109700 nbValidityChecks=168678257 nbPropagations=0 nbRevisions=0
157.39 nbUselessRevisions=0 nbAssignments=75974 nbFailedAssignments=31305 nbBacktracks=44314 nbVisitedNodes=147917
157.39 nbRestartNogoods=67
157.39 => wckTime=125.206 cpuTime=125.08 mem=22M712
221.22
221.22 search
221.22 run=19 nbConstraintChecks=60043504 nbValidityChecks=254148871 nbPropagations=0 nbRevisions=0
221.22 nbUselessRevisions=0 nbAssignments=114247 nbFailedAssignments=47399 nbBacktracks=66482 nbVisitedNodes=222502
221.22 nbRestartNogoods=74
221.22 => wckTime=189.031 cpuTime=188.88 mem=22M712
311.76
311.76 search
311.76 run=20 nbConstraintChecks=89514597 nbValidityChecks=378122001 nbPropagations=0 nbRevisions=0
311.76 nbUselessRevisions=0 nbAssignments=169928 nbFailedAssignments=69813 nbBacktracks=99734 nbVisitedNodes=330556
311.76 nbRestartNogoods=82
311.76 => wckTime=279.575 cpuTime=279.4 mem=22M712
446.66
446.66 search
446.66 run=21 nbConstraintChecks=133550445 nbValidityChecks=568757381 nbPropagations=0 nbRevisions=0
446.66 nbUselessRevisions=0 nbAssignments=253715 nbFailedAssignments=103707 nbBacktracks=149612 nbVisitedNodes=492370
446.66 nbRestartNogoods=90
446.66 => wckTime=414.469 cpuTime=414.26 mem=22M712
646.64
646.64 search
646.64 run=22 nbConstraintChecks=198104900 nbValidityChecks=827977041 nbPropagations=0 nbRevisions=0
646.64 nbUselessRevisions=0 nbAssignments=379363 nbFailedAssignments=154520 nbBacktracks=224430 nbVisitedNodes=733713
646.64 nbRestartNogoods=98
646.64 => wckTime=614.457 cpuTime=614.19 mem=22M712
936.89
936.89 search
936.89 run=23 nbConstraintChecks=298247398 nbValidityChecks=1223157579 nbPropagations=0 nbRevisions=0
936.89 nbUselessRevisions=0 nbAssignments=566981 nbFailedAssignments=229893 nbBacktracks=336657 nbVisitedNodes=1093105
936.89 nbRestartNogoods=105
936.89 => wckTime=904.703 cpuTime=904.35 mem=22M712
1331.31
1331.31 search
1331.31 run=24 nbConstraintChecks=448365403 nbValidityChecks=1762162993 nbPropagations=0 nbRevisions=0
1331.31 nbUselessRevisions=0 nbAssignments=836811 nbFailedAssignments=331367 nbBacktracks=504998 nbVisitedNodes=1599838
1331.31 nbRestartNogoods=111
1331.31 => wckTime=1299.124 cpuTime=1298.66 mem=22M712
1854.99
1854.99 search
1854.99 run=25 nbConstraintChecks=660773780 nbValidityChecks=2478592259 nbPropagations=0 nbRevisions=0
1854.99 nbUselessRevisions=0 nbAssignments=1225781 nbFailedAssignments=467802 nbBacktracks=757510
1854.99 nbVisitedNodes=2303785 nbRestartNogoods=117
1854.99 => wckTime=1822.803 cpuTime=1822.19 mem=22M712
2400.80 v 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-278011-1169273285 -o ROOT/results/node39/solver-278011-1169273285 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278011-1169273285/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 1.77 1.95 1.98 4/70 10407
/proc/meminfo: memFree=1286320/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=1452 CPUtime=0
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 92 0 0 0 0 0 0 0 19 0 1 0 275728427 1486848 65 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160661456 0 0 4096 0 0 0 0 17 1 0 0
/proc/10406/statm: 363 75 57 14 0 8 0
[startup+0.105409 s]
/proc/loadavg: 1.77 1.95 1.98 4/70 10407
/proc/meminfo: memFree=1286320/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=914988 CPUtime=0.08
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 3004 0 1 0 7 1 0 0 23 0 8 0 275728427 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513449 s]
/proc/loadavg: 1.77 1.95 1.98 4/70 10407
/proc/meminfo: memFree=1286320/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916356 CPUtime=0.49
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 6566 0 1 0 45 4 0 0 17 0 8 0 275728427 938348544 6305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10406/statm: 229089 6305 2151 14 0 215559 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916356
[startup+1.33652 s]
/proc/loadavg: 1.77 1.95 1.98 2/75 10422
/proc/meminfo: memFree=1267272/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=1.32
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 7540 0 1 0 118 14 0 0 17 0 8 0 275728427 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10406/statm: 229113 7278 2478 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.13
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 916452
[startup+2.98167 s]
/proc/loadavg: 1.77 1.95 1.98 2/75 10422
/proc/meminfo: memFree=1267208/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2.96
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 7541 0 1 0 263 33 0 0 19 0 8 0 275728427 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 7278 2478 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916456 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 275728431 938450944 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.13
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 7278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916452
[startup+6.26097 s]
/proc/loadavg: 1.70 1.93 1.97 2/75 10425
/proc/meminfo: memFree=1269320/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=6.24
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 7543 0 1 0 555 69 0 0 25 0 8 0 275728427 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073711583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 7280 2478 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916456 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 275728431 938450944 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.13
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 275728435 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916452
[startup+12.7466 s]
/proc/loadavg: 1.65 1.92 1.97 3/83 10501
/proc/meminfo: memFree=1264336/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=12.73
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 7544 0 1 0 1127 146 0 0 17 0 8 0 275728427 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 7281 2478 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.13
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916452
[startup+25.6088 s]
/proc/loadavg: 1.72 1.92 1.97 3/81 10502
/proc/meminfo: memFree=1260320/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=25.56
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 7544 0 1 0 2259 297 0 0 19 0 8 0 275728427 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 7281 2478 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916456 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938450944 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.13
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 916452
[startup+51.2091 s]
/proc/loadavg: 1.48 1.85 1.94 2/72 10535
/proc/meminfo: memFree=1263800/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=51.13
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10530 0 1 0 4736 377 0 0 25 0 8 0 275728427 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10262 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 916452
[startup+102.482 s]
/proc/loadavg: 1.20 1.71 1.89 2/72 10535
/proc/meminfo: memFree=1263736/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=102.39
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10537 0 1 0 9862 377 0 0 25 0 8 0 275728427 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10269 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 916452
[startup+162.488 s]
/proc/loadavg: 1.07 1.58 1.83 2/72 10535
/proc/meminfo: memFree=1263736/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=162.38
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10543 0 1 0 15861 377 0 0 25 0 8 0 275728427 938446848 10275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073896323 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 916452
[startup+2082.77 s]
/proc/loadavg: 1.04 1.01 1.08 4/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2082.11
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 207832 379 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 916452
[startup+2142.77 s]
/proc/loadavg: 1.01 1.01 1.08 2/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2142.1
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 213831 379 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 916452
[startup+2202.78 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2202.1
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 219831 379 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073942953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 916452
[startup+2262.79 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2262.09
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 225829 380 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 916452
[startup+2322.8 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2322.06
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 231826 380 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 916452
[startup+2382.81 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 10537
/proc/meminfo: memFree=1263608/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2382.02
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 237822 380 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 916452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.79 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 10537
/proc/meminfo: memFree=1263544/2055920 swapFree=4187336/4192956
[pid=10406] ppid=10401 vsize=916452 CPUtime=2400
/proc/10406/stat : 10406 (java) R 10401 10406 9442 0 -1 0 10564 0 1 0 239620 380 0 0 25 0 8 0 275728427 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10406/statm: 229113 10294 2534 14 0 215583 0
[pid=10406/tid=10412] ppid=10401 vsize=916452 CPUtime=0.03
/proc/10406/task/10412/stat : 10412 (java) S 10401 10406 9442 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 275728431 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10406/tid=10413] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10413/stat : 10413 (java) S 10401 10406 9442 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10414] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10414/stat : 10414 (java) S 10401 10406 9442 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275728432 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10415] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10415/stat : 10415 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10416] ppid=10401 vsize=916452 CPUtime=0.26
/proc/10406/task/10416/stat : 10416 (java) S 10401 10406 9442 0 -1 64 420 0 0 0 25 1 0 0 16 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10417] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10417/stat : 10417 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10406/tid=10418] ppid=10401 vsize=916452 CPUtime=0
/proc/10406/task/10418/stat : 10418 (java) S 10401 10406 9442 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275728435 938446848 10294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 916452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.85
CPU time (s): 2400.06
CPU user time (s): 2396.25
CPU system time (s): 3.80942
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 916456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.25
system time used= 3.80942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10586
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= 49591
involuntary context switches= 5200
runsolver used 2.39563 s user time and 6.13707 s system time
The end
Begin job on node39 on Sat Jan 20 06:08:06 UTC 2007
IDJOB= 278011
IDBENCH= 7948
IDSOLVER= 68
FILE ID= node39/278011-1169273285
PBS_JOBID= 3607369
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-1000-261921_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278011-1169273285/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-278011-1169273285 -o ROOT/results/node39/solver-278011-1169273285 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278011-1169273285/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e12e68566fca14fb564310a70c8f770f
RANDOM SEED= 541778968
TIME LIMIT= 2400 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.236
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.236
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: 1285048 kB
Buffers: 51528 kB
Cached: 622836 kB
SwapCached: 944 kB
Active: 185872 kB
Inactive: 507056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1285048 kB
SwapTotal: 4192956 kB
SwapFree: 4187336 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 28212 kB
Slab: 63368 kB
Committed_AS: 5016348 kB
PageTables: 1792 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= 66563 MiB
End job on node39 on Sat Jan 20 06:48:10 UTC 2007