0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275492-1169222722/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2751 maxDegree=22
0.59 maxArity=2
0.59 => wckTime=0.301 cpuTime=0.22 mem=12M761
0.63
0.63 solver LocalSearchSolver being built...
0.67 => wckTime=0.384 cpuTime=0.26 mem=6M48
0.68
0.68 s SATISFIABLE
0.68 o 244
0.68 c 86
0.68 o 248
0.68 c 82
0.68 o 254
0.68 c 76
0.68 o 260
0.68 c 70
0.69 o 265
0.69 c 65
0.69 o 268
0.69 c 62
0.69 o 273
0.69 c 57
0.69 o 276
0.69 c 54
0.69 o 278
0.69 c 52
0.69 o 279
0.69 c 51
0.69 o 281
0.69 c 49
0.69 o 284
0.69 c 46
0.69 o 285
0.69 c 45
0.69 o 288
0.70 c 42
0.70 o 289
0.70 c 41
0.70 o 292
0.70 c 38
0.70 o 294
0.70 c 36
0.70 o 297
0.70 c 33
0.70 o 298
0.70 c 32
0.70 o 299
0.70 c 31
0.70 o 301
0.70 c 29
0.70 o 303
0.70 c 27
0.70 o 304
0.70 c 26
0.70 o 305
0.70 c 25
0.70 o 306
0.70 c 24
0.70 o 307
0.70 c 23
0.71 o 308
0.71 c 22
0.71 o 309
0.71 c 21
0.72 o 310
0.72 c 20
0.72 o 311
0.72 c 19
0.72 o 312
0.72 c 18
0.72 o 313
0.72 c 17
0.72 o 314
0.72 c 16
0.72 o 316
0.72 c 14
0.73 o 317
0.73 c 13
0.74 o 318
0.74 c 12
0.74 o 319
0.74 c 11
0.75 o 320
0.75 c 10
0.78 o 321
0.78 c 9
0.78 o 323
0.78 c 7
0.78 o 324
0.78 c 6
0.84 o 325
0.84 c 5
2.35 o 326
2.35 c 4
2.44 o 327
2.44 c 3
2.49 o 328
2.49 c 2
3.76
3.76 search
3.76 run=0 nbConstraintChecks=24205356 nbAssignments=10000
3.76 => wckTime=3.087 cpuTime=3.07 mem=6M48
6.65
6.65 search
6.65 run=1 nbConstraintChecks=47443238 nbAssignments=20000
6.65 => wckTime=5.981 cpuTime=5.96 mem=6M48
9.64
9.64 search
9.64 run=2 nbConstraintChecks=71395439 nbAssignments=30000
9.64 => wckTime=8.969 cpuTime=8.94 mem=6M48
12.79
12.82 search
12.82 run=3 nbConstraintChecks=96488421 nbAssignments=40000
12.82 => wckTime=12.114 cpuTime=12.06 mem=6M48
15.85
15.85 search
15.85 run=4 nbConstraintChecks=121076927 nbAssignments=50000
15.85 => wckTime=15.176 cpuTime=15.13 mem=6M48
19.05
19.05 search
19.05 run=5 nbConstraintChecks=147106000 nbAssignments=60000
19.05 => wckTime=18.375 cpuTime=18.32 mem=6M48
21.98
21.98 search
21.98 run=6 nbConstraintChecks=170701962 nbAssignments=70000
21.98 => wckTime=21.311 cpuTime=21.26 mem=6M48
25.04
25.04 search
25.04 run=7 nbConstraintChecks=195602106 nbAssignments=80000
25.04 => wckTime=24.37 cpuTime=24.31 mem=6M48
27.98
27.98 search
27.98 run=8 nbConstraintChecks=219108401 nbAssignments=90000
27.98 => wckTime=27.31 cpuTime=27.25 mem=6M48
31.20
31.20 search
31.20 run=9 nbConstraintChecks=245299119 nbAssignments=100000
31.20 => wckTime=30.531 cpuTime=30.47 mem=6M48
32.52
32.52 search
32.52 run=10 nbConstraintChecks=255706112 nbAssignments=104643
32.52 => wckTime=31.851 cpuTime=31.8 mem=6M48
32.53
32.53 global
32.53 nbConstraintChecks=255706112 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.53 solvingWckTime=31.848 solvingCpuTime=31.8 expiredTime=no totalExploration=no nbFoundSolutions=0
32.53 globalCpuTime=32.1
32.53 => wckTime=32.236 cpuTime=32.06 mem=6M48
32.53
32.53 solver IterativeSystematicSolver being built...
32.65 => wckTime=32.357 cpuTime=32.15 mem=17M4
32.66
32.66 preprocessing
32.66 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.66 detectedInconsistency=no
32.66 => wckTime=0.0060 cpuTime=0.0 mem=17M4
32.77
32.77 search
32.77 run=0 nbConstraintChecks=340269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69
32.77 nbFailedAssignments=45 nbBacktracks=10 nbVisitedNodes=125 nbRestartNogoods=0
32.77 => wckTime=0.123 cpuTime=0.1 mem=17M4
32.92
32.92 search
32.92 run=1 nbConstraintChecks=955990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=184
32.92 nbFailedAssignments=133 nbBacktracks=25 nbVisitedNodes=343 nbRestartNogoods=21
32.92 => wckTime=0.267 cpuTime=0.23 mem=17M4
33.05
33.05 search
33.05 run=2 nbConstraintChecks=1559136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=295
33.05 nbFailedAssignments=209 nbBacktracks=47 nbVisitedNodes=552 nbRestartNogoods=34
33.05 => wckTime=0.4 cpuTime=0.36 mem=17M4
33.30
33.30 search
33.30 run=3 nbConstraintChecks=2898237 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=536
33.30 nbFailedAssignments=405 nbBacktracks=80 nbVisitedNodes=1022 nbRestartNogoods=46
33.30 => wckTime=0.656 cpuTime=0.61 mem=17M4
33.64
33.64 search
33.64 run=4 nbConstraintChecks=4567711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=827
33.64 nbFailedAssignments=636 nbBacktracks=130 nbVisitedNodes=1594 nbRestartNogoods=55
33.64 => wckTime=0.996 cpuTime=0.95 mem=17M4
34.05
34.05 search
34.05 run=5 nbConstraintChecks=6575269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1171
34.05 nbFailedAssignments=896 nbBacktracks=205 nbVisitedNodes=2273 nbRestartNogoods=79
34.05 => wckTime=1.4 cpuTime=1.36 mem=17M4
34.69
34.69 search
34.69 run=6 nbConstraintChecks=9606472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1727
34.69 nbFailedAssignments=1325 nbBacktracks=318 nbVisitedNodes=3371 nbRestartNogoods=101
34.69 => wckTime=2.044 cpuTime=1.98 mem=17M4
35.86
35.86 search
35.86 run=7 nbConstraintChecks=15325711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2668
35.86 nbFailedAssignments=2086 nbBacktracks=489 nbVisitedNodes=5244 nbRestartNogoods=123
35.86 => wckTime=3.21 cpuTime=3.14 mem=17M4
37.36
37.36 search
37.36 run=8 nbConstraintChecks=22806363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3924
37.36 nbFailedAssignments=3074 nbBacktracks=745 nbVisitedNodes=7744 nbRestartNogoods=139
37.36 => wckTime=4.708 cpuTime=4.64 mem=17M4
39.99
39.99 search
39.99 run=9 nbConstraintChecks=35891278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6190
39.99 nbFailedAssignments=4949 nbBacktracks=1129 nbVisitedNodes=12268 nbRestartNogoods=157
39.99 => wckTime=7.346 cpuTime=7.28 mem=17M4
42.85
42.85 search
42.85 run=10 nbConstraintChecks=50148729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8760
42.85 nbFailedAssignments=6932 nbBacktracks=1705 nbVisitedNodes=17397 nbRestartNogoods=175
42.85 => wckTime=10.206 cpuTime=10.12 mem=17M4
47.58
47.58 search
47.58 run=11 nbConstraintChecks=73970756 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13096
47.58 nbFailedAssignments=10391 nbBacktracks=2569 nbVisitedNodes=26040 nbRestartNogoods=196
47.58 => wckTime=14.933 cpuTime=14.85 mem=17M4
54.37
54.37 search
54.37 run=12 nbConstraintChecks=102430062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18066
54.37 nbFailedAssignments=14057 nbBacktracks=3866 nbVisitedNodes=35905 nbRestartNogoods=210
54.37 => wckTime=21.718 cpuTime=21.63 mem=17M4
62.28
62.28 search
62.28 run=13 nbConstraintChecks=140367825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25101
62.28 nbFailedAssignments=19133 nbBacktracks=5812 nbVisitedNodes=49863 nbRestartNogoods=218
62.28 => wckTime=29.637 cpuTime=29.52 mem=17M4
73.68
73.69 search
73.69 run=14 nbConstraintChecks=187575205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33488
73.69 nbFailedAssignments=24593 nbBacktracks=8731 nbVisitedNodes=66311 nbRestartNogoods=235
73.69 => wckTime=41.037 cpuTime=40.92 mem=17M4
87.43
87.43 search
87.43 run=15 nbConstraintChecks=242152049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43431
87.43 nbFailedAssignments=30144 nbBacktracks=13111 nbVisitedNodes=85592 nbRestartNogoods=247
87.43 => wckTime=54.786 cpuTime=54.65 mem=17M4
106.91
106.91 search
106.91 run=16 nbConstraintChecks=317401532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57053
106.91 nbFailedAssignments=37190 nbBacktracks=19679 nbVisitedNodes=111416 nbRestartNogoods=256
106.91 => wckTime=74.259 cpuTime=74.11 mem=17M4
134.62
134.62 search
134.62 run=17 nbConstraintChecks=433940199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78398
134.62 nbFailedAssignments=48672 nbBacktracks=29532 nbVisitedNodes=152427 nbRestartNogoods=276
134.62 => wckTime=101.974 cpuTime=101.8 mem=17M4
179.08
179.08 search
179.08 run=18 nbConstraintChecks=607566942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109915
179.08 nbFailedAssignments=65404 nbBacktracks=44310 nbVisitedNodes=212025 nbRestartNogoods=285
179.08 => wckTime=146.431 cpuTime=146.22 mem=17M4
241.49
241.49 search
241.49 run=19 nbConstraintChecks=863411814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156445
241.49 nbFailedAssignments=89751 nbBacktracks=66479 nbVisitedNodes=301304 nbRestartNogoods=298
241.49 => wckTime=208.839 cpuTime=208.55 mem=17M4
346.92
346.92 search
346.92 run=20 nbConstraintChecks=1265386716 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=228475
346.92 nbFailedAssignments=128518 nbBacktracks=99731 nbVisitedNodes=439981 nbRestartNogoods=314
346.92 => wckTime=314.27 cpuTime=313.89 mem=17M4
482.10
482.10 search
482.10 run=21 nbConstraintChecks=1818161420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=331746
482.10 nbFailedAssignments=181896 nbBacktracks=149610 nbVisitedNodes=634560 nbRestartNogoods=324
482.10 => wckTime=449.448 cpuTime=449.03 mem=17M4
706.46
706.46 search
706.46 run=22 nbConstraintChecks=2705731177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=490764
706.46 nbFailedAssignments=266084 nbBacktracks=224431 nbVisitedNodes=939780 nbRestartNogoods=348
706.46 => wckTime=673.815 cpuTime=673.32 mem=17M4
1022.52
1022.52 search
1022.52 run=23 nbConstraintChecks=3986428807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=721107
1022.52 nbFailedAssignments=384192 nbBacktracks=336658 nbVisitedNodes=1376315 nbRestartNogoods=363
1022.52 => wckTime=989.876 cpuTime=989.29 mem=17M4
1491.41
1491.41 search
1491.41 run=24 nbConstraintChecks=5878265660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1071998
1491.41 nbFailedAssignments=566735 nbBacktracks=504999 nbVisitedNodes=2038476 nbRestartNogoods=396
1491.41 => wckTime=1458.766 cpuTime=1458.05 mem=17M4
2282.87
2282.87 search
2282.87 run=25 nbConstraintChecks=8963245629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1623892
2282.87 nbFailedAssignments=866106 nbBacktracks=757510 nbVisitedNodes=3101405 nbRestartNogoods=413
2282.87 => wckTime=2250.226 cpuTime=2249.29 mem=17M4
2401.06 v 8 17 17 17 8 7 11 1 5 8 11 11 7 2 8 14 16 9 0 4 7 15 1 18 0 3 2 10 15 10 10 15 4 8 4 1 9 3 2 7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-275492-1169222722 -o ROOT/results/node26/solver-275492-1169222722 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275492-1169222722/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: 2.02 2.01 2.00 4/87 26698
/proc/meminfo: memFree=1450304/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=172 CPUtime=0
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 270666586 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12591908 0 0 4096 0 0 0 0 17 0 0 0
/proc/26697/statm: 43 24 18 14 0 3 0
[startup+0.108469 s]
/proc/loadavg: 2.02 2.01 2.00 4/87 26698
/proc/meminfo: memFree=1450304/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=914988 CPUtime=0.09
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 3081 0 1 0 8 1 0 0 22 0 8 0 270666586 936947712 2827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228747 2828 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516509 s]
/proc/loadavg: 2.02 2.01 2.00 4/87 26698
/proc/meminfo: memFree=1450304/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915332 CPUtime=0.49
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 7000 0 1 0 45 4 0 0 25 0 8 0 270666586 937299968 6739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228833 6739 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33959 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 26705
/proc/meminfo: memFree=1427720/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=1.32
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 8326 0 1 0 118 14 0 0 25 0 8 0 270666586 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8064 2476 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915468 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937439232 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.15
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.99175 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 26705
/proc/meminfo: memFree=1427656/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2.97
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 8327 0 1 0 263 34 0 0 25 0 8 0 270666586 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8064 2476 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.15
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915464
[startup+6.27105 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 26705
/proc/meminfo: memFree=1427592/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=6.25
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 8331 0 1 0 551 74 0 0 25 0 8 0 270666586 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8068 2476 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.15
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915464
[startup+12.7657 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 26705
/proc/meminfo: memFree=1427592/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=12.72
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 8331 0 1 0 1127 145 0 0 25 0 8 0 270666586 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8068 2476 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915468 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937439232 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.15
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464
[startup+25.6199 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 26705
/proc/meminfo: memFree=1427656/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915468 CPUtime=25.56
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 8331 0 1 0 2254 302 0 0 25 0 8 0 270666586 937439232 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8068 2476 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.15
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 270666593 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915468 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937439232 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915468
[startup+51.2513 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 26705
/proc/meminfo: memFree=1424648/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=51.18
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9192 0 1 0 4737 381 0 0 25 0 8 0 270666586 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8923 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915464
[startup+102.485 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 26784
/proc/meminfo: memFree=1489288/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=102.34
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9202 0 1 0 9852 382 0 0 25 0 8 0 270666586 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8933 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915464
[startup+162.543 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 26784
/proc/meminfo: memFree=1489416/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=162.34
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9207 0 1 0 15852 382 0 0 25 0 8 0 270666586 937435136 8938 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 915464
[startup+2083.18 s]
/proc/loadavg: 1.02 1.01 1.13 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2082.31
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9227 0 1 0 207846 385 0 0 25 0 8 0 270666586 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8956 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 915464
[startup+2143.2 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2142.32
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9227 0 1 0 213846 386 0 0 25 0 8 0 270666586 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8956 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.32
Current children cumulated vsize (KiB) 915464
[startup+2203.22 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2202.31
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9227 0 1 0 219845 386 0 0 25 0 8 0 270666586 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8956 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 915464
[startup+2263.23 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2262.31
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9227 0 1 0 225845 386 0 0 25 0 8 0 270666586 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8956 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 915464
[startup+2323.25 s]
/proc/loadavg: 1.00 1.00 1.09 2/85 26815
/proc/meminfo: memFree=1502040/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2322.32
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9229 0 1 0 231846 386 0 0 25 0 8 0 270666586 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8958 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.32
Current children cumulated vsize (KiB) 915464
[startup+2383.27 s]
/proc/loadavg: 1.00 1.00 1.08 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2382.32
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9229 0 1 0 237846 386 0 0 25 0 8 0 270666586 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8958 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.32
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.05 s]
/proc/loadavg: 1.00 1.00 1.08 2/85 26815
/proc/meminfo: memFree=1501976/2055920 swapFree=4191880/4192956
[pid=26697] ppid=26695 vsize=915464 CPUtime=2400.1
/proc/26697/stat : 26697 (java) R 26695 26697 25732 0 -1 0 9229 0 1 0 239624 386 0 0 25 0 8 0 270666586 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26697/statm: 228866 8958 2527 14 0 215336 0
[pid=26697/tid=26699] ppid=26695 vsize=915464 CPUtime=0.03
/proc/26697/task/26699/stat : 26699 (java) S 26695 26697 25732 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26700] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26700/stat : 26700 (java) S 26695 26697 25732 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26701] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26701/stat : 26701 (java) S 26695 26697 25732 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270666590 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26702] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26702/stat : 26702 (java) S 26695 26697 25732 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26703] ppid=26695 vsize=915464 CPUtime=0.24
/proc/26697/task/26703/stat : 26703 (java) S 26695 26697 25732 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26704] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26704/stat : 26704 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270666593 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26697/tid=26705] ppid=26695 vsize=915464 CPUtime=0
/proc/26697/task/26705/stat : 26705 (java) S 26695 26697 25732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270666594 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.1
CPU time (s): 2400.15
CPU user time (s): 2396.28
CPU system time (s): 3.87141
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.28
system time used= 3.87141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9251
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= 49832
involuntary context switches= 31224
runsolver used 2.20866 s user time and 6.62299 s system time
The end
Begin job on node26 on Fri Jan 19 16:05:23 UTC 2007
IDJOB= 275492
IDBENCH= 3904
IDSOLVER= 69
FILE ID= node26/275492-1169222722
PBS_JOBID= 3589134
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275492-1169222722/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-275492-1169222722 -o ROOT/results/node26/solver-275492-1169222722 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275492-1169222722/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d52e5670b32f8342bb66c4f4342e01aa
RANDOM SEED= 91157049
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: 1450784 kB
Buffers: 40656 kB
Cached: 360548 kB
SwapCached: 268 kB
Active: 303032 kB
Inactive: 233856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450784 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 154604 kB
Slab: 52952 kB
Committed_AS: 4641460 kB
PageTables: 2408 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 node26 on Fri Jan 19 16:45:25 UTC 2007