0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275491-1169222715/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2751 maxDegree=22
0.61 maxArity=2
0.61 => wckTime=0.301 cpuTime=0.21 mem=12M738
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.384 cpuTime=0.25 mem=6M48
0.70
0.70 s SATISFIABLE
0.70 o 244
0.70 c 86
0.70 o 248
0.70 c 82
0.70 o 254
0.70 c 76
0.70 o 260
0.70 c 70
0.70 o 265
0.70 c 65
0.71 o 268
0.71 c 62
0.71 o 273
0.71 c 57
0.71 o 276
0.71 c 54
0.71 o 278
0.71 c 52
0.71 o 279
0.71 c 51
0.71 o 281
0.71 c 49
0.71 o 284
0.71 c 46
0.71 o 285
0.71 c 45
0.71 o 288
0.71 c 42
0.71 o 289
0.72 c 41
0.72 o 292
0.72 c 38
0.72 o 294
0.72 c 36
0.72 o 297
0.72 c 33
0.72 o 298
0.72 c 32
0.72 o 299
0.72 c 31
0.72 o 301
0.72 c 29
0.72 o 303
0.72 c 27
0.72 o 304
0.72 c 26
0.72 o 305
0.72 c 25
0.72 o 306
0.72 c 24
0.72 o 307
0.72 c 23
0.73 o 308
0.73 c 22
0.73 o 309
0.73 c 21
0.74 o 310
0.74 c 20
0.74 o 311
0.74 c 19
0.74 o 312
0.74 c 18
0.74 o 313
0.74 c 17
0.74 o 314
0.74 c 16
0.74 o 316
0.74 c 14
0.75 o 317
0.75 c 13
0.76 o 318
0.76 c 12
0.76 o 319
0.76 c 11
0.77 o 320
0.77 c 10
0.80 o 321
0.80 c 9
0.80 o 323
0.80 c 7
0.80 o 324
0.80 c 6
0.85 o 325
0.85 c 5
2.36 o 326
2.36 c 4
2.45 o 327
2.45 c 3
2.50 o 328
2.50 c 2
3.76
3.76 search
3.76 run=0 nbConstraintChecks=24205356 nbAssignments=10000
3.76 => wckTime=3.071 cpuTime=3.04 mem=6M48
6.68
6.68 search
6.68 run=1 nbConstraintChecks=47443238 nbAssignments=20000
6.68 => wckTime=5.991 cpuTime=5.96 mem=6M48
9.68
9.68 search
9.68 run=2 nbConstraintChecks=71395439 nbAssignments=30000
9.68 => wckTime=8.987 cpuTime=8.94 mem=6M48
12.79
12.79 search
12.79 run=3 nbConstraintChecks=96488421 nbAssignments=40000
12.79 => wckTime=12.093 cpuTime=12.05 mem=6M48
15.82
15.82 search
15.82 run=4 nbConstraintChecks=121076927 nbAssignments=50000
15.82 => wckTime=15.13 cpuTime=15.09 mem=6M48
19.01
19.01 search
19.01 run=5 nbConstraintChecks=147106000 nbAssignments=60000
19.01 => wckTime=18.32 cpuTime=18.27 mem=6M48
21.95
21.95 search
21.95 run=6 nbConstraintChecks=170701962 nbAssignments=70000
21.95 => wckTime=21.253 cpuTime=21.21 mem=6M48
25.03
25.03 search
25.03 run=7 nbConstraintChecks=195602106 nbAssignments=80000
25.03 => wckTime=24.337 cpuTime=24.28 mem=6M48
27.98
27.98 search
27.98 run=8 nbConstraintChecks=219108401 nbAssignments=90000
27.98 => wckTime=27.286 cpuTime=27.23 mem=6M48
31.21
31.21 search
31.21 run=9 nbConstraintChecks=245299119 nbAssignments=100000
31.21 => wckTime=30.521 cpuTime=30.45 mem=6M48
32.54
32.55 search
32.55 run=10 nbConstraintChecks=255832210 nbAssignments=104701
32.55 => wckTime=31.852 cpuTime=31.78 mem=6M48
32.55
32.55 global
32.55 nbConstraintChecks=255832210 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.55 solvingWckTime=31.85 solvingCpuTime=31.78 expiredTime=no totalExploration=no nbFoundSolutions=0
32.55 globalCpuTime=32.09
32.55 => wckTime=32.237 cpuTime=32.03 mem=6M48
32.55
32.55 solver IterativeSystematicSolver being built...
32.67 => wckTime=32.359 cpuTime=32.13 mem=17M86
32.75
32.75 preprocessing
32.75 nbConstraintChecks=93384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.75 detectedInconsistency=no
32.75 => wckTime=0.084 cpuTime=0.06 mem=17M86
32.86
32.86 search
32.86 run=0 nbConstraintChecks=460986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
32.86 nbFailedAssignments=64 nbBacktracks=10 nbVisitedNodes=161 nbRestartNogoods=0
32.86 => wckTime=0.193 cpuTime=0.17 mem=17M86
32.97
32.97 search
32.97 run=1 nbConstraintChecks=892634 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169
32.97 nbFailedAssignments=120 nbBacktracks=25 nbVisitedNodes=315 nbRestartNogoods=12
32.97 => wckTime=0.3 cpuTime=0.26 mem=17M86
33.03
33.03 search
33.03 run=2 nbConstraintChecks=1177276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=232
33.03 nbFailedAssignments=153 nbBacktracks=47 nbVisitedNodes=433 nbRestartNogoods=17
33.03 => wckTime=0.361 cpuTime=0.32 mem=17M86
33.25
33.25 search
33.25 run=3 nbConstraintChecks=2253511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=424
33.25 nbFailedAssignments=298 nbBacktracks=80 nbVisitedNodes=803 nbRestartNogoods=28
33.25 => wckTime=0.58 cpuTime=0.54 mem=17M86
33.56
33.56 search
33.56 run=4 nbConstraintChecks=3710643 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=671
33.56 nbFailedAssignments=483 nbBacktracks=130 nbVisitedNodes=1285 nbRestartNogoods=41
33.56 => wckTime=0.887 cpuTime=0.84 mem=17M86
33.79
33.79 search
33.79 run=5 nbConstraintChecks=4733241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=884
33.79 nbFailedAssignments=614 nbBacktracks=205 nbVisitedNodes=1703 nbRestartNogoods=48
33.79 => wckTime=1.116 cpuTime=1.07 mem=17M86
34.37
34.37 search
34.37 run=6 nbConstraintChecks=7430380 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1379
34.37 nbFailedAssignments=985 nbBacktracks=319 nbVisitedNodes=2679 nbRestartNogoods=79
34.37 => wckTime=1.702 cpuTime=1.64 mem=17M86
35.38
35.38 search
35.38 run=7 nbConstraintChecks=12448569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2280
35.38 nbFailedAssignments=1705 nbBacktracks=489 nbVisitedNodes=4470 nbRestartNogoods=101
35.38 => wckTime=2.712 cpuTime=2.64 mem=17M86
36.81
36.81 search
36.81 run=8 nbConstraintChecks=19717590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3497
36.81 nbFailedAssignments=2653 nbBacktracks=745 nbVisitedNodes=6891 nbRestartNogoods=121
36.81 => wckTime=4.14 cpuTime=4.06 mem=17M86
39.40
39.40 search
39.40 run=9 nbConstraintChecks=32815469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5787
39.40 nbFailedAssignments=4550 nbBacktracks=1129 nbVisitedNodes=11462 nbRestartNogoods=138
39.40 => wckTime=6.726 cpuTime=6.64 mem=17M86
42.01
42.01 search
42.01 run=10 nbConstraintChecks=45363989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8059
42.01 nbFailedAssignments=6234 nbBacktracks=1705 nbVisitedNodes=15984 nbRestartNogoods=145
42.01 => wckTime=9.341 cpuTime=9.26 mem=17M86
46.95
46.95 search
46.95 run=11 nbConstraintChecks=68778175 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12332
46.95 nbFailedAssignments=9633 nbBacktracks=2571 nbVisitedNodes=24495 nbRestartNogoods=171
46.95 => wckTime=14.277 cpuTime=14.19 mem=17M86
53.33
53.34 search
53.34 run=12 nbConstraintChecks=97051764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17272
53.34 nbFailedAssignments=13262 nbBacktracks=3868 nbVisitedNodes=34336 nbRestartNogoods=178
53.34 => wckTime=20.666 cpuTime=20.57 mem=17M86
61.40
61.40 search
61.40 run=13 nbConstraintChecks=130894049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23358
61.40 nbFailedAssignments=17394 nbBacktracks=5814 nbVisitedNodes=46120 nbRestartNogoods=190
61.40 => wckTime=28.73 cpuTime=28.63 mem=17M86
71.37
71.37 search
71.37 run=14 nbConstraintChecks=175432115 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31825
71.37 nbFailedAssignments=22931 nbBacktracks=8734 nbVisitedNodes=62797 nbRestartNogoods=210
71.37 => wckTime=38.7 cpuTime=38.59 mem=17M86
87.52
87.52 search
87.52 run=15 nbConstraintChecks=242618780 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43700
87.52 nbFailedAssignments=30419 nbBacktracks=13112 nbVisitedNodes=86001 nbRestartNogoods=218
87.52 => wckTime=54.846 cpuTime=54.71 mem=17M86
108.48
108.48 search
108.48 run=16 nbConstraintChecks=321852622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58206
108.48 nbFailedAssignments=38349 nbBacktracks=19681 nbVisitedNodes=113675 nbRestartNogoods=227
108.48 => wckTime=75.811 cpuTime=75.67 mem=17M86
140.07
140.07 search
140.07 run=17 nbConstraintChecks=440961322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80457
140.07 nbFailedAssignments=50742 nbBacktracks=29533 nbVisitedNodes=155635 nbRestartNogoods=259
140.07 => wckTime=107.398 cpuTime=107.22 mem=17M86
187.23
187.23 search
187.23 run=18 nbConstraintChecks=618060226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112840
187.23 nbFailedAssignments=68338 nbBacktracks=44312 nbVisitedNodes=216802 nbRestartNogoods=273
187.23 => wckTime=154.564 cpuTime=154.34 mem=17M86
263.88
263.88 search
263.88 run=19 nbConstraintChecks=903837558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163728
263.88 nbFailedAssignments=97050 nbBacktracks=66481 nbVisitedNodes=314385 nbRestartNogoods=303
263.88 => wckTime=231.206 cpuTime=230.89 mem=17M86
362.96
362.96 search
362.96 run=20 nbConstraintChecks=1280638343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=233604
362.96 nbFailedAssignments=133664 nbBacktracks=99734 nbVisitedNodes=445708 nbRestartNogoods=315
362.96 => wckTime=330.295 cpuTime=329.88 mem=17M86
517.92
517.92 search
517.92 run=21 nbConstraintChecks=1904362693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=345564
517.92 nbFailedAssignments=195735 nbBacktracks=149616 nbVisitedNodes=659301 nbRestartNogoods=332
517.92 => wckTime=485.246 cpuTime=484.67 mem=17M86
764.79
764.79 search
764.79 run=22 nbConstraintChecks=2822857900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=510450
764.79 nbFailedAssignments=285795 nbBacktracks=224434 nbVisitedNodes=973549 nbRestartNogoods=359
764.79 => wckTime=732.124 cpuTime=731.28 mem=17M86
1089.86
1089.86 search
1089.86 run=23 nbConstraintChecks=4082386800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=741429
1089.86 nbFailedAssignments=404541 nbBacktracks=336661 nbVisitedNodes=1404169 nbRestartNogoods=381
1089.86 => wckTime=1057.192 cpuTime=1056.13 mem=17M86
1592.23
1592.24 search
1592.24 run=24 nbConstraintChecks=5978828287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1092709
1592.24 nbFailedAssignments=587467 nbBacktracks=505004 nbVisitedNodes=2054914 nbRestartNogoods=406
1592.24 => wckTime=1559.566 cpuTime=1558.32 mem=17M86
2382.34
2382.34 search
2382.34 run=25 nbConstraintChecks=8981888692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1640018
2382.34 nbFailedAssignments=882257 nbBacktracks=757515 nbVisitedNodes=3098550 nbRestartNogoods=417
2382.34 => wckTime=2349.672 cpuTime=2348.13 mem=17M86
2401.58 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/node38/watcher-275491-1169222715 -o ROOT/results/node38/solver-275491-1169222715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275491-1169222715/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.07 2.02 2.00 4/73 14776
/proc/meminfo: memFree=1471104/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=172 CPUtime=0
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 270671162 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 0 0 0
/proc/14775/statm: 43 24 18 14 0 3 0
[startup+0.107359 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 14776
/proc/meminfo: memFree=1471104/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=913068 CPUtime=0.08
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 2860 0 1 0 6 2 0 0 24 0 8 0 270671162 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.515442 s]
/proc/loadavg: 2.07 2.02 2.00 4/73 14776
/proc/meminfo: memFree=1471104/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915332 CPUtime=0.48
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 6926 0 1 0 43 5 0 0 25 0 8 0 270671162 937299968 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228833 6665 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3376 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1448584/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=1.3
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 8334 0 1 0 115 15 0 0 25 0 8 0 270671162 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8072 2479 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.14
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915468 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937439232 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98692 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1448520/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2.94
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 8335 0 1 0 259 35 0 0 25 0 8 0 270671162 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8072 2479 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.14
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915468 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937439232 8072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27156 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1448528/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=6.23
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 8338 0 1 0 548 75 0 0 25 0 8 0 270671162 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8075 2479 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915468 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270671168 937439232 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.14
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 353 0 0 0 14 0 0 0 16 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464
[startup+12.7608 s]
/proc/loadavg: 2.05 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1448528/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=12.71
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 8338 0 1 0 1116 155 0 0 25 0 8 0 270671162 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8075 2479 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915468 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937439232 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.14
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 353 0 0 0 14 0 0 0 16 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915464
[startup+25.6103 s]
/proc/loadavg: 2.05 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1448656/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=25.55
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 8338 0 1 0 2247 308 0 0 25 0 8 0 270671162 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8075 2479 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.15
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915464
[startup+51.2173 s]
/proc/loadavg: 2.03 2.01 2.00 3/80 14783
/proc/meminfo: memFree=1445648/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=51.12
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9205 0 1 0 4720 392 0 0 25 0 8 0 270671162 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8935 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 411 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915464
[startup+102.431 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1445648/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=102.28
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9215 0 1 0 9835 393 0 0 25 0 8 0 270671162 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8945 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 411 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915464
[startup+162.485 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 14783
/proc/meminfo: memFree=1445656/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=162.28
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9220 0 1 0 15835 393 0 0 25 0 8 0 270671162 937435136 8950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 915464
[startup+2083.42 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 14803
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2081.99
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9240 0 1 0 207803 396 0 0 25 0 8 0 270671162 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8968 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 915464
[startup+2143.44 s]
/proc/loadavg: 1.00 1.00 1.24 2/72 14803
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2141.98
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9240 0 1 0 213802 396 0 0 25 0 8 0 270671162 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8968 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 915464
[startup+2203.45 s]
/proc/loadavg: 1.00 1.00 1.22 2/72 14803
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2201.97
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9240 0 1 0 219801 396 0 0 25 0 8 0 270671162 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8968 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.97
Current children cumulated vsize (KiB) 915464
[startup+2263.46 s]
/proc/loadavg: 1.00 1.00 1.20 2/72 14803
/proc/meminfo: memFree=1457504/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2261.96
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9240 0 1 0 225800 396 0 0 25 0 8 0 270671162 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8968 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 915464
[startup+2323.47 s]
/proc/loadavg: 1.05 1.01 1.19 2/72 14803
/proc/meminfo: memFree=1457568/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2321.95
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9240 0 1 0 231799 396 0 0 25 0 8 0 270671162 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8968 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 915464
[startup+2383.48 s]
/proc/loadavg: 1.02 1.01 1.18 2/72 14803
/proc/meminfo: memFree=1457504/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2381.93
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9244 0 1 0 237797 396 0 0 25 0 8 0 270671162 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8971 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.93
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.57 s]
/proc/loadavg: 1.01 1.01 1.17 2/72 14803
/proc/meminfo: memFree=1457504/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=915464 CPUtime=2400.02
/proc/14775/stat : 14775 (java) R 14773 14775 13786 0 -1 0 9244 0 1 0 239606 396 0 0 25 0 8 0 270671162 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14775/statm: 228866 8971 2532 14 0 215336 0
[pid=14775/tid=14777] ppid=14773 vsize=915464 CPUtime=0.03
/proc/14775/task/14777/stat : 14777 (java) S 14773 14775 13786 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14778] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14778/stat : 14778 (java) S 14773 14775 13786 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14779] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14779/stat : 14779 (java) S 14773 14775 13786 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270671168 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14780] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14780/stat : 14780 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14781] ppid=14773 vsize=915464 CPUtime=0.24
/proc/14775/task/14781/stat : 14781 (java) S 14773 14775 13786 0 -1 64 412 0 0 0 24 0 0 0 16 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14782] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14782/stat : 14782 (java) S 14773 14775 13786 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14775/tid=14783] ppid=14773 vsize=915464 CPUtime=0
/proc/14775/task/14783/stat : 14783 (java) S 14773 14775 13786 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270671171 937435136 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.62
CPU time (s): 2400.07
CPU user time (s): 2396.1
CPU system time (s): 3.9704
CPU usage (%): 99.9357
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.1
system time used= 3.9704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9266
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= 49867
involuntary context switches= 56923
runsolver used 2.73358 s user time and 6.596 s system time
The end
Begin job on node38 on Fri Jan 19 16:05:15 UTC 2007
IDJOB= 275491
IDBENCH= 3904
IDSOLVER= 68
FILE ID= node38/275491-1169222715
PBS_JOBID= 3589184
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275491-1169222715/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-275491-1169222715 -o ROOT/results/node38/solver-275491-1169222715 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275491-1169222715/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d52e5670b32f8342bb66c4f4342e01aa
RANDOM SEED= 632984703
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.267
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.267
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: 1471584 kB
Buffers: 44464 kB
Cached: 439492 kB
SwapCached: 0 kB
Active: 148840 kB
Inactive: 360836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1471584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 37228 kB
Slab: 60000 kB
Committed_AS: 5079608 kB
PageTables: 1820 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 node38 on Fri Jan 19 16:45:17 UTC 2007