0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276958-1169250808/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.101 cpuTime=0.1 mem=6M887
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8198 maxDegree=30
0.64 maxArity=2
0.64 => wckTime=0.303 cpuTime=0.21 mem=10M790
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.39 cpuTime=0.25 mem=5M814
0.73
0.73 s SATISFIABLE
0.73 o 326
0.73 c 88
0.73 o 332
0.73 c 82
0.73 o 336
0.73 c 78
0.73 o 339
0.73 c 75
0.73 o 343
0.73 c 71
0.73 o 347
0.73 c 67
0.74 o 352
0.74 c 62
0.74 o 355
0.74 c 59
0.74 o 359
0.74 c 55
0.74 o 363
0.74 c 51
0.74 o 366
0.74 c 48
0.74 o 369
0.74 c 45
0.74 o 370
0.74 c 44
0.74 o 371
0.74 c 43
0.74 o 375
0.74 c 39
0.74 o 377
0.74 c 37
0.74 o 380
0.74 c 34
0.74 o 382
0.74 c 32
0.74 o 383
0.74 c 31
0.75 o 386
0.75 c 28
0.75 o 388
0.75 c 26
0.75 o 389
0.75 c 25
0.75 o 390
0.75 c 24
0.75 o 391
0.75 c 23
0.75 o 392
0.75 c 22
0.76 o 393
0.76 c 21
0.76 o 394
0.76 c 20
0.76 o 395
0.76 c 19
0.76 o 396
0.76 c 18
0.76 o 397
0.76 c 17
0.76 o 399
0.76 c 15
0.77 o 400
0.77 c 14
0.77 o 401
0.77 c 13
0.77 o 403
0.77 c 11
0.78 o 405
0.78 c 9
0.78 o 406
0.78 c 8
0.78 o 407
0.78 c 7
0.82 o 408
0.82 c 6
0.83 o 409
0.83 c 5
1.00 o 410
1.00 c 4
1.00 o 411
1.00 c 3
1.16 o 412
1.16 c 2
1.42 o 413
1.42 c 1
1.42
1.42 search
1.42 run=0 nbConstraintChecks=3991824 nbAssignments=2717
1.42 => wckTime=0.697 cpuTime=0.66 mem=5M814
1.42
1.42 global
1.42 nbConstraintChecks=3991824 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.42 solvingWckTime=0.695 solvingCpuTime=0.66 expiredTime=no totalExploration=no nbFoundSolutions=0
1.42 globalCpuTime=0.95
1.42 => wckTime=1.088 cpuTime=0.91 mem=5M814
1.42
1.42 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.22 cpuTime=1.03 mem=16M689
1.64
1.64 preprocessing
1.64 nbConstraintChecks=73689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.64 detectedInconsistency=no
1.64 => wckTime=0.089 cpuTime=0.06 mem=16M689
1.70
1.70 search
1.70 run=0 nbConstraintChecks=157133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
1.70 nbFailedAssignments=24 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0
1.70 => wckTime=0.144 cpuTime=0.11 mem=16M689
1.76
1.76 search
1.76 run=1 nbConstraintChecks=341740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85
1.76 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=8
1.76 => wckTime=0.208 cpuTime=0.17 mem=16M689
1.86
1.86 search
1.86 run=2 nbConstraintChecks=645719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156
1.86 nbFailedAssignments=93 nbBacktracks=47 nbVisitedNodes=294 nbRestartNogoods=15
1.86 => wckTime=0.302 cpuTime=0.26 mem=16M689
1.98
1.98 search
1.98 run=3 nbConstraintChecks=1082232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=255
1.98 nbFailedAssignments=153 nbBacktracks=80 nbVisitedNodes=485 nbRestartNogoods=29
1.98 => wckTime=0.426 cpuTime=0.38 mem=16M689
2.11
2.11 search
2.11 run=4 nbConstraintChecks=1592546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=380
2.11 nbFailedAssignments=221 nbBacktracks=130 nbVisitedNodes=726 nbRestartNogoods=41
2.11 => wckTime=0.558 cpuTime=0.51 mem=16M689
2.36
2.36 search
2.36 run=5 nbConstraintChecks=2488065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=603
2.36 nbFailedAssignments=362 nbBacktracks=205 nbVisitedNodes=1142 nbRestartNogoods=54
2.36 => wckTime=0.805 cpuTime=0.74 mem=16M689
2.75
2.75 search
2.75 run=6 nbConstraintChecks=3925738 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=934
2.75 nbFailedAssignments=573 nbBacktracks=318 nbVisitedNodes=1796 nbRestartNogoods=69
2.75 => wckTime=1.192 cpuTime=1.13 mem=16M689
3.28
3.28 search
3.28 run=7 nbConstraintChecks=5918821 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1397
3.28 nbFailedAssignments=861 nbBacktracks=488 nbVisitedNodes=2701 nbRestartNogoods=79
3.28 => wckTime=1.731 cpuTime=1.66 mem=16M689
4.18
4.18 search
4.18 run=8 nbConstraintChecks=9072588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2121
4.18 nbFailedAssignments=1323 nbBacktracks=744 nbVisitedNodes=4112 nbRestartNogoods=82
4.18 => wckTime=2.625 cpuTime=2.54 mem=16M689
5.25
5.25 search
5.25 run=9 nbConstraintChecks=12966290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3042
5.25 nbFailedAssignments=1856 nbBacktracks=1128 nbVisitedNodes=5845 nbRestartNogoods=93
5.25 => wckTime=3.698 cpuTime=3.59 mem=16M689
6.86
6.86 search
6.86 run=10 nbConstraintChecks=18909122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4452
6.86 nbFailedAssignments=2685 nbBacktracks=1704 nbVisitedNodes=8561 nbRestartNogoods=116
6.86 => wckTime=5.302 cpuTime=5.17 mem=16M689
8.93
8.93 search
8.93 run=11 nbConstraintChecks=26445215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6282
8.93 nbFailedAssignments=3646 nbBacktracks=2568 nbVisitedNodes=11988 nbRestartNogoods=132
8.93 => wckTime=7.377 cpuTime=7.23 mem=16M689
11.86
11.86 search
11.86 run=12 nbConstraintChecks=36728979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8929
11.86 nbFailedAssignments=4989 nbBacktracks=3865 nbVisitedNodes=16653 nbRestartNogoods=147
11.86 => wckTime=10.308 cpuTime=10.13 mem=16M689
16.00
16.00 search
16.00 run=13 nbConstraintChecks=51162660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12753
16.00 nbFailedAssignments=6861 nbBacktracks=5811 nbVisitedNodes=23165 nbRestartNogoods=162
16.01 => wckTime=14.451 cpuTime=14.23 mem=16M689
21.87
21.87 search
21.87 run=14 nbConstraintChecks=71116020 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18236
21.87 nbFailedAssignments=9418 nbBacktracks=8731 nbVisitedNodes=32110 nbRestartNogoods=188
21.87 => wckTime=20.318 cpuTime=20.05 mem=16M689
30.02
30.02 search
30.02 run=15 nbConstraintChecks=98709050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26116
30.02 nbFailedAssignments=12913 nbBacktracks=13111 nbVisitedNodes=44661 nbRestartNogoods=207
30.02 => wckTime=28.464 cpuTime=28.12 mem=16M689
40.91
40.91 search
40.91 run=16 nbConstraintChecks=138455259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37589
40.91 nbFailedAssignments=17813 nbBacktracks=19680 nbVisitedNodes=62618 nbRestartNogoods=229
40.91 => wckTime=39.361 cpuTime=39.0 mem=16M689
57.02
57.02 search
57.02 run=17 nbConstraintChecks=197095130 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54507
57.02 nbFailedAssignments=24875 nbBacktracks=29533 nbVisitedNodes=88812 nbRestartNogoods=255
57.02 => wckTime=55.469 cpuTime=55.08 mem=16M689
80.30
80.30 search
80.30 run=18 nbConstraintChecks=282179553 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79621
80.30 nbFailedAssignments=35206 nbBacktracks=44311 nbVisitedNodes=127277 nbRestartNogoods=285
80.30 => wckTime=78.75 cpuTime=78.34 mem=16M689
115.96
115.96 search
115.96 run=19 nbConstraintChecks=410427202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117305
115.96 nbFailedAssignments=50716 nbBacktracks=66482 nbVisitedNodes=185084 nbRestartNogoods=307
115.96 => wckTime=114.404 cpuTime=113.95 mem=16M689
166.76
166.76 search
166.76 run=20 nbConstraintChecks=595656774 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172723
166.76 nbFailedAssignments=72879 nbBacktracks=99734 nbVisitedNodes=269227 nbRestartNogoods=321
166.76 => wckTime=165.21 cpuTime=164.71 mem=16M689
245.19
245.19 search
245.19 run=21 nbConstraintChecks=877441898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=256296
245.19 nbFailedAssignments=106571 nbBacktracks=149612 nbVisitedNodes=396427 nbRestartNogoods=358
245.19 => wckTime=243.638 cpuTime=243.05 mem=16M689
363.67
363.67 search
363.67 run=22 nbConstraintChecks=1301399129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=381683
363.67 nbFailedAssignments=157135 nbBacktracks=224431 nbVisitedNodes=587417 nbRestartNogoods=390
363.67 => wckTime=362.115 cpuTime=361.43 mem=16M689
540.15
540.15 search
540.15 run=23 nbConstraintChecks=1936693438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=569591
540.15 nbFailedAssignments=232810 nbBacktracks=336658 nbVisitedNodes=873453 nbRestartNogoods=419
540.15 => wckTime=538.598 cpuTime=537.32 mem=16M689
805.93
805.93 search
805.93 run=24 nbConstraintChecks=2886258278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=850940
805.93 nbFailedAssignments=345811 nbBacktracks=505001 nbVisitedNodes=1301115 nbRestartNogoods=432
805.93 => wckTime=804.38 cpuTime=801.86 mem=16M689
1091.06
1091.06 search
1091.06 run=25 nbConstraintChecks=3884317517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1147657
1091.06 nbFailedAssignments=463828 nbBacktracks=683702 nbVisitedNodes=1749550 nbRestartNogoods=454
1091.06 => wckTime=1089.511 cpuTime=1085.66 mem=16M689
1091.07
1091.07 global
1091.07 nbConstraintChecks=3884391206 nbRestartNogoods=454 solvingWckTime=1089.512 solvingCpuTime=1085.66
1091.07 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1086.73
1091.07 => wckTime=1090.733 cpuTime=1086.69 mem=16M689
1091.07
1091.07 s OPTIMUM FOUND
1091.07 v 8 10 5 4 1 2 5 10 9 4 4 0 6 3 7 1 0 7 5 10 1 5 5 2 9 6 4 6 9 8 2 8 10 3 10 4 2 0 6 8
1091.07
1091.07 totalWckTime=1090.816 totalCpuTime=1086.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-276958-1169250808 -o ROOT/results/node4/solver-276958-1169250808 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276958-1169250808/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 2.00 2.00 4/93 28803
/proc/meminfo: memFree=1328768/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=18540 CPUtime=0
/proc/28802/stat : 28802 (runsolver) R 28800 28802 28491 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273476367 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28802/statm: 4635 279 244 17 0 2626 0
[startup+0.103028 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 28803
/proc/meminfo: memFree=1328768/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=911488 CPUtime=0.07
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 2629 0 1 0 6 1 0 0 23 0 8 0 273476367 933363712 2376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154015368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 227872 2376 1282 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.511066 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 28803
/proc/meminfo: memFree=1328768/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915332 CPUtime=0.47
/proc/28802/stat : 28802 (java) S 28800 28802 28491 0 -1 0 6353 0 1 0 43 4 0 0 17 0 8 0 273476367 937299968 6092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228833 6092 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33214 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 28810
/proc/meminfo: memFree=1308488/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=1.28
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 7735 0 1 0 113 15 0 0 22 0 8 0 273476367 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228866 7473 2479 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.17
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 350 0 0 0 16 1 0 0 17 0 8 0 273476377 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 7473 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915464
[startup+2.9693 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 28810
/proc/meminfo: memFree=1303176/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=2.9
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9121 0 1 0 272 18 0 0 25 0 8 0 273476367 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228866 8856 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 17 0 8 0 273476373 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.24
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 273476377 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.26361 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 28810
/proc/meminfo: memFree=1302984/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=6.16
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9141 0 1 0 598 18 0 0 25 0 8 0 273476367 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228866 8874 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 17 0 8 0 273476373 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915464
[startup+12.7372 s]
/proc/loadavg: 1.97 2.00 2.00 4/100 28810
/proc/meminfo: memFree=1302984/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=12.57
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9151 0 1 0 1239 18 0 0 25 0 8 0 273476367 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228866 8883 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.6035 s]
/proc/loadavg: 1.98 2.00 2.00 3/100 28810
/proc/meminfo: memFree=1302920/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=25.32
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9157 0 1 0 2514 18 0 0 25 0 8 0 273476367 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28802/statm: 228866 8888 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915464
[startup+51.2079 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 28889
/proc/meminfo: memFree=1326520/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=50.84
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9162 0 1 0 5065 19 0 0 25 0 8 0 273476367 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8893 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915464
[startup+102.424 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 28889
/proc/meminfo: memFree=1326648/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=102.01
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9170 0 1 0 10182 19 0 0 25 0 8 0 273476367 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8900 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915464
[startup+162.486 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 28889
/proc/meminfo: memFree=1326584/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=162.01
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9172 0 1 0 16182 19 0 0 25 0 8 0 273476367 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.16
Current children cumulated vsize (KiB) 915464
[startup+702.924 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326272/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=700.91
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9183 0 1 0 70061 30 0 0 25 0 8 0 273476367 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8912 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.91
Current children cumulated vsize (KiB) 915464
[startup+762.949 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326336/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=760.66
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9183 0 1 0 76036 30 0 0 25 0 8 0 273476367 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8912 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.66
Current children cumulated vsize (KiB) 915464
[startup+822.977 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326464/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=820.41
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9185 0 1 0 82010 31 0 0 25 0 8 0 273476367 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8914 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.41
Current children cumulated vsize (KiB) 915464
[startup+883.005 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326528/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=880.17
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9185 0 1 0 87986 31 0 0 25 0 8 0 273476367 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8914 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.17
Current children cumulated vsize (KiB) 915464
[startup+943.031 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326528/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=939.91
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9185 0 1 0 93960 31 0 0 25 0 8 0 273476367 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8914 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 939.91
Current children cumulated vsize (KiB) 915464
[startup+1003.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326464/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=999.64
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9185 0 1 0 99933 31 0 0 25 0 8 0 273476367 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8914 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.64
Current children cumulated vsize (KiB) 915464
[startup+1063.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 29147
/proc/meminfo: memFree=1326528/2055920 swapFree=4182144/4192956
[pid=28802] ppid=28800 vsize=915464 CPUtime=1059.4
/proc/28802/stat : 28802 (java) R 28800 28802 28491 0 -1 0 9185 0 1 0 105909 31 0 0 25 0 8 0 273476367 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28802/statm: 228866 8914 2532 14 0 215336 0
[pid=28802/tid=28804] ppid=28800 vsize=915464 CPUtime=0.03
/proc/28802/task/28804/stat : 28804 (java) S 28800 28802 28491 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273476373 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28805/stat : 28805 (java) S 28800 28802 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28806] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28800 28802 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273476374 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28807] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28800 28802 28491 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28808] ppid=28800 vsize=915464 CPUtime=0.26
/proc/28802/task/28808/stat : 28808 (java) S 28800 28802 28491 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28802/tid=28809] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28809/stat : 28809 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28802/tid=28810] ppid=28800 vsize=915464 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28800 28802 28491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273476377 937435136 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1059.4
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1091.13
CPU time (s): 1087.27
CPU user time (s): 1086.95
CPU system time (s): 0.32295
CPU usage (%): 99.6458
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1086.95
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9284
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= 23146
involuntary context switches= 37157
runsolver used 1.39779 s user time and 3.01054 s system time
The end
Begin job on node4 on Fri Jan 19 23:53:28 UTC 2007
IDJOB= 276958
IDBENCH= 6169
IDSOLVER= 68
FILE ID= node4/276958-1169250808
PBS_JOBID= 3589076
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276958-1169250808/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-276958-1169250808 -o ROOT/results/node4/solver-276958-1169250808 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276958-1169250808/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a738363689fdfe0f5fde1e5a7851177b
RANDOM SEED= 277981009
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.223
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.223
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: 1329184 kB
Buffers: 64424 kB
Cached: 511292 kB
SwapCached: 2148 kB
Active: 219612 kB
Inactive: 424500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1329184 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 88292 kB
Slab: 67144 kB
Committed_AS: 8363384 kB
PageTables: 2508 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= 66561 MiB
End job on node4 on Sat Jan 20 00:11:39 UTC 2007