0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/237549-1168083327/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=625 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.47 => wckTime=0.148 cpuTime=0.12 mem=7M862
0.47
0.47 predicates being loaded...
0.47
0.47 constraints being loaded...
1.55 nbConstraints=7524 nbConvertedConstraints=7524 nbConvertConstraintsChecks=2500 nbExtensionStructures=4
1.55 nbSharedExtensionStructures=7520 nbConflictsStructures=4 nbSharedConflictsStructures=7520
1.55 nbSharedBinaryRepresentations=149 maxDegree=25 maxArity=2
1.55 => wckTime=1.23 cpuTime=1.0 mem=8M162
1.61
1.61 solver IterativeSystematicSolver being built...
1.79 => wckTime=1.468 cpuTime=1.15 mem=21M154
1.83
1.83 preprocessing
1.83 nbConstraintChecks=0 nbPropagations=625 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.83 detectedInconsistency=no
1.83 => wckTime=0.033 cpuTime=0.02 mem=21M154
1.92
1.92 search
1.92 run=0 nbConstraintChecks=30011 nbPropagations=2211 nbRevisions=1615 nbUselessRevisions=56 nbAssignments=87
1.92 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=108 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.92 nbTooLargeKeys=0
1.92 => wckTime=0.127 cpuTime=0.09 mem=21M154
1.96
1.96 search
1.96 run=1 nbConstraintChecks=60240 nbPropagations=6052 nbRevisions=4900 nbUselessRevisions=176 nbAssignments=184
1.96 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=233 nbRestartNogoods=4 mapSize=25 nbInferences=0
1.96 nbTooLargeKeys=0
1.96 => wckTime=0.165 cpuTime=0.13 mem=22M148
2.00
2.00 search
2.00 run=2 nbConstraintChecks=90679 nbPropagations=11588 nbRevisions=9929 nbUselessRevisions=365 nbAssignments=294
2.00 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=383 nbRestartNogoods=7 mapSize=47 nbInferences=0
2.00 nbTooLargeKeys=0
2.00 => wckTime=0.202 cpuTime=0.17 mem=22M148
2.04
2.04 search
2.04 run=3 nbConstraintChecks=121366 nbPropagations=18887 nbRevisions=16770 nbUselessRevisions=624
2.04 nbAssignments=421 nbFailedAssignments=70 nbBacktracks=81 nbVisitedNodes=563 nbRestartNogoods=12 mapSize=79
2.04 nbInferences=1 nbTooLargeKeys=0
2.04 => wckTime=0.244 cpuTime=0.21 mem=22M148
2.08
2.08 search
2.08 run=4 nbConstraintChecks=152452 nbPropagations=28097 nbRevisions=25565 nbUselessRevisions=954
2.08 nbAssignments=579 nbFailedAssignments=107 nbBacktracks=132 nbVisitedNodes=800 nbRestartNogoods=15 mapSize=130
2.08 nbInferences=6 nbTooLargeKeys=0
2.08 => wckTime=0.291 cpuTime=0.25 mem=23M143
2.15
2.15 search
2.15 run=5 nbConstraintChecks=184216 nbPropagations=39447 nbRevisions=36520 nbUselessRevisions=1356
2.15 nbAssignments=786 nbFailedAssignments=156 nbBacktracks=208 nbVisitedNodes=1122 nbRestartNogoods=19 mapSize=205
2.15 nbInferences=23 nbTooLargeKeys=0
2.15 => wckTime=0.351 cpuTime=0.31 mem=23M143
2.22
2.22 search
2.22 run=6 nbConstraintChecks=216831 nbPropagations=53253 nbRevisions=49941 nbUselessRevisions=1832
2.22 nbAssignments=1062 nbFailedAssignments=230 nbBacktracks=321 nbVisitedNodes=1568 nbRestartNogoods=21
2.22 mapSize=317 nbInferences=45 nbTooLargeKeys=0
2.22 => wckTime=0.43 cpuTime=0.38 mem=24M138
2.33
2.33 search
2.33 run=7 nbConstraintChecks=250749 nbPropagations=70019 nbRevisions=66295 nbUselessRevisions=2385
2.33 nbAssignments=1448 nbFailedAssignments=337 nbBacktracks=491 nbVisitedNodes=2210 nbRestartNogoods=28
2.33 mapSize=487 nbInferences=87 nbTooLargeKeys=0
2.33 => wckTime=0.54 cpuTime=0.48 mem=24M138
2.47
2.47 search
2.47 run=8 nbConstraintChecks=290881 nbPropagations=90446 nbRevisions=86385 nbUselessRevisions=3103
2.47 nbAssignments=1967 nbFailedAssignments=503 nbBacktracks=747 nbVisitedNodes=3098 nbRestartNogoods=36
2.47 mapSize=740 nbInferences=124 nbTooLargeKeys=0
2.47 => wckTime=0.678 cpuTime=0.61 mem=25M132
2.63
2.63 search
2.63 run=9 nbConstraintChecks=335980 nbPropagations=115368 nbRevisions=111096 nbUselessRevisions=3989
2.63 nbAssignments=2653 nbFailedAssignments=756 nbBacktracks=1132 nbVisitedNodes=4309 nbRestartNogoods=40
2.63 mapSize=1104 nbInferences=143 nbTooLargeKeys=0
2.63 => wckTime=0.839 cpuTime=0.76 mem=26M127
2.90
2.90 search
2.90 run=10 nbConstraintChecks=475132 nbPropagations=150054 nbRevisions=146131 nbUselessRevisions=5902
2.90 nbAssignments=3793 nbFailedAssignments=1042 nbBacktracks=1709 nbVisitedNodes=6277 nbRestartNogoods=42
2.90 mapSize=1596 nbInferences=399 nbTooLargeKeys=0
2.90 => wckTime=1.104 cpuTime=1.02 mem=27M122
3.30
3.30 search
3.30 run=11 nbConstraintChecks=572504 nbPropagations=195992 nbRevisions=192048 nbUselessRevisions=8253
3.30 nbAssignments=5598 nbFailedAssignments=1503 nbBacktracks=2573 nbVisitedNodes=9395 nbRestartNogoods=50
3.30 mapSize=2427 nbInferences=790 nbTooLargeKeys=0
3.30 => wckTime=1.511 cpuTime=1.43 mem=30M106
4.00
4.00 search
4.00 run=12 nbConstraintChecks=681781 nbPropagations=259707 nbRevisions=253974 nbUselessRevisions=11028
4.00 nbAssignments=8683 nbFailedAssignments=2082 nbBacktracks=3870 nbVisitedNodes=14758 nbRestartNogoods=57
4.00 mapSize=3701 nbInferences=1910 nbTooLargeKeys=0
4.00 => wckTime=2.21 cpuTime=2.12 mem=38M63
5.10
5.10 search
5.10 run=13 nbConstraintChecks=788939 nbPropagations=349532 nbRevisions=338153 nbUselessRevisions=14097
5.10 nbAssignments=13606 nbFailedAssignments=2873 nbBacktracks=5816 nbVisitedNodes=23362 nbRestartNogoods=71
5.10 mapSize=5645 nbInferences=4009 nbTooLargeKeys=0
5.10 => wckTime=3.308 cpuTime=3.22 mem=50M994
6.60
6.60 search
6.60 run=14 nbConstraintChecks=1056260 nbPropagations=479230 nbRevisions=458681 nbUselessRevisions=18441
6.60 nbAssignments=20421 nbFailedAssignments=4192 nbBacktracks=8735 nbVisitedNodes=35276 nbRestartNogoods=81
6.60 mapSize=8469 nbInferences=6473 nbTooLargeKeys=0
6.60 => wckTime=4.804 cpuTime=4.68 mem=37M983
9.48
9.48 search
9.48 run=15 nbConstraintChecks=1390558 nbPropagations=683099 nbRevisions=640674 nbUselessRevisions=24164
9.48 nbAssignments=33309 nbFailedAssignments=5531 nbBacktracks=13113 nbVisitedNodes=57902 nbRestartNogoods=97
9.48 mapSize=12790 nbInferences=13534 nbTooLargeKeys=0
9.48 => wckTime=7.691 cpuTime=7.56 mem=72M743
13.54
13.54 search
13.54 run=16 nbConstraintChecks=1755749 nbPropagations=985086 nbRevisions=903139 nbUselessRevisions=30788
13.54 nbAssignments=51511 nbFailedAssignments=7778 nbBacktracks=19682 nbVisitedNodes=89882 nbRestartNogoods=116
13.54 mapSize=19320 nbInferences=22819 nbTooLargeKeys=0
13.54 => wckTime=11.747 cpuTime=11.57 mem=90M762
20.56
20.56 search
20.56 run=17 nbConstraintChecks=2539987 nbPropagations=1470326 nbRevisions=1315533 nbUselessRevisions=41495
20.56 nbAssignments=83004 nbFailedAssignments=10282 nbBacktracks=29534 nbVisitedNodes=145384 nbRestartNogoods=123
20.56 mapSize=29036 nbInferences=41823 nbTooLargeKeys=0
20.57 => wckTime=18.771 cpuTime=18.49 mem=116M66
31.45
31.45 search
31.45 run=18 nbConstraintChecks=3583238 nbPropagations=2233500 nbRevisions=1949856 nbUselessRevisions=56297
31.45 nbAssignments=131609 nbFailedAssignments=13614 nbBacktracks=44313 nbVisitedNodes=231015 nbRestartNogoods=151
31.45 mapSize=43747 nbInferences=72186 nbTooLargeKeys=0
31.45 => wckTime=29.655 cpuTime=29.25 mem=149M244
45.98
45.98 search
45.98 run=19 nbConstraintChecks=5057589 nbPropagations=3386299 nbRevisions=2900725 nbUselessRevisions=77419
45.98 nbAssignments=200263 nbFailedAssignments=19866 nbBacktracks=66481 nbVisitedNodes=352246 nbRestartNogoods=179
45.98 mapSize=65792 nbInferences=112264 nbTooLargeKeys=0
45.98 => wckTime=44.183 cpuTime=43.61 mem=220M178
73.85
73.85 search
73.85 run=20 nbConstraintChecks=8199937 nbPropagations=5319122 nbRevisions=4470457 nbUselessRevisions=110316
73.85 nbAssignments=326415 nbFailedAssignments=25260 nbBacktracks=99733 nbVisitedNodes=576521 nbRestartNogoods=218
73.85 mapSize=98916 nbInferences=199616 nbTooLargeKeys=0
73.85 => wckTime=72.054 cpuTime=71.22 mem=312M34
114.93
114.93 search
114.93 run=21 nbConstraintChecks=13177409 nbPropagations=8462493 nbRevisions=6998282 nbUselessRevisions=158877
114.93 nbAssignments=520420 nbFailedAssignments=32295 nbBacktracks=149611 nbVisitedNodes=921454 nbRestartNogoods=261
114.93 mapSize=148623 nbInferences=336529 nbTooLargeKeys=0
114.93 => wckTime=113.137 cpuTime=111.88 mem=449M809
163.33
163.33 INFO : Stopping hyperNogood (mapSize=205238, nbTooLargekeys=0, mem=600M348)
166.45
166.45 search
166.45 run=22 nbConstraintChecks=19266057 nbPropagations=13162201 nbRevisions=10776218 nbUselessRevisions=223371
166.45 nbAssignments=776889 nbFailedAssignments=51693 nbBacktracks=224430 nbVisitedNodes=1378787 nbRestartNogoods=299
166.45 => wckTime=164.661 cpuTime=162.89 mem=600M348
187.08
187.08 search
187.08 run=23 nbConstraintChecks=27465898 nbPropagations=18855419 nbRevisions=15801003 nbUselessRevisions=350038
187.08 nbAssignments=969158 nbFailedAssignments=131530 nbBacktracks=336657 nbVisitedNodes=1728779 nbRestartNogoods=337
187.08 => wckTime=185.29 cpuTime=183.49 mem=600M348
220.11
220.11 search
220.11 run=24 nbConstraintChecks=30751946 nbPropagations=25826622 nbRevisions=22104406 nbUselessRevisions=477373
220.11 nbAssignments=1254561 nbFailedAssignments=248490 nbBacktracks=504999 nbVisitedNodes=2248102
220.11 nbRestartNogoods=371
220.11 => wckTime=218.314 cpuTime=216.48 mem=600M348
271.95
271.95 search
271.95 run=25 nbConstraintChecks=36900020 nbPropagations=34713075 nbRevisions=31579937 nbUselessRevisions=1861504
271.95 nbAssignments=1682781 nbFailedAssignments=424128 nbBacktracks=757510 nbVisitedNodes=3027598
271.95 nbRestartNogoods=379
271.95 => wckTime=270.153 cpuTime=268.26 mem=600M348
339.16
339.16 search
339.16 run=26 nbConstraintChecks=61521734 nbPropagations=46804130 nbRevisions=45021209 nbUselessRevisions=3419635
339.16 nbAssignments=2323444 nbFailedAssignments=685824 nbBacktracks=1136277 nbVisitedNodes=4187067
339.16 nbRestartNogoods=395
339.16 => wckTime=337.368 cpuTime=335.43 mem=600M348
443.92
443.92 search
443.92 run=27 nbConstraintChecks=72391819 nbPropagations=63192738 nbRevisions=62772278 nbUselessRevisions=4986164
443.92 nbAssignments=3285281 nbFailedAssignments=1079377 nbBacktracks=1704428 nbVisitedNodes=5936010
443.92 nbRestartNogoods=422
443.92 => wckTime=442.13 cpuTime=440.09 mem=600M348
608.92
608.92 search
608.92 run=28 nbConstraintChecks=92988462 nbPropagations=86033160 nbRevisions=91337171 nbUselessRevisions=10914710
608.92 nbAssignments=4729955 nbFailedAssignments=1671708 nbBacktracks=2556654 nbVisitedNodes=8565346
608.92 nbRestartNogoods=439
608.92 => wckTime=607.123 cpuTime=604.93 mem=600M348
856.50
856.50 search
856.50 run=29 nbConstraintChecks=118135034 nbPropagations=118598626 nbRevisions=129793166 nbUselessRevisions=16958605
856.50 nbAssignments=6900808 nbFailedAssignments=2564123 nbBacktracks=3834994 nbVisitedNodes=12520893
856.50 nbRestartNogoods=457
856.50 => wckTime=854.705 cpuTime=852.27 mem=600M348
1166.52
1166.52 search
1166.52 run=30 nbConstraintChecks=159037943 nbPropagations=165774517 nbRevisions=183033760 nbUselessRevisions=23061628
1166.52 nbAssignments=10146751 nbFailedAssignments=3892331 nbBacktracks=5752506 nbVisitedNodes=18421742
1166.52 nbRestartNogoods=474
1166.52 => wckTime=1164.73 cpuTime=1161.98 mem=600M348
1632.79
1632.79 search
1632.79 run=31 nbConstraintChecks=214062464 nbPropagations=234690714 nbRevisions=258025622 nbUselessRevisions=29175696
1632.80 nbAssignments=15011933 nbFailedAssignments=5881030 nbBacktracks=8628771 nbVisitedNodes=27264320
1632.80 nbRestartNogoods=517
1632.80 => wckTime=1631.001 cpuTime=1627.78 mem=600M348
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-237549-1168083327 -o ROOT/results/node56/solver-237549-1168083327 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237549-1168083327/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.42 1.42 1.58 1/68 9491
/proc/meminfo: memFree=1633616/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=1784 CPUtime=0
/proc/9490/stat : 9490 (java) D 9488 9490 8776 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156732223 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/9490/statm: 446 160 125 14 0 91 0
[startup+0.102031 s]
/proc/loadavg: 0.42 1.42 1.58 1/68 9491
/proc/meminfo: memFree=1633616/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=912272 CPUtime=0.06
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 2643 0 1 0 5 1 0 0 23 0 8 0 156732223 934166528 2391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228068 2391 1288 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.510073 s]
/proc/loadavg: 0.42 1.42 1.58 1/68 9491
/proc/meminfo: memFree=1633616/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915328 CPUtime=0.47
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 6440 0 1 0 43 4 0 0 16 0 8 0 156732223 937295872 6179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228832 6179 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33115 s]
/proc/loadavg: 0.42 1.42 1.58 2/75 9498
/proc/meminfo: memFree=1585560/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915632 CPUtime=1.29
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 15745 0 1 0 99 30 0 0 18 0 8 0 156732223 937607168 15483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228908 15483 2169 14 0 215378 0
[pid=9490/tid=9492] ppid=9488 vsize=915628 CPUtime=0
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156732228 937603072 15483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915632 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156732228 937607168 15483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915628 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 156732228 937603072 15484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915632 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937607168 15484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915628 CPUtime=0.19
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 426 0 0 0 18 1 0 0 16 0 8 0 156732232 937603072 15484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915628 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937603072 15484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915632 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937607168 15485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632
[startup+2.96832 s]
/proc/loadavg: 0.42 1.42 1.58 2/75 9498
/proc/meminfo: memFree=1565080/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=2.91
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 19843 0 1 0 253 38 0 0 17 0 8 0 156732223 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074029016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9490/statm: 228930 19578 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=0.12
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 2733 0 0 0 11 1 0 0 17 0 8 0 156732228 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732228 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 496 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 19578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915720
[startup+6.25963 s]
/proc/loadavg: 0.47 1.41 1.58 2/75 9498
/proc/meminfo: memFree=1546264/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=6.2
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 24503 0 1 0 579 41 0 0 18 0 8 0 156732223 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 24236 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=0.16
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 7390 0 0 0 14 2 0 0 17 0 8 0 156732228 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 24236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915720
[startup+12.7313 s]
/proc/loadavg: 0.51 1.40 1.57 2/75 9499
/proc/meminfo: memFree=1527960/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=12.67
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 29078 0 1 0 1225 42 0 0 25 0 8 0 156732223 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 28810 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=0.21
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 11964 0 0 0 17 4 0 0 16 0 8 0 156732228 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 28810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915720
[startup+25.5925 s]
/proc/loadavg: 0.62 1.38 1.56 2/75 9534
/proc/meminfo: memFree=1474776/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=25.52
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 42503 0 1 0 2504 48 0 0 25 0 8 0 156732223 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 42232 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=0.35
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 25386 0 0 0 26 9 0 0 16 0 8 0 156732228 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 42232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915720
[startup+51.201 s]
/proc/loadavg: 0.83 1.37 1.55 3/87 9579
/proc/meminfo: memFree=1342456/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=51.11
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 70548 0 1 0 5053 58 0 0 25 0 8 0 156732223 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 70270 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=0.65
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 53424 0 0 0 46 19 0 0 17 0 8 0 156732228 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 70270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915720
[startup+102.409 s]
/proc/loadavg: 1.49 1.46 1.57 3/87 9579
/proc/meminfo: memFree=1065976/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=102.27
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 109328 0 1 0 10156 71 0 0 25 0 8 0 156732223 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 109037 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.09
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 92191 0 0 0 77 32 0 0 16 0 8 0 156732228 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 109037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915720
[startup+162.465 s]
/proc/loadavg: 1.81 1.56 1.59 3/87 9579
/proc/meminfo: memFree=768248/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=162.27
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156091 0 1 0 16140 87 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 915720
[startup+1483.23 s]
/proc/loadavg: 2.00 1.99 1.87 3/87 9579
/proc/meminfo: memFree=412664/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1481.75
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 148087 88 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 915720
[startup+1543.27 s]
/proc/loadavg: 2.00 1.99 1.88 3/93 9681
/proc/meminfo: memFree=411120/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1541.74
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 154083 91 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 915720
[startup+1603.34 s]
/proc/loadavg: 2.05 2.00 1.89 3/93 9749
/proc/meminfo: memFree=411056/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1601.74
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 160079 95 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 915720
[startup+1663.38 s]
/proc/loadavg: 2.02 2.00 1.90 3/87 9777
/proc/meminfo: memFree=411960/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1661.69
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 166073 96 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 915720
[startup+1723.41 s]
/proc/loadavg: 2.00 2.00 1.90 3/87 9777
/proc/meminfo: memFree=411960/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1721.69
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 172072 97 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 915720
[startup+1783.45 s]
/proc/loadavg: 2.06 2.01 1.91 3/87 9777
/proc/meminfo: memFree=411960/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1781.67
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 178070 97 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.84 s]
/proc/loadavg: 2.04 2.01 1.91 3/87 9777
/proc/meminfo: memFree=411960/2055920 swapFree=4184772/4192956
[pid=9490] ppid=9488 vsize=915720 CPUtime=1800.03
/proc/9490/stat : 9490 (java) R 9488 9490 8776 0 -1 0 156092 0 1 0 179906 97 0 0 25 0 8 0 156732223 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9490/statm: 228930 155785 2534 14 0 215400 0
[pid=9490/tid=9492] ppid=9488 vsize=915720 CPUtime=1.66
/proc/9490/task/9492/stat : 9492 (java) S 9488 9490 8776 0 -1 64 138939 0 0 0 118 48 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9493] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9493/stat : 9493 (java) S 9488 9490 8776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9494] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9494/stat : 9494 (java) S 9488 9490 8776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732228 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9490/tid=9495] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9495/stat : 9495 (java) S 9488 9490 8776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9496] ppid=9488 vsize=915720 CPUtime=0.31
/proc/9490/task/9496/stat : 9496 (java) S 9488 9490 8776 0 -1 64 497 0 0 0 29 2 0 0 16 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9497] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9497/stat : 9497 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9490/tid=9498] ppid=9488 vsize=915720 CPUtime=0
/proc/9490/task/9498/stat : 9498 (java) S 9488 9490 8776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732232 937697280 155785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.97
CPU time (s): 1800.16
CPU user time (s): 1799.1
CPU system time (s): 1.06484
CPU usage (%): 99.8996
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.06484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156108
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= 37628
involuntary context switches= 10734
runsolver used 1.93371 s user time and 4.83926 s system time
The end
Begin job on node56 on Sat Jan 6 11:35:40 UTC 2007
IDJOB= 237549
IDBENCH= 6948
FILE ID= node56/237549-1168083327
PBS_JOBID= 3476203
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237549-1168083327/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-237549-1168083327 -o ROOT/results/node56/solver-237549-1168083327 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237549-1168083327/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a07f0f6319945eeec5dcf824462a8ed2
RANDOM SEED= 822599978
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.232
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.232
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: 1634096 kB
Buffers: 31704 kB
Cached: 308208 kB
SwapCached: 2060 kB
Active: 70264 kB
Inactive: 284832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634096 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 2628 kB
Writeback: 0 kB
Mapped: 22136 kB
Slab: 52432 kB
Committed_AS: 2803280 kB
PageTables: 1692 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= 66519 MiB
End job on node56 on Sat Jan 6 12:05:44 UTC 2007